Listing 1 - 10 of 11 | << page >> |
Sort by
|
Choose an application
This book is the first significant contribution to thoroughly examine the potential hazards associated with snakes of the former family, Colubridae. This family contained >65% of living snake species (approximately 3,000 taxa) and has recently been split into multiple families. Many of these snakes produce oral secretions that contain toxins and other biologically-active substances. A large variety of these snakes figure in the pet industry, yet little documented information or formal study of their potential medical importance has been published. Therefore, although the possible medical impor
Snakebites --- Colubridae. --- Treatment.
Choose an application
This book is the first significant contribution to thoroughly examine the potential hazards associated with snakes of the former family, Colubridae. This family contained>65% of living snake species (approximately 3,000 taxa) and has recently been split into multiple families. Many of these snakes produce oral secretions that contain toxins and other biologically-active substances. A large variety of these snakes figure in the pet industry, yet little documented information or formal study of their potential medical importance has been published. Therefore, although the possible medical importance of many of these species has been subjected to speculation since the mid-nineteenth century, there is a limited amount of useful descriptive information regarding the real hazard (or lack thereof) of snakes belonging to this diverse, artificial family. There is a need for "one-stop shopping" offering information regarding their possible toxicity and clinical relevance as well as recommendations for medical management of their bites. This book is the first synthesis of this information and includes evidence-based risk assessment, hazard rankings and specific recommendations regarding important species, many common in captivity. Fills a gap in the toxinological, medical and herpetological literature by providing a comprehensive review of this entire assemblage of snakes, with particular attention given to their capacity, real or rumored, to cause harm to humans A patient-centered, evidence-based approach is applied to analyzing documented case reports of bites inflicted by approximately 100 species. Clinical management of medically significant bites from non-front-fanged colubroids is methodically reviewed, and specific recommendations are provided.
Choose an application
Cognitive psychology --- Didactics --- Artificial intelligence. Robotics. Simulation. Graphics --- Research on teaching --- Learning --- Learning, Psychology of. --- Human information processing --- Apprentissage --- Psychologie de l'apprentissage --- Information, Traitement de l', chez l'homme --- Mathematical models. --- Modèles mathématiques --- Learning, Psychology of --- Mathematical models --- -Learning --- -#TELE:d.d. Prof. A. J. J. Oosterlinck --- 681.3*I26 --- Psychology of learning --- Educational psychology --- Comprehension --- Learning ability --- Learning process --- Education --- Information processing, Human --- Bionics --- Information theory in psychology --- Perception --- Mathematical aspects --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- Psychological aspects --- 681.3*I26 Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- Modèles mathématiques --- #TELE:d.d. Prof. A. J. J. Oosterlinck --- Learning - Mathematical models --- Human information processing - Mathematical models
Choose an application
Learning, Psychology of. --- Learning --- Human information processing --- Mathematical models. --- Mathematical models.
Choose an application
Poisonous snakes --- Venomous snakes --- Vipers --- Poisonous animals --- Snakes --- Venom --- Ecology
Choose an application
Venom. --- Venoms --- Antivenins --- Poisonous animals --- Toxins
Choose an application
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, which emphasizes the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of, and hierarchies within, first order, second order, fixed point, and infinitary logics to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful technique for analyzing the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and tree-width, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research in finite model theory, and all readers will experience the excitement of a vibrant area of application of logic to computer science.
Finite model theory. --- Computational complexity. --- Constraint databases. --- Databases --- Complexity, Computational --- Electronic data processing --- Machine theory --- Computer science --- Model theory --- Mathematics --- Information theory. --- Computer science. --- Software engineering. --- Logic design. --- Database management. --- Theory of Computation. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Database Management. --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Computers. --- Mathematical logic. --- Computer logic. --- Computer science logic --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace
Choose an application
Mathematical logic --- Computer science --- Information systems --- Computer. Automation --- informatica --- programmeren (informatica) --- database management --- wiskunde --- software engineering --- logica
Choose an application
Choose an application
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, which emphasizes the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of, and hierarchies within, first order, second order, fixed point, and infinitary logics to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful technique for analyzing the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and tree-width, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research in finite model theory, and all readers will experience the excitement of a vibrant area of application of logic to computer science.
Mathematical logic --- Computer science --- Information systems --- Computer. Automation --- informatica --- programmeren (informatica) --- database management --- wiskunde --- software engineering --- logica
Listing 1 - 10 of 11 | << page >> |
Sort by
|