LEADER 05346nam 22008175 450 001 996465819303316 005 20200701033248.0 010 $a3-540-45206-0 024 7 $a10.1007/b12030 035 $a(CKB)1000000000212153 035 $a(SSID)ssj0000321540 035 $a(PQKBManifestationID)11227090 035 $a(PQKBTitleCode)TC0000321540 035 $a(PQKBWorkID)10279478 035 $a(PQKB)10462861 035 $a(DE-He213)978-3-540-45206-5 035 $a(MiAaPQ)EBC3087815 035 $a(PPN)155183001 035 $a(EXLCZ)991000000000212153 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Reasoning with Analytic Tableaux and Related Methods$b[electronic resource] $eInternational Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings /$fedited by Marta Cialdea Mayer, Fiora Pirri 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (X, 270 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2796 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-40787-1 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aShort Abstracts of Invited Lectures -- Non Commutative Logic: A Survey (Abstract) -- Dynamical Method in Algebra: A Survey (Abstract) -- Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code (Abstract) -- Research Papers -- Tableaux with Four Signs as a Unified Framework -- A Labelled Sequent-Calculus for Observation Logic -- Bounded ?ukasiewicz Logics -- Parallel Dialogue Games and Hypersequents for Intermediate Logics -- Simplification Rules for Constrained Formula Tableaux -- Tableau Calculi for Preference-Based Conditional Logics -- A General Tableau Method for Propositional Interval Temporal Logics -- Universal Variables in Disconnection Tableaux -- A Tableau Algorithm for Reasoning about Concepts and Similarity -- XPath and Modal Logics of Finite DAG?s -- Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation -- A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models -- Automatic Abstraction of Equations in a Logic of Equality -- A Free Variable Sequent Calculus with Uniform Variable Splitting -- System Description -- The Tableaux Work Bench -- Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations of a First Order L-Predicate Nonmonotonic Logic -- Logistica 2.0: A Technology for Implementing Automatic Deduction Systems -- Fair Constraint Merging Tableaux in Lazy Functional Programming Style -- SOLAR: A Consequence Finding System for Advanced Reasoning -- CondLean: A Theorem Prover for Conditional Logics. 330 $aThis book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003. The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi. 410 0$aLecture Notes in Artificial Intelligence ;$v2796 606 $aArtificial intelligence 606 $aNumber theory 606 $aComputer science 606 $aComputer programming 606 $aSoftware engineering 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aNumber Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/M25001 606 $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArtificial intelligence. 615 0$aNumber theory. 615 0$aComputer science. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aNumber Theory. 615 24$aComputer Science, general. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3 702 $aCialdea Mayer$b Marta$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPirri$b Fiora$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTABLEAUX 2003 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465819303316 996 $aAutomated Reasoning with Analytic Tableaux and Related Methods$9772640 997 $aUNISA LEADER 02062oam 2200517I 450 001 9910704956003321 005 20151026145913.0 035 $a(CKB)5470000002446185 035 $a(OCoLC)869396109 035 $a(EXLCZ)995470000002446185 100 $a20140129j201306 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMeasuring water and sediment discharge from a road plot with a settling basin and tipping bucket /$fThomas A. Black and Charles H. Luce 210 1$aFort Collins, CO :$cUnited States Department of Agriculture, Forest Service, Rocky Mountain Research Station,$dJune 2013. 215 $a1 online resource (38 pages) $cillustrations (some color) 225 1 $aGeneral technical report RMRS ;$vGTR-287 300 $aTitle from title screen (viewed on Jan. 29, 2014). 300 $a"June 2013." 320 $aIncludes bibliographical references (pages 33-36). 606 $aSediment transport$zUnited States$xMeasurement 606 $aSoil erosion$zUnited States$xMeasurement 606 $aForest roads$xEnvironmental aspects$zUnited States 606 $aForest roads$xEnvironmental aspects$2fast 606 $aSediment transport$xMeasurement$2fast 606 $aSoil erosion$xMeasurement$2fast 615 0$aSediment transport$xMeasurement. 615 0$aSoil erosion$xMeasurement. 615 0$aForest roads$xEnvironmental aspects 615 7$aForest roads$xEnvironmental aspects. 615 7$aSediment transport$xMeasurement. 615 7$aSoil erosion$xMeasurement. 700 $aBlack$b Thomas A.$01395846 702 $aLuce$b Charles H$g(Charles Henry),$f1964- 712 02$aRocky Mountain Research Station (Fort Collins, Colo.), 801 0$bORE 801 1$bORE 801 2$bOCLCF 801 2$bGPO 906 $aBOOK 912 $a9910704956003321 996 $aMeasuring water and sediment discharge from a road plot with a settling basin and tipping bucket$93454945 997 $aUNINA LEADER 04467nam 22006855 450 001 9910755082103321 005 20251008150511.0 010 $a3-031-39995-1 024 7 $a10.1007/978-3-031-39995-4 035 $a(MiAaPQ)EBC30832452 035 $a(Au-PeEL)EBL30832452 035 $a(DE-He213)978-3-031-39995-4 035 $a(PPN)272917133 035 $a(CKB)28572696000041 035 $a(EXLCZ)9928572696000041 100 $a20231028d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCardiovascular Neuroendocrinology /$fedited by Gina L. C. Yosten, J. Thomas Cunningham 205 $a1st ed. 2023. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2023. 215 $a1 online resource (241 pages) 225 1 $aMasterclass in Neuroendocrinology,$x2662-2076 ;$v14 311 08$aPrint version: Yosten, Gina L. C. Cardiovascular Neuroendocrinology Cham : Springer International Publishing AG,c2023 9783031399947 327 $aPart I. Neuroendocrine Systems and Cardiovascular Function -- Chapter 1. Neural Control of Cardiovascular Function: Role of Osmosensation -- Chapter 2. Central Neuroendocrine Control of the Cardiovascular System -- Chapter 3. Neuroendocrine Control of the Vascular System -- Chapter 4. Sex Differences in Vascular Function -- Part II. Neuroendocrinology of Cardiovascular Dysfunction and Aging -- Chapter 5. Cardiovascular Neuroendocrinology of Pregnancy -- Chapter 6. Cerebrovascular Function in Aging -- Chapter 7. Cardiovascular Responses to Exercise in Diabetes -- Chapter 8. Interactions of Stress, Psychology, and Cardiovascular Function -- Chapter 9. Neuroendocrinology Therapeutic Pathways for Cardiovascular Disease. 330 $aThe cardiovascular system and the neuroendocrine system are integrated at multiple levels. This integration is key to normal physiological function. Further, it adapts to accommodate changes related to aging, the organism?s reproductive state, or physiological challenges. This type of adaptability, or plasticity, also can contribute to pathophysiology when these systems are stressed. This volume discusses how neuroendocrine systems influence cardiovascular function in health and disease. The first section provides detailed background information on neuronal and neuroendocrine control of cardiovascular function. This is followed by chapters highlighting the cardiovascular role of neuroendocrine hormones in regulating physiological states, such as pregnancy, and the effects of biological sex on vascular function. The influence of exercise, stress, psychology, and aging on cardiovascular function and dysfunction, and the possibility of therapeutically targeting the neuroendocrineaxis for the treatment of cardiovascular disease are discussed in the final section of the book. This book is of relevance for students, trainees and established researchers alike who are seeking for an overview on the neuroendocrine control of cardiovascular function and disease. This is the fourteenth volume in the International Neuroendocrine Federation (INF) Masterclass in Neuroendocrinology series, which aims to illustrate the highest standards and encourage the use of the latest technologies in basic and clinical research and hopes to provide inspiration for further exploration into the exciting field of neuroendocrinology. 410 0$aMasterclass in Neuroendocrinology,$x2662-2076 ;$v14 606 $aNeurophysiology 606 $aNeurons 606 $aCardiovascular system 606 $aPhysiology 606 $aCardiology 606 $aEndocrinology 606 $aCellular Neuroscience 606 $aCardiovascular Physiology 606 $aCardiology 606 $aEndocrinology 615 0$aNeurophysiology. 615 0$aNeurons. 615 0$aCardiovascular system. 615 0$aPhysiology. 615 0$aCardiology. 615 0$aEndocrinology. 615 14$aCellular Neuroscience. 615 24$aCardiovascular Physiology. 615 24$aCardiology. 615 24$aEndocrinology. 676 $a612.1 700 $aYosten$b Gina L. C$01435978 701 $aCunningham$b J. Thomas$01435979 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910755082103321 996 $aCardiovascular Neuroendocrinology$93594020 997 $aUNINA