LEADER 00874nam0-2200313---450- 001 990009437270403321 005 20120112152301.0 035 $a000943727 035 $aFED01000943727 035 $a(Aleph)000943727FED01 035 $a000943727 100 $a20110929d1950----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aIstologia patologica$etesto atlante$fPiero Redaelli, Cesare Cavallero 210 $aMilano$cCasa editrice Ambrosiana$d1950 215 $aXI, 572 p.$cill.$d24 cm 700 1$aRedaelli,$bPiero$0512895 701 1$aCavallero,$bCesare$090114 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009437270403321 952 $aF VI 10/n$b334$fDMVCM 952 $a56 B 14$b4827$fDMVAP 959 $aDMVAP 959 $aDMVCM 996 $aIstologia patologica$9760776 997 $aUNINA LEADER 01102nam--2200337---450- 001 990003075680203316 005 20090521143540.0 010 $a978-88-348-7743-2 035 $a000307568 035 $aUSA01000307568 035 $a(ALEPH)000307568USA01 035 $a000307568 100 $a20080306d2007----km-y0itay50------ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aAspetti del sistema penale liberale e fascista tra leggi speciali e garanzie processuali$fLuciano Martone 210 $aTorino$cG. Giappichelli$d2007 215 $a207 p.$d24 cm 606 0 $aDiritto penale$xStoria$zSec. 19. 676 $a345.4509 700 1$aMARTONE,$bLuciano$0231110 801 0$aIT$bsalbc$gISBD 912 $a990003075680203316 951 $aXXVI.1.C 518 (IG XI 1269)$b58661 G.$cXXVI.1.C 518 (IG XI)$d00210443 959 $aBK 969 $aGIU 979 $aCHIARA$b90$c20080306$lUSA01$h1031 979 $aRSIAV5$b90$c20090521$lUSA01$h1435 996 $aAspetti del sistema penale liberale e fascista tra leggi speciali e garanzie processuali$9771617 997 $aUNISA LEADER 14185nam 22009135 450 001 996466264703316 005 20200706132052.0 010 $a3-642-25725-9 024 7 $a10.1007/978-3-642-25725-4 035 $a(CKB)3390000000021466 035 $a(SSID)ssj0000610333 035 $a(PQKBManifestationID)11412394 035 $a(PQKBTitleCode)TC0000610333 035 $a(PQKBWorkID)10641462 035 $a(PQKB)11576913 035 $a(DE-He213)978-3-642-25725-4 035 $a(MiAaPQ)EBC6280831 035 $a(MiAaPQ)EBC5590553 035 $a(Au-PeEL)EBL5590553 035 $a(OCoLC)769467507 035 $a(PPN)157513165 035 $a(EXLCZ)993390000000021466 100 $a20111209d2011 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMulti-disciplinary Trends in Artificial Intelligence$b[electronic resource] $e5th International Workshop, MIWAI 2011, Hyderabad, India, December 7-9, 2011. Proceedings /$fedited by Chattrakul Sombattheera, Arun Agarwal, Siba K Udgata, Kittichai Lavangnananda 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (444 p. 119 illus., 51 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence ;$v7080 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-25724-0 327 $aIntro -- Title Page -- Preface -- Organization -- Table of Contents -- Associated Near Sets of Distance Functions in Pattern Analysis -- Introduction -- Preliminaries -- Topological Structures: Filters, Grills, Cluster Points -- Distance and Approach Spaces -- Approach Nearness Spaces -- Clusters in Approach Nearness Spaces -- Cluster Space Patterns -- Conclusion -- References -- Enhancing Cooperation in Distributed Information Systems Using Conviviality and Multi-Context Systems -- Introduction -- Motivating Scenario -- A Use Case from Social Networks -- Assumptions and Requirements -- Background -- Multi-Context Systems -- Conviviality -- Model -- Formalization of the Use Case Scenario as a Multi-Context System -- Conviviality in Multi-Context Systems -- Discussion -- Summary -- References -- A Rule Based Approach to Group Recommender Systems -- Introduction -- Strategies for GRS -- Social Choice Theory Strategies -- Proposed Method -- Our Learning Algorithm -- Experimental Results -- Related Work -- Conclusions -- References -- Combining Collaborative Filtering and Sentiment Classification for Improved Movie Recommendations -- Introduction -- Collaborative Filtering -- Collaborative Filtering Process -- Sentiment Classification -- Semantic Orientation Approach -- Nai?ve Bayes Machine Learning Approach -- Experimental Setup and Results -- Collecting Film Rating and Review Data -- Performing Collaborative Filtering -- Sentiment Classification of Film Reviews -- Combining the Results for Final Recommendations -- Conclusion -- References -- Automatic Composition and Mediation on Multiple-Language Semantic Web Services -- Introduction -- Description Languages for Semantic Web Services -- OWL-S: Semantic Markup for Web Services -- WSMO: Web Service Modeling Ontology -- Discovery and Composition on Multiple-Language Semantic Web Services. 327 $aWeb Services Discovery and Matchmaking -- Web Services Composition -- Composition on Multiple-Language Semantic Web Services -- OWL-S and WSMO Composition Algorithm -- Web Services Mediation -- Schema Mapping -- Instance Conversion -- Experiment and Results -- Testing Data -- Results -- Conclusion -- References -- Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms -- Introduction -- FibringBDI Logics -- Semantics for Mental States with Interaction Axioms -- Conditions on the Fibring Function -- Discussion and Related Work -- References -- Reasoning about DNSSEC -- Introduction -- DNSSEC -- How DNSSEC Works: A Formal Interpretation -- Origin Authentication and Data Integrity: -- Formal Analysis of DNSSEC Using SVO-logic -- SVO Inference Rules -- SVO Axioms -- Axioms for Reasoning about DNSSEC -- Formal Analysis of DNSSEC -- Protocol Analysis -- Implementation Details -- Conclusion and Future Work -- References -- Formalizing and Reasoning with P3P Policies Using a Semantic Web Ontology -- Introduction -- P3P Policy -- Semantic Web Ontology Language -- Data-Purpose Centric Semantics for P3P -- An Ontology for P3P -- Related Work -- Conclusion -- References -- Structural Distance between EL+ Concepts -- Introduction -- Preliminaries -- Distance-Labeled Subsumption Algorithms -- Related Work -- Conclusion -- References -- Fuzzy-Based Trusted Ant Routing (FTAR) Protocol in Mobile Ad Hoc Networks -- Introduction -- Related Works -- A Fuzzy-Based Trusted Node -- Fuzzy Logic -- Design of Fuzzy Interface System -- Description of Proposed Protocol -- Simulation -- Performance Evaluation Parameters -- Result and Discussion -- Conclusions -- References -- Pattern Synthesis Using Fuzzy Partitions of the Feature Set for Nearest Neighbor Classifier Design -- Introduction -- Notation and Definitions. 327 $aPartition Based Pattern Synthesis -- Hard Partition Based Pattern Synthesis [14] -- Fuzzy Partition Based Pattern Synthesis -- Partition Finding Methods -- Nearest Neighbor (NN) Classification Methods -- Greedy Divide-and-Conquer k-NNC (GDC-k-NNC) -- Experiments -- Data-Sets -- Classifiers for Comparison -- Experimental Results -- Conclusions -- References -- Data Clustering Using Modified Fuzzy-PSO (MFPSO) -- Introduction -- Related Works -- Fuzzy C-Mean Algorithms -- Particle Swarm Optimization -- Modified Fuzzy-PSO (MFPSO) -- Cluster Validity -- Experimental Results -- Conclusions -- References -- Crisp and Soft Clustering of Mobile Calls -- Introduction -- Review of Clustering -- K-Means Clustering -- Fuzzy c-Means Algorithm -- Deriving Rough Clustering from Fuzzy Clustering -- Data and Experimental Design -- Data Preparation and Experimental Design -- Results and Discussions -- Analysis of Crisp and Fuzzy Clustering -- Conclusions -- References -- Association Rule Centric Clustering of Web Search Results -- Introduction -- Related Work -- Proposed Method -- Experiment and Results -- Conclusion -- References -- Handwritten Kannada Vowel Character Recognition Using Crack Codes and Fourier Descriptors -- Introduction -- Related Work -- Database Creation -- Feature Extraction -- Crack Codes -- Fourier Descriptors -- Feature Extraction Algorithm -- Classification -- K-NN Classifier -- SVM Classifier -- Experimental Results -- Conclusions -- References -- A Rule-Based Approach to Form Mathematical Symbols in Printed Mathematical Expressions -- Introduction -- An Overview of Our Approach to ME Recognition -- Proposed Rule-Based Approach to Symbol Formation -- Results and Discussion -- Conclusion -- References -- PCA Plus LDA on Wavelet Co-occurrence Histogram Features: Application to CBIR -- Introduction -- Proposed Method. 327 $aImage Representation Module -- Image Retrieval Module -- Experimental Results -- Conclusion -- References -- Printed Text Characterization for Identifying Print Technology Using Expectation Maximization Algorithm -- Introduction -- Related Work -- Expectation Maximization Technique -- Introduction -- Application of EM for Text Sample -- Algorithm for Characterization of Printed Text -- Classification of Printed Text -- Robustness of Printed Text Characterization -- Conclusion and Future Work -- References -- A Shape Representation Scheme for Hand-Drawn Symbol Recognition -- Introduction -- Notation and Definitions -- Moments and Zernike Moments -- The Proposed Shape Representation Scheme -- Experimental Study -- Conclusion -- References -- On Modeling the Affective Effect on Learning -- Introduction -- Architecture of the Multi Strategy Machine Learning System -- Application of the Ontology of Learning Strategies to the Generation of Student Models -- Enhancements to Handle Affective States -- Related Work -- Results -- References -- Machine Learning Based Performance Prediction for Multi-core Simulation -- Introduction -- Overview of the AKULA Toolset -- Improving Multi-core Simulation in AKULA -- Model Building -- Experimental Setup -- Experiments -- Solo-run Program Attributes and Class Variable -- Results on Prediction Accuracy of Model -- Transferability of Trained Regression Models -- Related Work -- Conclusion and Future Work -- References -- Forecasting Using Rules Extracted from Privacy Preservation Neural Network -- Introduction -- Overview of PSO, DENFIS and CART -- PSO -- DENFIS -- Classification and Regression Tree (CART) [22] -- Proposed Methodology -- Proposed Feature Selection Method -- Results and Discussion -- Conclusions -- References -- Typhon - A Mobile Agents Framework for Real World Emulation in Prolog -- Introduction. 327 $aTyphon : The Mobile Agent Framework -- Overview -- Typhlets and Typhclones : Creation, Migration and Payloads -- Agent Creation -- gent Migration -- Payloads -- Network Management -- Security -- Restore Points -- Implementation -- Conclusions -- References -- Optimal Service Composition via Agent-Based Quality of Service -- Introduction -- Related Work -- An Agent-Based Framework -- Architecture -- Optimal Composite Service as Quality of Service -- Communication Protocol -- Quality of Service -- Data Preparation -- Data Example -- Satisfaction-Cost Ratio as Quality of Service -- Computing Optimal Service Composition -- Experiments -- Results -- Conclusion -- References -- Enhanced Data Replication Broker -- Introduction -- Problem Statements -- Architecture of the Modified Data Replication Broker -- Replica Management System (RMS) -- Replica Optimization Service (ROS) -- Replica Optimization Service (ROS) -- Network Monitoring Service (NMS) -- Data Transport Service (DTS) -- Intelligent Optimizer -- Coarse-Grain Phase Using Efficient Replica Set Technique (EST) -- Fine-Grain Phase Using Minimum Cost and Time Policy (MCTP) -- Delay Function -- Network Efficacy -- Multiple Data Stream Function -- Simulation Inputs -- Performance Evaluation and Results -- References -- A Modified Harmony Search Threshold Accepting Hybrid Optimization Algorithm -- Introduction -- Literature Survey -- MHSTA Hybrid -- Overview of Harmony Search -- Threshold Accepting Algorithm -- MHSTA Algorithm -- Results and Discussions -- Conclusions -- References -- Differential Evolution Algorithm for Motion Estimation -- Introduction -- Differential Evolution Method -- Problem Formulation -- Experimental Results and Analysis -- Conclusions -- References -- Swarm Intelligence Based Localization in Wireless Sensor Networks -- Introduction -- Related Work. 327 $aDistance Measurement. 330 $aThis volume constitutes the refereed proceedings of the 5th Multi-disciplinary International Workshop On Artificial Intelligence, MIWAI 2011, held in Hyderabad, India, in December 2011. The 38 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers cover the multifarious nature of the Artificial Intelligence research domain, ranging from theoretical to real world applications and address topics such as agent-based simulation, agent-oriented software engineering, agents and Web services, agent-based electronic commerce, auctions and markets, AI in video games, computer vision, constraint satisfaction, data mining, decision theory, distributed AI, e-commerce and AI, game theory, internet/www intelligence, industrial applications of AI, intelligent tutoring, knowledge representation and reasoning, machine learning, multi-agent planning and learning, multi-agent systems and their applications, multi-agent systems and evolving intelligence, natural language processing, neural networks, planning and scheduling, robotics, uncertainty in AI, and Web services. 410 0$aLecture Notes in Artificial Intelligence ;$v7080 606 $aArtificial intelligence 606 $aApplication software 606 $aComputer communication systems 606 $aInformation storage and retrieval 606 $aDatabase management 606 $aAlgorithms 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aComputer communication systems. 615 0$aInformation storage and retrieval. 615 0$aDatabase management. 615 0$aAlgorithms. 615 14$aArtificial Intelligence. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aComputer Communication Networks. 615 24$aInformation Storage and Retrieval. 615 24$aDatabase Management. 615 24$aAlgorithm Analysis and Problem Complexity. 676 $a006.3 702 $aSombattheera$b Chattrakul$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAgarwal$b Arun$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aUdgata$b Siba K$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLavangnananda$b Kittichai$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466264703316 996 $aMulti-disciplinary Trends in Artificial Intelligence$92214287 997 $aUNISA