| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910411652203321 |
|
|
Autore |
Hitzler Pascal |
|
|
Titolo |
Mathematical aspects of logic programming semantics / / Pascal Hitzler, Anthony Seda |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Boca Raton, FL : , : CRC Press, , [2011] |
|
©2011 |
|
|
|
|
|
|
|
|
|
ISBN |
|
9781000218725 |
1000218724 |
9780429094231 |
042909423X |
9781439829622 |
1439829624 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (296 p.) |
|
|
|
|
|
|
Collana |
|
Chapman & Hall/CRC studies in informatics series |
|
|
|
|
|
|
Classificazione |
|
COM031000COM037000COM051240 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic programming |
Programming languages (Electronic computers) - Semantics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
1. Order and logic -- 2. The semantics of logic problems -- 3. Topology and logic programming -- 4. Fixed-point theory for generalized metric spaces -- 5. Supported model semantics -- 6. Stable and perfect model semantics -- 7. Logic programming and artificial neural networks -- 8. Final thoughts. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Covering the authors' own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory.The book covers topics spanning the period from the early days of logic programming to current times. It discusses applications to computational logic and potential applications to the integration of models of computation, knowledge representation |
|
|
|
|
|
|
|
|
|
|
|
|
|
and reasoning, and the Semantic Web. The authors develop well-known and important semantics in logic programming from a unified point of view using both order theory and new, nontraditional methods. They closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.For readers interested in the interface between mathematics and computer science, this book offers a detailed development of the mathematical techniques necessary for studying the semantics of logic programs. It illustrates the main semantics of logic programs and applies the methods in the context of neural-symbolic integration-- |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910689669603321 |
|
|
Titolo |
Protecting children : the use of medication in our nation's schools and H.R. 1170, Child Medication Safety Act of 2003 : hearing before the Subcommittee on Education Reform of the Committee on Education and the Workforce, House of Representatives, One Hundred Eighth Congress, first session, hearing held in Washington, DC, May 6, 2003 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (iv, 144 p.) |
|
|
|
|
|
|
Soggetti |
|
Medication abuse - United States - Prevention |
Psychotropic drugs - United States |
Attention-deficit hyperactivity disorder - Treatment - United States |
Children with attention-deficit hyperactivity disorder - United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910300201603321 |
|
|
Titolo |
Translational Research Methods for Diabetes, Obesity and Cardiometabolic Drug Development : A Focus on Early Phase Clinical Studies / / edited by Andrew J. Krentz, Lutz Heinemann, Marcus Hompesch |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London : , : Springer London : , : Imprint : Springer, , 2015 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2015.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (316 p.) |
|
|
|
|
|
|
Disciplina |
|
610 |
615 |
615.19 |
616 |
616.39 |
616.46 |
616462 |
|
|
|
|
|
|
|
|
Soggetti |
|
Medicine |
Internal medicine |
Diabetes |
Metabolism - Disorders |
Pharmacology |
Pharmaceutical technology |
Medicine/Public Health, general |
Internal Medicine |
Metabolic Diseases |
Pharmacology/Toxicology |
Pharmaceutical Sciences/Technology |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
1. Review of physiology/pathophysiology -- 2. Methods for assessing insulin action in humans -- 3. Assessment of insulin secretion -- 4. |
|
|
|
|
|
|
|
|
|
|
|
Measurement of ectopic fat in liver and muscle using magnetic resonance spectroscopy -- 5. Isotopic tracers for the measurement of metabolic flux -- 6. Measuring food intake in clinical drug development -- 7. Measurement of energy expenditure -- 8. Assessment of body composition -- 9. Assessment of cardiovascular safety of new diabetes drugs. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book aims to aid the selection of the most appropriate techniques for use in early phase (1 and 2) clinical studies of new drugs for diabetes, obesity, and related cardiometabolic disease. Clinical research methods for assessing the pharmacokinetics and pharmacodynamics of new diabetes drugs, e.g. the euglycaemic clamp technique, have become well-established in proof-of-mechanism studies; however, selection of the best techniques is by no means straightforward. This book will aid the understanding of the need for new pharmacotherapies for type 1 diabetes, type 2 diabetes, and obesity and the molecular targets of drugs currently in development. Emerging technologies including the omics disciplines are considered together with practical and ethical issues of early phase clinical trials in subjects with cardiometabolic disorders. Translational Research Methods for Diabetes, Obesity and Cardiometabolic Drug Development will be of interest to biomedical scientists, pharmacologists, academics involved in metabolic research and clinicians practicing in these specialties. |
|
|
|
|
|
|
|
| |