| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910143596503321 |
|
|
Titolo |
Integer Programming and Combinatorial Optimization : 8th International IPCO Conference, Utrecht, The Netherlands, June 13-15, 2001. Proceedings / / edited by Karen Aardal, Bert Gerards |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2001.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 428 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 2081 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Probabilities |
Algorithms |
Computer science—Mathematics |
Information technology |
Business—Data processing |
Combinatorial analysis |
Probability Theory and Stochastic Processes |
Algorithm Analysis and Problem Complexity |
Discrete Mathematics in Computer Science |
IT in Business |
Combinatorics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Two O(log* k)-Approximation Algorithms for the Asymmetric k-Center Problem -- Strongly Polynomial Algorithms for the Unsplittable Flow Problem -- Edge Covers of Setpairs and the Iterative Rounding Method -- The Asymptotic Performance Ratio of an On-Line Algorithm for Uniform Parallel Machine Scheduling with Release Dates -- Approximate k-MSTs and k-Steiner Trees via the Primal-Dual Method and Lagrangean Relaxation -- On the Rank of Mixed 0,1 Polyhedra -- Fast 2-Variable Integer Programming -- Approximating k-Spanner Problems for k > 2 -- A Matroid Generalization of the Stable Matching Polytope -- A 2-Approximation for Minimum Cost {0, 1, 2} Vertex |
|
|
|
|
|
|
|
|
|
|
|
Connectivity -- Combined Connectivity Augmentation and Orientation Problems -- An Extension of a Theorem of Henneberg and Laman -- Bisubmodular Function Minimization -- On the Integrality Gap of a Natural Formulation of the Single-sink Buy-at-Bulk Network Design Problem -- Circuit Mengerian Directed Graphs -- Integral Polyhedra Related to Even Cycle and Even Cut Matroids -- A Unified Framework for Obtaining Improved Approximation Algorithms for Maximum Graph Bisection Problems -- Synthesis of 2-Commodity Flow Networks -- Bounds for Deterministic Periodic Routing sequences -- Cutting Planes for Mixed 0-1 Semidefinite Programs -- Independence Free Graphs and Vertex connectivity Augmentation -- The Throughput of Sequential Testing -- An Explicit Exact SDP Relaxation for Nonlinear 0-1 Programs -- Pruning by Isomorphism in Branch-and-Cut -- Facets, Algorithms, and Polyhedral Characterizations for a Multi-item Production Planning Model with Setup Times -- Fences Are Futile: On Relaxations for the Linear Ordering Problem -- Generating Cuts from Multiple-Term Disjunctions -- A (2+?)-Approximation Algorithm for Generalized Preemptive Open Shop Problem with Minsum Objective -- Performance Guarantees of Local Search for Multiprocessor Scheduling -- connected Joins in Graphs -- Two NP-hardness Results for Preemptive Minsum Scheduling of Unrelated Parallel Machines -- Approximation Algorithms for the Minimum Bends Traveling Salesman Problem. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume contains the papers selected for presentation at IPCO VIII, the Eighth Conference on Integer Programming and Combinatorial Optimization, Utrecht, The Netherlands, 2001. This meeting isa forum for researchers and practitioners working on various aspects of integer programming and combi- torial optimization. The aim is to present recent developments in theory, com- tation, and application of integer programming and combinatorial optimization. Topics include, but are not limited to: approximation algorithms, branch and bound algorithms, computational biology, computational complexity, compu- tional geometry, cutting plane algorithms, diophantine equations, geometry of numbers, graph and network algorithms, integer programming, matroids and submodular functions, on-line algorithms, polyhedral combinatorics, scheduling theory and algorithms, and semide nit e programs. IPCO was established in 1988 when the rs t IPCO program committee was formed. The locations and years of the seven rs t IPCO conferences were: IPCO I, Waterloo (Canada) 1990, IPCO II, Pittsburgh (USA) 1992, IPCO III, - ice (Italy) 1993, IPCO IV, Copenhagen (Denmark) 1995, IPCO V, Vancouver (Canada) 1996, IPCO VI, Houston (USA) 1998, IPCO VII, Graz (Austria) 1999. IPCO is held every year in which no MPS (Mathematical Programming Society) International Symposium takes place. Since the MPS meeting is triennial, IPCO conferences are held twice in every three-year period. Asa rule, IPCO is held somewhere in Northern America in even years, and somewhere in Europe in odd years. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910299474403321 |
|
|
Titolo |
Robotic Sailing 2013 : Proceedings of the 6th International Robotic Sailing Conference / / edited by Fabrice Le Bars, Luc Jaulin |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2014.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xiii, 148 pages) : illustrations (some color) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Automatic control |
Robotics |
Automation |
Artificial intelligence |
Control, Robotics, Automation |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Part I Hardware design -- Part II Energy and power management strategies -- Part III Modeling, simulation, control, and stability analysis -- Part IV High level control architectures and algorithms. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
An autonomous sailboat robot is a boat that only uses the wind on its sail as propelling force, without remote control or human assistance to achieve its mission. This involves autonomy in energy (using batteries, solar panels, turbines...), sensor data processing (compass, GPS, wind sensor...), actuators control (rudder and sail angle control...) and decision making (embedded computer with adequate algorithms). Although robotic sailing is a relatively new field of research, several applications exist for this type of robots : oceanographic and |
|
|
|
|
|
|
|
|
|
|
hydrographic research, maritime environment monitoring, meteorology, harbor safety, assistance and rescue in dangerous areas... Over the last decade, several events such as the Microtransat challenge, the WRSC/IRSC and SailBot have been set up to stimulate research and development around robotic sailing. These proceedings cover the current and future academic and technology challenges raised by the development of autonomous sailboat robots presented at the WRSC/IRSC (World Robotic Sailing Championship/International Robotic Sailing Conference) 2013, in Brest, France, 2-6 September 2013. |
|
|
|
|
|
| |