LEADER 00926nam0-22003371i-450- 001 990001498020403321 005 20080402140556.0 035 $a000149802 035 $aFED01000149802 035 $a(Aleph)000149802FED01 035 $a000149802 100 $a20021120d1978----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $aa---a---001yy 200 1 $aGuida all'insegnamento della matematica$fWalter Warwick Sawyer$gAntonio Trotta 210 $aTorino$cBoringhieri$dc1978 215 $a376 p.1v.$cill.$d21 cm 610 0 $aInsegnamento della matematica 676 $a507 700 1$aSawyer,$bWalter Warwick$066903 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001498020403321 952 $aCPDM-97-049$b269 CPDM$fMA1 952 $aZIT-222$b22924$fMA1 959 $aMA1 962 $a97-XX 962 $a97CXX 996 $aIntroducing mathematics$924931 997 $aUNINA LEADER 05844nam 22007935 450 001 996465776503316 005 20200704015455.0 010 $a3-540-88009-7 024 7 $a10.1007/978-3-540-88009-7 035 $a(CKB)1000000000490613 035 $a(SSID)ssj0000317973 035 $a(PQKBManifestationID)11231716 035 $a(PQKBTitleCode)TC0000317973 035 $a(PQKBWorkID)10307428 035 $a(PQKB)10447494 035 $a(DE-He213)978-3-540-88009-7 035 $a(MiAaPQ)EBC3063297 035 $a(MiAaPQ)EBC6283101 035 $a(PPN)129063193 035 $a(EXLCZ)991000000000490613 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aGrammatical Inference: Algorithms and Applications$b[electronic resource] $e9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings /$fedited by Alexander Clark, François Coste, Laurent Miclet 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XI, 305 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v5278 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-88008-9 320 $aIncludes bibliographical references and index. 327 $aRegular Papers -- Learning Meaning Before Syntax -- Schema-Guided Induction of Monadic Queries -- A Polynomial Algorithm for the Inference of Context Free Languages -- Learning Languages from Bounded Resources: The Case of the DFA and the Balls of Strings -- Relevant Representations for the Inference of Rational Stochastic Tree Languages -- Learning Commutative Regular Languages -- Learning Left-to-Right and Right-to-Left Iterative Languages -- Learning Bounded Unions of Noetherian Closed Set Systems Via Characteristic Sets -- A Learning Algorithm for Multi-dimensional Trees, or: Learning Beyond Context-Freeness -- On Learning Regular Expressions and Patterns Via Membership and Correction Queries -- State-Merging DFA Induction Algorithms with Mandatory Merge Constraints -- Using Multiplicity Automata to Identify Transducer Relations from Membership and Equivalence Queries -- Towards Feasible PAC-Learning of Probabilistic Deterministic Finite Automata -- Learning Context-Sensitive Languages from Linear Structural Information -- Polynomial Time Probabilistic Learning of a Subclass of Linear Languages with Queries -- How to Split Recursive Automata -- A Note on the Relationship between Different Types of Correction Queries -- Unsupervised Learning of Probabilistic Context-Free Grammar using Iterative Biclustering -- Polynomial Distinguishability of Timed Automata -- Evaluation and Comparison of Inferred Regular Grammars -- Identification in the Limit of k,l-Substitutable Context-Free Languages -- Poster Papers -- Learning Subclasses of Pure Pattern Languages -- Which Came First, the Grammar or the Lexicon? -- Learning Node Label Controlled Graph Grammars (Extended Abstract) -- Inference of Uniquely Terminating EML -- Estimating Graph Parameters Using Graph Grammars -- Learning of Regular ?-Tree Languages -- Inducing Regular Languages Using Grammar-Based Classifier System -- Problems with Evaluation of Unsupervised Empirical Grammatical Inference Systems. 330 $aThis book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held in Saint-Malo, France, in September 2008. The 21 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 36 submissions. The topics of the papers presented vary from theoretical results of learning algorithms to innovative applications of grammatical inference, and from learning several interesting classes of formal grammars to applications to natural language processing. 410 0$aLecture Notes in Artificial Intelligence ;$v5278 606 $aProgramming languages (Electronic computers) 606 $aArtificial intelligence 606 $aComputer programming 606 $aMathematical logic 606 $aComputer logic 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aProgramming languages (Electronic computers). 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aMathematical logic. 615 0$aComputer logic. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 676 $a511.3 702 $aClark$b Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCoste$b François$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMiclet$b Laurent$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Colloquium on Grammatical Inference 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465776503316 996 $aGrammatical Inference: Algorithms and Applications$9772098 997 $aUNISA LEADER 02036nam 2200625 a 450 001 9910791984103321 005 20230421052107.0 010 $a1-283-12190-5 010 $a9786613121905 010 $a90-272-8492-X 035 $a(CKB)2560000000073342 035 $a(OCoLC)727941859 035 $a(CaPaEBR)ebrary10468609 035 $a(SSID)ssj0000525159 035 $a(PQKBManifestationID)11343583 035 $a(PQKBTitleCode)TC0000525159 035 $a(PQKBWorkID)10488369 035 $a(PQKB)10265362 035 $a(MiAaPQ)EBC688907 035 $a(Au-PeEL)EBL688907 035 $a(CaPaEBR)ebr10468609 035 $a(OCoLC)721195467 035 $a(EXLCZ)992560000000073342 100 $a19950725d1995 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aQuantum brain dynamics and consciousness$b[electronic resource] $ean introduction /$fMari Jibu, Kunio Yasue 210 $aAmsterdam ;$aPhiladelphia $cJohn Benjamins Pub. Co.$d1995 215 $a1 online resource (258 p.) 225 1 $aAdvances in consciousness research,$x1381-589x ;$vv. 3 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a90-272-5123-1 311 $a1-55619-183-9 320 $aIncludes bibliographical references and index. 327 $apt. 1. A tutorial in quantum physics -- pt. 2. Theories of brain functioning -- pt. 3. A quantum approach to brain functioning. 410 0$aAdvances in consciousness research ;$vv. 3. 606 $aConsciousness 606 $aQuantum theory 606 $aQuantum field theory 615 0$aConsciousness. 615 0$aQuantum theory. 615 0$aQuantum field theory. 676 $a612.8/22 700 $aJibu$b Mari$01497912 701 $aYasue$b Kunio$01497913 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910791984103321 996 $aQuantum brain dynamics and consciousness$93723224 997 $aUNINA