الصفحة 6
الصفحة 6
Endoscopic Surgery of the Potential Anatomical Spaces
Potential anatomical spaces" have attracted surgeons in the past and in recent years. Due to the development of modern imaging techniques and the advent of minimally invasive surgery, access to these spaces has become a real surgical option. The purpose of this book is to document the challenges related to "potential anatomical spaces", traditionally described as "hidden" spaces. The spread of video-assisted surgery and its application in the management of diseases involving organs or anatomical structures placed in the "potential spaces" (neck, mediastinum, pro-peritoneum and retro-peritoneum, subfacial space of the leg, and axilla), has rendered their surgical anatomy less abstract.
Educational Algebra : A Theoretical and Empirical Approach
Educational Algebra: A Theoretical and Empirical Approach adds to previous developments with priority given to a pragmatic perspective on "meaning in use" over "formal meaning". The bulk of these approaches and others of similar nature have lead to a focus on competence rather than on a user’s activity with mathematical language. Such a shift in perspective has fundamental implications on the way mathematical language is studied. Essentially, Grammar—the abstract formal system—and Pragmatics—the principles of the use of language—are complementary domains in this volume. Both are related to different teaching models, whether new or traditional, used in helping students to become competent users of Algebra.
ECOOP 2007 – Object-Oriented Programming ; 21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance and derivation, aspects, as well as language about language.
ECOOP 2006 - Object-Oriented Programming ; 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings
This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, held in Nantes, France in July 2006.20 revised full papers, together with 3 keynote papers were carefully reviewed and selected.
Early Aspects: Current Challenges and Future Directions ; 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: aspects are identified and captured mainly in code. Therefore, most current AOSD approaches place the burden for aspect identification and management on the programmer working at low levels of abstraction. However, aspects are often present well before the implementation phase, such as in domain models, requirements and software architecture. Identification and capture of these early aspects ensure that aspects related to the problem domain (as opposed to merely the implementation) will be appropriately captured, reasoned about and available. This offers improved opportunities for early recognition and negotiation of trade-offs and allows forward and backward aspect traceability. This makes requirements, architecture, and implementation more seamless, and allows a more systematic application of aspects.
Dynamic brain : From neural spikes to behaviors ; 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures
The volume presents 12 thoroughly revised tutorial papers based on lectures given by leading researchers at the 12th International Summer School on Neural Networks in Erice, Italy, in December 2007.
Domain Modeling and the Duration Calculus : International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration calculus for real time systems - originating from lectures of leading experts in these fields from Europe and Asia.It addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.
Do-All Computing in Distributed Systems : Cooperation in the Presence of Adversity
Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity is the first book that presents an in depth study of cooperation problems, abstracted in terms of the Do-All problem, where a collection of processors cooperatively perform a collection of independent tasks in the presence of adversity.
DNA Computing ; Vol. 3892 ; 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.
It is evidence of how well the interdisciplinary nature of the conference has truly matured that the major criterion of quality, agreed upon in advance by the Program Committee (PC), produced a nearly balanced program as well across the two major categories, full papers and talks with an abstract only.
DNA Computing ; 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed postproceedings of the 13th International Meeting on DNA Computing, DNA 13, held in Memphis, TN, USA, June 4-8, 2007.
Distributed computing in sensor systems ; Vol. 3560 ; 1st IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings
Constitutes the refereed proceedings of the First International Conference on Distributed Computing in Sensor Systems, DCOSS 2005, held in Marina del Rey, California, USA in June/July 2005. The 26 revised full papers presented were carefully reviewed and selected from 85 submissions; also included are the abstracts of 3 invited talks, 2 short papers, 9 invited poster abstracts, and 10 contributed abstracts.The papers address all current aspects of distributed computing issues in large-scale networked sensor systems, including systematic design techniques and tools, algorithms, and applications.
Distributed computing ; Vol. 4167 ; 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings
DISC, the International Symposium on DIStributed Computing, is an annual forum for presentation of research on all facets of distributed computing, inc- ding the theory, design, analysis, implementation, and application of distributed systems and networks. The 20th anniversary edition of DISC was held on S- tember 18-20, 2006, in Stockholm, Sweden. There were 145 extended abstracts submitted to DISC this year, and this - lume contains the 35 contributions selected by the Program Committee and one invited paper among these 145 submissions.
Distributed Computing ; 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 22nd International Symposium on Distributed Computing, DISC 2008, held in Arcachon, France, in September 2008.
Diseases of the chest, heart and vascular system 2025-2028 : Diagnostic imaging
Offers an essential overview of chest, heart and vascular system imaging. Over the last few years, there have been considerable advances in this area, driven by both clinical and technological developments. Written by leading international experts and teachers, the chapters are disease-oriented and cover all relevant imaging modalities, with a focus on magnetic resonance imaging and computed tomography. IDKD books are rewritten (not merely updated) every four years, which means they offer a comprehensive review of the state-of-the-art in imaging. The book is clearly structured and features learning objectives, abstracts, subheadings, tables and take-home points, supported by design elements to help readers navigate the text.
Discovery Science ; Vol. 4265 ; 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings
This LNAI volume, containing the proceedings of the 9th International C- ference onDiscoveryScience, is structured in three parts. The ?rstpart contains the papers/abstracts of the invited talks, the second part contains the accepted long papers, and the third part the accepted regular (short) papers. Out of 87 submitted papers, 23 were accepted for publication as long papers, and 18 as regular papers. All the submitted papers were reviewed by two or three ref- ees. In addition to the presentations of accepted papers, the DS 2006 conference program consisted of three invited talks, two tutorials, the collocated ALT 2006 conference and the Pascal Dialogues workshop.
Discovery Science ; 10th International Conference, DS 2007 Sendai, Japan, October 1-4, 2007. Proceedings
This volume consists of three parts. The first part contains the papers/abstracts of the invited talks, the second part contains the accepted long papers, and the third part contains the accepted regular papers.
Discovering Mathematics with Magma : Reducing the Abstract to the Concrete
This volume celebrates the first decade of the Computer Algebra system Magma. With a design based on the ontology and semantics of algebra, Magma enables users to rapidly formulate and perform calculations in the more abstract parts of mathematics. The book range over much of Magma's coverage of algorithmic algebra: from number theory and algebraic geometry, via representation theory and group theory to some branches of discrete mathematics and graph theory. A basic introduction to the Magma language is given in an appendix. The book is simultaneously an invitation to learn a new programming language in the context of contemporary research problems, and an exposition of the types of problem that can be investigated using computational algebra.
Diplomacy Games : Formal Models and International Negotiations
In this book, leading experts in international negotiations present formal models of conflict resolution and international negotiations. Besides the description of different models and approaches, the book answers three questions: How can the abstract concepts and results of rational choice theorists be made more understandable and plausible to political and social scientists not trained to work with formal models? What can be done to encourage practitioners to use not only simple but also mathematically advanced approaches in their analysis of real world negotiation problems? How can practitioners (e.g., politicians and diplomats) become interested in, take into account, and apply formal models of their more important problems?
Digital Design of Nature : Computer Generated Plants and Organics
The reproduction of nature via computer has fascinated scientists in computer graphics and artists ever since synthetic imaging was thought possible. This book illustrates and exemplifies methods for the creation of artificial plant models, and the application of these methods within areas such as simulation, virtual reality, botany, landscaping, and architecture.The models are combined to create gardens, parks, and even entire landscapes.The range of creating representational forms reaches from deceptively authentic looking pictures to abstract presentations. In addition, with similar methods organic objects can be produced, changed, and animated.
Diagrammatic representation and inference ; 4th International conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings
Proceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA, USA in June 2006. 13 revised full papers, 9 revised short papers, and 12 extended abstracts are presented together with 2 keynote papers and 2 tutorial papers. The papers are organized in topical sections on diagram comprehension by humans and machines, notations: history, design and formalization, diagrams and education, reasoning with diagrams by humans and machines, and psychological issues in comprehension, production and communication.
