LEADER 03879nam 22004815 450 001 996465767303316 005 20230717195935.0 010 $a3540472711 035 $a(CKB)1000000000233845 035 $a(SSID)ssj0000320861 035 $a(PQKBManifestationID)11213461 035 $a(PQKBTitleCode)TC0000320861 035 $a(PQKBWorkID)10250308 035 $a(PQKB)10472601 035 $a(DE-He213)978-3-540-47271-1 035 $a(PPN)155165313 035 $a(EXLCZ)991000000000233845 100 $a19920522d1992 uy 0 101 0 $aeng 135 $aurcn#---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAdvanced Topics in Artificial Intelligence $eInternational Summer School, Prague, Czechoslovakia, July 6-17, 1992. Proceedings /$fedited by Vladimir Marik, Olga Stepankova, Robert Trappl 205 $a1st ed. 1992. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1992. 215 $a1 online resource (XII, 488 pages) 225 1 $aLecture Notes in Artificial Intelligence ;$v617 300 $aBibliographic Level Mode of Issuance: Monograph 311 18$a3-540-55681-8 327 $aAI: Introduction, paradigms, applications (including CBR), impacts, visions -- Artificial intelligence and connectionism: Some philosophical implications -- Logic for representing and implementing knowledge about system behaviour -- Prolog: A step towards the future of programming -- An introduction to constraint logic programming -- Logic and databases -- to machine learning -- Approaches to inductive logic programming -- Advanced machine learning techniques for computer vision -- Notes on current trends in AI planning -- The application of reason maintenance systems in planning and scheduling -- Practical applications of planning tasks -- The role of uncertainty measures and principles in AI -- to probabilistic methods of knowledge representation and processing -- On belief functions -- Data analysis and uncertainty processing -- Some aspects of knowledge engineering -- An automatic knowledge acquisition tool -- Distributed AI and its applications -- Architectures for second generation knowledge based systems -- An introduction to qualitative reasoning -- Model-based diagnosis: An overview -- Dynamic system simulation with qualitative differential equations -- An introduction to neurocomputing and its possible role in AI -- Intelligent presentation and dialogue management -- Linguistic aspects of natural language processing. 330 $aThis volume contains the texts of 26 lectures and contributions to the program of the International Summer School on Advanced Topics in Artificial Intelligence held in Prague, Czechoslovakia, July 6-17, 1992. The summerschool was intended for (postgraduate) students, researchers and all those who want to learn about recent progress in both theoretical and applied AI. The papers in the volume are organized into nine parts: - Introduction - Logic and logic programming - Machine learning - Planning and scheduling - Uncertainty - Second generation expert systemsand knowledge engineering - Qualitative reasoning - Neurocomputing -Natural language and interfaces. 410 0$aLecture Notes in Artificial Intelligence ;$v617. 606 $aArtificial intelligence$vCongresses 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aArtificial intelligence 615 14$aArtificial Intelligence. 702 $aMarik$b Vladimir$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStepankova$b Olga$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTrappl$b Robert$4edt$4http://id.loc.gov/vocabulary/relators/edt 912 $a996465767303316 996 $aAdvanced topics in artificial intelligence$91382064 997 $aUNISA LEADER 03993nam 2201393z- 450 001 9910557346403321 005 20220111 035 $a(CKB)5400000000042426 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/76435 035 $a(oapen)doab76435 035 $a(EXLCZ)995400000000042426 100 $a20202201d2021 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aSystematics and Conservation of Neotropical Amphibians and Reptiles 210 $aBasel, Switzerland$cMDPI - Multidisciplinary Digital Publishing Institute$d2021 215 $a1 online resource (552 p.) 311 08$a3-0365-0634-9 311 08$a3-0365-0635-7 330 $aThis book includes all 14 articles contributed to the Special Issue "Systematics and Conservation of Neotropical Amphibians and Reptiles" in the journal Diversity, originally published in 2019 and 2020. 606 $aTechnology: general issues$2bicssc 610 $aAmazon 610 $aamphibian 610 $aamphibians 610 $aamphisbaenians 610 $aAndes 610 $aanura 610 $aAromobatidae 610 $abiogeography 610 $aBufonidae 610 $acentrolenidae 610 $aCercosaura manicata boliviana 610 $aCercosaurinae 610 $achytridiomycosis 610 $acommunity structure 610 $aconservation 610 $aconservation areas 610 $acritically endangered 610 $acryptic species 610 $aCusco 610 $aDactyloidae 610 $adata deficient 610 $adeforestation 610 $aDendrobatidae 610 $adisease 610 $adiversity 610 $adiversity gradient 610 $aecological niche modeling 610 $aecomorphology 610 $aenzootics 610 $aepizootics 610 $aextant species distribution 610 $aextinction risk 610 $afire 610 $aforensic taxonomy 610 $afrogs 610 $ageographical range 610 $aGreat American Biotic Interchange 610 $ahabitat breadth 610 $ahigh elevation 610 $ahistorical biogeography 610 $aIguania 610 $ainvasion of exotic plants 610 $aIsla Cocos 610 $aIsla Gorgona 610 $aIsla Malpelo 610 $aisland biogeography 610 $aIsthmus of Panama 610 $alizard 610 $alizards 610 $alocal abundance 610 $aMachupicchu 610 $aMiddle America 610 $aminiaturization 610 $amolecular phylogenetics 610 $an/a 610 $aNeotropical 610 $aneotropics 610 $aoverwater dispersal 610 $aOxapampa 610 $aPacific coast 610 $aPeru 610 $aPeru? 610 $aPholidobolus anomalus 610 $aphylogenetics 610 $aphylogeography 610 $apopulation declines 610 $apotential species distribution 610 $aprotected areas 610 $apublic policy 610 $aQosqophryne 610 $arainforest 610 $areptiles 610 $asnake 610 $asnakes 610 $aSouth America 610 $aspecies description 610 $aspecies richness 610 $asystematic 610 $asystematics 610 $ataxonomy 610 $athreatened species 610 $athreats 610 $atimber harvest 610 $atropical mountain 610 $aUCE 610 $aViperidae 615 7$aTechnology: general issues 700 $aCatenazzi$b Alessandro$4edt$01314809 702 $avon May$b Rudolf$4edt 702 $aCatenazzi$b Alessandro$4oth 702 $avon May$b Rudolf$4oth 906 $aBOOK 912 $a9910557346403321 996 $aSystematics and Conservation of Neotropical Amphibians and Reptiles$93031995 997 $aUNINA LEADER 04217nam 22007575 450 001 9910619279803321 005 20251225203506.0 010 $a9783031196850 010 $a3031196856 024 7 $a10.1007/978-3-031-19685-0 035 $a(MiAaPQ)EBC7118636 035 $a(Au-PeEL)EBL7118636 035 $a(CKB)25171058400041 035 $a(PPN)265855764 035 $a(BIP)86017025 035 $a(BIP)85721989 035 $a(DE-He213)978-3-031-19685-0 035 $a(EXLCZ)9925171058400041 100 $a20221017d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAlgebraic Informatics $e9th International Conference, CAI 2022, Virtual Event, October 27?29, 2022, Proceedings /$fedited by Dimitrios Poulakis, George Rahonis 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (233 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13706 311 08$aPrint version: Poulakis, Dimitrios Algebraic Informatics Cham : Springer International Publishing AG,c2022 9783031196843 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Chaining Multiplications in Finite Fields with Chudnovsky-type Algorithms and Tensor Rank of the k-multiplication -- On Some Algebraic Ways to Calculate Zeros of the Riemann Zeta Function -- Shuffle product of regular languages: results and open problems -- Contributed Papers -- Ordering the Boolean Cube Vectors by their Weights and with Minimal Change -- Designated-Verifier Linkable Ring Signatures with unconditional anonymity -- Finding Points on Elliptic Curves with Coppersmith's Method -- Weighted propositional configuration logic over De Morgan algebras -- Weighted Two-way Transducers -- A formal algebraic approach for the quantitative modeling of connectors in architectures -- Watson-Crick Powers of a Word -- A Normal Form for Matrix Multiplication Schemes -- Bideterministic Weighted Automata -- How to decide Functionality of Compositions of Top-Down Tree Transducers -- Computation of solutions to certain nonlinear systems of fuzzy relation inequations -- When Variable-Length Codes Meet the Field of Error Detection. 330 $aThis book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27?29, 2022. The 2 abstracts, 3 full papers of invited speakers, and 12 contributed papers presented in this volume were carefully reviewed and selected from 17 submissions. The papers contain original and unpublished research; the topics of them lie in automata theory, cryptography, coding theory, DNA computation, computer algebra, and theory of software architectures. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13706 606 $aComputer science 606 $aComputer science$xMathematics 606 $aArtificial intelligence 606 $aData structures (Computer science) 606 $aInformation theory 606 $aDatabase management 606 $aComputer Science Logic and Foundations of Programming 606 $aMathematics of Computing 606 $aArtificial Intelligence 606 $aData Structures and Information Theory 606 $aDatabase Management System 615 0$aComputer science. 615 0$aComputer science$xMathematics. 615 0$aArtificial intelligence. 615 0$aData structures (Computer science) 615 0$aInformation theory. 615 0$aDatabase management. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aMathematics of Computing. 615 24$aArtificial Intelligence. 615 24$aData Structures and Information Theory. 615 24$aDatabase Management System. 676 $a069 702 $aPoulakis$b Dimitrios 702 $aRahonis$b George 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910619279803321 996 $aAlgebraic Informatics$92954948 997 $aUNINA