LEADER 00989nam a2200241 i 4500 001 991002392359707536 005 20020508195437.0 008 970122s1979 it ||| | ita 035 $ab11002438-39ule_inst 035 $aPARLA161684$9ExL 040 $aIstituto di Filosofia$bita 100 1 $aBoethius, Anicius Manlius Torquatus Severinus$0182801 245 13$aLa consolazione della filosofia. Gli opuscoli teologici /$cSeverinus Boethius ; a cura di Luca Obertello 260 $aMilano :$bRusconi,$c1979 300 $a439 p. ;$c21 cm. 440 2$aI classici del pensiero. Sez. 2. Medioevo e Rinascimento 700 1 $aObertello, Luca 907 $a.b11002438$b21-09-06$c28-06-02 912 $a991002392359707536 945 $aLE005 Ist.Fil. XXXII H 18$g1$iLE004-4491$lle005$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i11118982$z28-06-02 996 $aConsolazione della filosofia. Gli opuscoli teologici$9860900 997 $aUNISALENTO 998 $ale005$b01-01-97$cm$da $e-$fita$git $h3$i1 LEADER 01013nam0 22002651i 450 001 UON00192968 005 20231205103222.413 010 $a88-221-1423-X 100 $a20030730d1994 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $a Figli di un benessere minore$estoria della lega 1979-1993$fa cura di Giovanni De Luna 210 $aFirenze$cLa Nuova Italia$d1994 IX$d291 p. ; 21 cm 606 $aItalia$xPartiti politici$xStoria$3UONC034450$2FI 620 $aIT$dFirenze$3UONL000052 676 $a324.2$cPartiti politici$v21 702 1$aDe_Luna$bGiovanni$3UONV046117 712 $aLa Nuova Italia$3UONV245954$4650 801 $aIT$bSOL$c20250704$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00192968 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI EUR D A 1911 $eSI SC 28885 5 1911 996 $aFigli di un benessere minore$9958795 997 $aUNIOR LEADER 07577nam 22008295 450 001 9910484964503321 005 20251226195103.0 010 $a3-642-16761-6 024 7 $a10.1007/978-3-642-16761-4 035 $a(CKB)2550000000019911 035 $a(SSID)ssj0000446235 035 $a(PQKBManifestationID)11262644 035 $a(PQKBTitleCode)TC0000446235 035 $a(PQKBWorkID)10495949 035 $a(PQKB)11550859 035 $a(DE-He213)978-3-642-16761-4 035 $a(MiAaPQ)EBC3066055 035 $a(PPN)149029624 035 $a(EXLCZ)992550000000019911 100 $a20101031d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAdvances in Artificial Intelligence $e9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I /$fedited by Grigori Sidorov, Arturo Hernández Aguirre, Carlos Alberto Reyes Garcia 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XXIII, 479 p. 190 illus.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v6437 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-16760-8 320 $aIncludes bibliographical references and index. 327 $aInvited Paper -- Some Encounters on the Productive Use of a Failed Proof Attempt or a Counterexample -- Natural Language Processing -- Discourse Segmentation for Spanish Based on Shallow Parsing -- Towards Document Plagiarism Detection Based on the Relevance and Fragmentation of the Reused Text -- Lexicon Based Sentiment Analysis of Urdu Text Using SentiUnits -- A Semantic Oriented Approach to Textual Entailment Using WordNet-Based Measures -- On Managing Collaborative Dialogue Using an Agent-Based Architecture -- Dialog Structure Automatic Modeling -- A Probabilistic Model Based on n-Grams for Bilingual Word Sense Disambiguation -- Information Retrieval with a Simplified Conceptual Graph-Like Representation -- Teaching a Robot to Perform Tasks with Voice Commands -- Music Composition Based on Linguistic Approach -- Robotics, Planning and Scheduling -- A Practical Robot Coverage Algorithm for Unknown Environments -- An Algorithm for the Automatic Generation of Human-Like Motions Based on Examples -- Line Maps in Cluttered Environments -- Fuzzy Cognitive Maps for Modeling Complex Systems -- Semantic Representation and Management of Student Models: An Approach to Adapt Lecture Sequencing to Enhance Learning -- An Effective Heuristic for the No-Wait Flowshop with Sequence-Dependent Setup Times Problem -- Optimizing Alternatives in Precedence Networks -- AI-Based Integrated Scheduling of Production and Transportation Operations within Military Supply Chains -- Turbo Codification Techniques for Error Control in a Communication Channel -- A New Graphical Recursive Pruning Method for the Incremental Pruning Algorithm -- A New Pruning Method for Incremental Pruning Algorithm Using a Sweeping Scan-Line through the Belief Space -- POMDP Filter: Pruning POMDP Value Functions with the Kaczmarz Iterative Method -- Computer Vision and Image Processing -- Testing Image Segmentation for Topological SLAM with Omnidirectional Images -- Automatic Image Annotation Using Multiple Grid Segmentation -- Spatio-temporal Image Tracking Based on Optical Flow and Clustering: An Endoneurosonographic Application -- One Trilateral Filter Based on Surface Normal -- Beta-Measure for Probabilistic Segmentation -- Robust Spatial Regularization and Velocity Layer Separation for Optical Flow Computation on Transparent Sequences -- SAR Image Denoising Using the Non-Subsampled Contourlet Transform and Morphological Operators -- Logic and Distributed Systems -- Scheme-Based Synthesis of Inductive Theories -- A Possibilistic Intuitionistic Logic -- Jason Induction of Logical Decision Trees: A Learning Library and Its Application to Commitment -- Extending Soft Arc Consistency Algorithms to Non-invertible Semirings -- Frequency Transition Based Upon Dynamic Consensus for a Distributed System -- AI-Based Medical Application -- Towards Ubiquitous Acquisition and Processing of Gait Parameters -- Intelligent Wheelchair and Virtual Training by LabVIEW -- Environmental Pattern Recognition for Assessment of Air Quality Data with the Gamma Classifier -- Massive Particles for Brain Tractography -- Emotional Conversational Agents in Clinical Psychology and Psychiatry -- Knowledge-Based System for Diagnosis of Metabolic Alterations in Undergraduate Students. 330 $aArtificial intelligence (AI) is a branch of computer science that models the human ability of reasoning, usage of human language and organization of knowledge, solving problems and practically all other human intellectual abilities. Usually it is charact- ized by the application of heuristic methods because in the majority of cases there is no exact solution to this kind of problem. The Mexican International Conference on Artificial Intelligence (MICAI), a yearly international conference series organized by the Mexican Society for Artificial Int- ligence (SMIA), is a major international AI forum and the main event in the academic life of the country?s growing AI community. In 2010, SMIA celebrated 10 years of activity related to the organization of MICAI as is represented in its slogan: ?Ten years on the road with AI?. MICAI conferences traditionally publish high-quality papers in all areas of arti- cial intelligence and its applications. The proceedings of the previous MICAI events were also published by Springer in its Lecture Notes in Artificial Intelligence (LNAI) series, vols. 1793, 2313, 2972, 3789, 4293, 4827, 5317, and 5845. Since its foun- tion in 2000, the conference has been growing in popularity and improving in quality. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v6437 606 $aArtificial intelligence 606 $aImage processing$xDigital techniques 606 $aComputer vision 606 $aApplication software 606 $aPattern recognition systems 606 $aData mining 606 $aArtificial Intelligence 606 $aComputer Imaging, Vision, Pattern Recognition and Graphics 606 $aComputer Vision 606 $aComputer and Information Systems Applications 606 $aAutomated Pattern Recognition 606 $aData Mining and Knowledge Discovery 615 0$aArtificial intelligence. 615 0$aImage processing$xDigital techniques. 615 0$aComputer vision. 615 0$aApplication software. 615 0$aPattern recognition systems. 615 0$aData mining. 615 14$aArtificial Intelligence. 615 24$aComputer Imaging, Vision, Pattern Recognition and Graphics. 615 24$aComputer Vision. 615 24$aComputer and Information Systems Applications. 615 24$aAutomated Pattern Recognition. 615 24$aData Mining and Knowledge Discovery. 676 $a006.3 701 $aSidorov$b Grigori$01061319 701 $aHernandez Aguirre$b Arturo$01238051 701 $aReyes$b Carlos A$g(Carlos Alberto)$01238053 712 12$aMexican International Conference on Artificial Intelligence. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484964503321 996 $aAdvances in artificial intelligence$94204260 997 $aUNINA