الصفحة 28
الصفحة 28
Cone Beam CT of the Head and Neck : An Anatomical Atlas
Presents normal anatomy of the head using photographs of cadavers and CBCT images in sagittal, axial and coronal planes with the anatomic structures and landmarks clearly labelled. Important structures and regions are presented in detailed view.
Condition Monitoring and Control for Intelligent Manufacturing
Manufacturing systems and processes are becoming increasingly complex, making more rational decision-making in process control a necessity. The book presents a wide and comprehensive review of the key areas of research in machine condition monitoring and control, before focusing on an in-depth treatment of each important technique, from multi-domain signal processing for defect diagnosis to web-based information delivery for real-time control.
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.
CONCUR 2005 - Concurrency Theory
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. The Program Committee selected 38 papers for presentation. Because of the format of the conference and the high number of submissions, many good papers could not be included. Although submissions werereadand evaluated, the papers that appear in this volume may di?er in form and contents from the corresponding submissions.
Conceptual Ecology and Invasion Biology : Reciprocal Approaches to Nature
In this edited volume, global experts in ecology and evolutionary biology explore how theories in ecology elucidate the invasion processes while also examining how specific invasions informs ecological theory. This reciprocal benefit is highlighted in a number of scales of organization: population, community and biogeographic, while employing example invaders in all major groups of organisms and from a number of regions around the globe. The chapters in this volume utilize many of the cutting edge observational, experimental, analytical and computational methods used in modern ecology. Through merging conceptual ecology and invasion biology we can obtain a better understanding of the invasion process while also developing a better understanding of how ecological systems function.
Concepts and Semantics of Programming Languages 2 : Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding. Presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes.
Concepts and Semantics of Programming Languages 1 : A Semantical Approach with OCaml and Python
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding. It is dedicated to functional and imperative features. Included is the formal study of the semantics of typing and execution; their acquisition is facilitated by implementation into OCaml and Python, as well as by worked examples. Data representation is considered in detail: endianness, pointers, memory management, union types and pattern-matching, etc., with examples in OCaml, C and C++. The second volume introduces a specific model for studying modular and object features and uses this model to present Ada and OCaml modules, and subsequently Java, C++, OCaml and Python classes and objects.
Concentration inequalities and model selection ; Ecole d'Eté de Probabilités de Saint-Flour XXXIII - 2003
An overview of a non-asymptotic theory for model selection is given here and some selected applications to variable selection, change points detection and statistical learning are discussed. This volume reflects the content of the course given by P. Massart in St. Flour in 2003.
Computing and Combinatorics ; 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings
The Book covers most aspects of theoretical computer scienceand combinatorics related to computing.It exploring research, development, and novel applications of computing and combinatorics.
Computers and Education : Towards Educational Change and Innovation
This volume contains a selection of papers covering the latest research and experiences on the application of Information and Communication Technologies in the field of Education, especially in the Ibero-American space.
Computer Vision Systems ; 2nd International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings
Computer Vision has reached a level of maturity that allows us not only to p- form research on individual methods and system components but also to build fully integrated computer vision systems of signi cant complexity. This opens a number of new problems related to system architecture, methods for system synthesis and veri cation, active vision systems, control of perception and - tion, knowledge and system representation, context modeling, cue integration, etc. By focusing on methods and concepts for the construction of fully integrated vision systems, ICVS aims to bring together researchers interested in computer vision systems. Similar to the previous event in Las Palmas, ICVS 2001 was organized as a single-track workshop consisting of high-quality.
Computer vision in human-computer interaction ; Vol. 3766
Human-Computer Interaction (HCI) lies at the crossroads of many scienti?c areas including arti?cial intelligence, computer vision, face recognition, motion tracking, etc. In order for HCI systems to interact seamlessly with people, they need to understand their environment through vision and auditory input. Mo- over, HCI systems should learn how to adaptively respond depending on the situation. The goal of this workshop was to bring together researchers from the ?eld of computer vision whose work is related to human-computer interaction. The selected articles for this workshop address a wide range of theoretical and - plication issues in human-computer interaction ranging from human-robot - teraction, gesture recognition, and body tracking, to facial features analysis and human-computer interaction systems.
Computer Vision Beyond the Visible Spectrum
Recently, there has been a dramatic increase in the use of sensors in the non-visible bands. As a result, there is a need for existing computer vision methods and algorithms to be adapted for use with non-visible sensors, or for the development of completely new methods and systems. Computer Vision Beyond the Visible Spectrum is the first book to bring together state-of-the-art work in this area. It presents new & pioneering research across the electromagnetic spectrum in the military, commercial, and medical domains. By providing a detailed examination of each of these areas, it focuses on the development of state-of-the-art algorithms and looks at how they can be used to solve existing & new challenges within computer vision. Essential reading for academics & industrial researchers working in the area of computer vision, image processing, and medical imaging, it will also be useful background reading for advanced undergraduate & postgraduate students.
Computer Simulations of Liquid Crystals and Polymers ; Proceedings of the NATO Advanced Research Workshop on Computational Methods for Polymers and Liquid Crystalline Polymers, Erice, Italy. 16-22 July 2003
Liquid crystals, polymers and polymer liquid crystals are soft condensed matter systems of major technological and scientific interest. An understanding of the macroscopic properties of these complex systems and of their many and interesting peculiarities at the molecular level can nowadays only be attained using computer simulations and statistical mechanical theories. Both in the Liquid Crystal and Polymer fields a considerable amount of simulation work has been done in the last few years with various classes of models at different special resolutions, ranging from atomistic to molecular and coarse-grained lattice models. Each of the two fields has developed its own set of tools and specialized procedures and the book aims to provide a state of the art review of the computer simulation studies of polymers and liquid crystals. This is of great importance in view of a potential cross-fertilization between these connected areas which is particularly apparent for a number of experimental systems like, e.g. polymer liquid crystals and anisotropic gels where the different fields necessarily merge. An effort has been made to assess the possibilities of a coherent description of the themes that have developed independently, and to compare and extend the theoretical and computational techniques put forward in the different areas.
Computer recognition systems 2
Computer recognition systems are nowadays one of the most promising directions in artificial intelligence. This book presents actual comprehensive study of this field. It contains a collection of over one hundred carefully selected articles contributed by experts of pattern recognition. It reports on current research with respect to both methodology and applications. In particular, it includes the following sections: Features, learning and classifiers / Image processing and computer vision / Speech and word recognition / Medical applications / Various applications. This book is a great reference tool for scientists who deal with the problems of designing computer pattern recognition systems. Its target readers can be the as well researchers as students of computer science, artificial intelligence or robotics.
Computer Analysis of Images and Patterns ; 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005, Proceedings
This volume presents the proceedings of the 11th International Conference on Computer Analysis of Images and Patterns (CAIP 2005). This conference - ries started about 20 years ago in Berlin. Initially, the conference served as a forum for meetings between scientists from Western and Eastern-block co- tries. Nowadays, the conference attracts participants from all over the world. The conference gives equal weight to posters and oral presentations, and the selected presentation mode is based on the most appropriate communication medium. The program follows a single-track format, rather than parallel s- sions.
Computer algebra in scientific computing ; Vol. 3718 ; 8th International workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
This volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences on the latest advances in the application of computer algebra systems(CASs) and methods to the solution of various problems in scientific computing.The methods of scientific computing play an important role in research andengineering applications in the natural and the engineering sciences. The signif-icance and impact of computer algebra methods and computer algebra systemsfor scientific computing has increased considerably in recent times. Nowadays,such general-purpose computer algebra systems as Maple, Magma, Mathematica,MuPAD, Singular, CoCoA and others enable their users to solve the followingthree important tasks within a uniform framework:(a) symbolic manipulation;(b) numerical computation;(c) visualization. The result of this job is reflected in this volume, which contains revised versionsof the accepted papers. The collection of papers included in the proceedingscovers various topics of computer algebra methods, algorithms, and softwareapplied to scientific computing:
Computer algebra in scientific computing ; 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings
This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, held in Sochi, Russia, in September 2021. The 24 full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. The papers cover theoretical computer algebra and its applications in scientific computing.
Computer algebra in scientific computing ; 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 34 full papers presented together with 2 invited talks were carefully reviewed and selected from 41 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.
Computer Aided Systems Theory – EUROCAST 2007 ; 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information Processing, Computers in Education, Grid Computing, Applied Formal Verification, Cellular Automata, Computer Vision, Heuristic Problem So.
