الصفحة 3
الصفحة 3
Database Programming Languages ; 10th international symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, revised selected papers
Constitutes the refereed post-proceedings of the 10th International Workshop on Database Programming Languages, DBPL 2005. This book presents papers organized in topical sections on XML languages, XML and P2P data integration, XML query languages, types and XML, grammars, automata, and tree, as well as dependencies and constraints.
Dangerous Pollutants (Xenobiotics) in Urban Water Cycle
The book focused on evaluation of impact of xenobiotics in the whole Urban Water Cycle are an interdisciplinary task which has a rising concern these days. Xenobiotics includes both inorganic elements like heavy metals, metalloids and man-made organic compounds such as pesticides, surfactants, solvents, fragrances, flavours, and pharmaceuticals as well as endocrine dis- pters.
Dail and Hammars Pulmonary Pathology : Vol. I: Nonneoplastic Lung Disease
Dail and Hammar’s Pulmonary Pathology has established itself as the definitive reference in the field. This authoritative reference work has been thoroughly updated to cover newly recognized entities and the latest advances in molecular diagnostic techniques.
Construction and analysis of safe, secure, and interoperable smart devices ; Vol. 3362 : International workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
History based access control and secure information flow / The spec# programming system / Mastering test generation from smart card software formal models / A mechanism for secure, fine-grained dynamic provisioning of applications on small devices / A type system for checking applet isolation in java card / Verification of safety properties in the presence of transactions / Modelling mobility aspects of security policies / Smart devices for next generation mobile services / A flexible framework for the estimation of coverage metrics in explicit state software model checking / Combining several paradigms for circuit validation and verification / Smart card research perspectives
CONCUR 2008 - Concurrency Theory ; 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008.
Computer vision - ECCV 2008 ; 10th European conference on computer vision, Marseille, France, October 12-18, 2008, Proceedings, Part IV
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European Conference on Computer Vision, ECCV 2008, held in Marseille, France, in October 2008.
Computer vision - ECCV 2008 ; 10th European conference on computer vision, Marseille, France, October 12-18, 2008, Proceedings, Part III
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European Conference on Computer Vision, ECCV 2008, held in Marseille, France, in October 2008.
Computer vision - ECCV 2008 ; 10th European conference on computer vision, Marseille, France, October 12-18, 2008, Proceedings, Part II
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European Conference on Computer Vision, ECCV 2008, held in Marseille, France, in October 2008.
Computer Vision - ECCV 2008 ; 10th European conference on computer vision, Marseille, France, October 12-18, 2008, Proceedings, Part I
The four-volume set comprising LNCS volumes 5302/5303/5304/5305 constitutes the refereed proceedings of the 10th European Conference on Computer Vision, ECCV 2008, held in Marseille, France, in October 2008.
Computer science : Theory and applications ; 15th International computer science symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, Russia, in June 2020. The 25 full papers and 6 invited papers were carefully reviewed and selected from 49 submissions. The papers cover a broad range of topics, such as: algorithms and data structures; computational complexity, including hardness of approximation and parameterized complexity; randomness in computing, approximation algorithms, fixed-parameter algorithms; combinatorial optimization, constraint satisfaction, operations research; computational geometry; string algorithms; formal languages and automata, including applications to computational linguistics; codes and cryptography; combinatorics in computer science; computational biology; applications of logic to computer science, proof complexity; database theory; distributed computing; fundamentals of machine learning, including learning theory, grammatical inference and neural computing; computational social choice; quantum computing and quantum cryptography; theoretical aspects of big data.
Combinatorial Image Analysis ; Vol.4040 : 11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006, Proceedings
Constitutes the refereed proceedings of the 11th International Workshop on Combinatorial Image Analysis, IWCIA 2006, held in Berlin, June 2006. The book presents 34 revised full papers together with two invited papers, covering topics including combinatorial image analysis; grammars and models for analysis and recognition of scenes and images; combinatorial topology and geometry for images; digital geometry of curves and surfaces; algebraic approaches to image processing, and more.
Collage and architecture
This new edition includes: A stronger focus on contemporary practices, including digital methods; New designers and architects, including Marshall Brown, WAI Architecture Think Tank, and Tatiana Bilbao, bringing their methods and work to life; An expanded global and diverse perspective of architecture as collage; Collage is an important instrument for analysis and design. Through its 261 color images, this book shows how this versatile medium can be adapted and transformed in your own work.
Code-switching in Bilingual Children
The goal of this volume is to prove that mixed utterances in young bilinguals can be analyzed in the same way as adult code-switching. Analyzing a rich corpus of spontaneous child data, the author provides detailed empirical evidence for latest minimalist assumptions on the architecture of mind and confirms that code-switching is only constrained by the two grammars of the languages involved. The data show that the quantity of mixing in children depends on an individual choice rather than on language development, language dominance, or other factors. Besides critically reviewing the literature on language mixing in children and adults, this work offers a thorough grammatical analysis of the code-switching data of five Italian/German children. The book provides new insights not only in the field of code-switching and of language mixing in young bilinguals, but also in issues concerning general questions on linguistic theory which are difficult to be answered with monolingual data.
Marswalk One : First Steps on a New Planet
MARSWALK ONE: First Steps on a New Planet addresses the question of why we should embark on a journey to Mars, documenting what the first human crew will do when they place their feet in the red dust of the planet. The book also addresses why we need to carry out these tasks and, more importantly, what a human crew could achieve that an automated mission could not. Understanding the clear benefits of sending a human crew to the surface of Mars, and how these benefits can be seen back on Earth, is the key to sustained long-term public and political support for the programme in terms of cash and commitment. The book accepts that the journey will be made, but does not specify precisely when. Flight time, and how to get to and from the planet are discussed briefly, to understand why the suggested duration spent at Mars is reasonable. The main objective of the work is to look at what science will be done on the surface – supported by orbital operations – and what hardware and technology will be employed to achieve the mission objectives. This analysis is drawn from previous experiences in manned and unmanned space programmes, including Apollo, Skylab, Salyut/Mir, Shuttle and ISS, Viking, Luna/Lunokhod, and recent Mars missions such as Pathfinder and Global Surveyor.
Marsh and Martin’s Oral Microbiology
Suitable for undergraduate and postgraduate dental students, research workers, and a wide range of clinical dental professionals.
Mars, A Cosmic Stepping Stone : Uncovering Humanity’s Cosmic Context
The questions of our origin and cosmic abundance of life are among the compelling facing humanity. For all of the difficulties facing us however, the planet Mars may act as a cosmic stepping stone in uncovering the answers. This book examines these issues in one of the comprehensive treatments about Mars and our legacy of engagement with it.
Mammalian Evolutionary Morphology : A Tribute to Frederick S. Szalay
This volume acknowledges and celebrates the contributions of Dr. Frederick S. Szalay to the field of Mammalian Evolutionary Morphology. Professor Szalay has published about 200 articles, four monographs, and six books on this subject. Throughout his career Professor Szalay has been a strong advocate for biologically and evolutionarily meaningful character analysis. In his view, this can be accomplished only through an integrated strategy of functional, adaptational, and historical analysis. Dr. Szalay worked on several different mammalian groups during his career, and the contributions to this volume reflect his broad perspective. Chapters focus on Primates, a group to which Professor Szalay dedicated much of his career. However, other mammalian groups on which he conducted a significant amount of research, such as marsupials and xenarthrans, are also covered in the volume.
Malaria disease and modern treatments
Some population groups are at considerably higher risk of contracting malaria and developing severe disease: infants, children under 5 years of age, pregnant women and patients with HIV/AIDS, as well as people with low immunity moving to areas with intense malaria transmission such as migrant workers, mobile populations and travellers. Malaria is an acute febrile illness caused by Plasmodium parasites, which are spread to people through the bites of infected female Anopheles mosquitoes. There are 5 parasite species that cause malaria in humans, and 2 of these species – P. falciparum and P. vivax – pose the greatest threat. P. falciparum is the deadliest malaria parasite and the most prevalent on the African continent. P. vivax is the dominant malaria parasite in most countries outside of sub-Saharan Africa.
Lunar and planetary rovers : The wheels of apollo and the Quest for Mars
Provides extensive quotes from the astronauts who drove the LRV on the Moon from interviews conducted especially for the book. It also details new material from interviews of engineers and managers at the Jet Propulsion Laboratory covering the robotic rovers, Sojourner, Sprit and Opportunity. The Foreword is written by David R. Scott, Commander of Apollo 15. Chapter 1: From Concept to Reality; Chapter 2: Lunar Roving Vehicle Subsystems; Chapter 3: Training for the Moon; Chapter 4: To the Hadley Plains; Chapter 4: Mysterious and Unknown Descartes; Chapter 5: Destiny at Taurus-Littrow; Chapter Six: The Quest for Mars-Chapter Seven: The New Vision of Exploration.
Logical Aspects of Computational Linguistics ; 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings
Inaugurates the new FoLLI LNAI subline. It constitutes the refereed proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics, LACL 2005, held in Bordeaux, France in April 2005. The 25 revised full papers presented were carefully reviewed and selected from over 40 submissions. The papers address a wide range of logical and formal methods in computational linguistics with studies of particular grammar formalisms and their computational properties, language engineering, and traditional topics about the syntax/semantics interface.
