الصفحة 1
الصفحة 1
Nanoinformatics
Brings out the state of the art on how informatics-based tools are used and expected to be used in nanomaterials research. There has been great progress in the area in which “big-data” generated by experiments or computations are fully utilized to accelerate discovery of new materials, key factors, and design rules. Data-intensive approaches play indispensable roles in advanced materials characterization. "Materials informatics" is the central paradigm in the new trend. "Nanoinformatics" is its essential subset, which focuses on nanostructures of materials such as surfaces, interfaces, dopants, and point defects, playing a critical role in determining materials properties. There have been significant advances in experimental and computational techniques to characterize individual atoms in nanostructures and to gain quantitative information. The collaboration of researchers in materials science and information science is growing actively and is creating a new trend in materials science and engineering.
Medical Imaging and Augmented Reality ; 4th International Workshop Tokyo, Japan, August 1-2, 2008 Proceedings
Constitutes the refereed proceedings of the 4th International Workshop on Medical Imaging and Augmented Reality, MIAR 2008, held in Tokyo, Japan, in August 2008.The 44 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 90 submissions. The papers are organized in topical sections on surgical planning and simulation, medical image computing, image analysis, shape modeling and morphometry, image-guided robotics, image-guided intervention, interventional imaging, image registration, augmented reality, and image segmentation.
Human motion : Understanding, modeling, capture and animation ; 2nd Workshop, HumanMotion 2007, Rio de Janeiro, Brazil, October 20, 2007, Proceedings
This LNCS volume contains the papers presented at the second Workshop on Human Motion Understanding, Modeling, Capture and Animation. The accepted papers re?ect the state of the art in the ?eld and cover various topicsrelatedto humanmotiontrackingandanalysis.Thepapersinthisvolume have been classi?ed into three categories based on the topics they cover: human motion capture and pose estimation, body and limb tracking and segmentation, and activity recognition.
Logical aspects of computational linguistics ; 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings
Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks.- Contributed Papers.- A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique.- An Algebraic Approach to French Sentence Structure.- Deductive Parsing of Visual Languages.- Lambek Grammars Based on Pregroups.- An Algebraic Analysis of Clitic Pronouns in Italian.- Consistent Identification in the Limit of Any of the Classes k-Valued Is NP-hard.- Polarized Non-projective Dependency Grammars.- On Mixing Deduction and Substitution in Lambek Categorial Grammars.- A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations.- A Characterization of Minimalist Languages.- of Speech Tagging from a Logical Point of View.- Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars.- Recognizing Head Movement.- Combinators for Paraconsistent Attitudes.- Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences.- Atomicity of Some Categorially Polyvalent Modifiers.
Compiler construction ; 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
This book constitutes the proceedings of the 17th International Conference on Compiler Construction, CC 2008. It covers analysis and transformations, compiling for parallel architectures, runtime techniques and tools, analyses, and atomicity and transactions.
Brain and Human Body Modeling : Computational Human Modeling at EMBC 2018
This book describes modern applications of computational human modeling with specific emphasis in the areas of neurology and neuroelectromagnetics, depression and cancer treatments, radio-frequency studies and wireless communications. Special consideration is also given to the use of human modeling to the computational assessment of relevant regulatory and safety requirements. Readers working on applications that may expose human subjects to electromagnetic radiation will benefit from this book’s coverage of the latest developments in computational modelling and human phantom development to assess a given technology’s safety and efficacy in a timely manner.
Biomedical Simulation ; 3rd International Symposium, ISBMS 2006, Zurich, Switzerland, July 10-11, 2006, Proceedings
This book contains the written contributions to the Third International Sym- sium on Biomedical Simulation (ISBMS), which was held in Zurich, Switzerland, on July 10-11, 2006. The manuscripts are organized around three thematic sections which cover several of the major aspects of our rapidly growing ?eld: anatomical modeling and tissue properties, simulation of biophysical processes, as well as systems and applications. The symposium provided an international forum for researchers interested in using biomedical simulation technology for the improvement of patient care. It was held in the spirit and continuation of the symposia on Surgical Simulation and Soft Tissue Modeling (IS4TM) organized in 2003 by INRIA, and on Medical Simulation (ISMS) in 2004 by CIMIT.
