الصفحة 13
الصفحة 13
Analysis and Simulation of Contact Problems
Contact mechanics was and is an important branch in mechanics which covers a broad field of theoretical, numerical and experimental investigations. In this carefully edited book the reader will obtain a state-of-the-art overview on formulation, mathematical analysis and numerical solution procedures of contact problems. The contributions collected in this volume summarize the lectures presented during the 4th Contact Mechanics International Symposium (CMIS) held in Hannover, Germany, 2005, by leading scientists in the area of contact mechanics.
Algorithms and data structures ; 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings
This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Data Structures, WADS 2021, held in virtually in August 2021. The 47 full papers, presented together with two invited lectures, were carefully reviewed and selected from a total of 123 submissions. They present original research on the theory, design and application of algorithms and data structures.
Algorithms and computation ; Vol. 4288: 17th International symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings
This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Computation, ISAAC 2006, held in Kolkata, India in December 2006. The 73 revised full papers presented were carefully reviewed and selected from 255 submissions. The papers are organized in topical sections on algorithms and data structures, online algorithms, approximation algorithm, graphs, computational geometry, computational complexity, network, optimization and biology, combinatorial optimization and quantum computing, as well as distributed computing and cryptography.
Algorithms and computation ; Vol. 3827 ; 16th International symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings
This book constitutes the refereed proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC 2005, held in China in 2005. The 112 revised full papers presented were carefully reviewed and selected from 549 submissions. The papers are organized in topical sections on computational geometry, computational optimization, graph drawing and graph algorithms, computational complexity, approximation algorithms, internet algorithms, quantum computing and cryptography, data structure, computational biology, experimental algorithm mehodologies and online algorithms, randomized algorithms, parallel and distributed algorithms, graph drawing and graph algorithms, computational complexity, combinatorial optimization, computational biology, computational complexity, computational optimization, computational geometry, approximation algorithms, graph drawing and graph algorithms, computational geometry, approximation algorithms, graph drawing and graph algorithms, and data structure.
Algorithms and computation ; 19th International symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th International Symposium on Algorithms and Computation, ISAAC 2008, held in Gold Coast, Australia in December 2008.
Algorithms and computation ; 18th International symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings
This book presented algorithms and data structures, online algorithms, approximation algorithm, graphs, computational geometry, computational complexity, network, optimization and biology, combinatorial optimization and quantum computing, as well as distributed computing and cryptography.
Algorithms and computation ; 15th international symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004, Proceedings
This volume contains the proceedings of the 15th Annual International Sym- sium on Algorithms and Computation (ISAAC 2004), held in Hong Kong, 2004. ISAAC is an annual international symposium that covers a wide range of topics,namelyalgorithmsandcomputation. aftar review process the committee selected 76 papers, the decisions being based on originality and relevance to the ?eld of algorithms and computation.
Algorithms - ESA 2008 ; 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 16th Annual European Symposium on Algorithms, ESA 2008, held in Karlsruhe, Germany, in September 2008 in the context of the combined conference ALGO 2008.
Algorithms – ESA 2007 ; 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings
This book presented submissions in the engineering and applications track. The papers address all current subjects in algorithmics reaching from design and analysis issues of algorithms over to real-world applicat.
Algorithms - ESA 2006 ; 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings
This book constitutes the refereed proceedings of the 14th Annual European Symposium on Algorithms, ESA 2006, held in Zurich, Switzerland, in the context of the combined conference ALGO 2006. The book presents 70 revised full papers together with abstracts of 3 invited lectures. The papers address all current subjects in algorithmics, reaching from design and analysis issues of algorithms over to real-world applications and engineering of algorithms in various fields.
Algorithms – ESA 2005 ; 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings
This volume contains the 75 contributed papers and the abstracts of the threeinvited lectures presented at the 13th Annual European Symposium on Algo-rithms (ESA 2005), held in Spain, 2005. respectively.Papers were solicited in all areas of algorithmic research, including but notlimited to algorithmic aspects of networks, approximation and on-line algo-rithms, computational biology, computational geometry, computational financeand algorithmic game theory, data structures, database and information re-trieval, external memory algorithms, graph algorithms, graph drawing, machinelearning, mobile computing, pattern matching and data compression, quantumcomputing, and randomized algorithms. The algorithms could be sequential,distributed, or parallel. Submissions were especially encouraged in the area ofmathematical programming and operations research, including combinatorialoptimization, integer programming, polyhedral combinatorics, and semidefiniteprogramming.Each extended abstract was submitted to one of the two tracks.
Algorithmic number theory ; 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings
This book constitutes the refereed proceedings of the 8th International Algorithmic Number Theory Symposium, ANTS 2008, held in Banff, Canada, in May 2008.
Algorithmic number theory ; 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006, Proceedings
This book constitutes the refereed proceedings of the 7th International Algorithmic Number Theory Symposium, ANTS 2006, held in Berlin, July 2006. The book presents 37 revised full papers together with 4 invited papers selected for inclusion. The papers are organized in topical sections on algebraic number theory, analytic and elementary number theory, lattices, curves and varieties over fields of characteristic zero, curves over finite fields and applications, and discrete logarithms.
Algorithmic Game Theory ; 1st International Symposium, SAGT 2008, Paderborn, Germany, April 30-May 2, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Symposium on Algorithmic Game Theory, SAGT 2008, held in Paderborn, Germany, in April/May 2008.
Algebra, Meaning, and Computation ; Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation.The papers were presented at a Symposium in San Diego, California, USA in June 2006.
AI, data, and digitalization : First International Symposium, SAIDD 2023, Sogndal, Norway, May 9–10, 2023, Revised Selected Papers
Artificial Intelligence, Big Data and Digitalization allow us more than ever beforeto make use of the data our society and public and private sectors generate every day.Institutions around the world are increasingly turning to such methods and technologiesto help them solve complex problems, promote efficiency and improve performance anddecision-making.
Agile processes in software engineering and extreme programming ; 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings
The volume constitutes the proceedings of the 18th International Conference on Agile Software Development, XP 2017, held in Cologne, Germany, in May 2017.The 14 full and 6 short papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: improving agile processes; agile in organization; and safety critical software. In addition, the volume contains 3 doctoral symposium papers
Agile processes in software engineering and extreme programming ; XP 2020 Workshops, Copenhagen, Denmark, June 8–12, 2020, Revised Selected Papers
This book constitutes the 6 research workshops, the Agile Education and Training Track, the Doctoral Symposium, as well as a panel presented at XP 2020, the 21st International Conference on Agile Software Development, which was held during June 8-12, 2020.
Agent and Multi-Agent Systems : Technologies and Applications ; 2nd KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings
The KES-AMSTA Symposium Series is a sub-series of the KES Conference Series. The aim of the symposium was to provide an international forum for scientific research into the technologies and applications of agent and multi-agent systems.
Agent and multi-agent systems : Technologies and applications ; 1st KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31-June 1, 2007, Proceedings
The aim of the symposium was to provide an international forum for scientific - search in the technologies and applications of agent and multi-agent systems. Agents and multi-agent systems are related to the modern software which has long been r- ognized as a promising technology for constructing autonomous, complex and intel- gent systems. A key development in the field of agent and multi-agent systems has been the specification of agent communication languages and formalization of - tologies. Agent communication languages are intended to provide standard decla- tive mechanisms for agents to communicate knowledge and make requests of each other, whereas ontologies are intended for conceptualization of the knowledge - main.
