تحسين النتائح
ترتيب حسب
من
الى
الصفحة 16
الصفحة 16
Advances in Medical Engineering
In this book, research and development trends of physics, engineering, mathematics and computer sciences in biomedical engineering are presented. Contributions from industry, clinics, universities and research labs with foci on medical imaging (CT, MRT, US, PET, SPECT etc.), medical image processing (segmentation, registration, visualization etc.), computer-assisted surgery (medical robotics, navigation), biomechanics (motion analysis, accident research, computer in sports, ergonomics etc.), biomedical optics (OCT, soft-tissue optics, optical monitoring etc.) and laser medicine (tissue ablation, gas analytics, topometry etc.) give insight to recent engineering, clinical and mathematical studies.
Advances in Information Technologies for Electromagnetics
Simple tutorial chapters introduce the reader to cutting edge technologies, such as parallel and distributed computing, object-oriented technologies, grid computing, semantic grids, agent based computing and service-oriented architectures. On such bases, a variety of EM applications is proposed: 1) parallel FDTD codes (both for antenna analysis and for metamaterial applications), 2) grid computing for computational EM (CEM) (with applications to antenna arrays, wireless and remote-sensing systems) 3) mobile agents for parametric CEM modeling 4) complex/hybrid EM software environments (with applications to planar circuits, quasi-optical systems,…) 5) semantic grids for CAE of antennas arrays.
Advanced computational intelligence paradigms in healthcare 1
This book presents some of the most recent research results on the applications of computational intelligence in healthcare. The contents include: Information model for management of clinical content State-based model for management of type II diabetes Case-based reasoning in medicine Assessing the quality of care in artificial intelligence environment Electronic medical record to examine physician decisions Multi-agent systems for the management of community healthcare Assistive wheelchair navigation Modelling treatment processes using information extraction Neonatal pain detection using face classification techniques Medical education interfaces using virtual patients The book is directed to the computer scientists, medical practitioners, scientists, professors and students of health science, computer science and related disciplines.
A Modern Perspective on Type Theory : From its Origins until Today
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this bridging in the first two parts between historical and modern systems to propose new systems that bring more advantages together. This book has much to offer to mathematicians, logicians and to computer scientists in general. It will have considerable influence for many years to come.' - Henk Barendregt
A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies pertaining to the theory, as well as related epistemological issues. Any mathematical technique that is introduced in the book is preceded by logical and epistemological explanations. Intuitive justifications are also provided, insofar as possible, so that the general perspective is not lost.
A Concise Introduction to Mathematical Logic
This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows the lecturer to select the material for a one-semester course on a topic more easily. These initial chapters cover just the material for an introductory course on mathematical logic combined with the necessary material from set theory. Chapter 3 is partly of a descriptive nature, providing a view towards decision problems, automated theorem proving, non-standard models and related subjects. The other chapters contain material on logic programming for computer scientists, model theory, recursion theory, Gödel's Incompleteness Theorems, and applications of mathematical logic. Philosophical and foundational problems of mathematics are discussed where appropriate.
