You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory, FCT 2007, held in Budapest, Hungary in August 2007. The 39 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 147 submissions. The papers address all current topics in computation theory such as automata and formal languages, design and analysis of algorithms, computational and structural complexity, semantics, logic, algebra and categories in computer science, circuits and networks, learning theory, specification and verification, parallel and distributed systems, concurrency theory, cryptography and cryptograhic protocols, approximation and randomized algorithms, computational geometry, quantum computation and information, bio-inspired computation.
This book provides state-of-the-art scientific and engineering research findings and developments in the area of mobile robotics and associated support technologies around the theme of assistive robotics. The book contains peer reviewed articles presented at the CLAWAR 2015 conference. The book contains a comprehensive collection of papers on legged locomotion with numbers of legs from two upward to multi-legs, which includes robots cable of climbing walls, poles, or more complex structures such as continuing the distinctive CLAWAR themes. There are also a strong showing of articles covering human assist devices, notably exoskeletal and prosthetic devices, as well as social robots designed to meet the growing challenges of global ageing population.
This book constitutes the refereed proceedings of the 10th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2024, held in Bhilai, India during February 15–17, 2024. The 22 full papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Algorithms and Complexity; Computational Geometry; Discrete Applied Mathematics; Graph Algorithms; Graph Theory.
This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Software Engineering Approaches for Offshore and Outsourced Development, SEAFOOD 2007, Zurich, Switzerland, in February 2007. The 15 revised full papers constitute a balanced mix of academic and industrial aspects and address topical regions such as processes, education, country reports, evaluation and assessment, communication and distribution, as well as tools.
Handbook of Fluid Dynamics offers balanced coverage of the three traditional areas of fluid dynamics—theoretical, computational, and experimental—complete with valuable appendices presenting the mathematics of fluid dynamics, tables of dimensionless numbers, and tables of the properties of gases and vapors. Each chapter introduces a different fluid dynamics topic, discusses the pertinent issues, outlines proven techniques for addressing those issues, and supplies useful references for further research. Covering all major aspects of classical and modern fluid dynamics, this fully updated Second Edition: Reflects the latest fluid dynamics research and engineering applications Includes new ...
ICALP 2008, the 35th edition of the International Colloquium on Automata, Languages and Programming, was held in Reykjavik, Iceland, July 7–11, 2008. ICALP is a series of annual conferences of the European Association for Th- reticalComputer Science(EATCS) which ?rsttook placein 1972.This year,the ICALP program consisted of the established Track A (focusing on algorithms, automata,complexityandgames)andTrackB(focusing onlogic,semanticsand theory of programming), and of the recently introduced Track C (focusing on security and cryptography foundations). In response to the call for papers, the Program Committees received 477 submissions, the highest ever: 269 for Track A, 122 for TrackB and 86 for Track C. Out of these, 126 papers were selected for inclusion in the scienti?c program: 70 papers for Track A, 32 for Track B and 24 for Track C. The selection was made by the Program Committees based on originality, quality, and relevance to theoretical computer science. The quality of the manuscripts was very high indeed, and many deserving papers could not be selected. ICALP 2008 consisted of ?ve invited lectures and the contributed papers.
This eBook is a collection of articles from a Frontiers Research Topic. Frontiers Research Topics are very popular trademarks of the Frontiers Journals Series: they are collections of at least ten articles, all centered on a particular subject. With their unique mix of varied contributions from Original Research to Review Articles, Frontiers Research Topics unify the most influential researchers, the latest key findings and historical advances in a hot research area! Find out more on how to host your own Frontiers Research Topic or contribute to one as an author by contacting the Frontiers Editorial Office: frontiersin.org/about/contact.
Pratiyogita Darpan (monthly magazine) is India's largest read General Knowledge and Current Affairs Magazine. Pratiyogita Darpan (English monthly magazine) is known for quality content on General Knowledge and Current Affairs. Topics ranging from national and international news/ issues, personality development, interviews of examination toppers, articles/ write-up on topics like career, economy, history, public administration, geography, polity, social, environment, scientific, legal etc, solved papers of various examinations, Essay and debate contest, Quiz and knowledge testing features are covered every month in this magazine.
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014. The total of 136 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 484 submissions. The papers are organized in three tracks focussing on Algorithms, Complexity, and Games, Logic, Semantics, Automata, and Theory of Programming, Foundations of Networked Computation.
This book contains the outcome of the international meeting on instability, control and noise generated by massive flow separation that was organized at the Monash Center, in Prato, Italy, September 4-6, 2013. The meeting served as the final review of the EU-FP7 Instability and Control of Massively Separated Flows Marie Curie travel grant and was supported by the European Office of Aerospace Research and Development. Fifty leading specialists from twelve countries reviewed the progress made since the 50s of the last century and discussed modern analysis techniques, advanced experimental flow diagnostics and recent developments in active flow control techniques from the incompressible to the hypersonic regime. Applications involving massive flow separation and associated instability and noise generation mechanisms of interest to the aeronautical, naval and automotive industries have been addressed from a theoretical, numerical or experimental point of view, making this book a unique source containing the state-of-the-art in separated flow instability and its control.