LEADER 01661nam 2200457 450 001 9910160271903321 005 20170422083453.0 010 $a1-5361-0405-1 035 $a(CKB)3710000001025977 035 $a(MiAaPQ)EBC4792877 035 $a(EXLCZ)993710000001025977 100 $a20170210h20172017 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 00$aQuantum cascade lasers (QCLs) $etypes and applications /$fJoseph D. Bennett, editor 210 1$aNew York, [New York] :$cNovinka,$d2017. 210 4$dİ2017 215 $a1 online resource (100 pages) $cillustrations 225 1 $aClassical and Quantum Mechanics 311 $a1-5361-0387-X 320 $aIncludes bibliographical references and index. 327 $aQuantum cascade lasers (QCLs): basics, advanced devices, and applications / Fow-Sen Choa -- THz QCLs design towards real applications / Tsung-Tse Lin -- Quantum cascade laser photoacoustic detection of nitrous oxide released from diesel combustion / G.A. Mothe, M.S. Sthel, M.P.P de Castro, I.A. Esquef, M.G. da Silva and H. Vargas. 410 0$aClassical and quantum mechanics series. 606 $aSemiconductor lasers 606 $aQuantum wells 606 $aHetrostructures 615 0$aSemiconductor lasers. 615 0$aQuantum wells. 615 0$aHetrostructures. 676 $a621.36/61 702 $aBennett$b Joseph D. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910160271903321 996 $aQuantum cascade lasers (QCLs)$92895262 997 $aUNINA LEADER 01677oam 2200457M 450 001 9910716469003321 005 20200213070942.3 035 $a(CKB)5470000002521454 035 $a(OCoLC)1065620086 035 $a(OCoLC)995470000002521454 035 $a(EXLCZ)995470000002521454 100 $a20071213d1927 ua 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aClayton H. Adams. February 25, 1927. -- Committed to the Committee of the Whole House and ordered to be printed 210 1$a[Washington, D.C.] :$c[U.S. Government Printing Office],$d1927. 215 $a1 online resource (6 pages) 225 1 $aHouse report / 69th Congress, 2nd session. House ;$vno. 2249 225 1 $a[United States congressional serial set] ;$v[serial no. 8690] 300 $aBatch processed record: Metadata reviewed, not verified. Some fields updated by batch processes. 300 $aFDLP item number not assigned. 606 $aClaims 606 $aMilitary administration 606 $aMilitary pensions 607 $aUnited States$xHistory$yCivil War, 1861-1865 608 $aLegislative materials.$2lcgft 615 0$aClaims. 615 0$aMilitary administration. 615 0$aMilitary pensions. 701 $aWheeler$b Loren Edgar$f1862-1932.$pRepublican (IL)$01386843 801 0$bWYU 801 1$bWYU 801 2$bOCLCO 801 2$bOCLCQ 906 $aBOOK 912 $a9910716469003321 996 $aClayton H. Adams. February 25, 1927. -- Committed to the Committee of the Whole House and ordered to be printed$93540919 997 $aUNINA LEADER 11410nam 22008175 450 001 9910484989403321 005 20251225205307.0 010 $a3-319-53354-1 024 7 $a10.1007/978-3-319-53354-4 035 $a(CKB)3710000001079935 035 $a(DE-He213)978-3-319-53354-4 035 $a(MiAaPQ)EBC6303516 035 $a(MiAaPQ)EBC5591567 035 $a(Au-PeEL)EBL5591567 035 $a(OCoLC)972734382 035 $a(PPN)198868537 035 $a(EXLCZ)993710000001079935 100 $a20170206d2017 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAgents and Artificial Intelligence $e8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers /$fedited by Jaap van den Herik, Joaquim Filipe 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XVI, 315 p. 114 illus.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v10162 311 08$a3-319-53353-3 320 $aIncludes bibliographical references and index. 327 $aIntro -- Preface -- Organization -- Contents -- Agents -- Perception of Masculinity and Femininity of Agent's Appearance and Self-adaptors -- Abstract -- 1 Introduction -- 2 Related Research on Gender and Virtual Agents -- 3 Video Analysis of Self-adaptors and Implementation of Agent Animation -- 3.1 Video Analysis of Self-adaptors -- 3.2 Agent Character and Animation Implementation -- 4 Experiment -- 4.1 Experimental System -- 4.2 Experimental Procedure -- 5 Results -- 5.1 Results of Factorial Analysis -- 5.2 Analysis of Tolerance Factor and Sociability Factor -- 5.3 Analysis of Gender Factor -- 5.4 Analysis of Naturalness Factor -- 6 Discussion and Future Directions -- 7 Conclusion -- Acknowledgement -- References -- Two Model Checking Approaches to Branch-and-Bound Optimization of a Flow Production System -- 1 Introduction -- 2 Related Work -- 2.1 Model Checking Multiagent Systems -- 2.2 Planning and Model Checking -- 3 Case Study: Z2 -- 3.1 Multiagent System Simulation -- 4 Formal Specification -- 5 Constrained Branch-and-Bound Optimization -- 5.1 Optimization Goal -- 6 Process Synchronization -- 6.1 Discrete Event System -- 6.2 Local Virtual Time -- 7 Evaluation -- 7.1 Inflexible Product Variants -- 7.2 Flexible Product Variants -- 8 Conclusions -- References -- Adaptive Switching Behavioral Strategies for Effective Team Formation in Changing Environments -- 1 Introduction -- 2 Related Work -- 3 Model -- 3.1 Agents and Tasks -- 3.2 Execution by a Team -- 3.3 Forming Teams -- 4 Proposed Method -- 4.1 Learning for Cooperation -- 4.2 Role Selection and Learning -- 4.3 Agent Switching Behavioral Strategies -- 4.4 Selection of Behavioral Strategies -- 5 Experimental Evaluation -- 5.1 Experimental Setting -- 5.2 Performance Results -- 5.3 Behavioral Analysis -- 5.4 Performance in Changing Environments -- 5.5 Discussion -- 6 Conclusion. 327 $aReferences -- From Reviews to Arguments and from Arguments Back to Reviewers' Behaviour -- 1 Introduction -- 2 Literature Review -- 3 Dataset -- 4 Analysis -- 5 Simulation with NetLogo -- 6 Conclusion -- References -- Artificial Intelligence -- Integrating Graded Knowledge and Temporal Change in a Modal Fragment of OWL -- 1 Introduction -- 2 OWL Vs Modal Representation -- 3 Confidence and Confidence Intervals -- 4 Normal Form and Model Theory -- 4.1 Simplification and Normal Form -- 4.2 Model Theory -- 4.3 Two Constraints: Well-Behaved Frames -- 5 Entailment Rules -- 5.1 Modal Entailments -- 5.2 Subsumption Entailments -- 5.3 Extended RDFS and OWL Entailments -- 6 Adding Time -- 6.1 Metric Linear Time -- 6.2 Valid Time -- 6.3 Transaction Time -- 6.4 Entailment Rules for Graded Modals and Transaction Time -- 6.5 Model Theory for Graded Modals and Transaction Time -- 7 Summary -- References -- An Agent-Based Architecture for Personalized Recommendations -- 1 Introduction and Motivation -- 2 Related Work -- 3 Background -- 4 The Multi-context BDI Framework -- 4.1 Belief Context -- 4.2 Desire Context -- 4.3 Goal Context -- 4.4 Social Context -- 4.5 Planning and Intention Contexts -- 4.6 Bridge Rules -- 5 Illustrative Example -- 6 Simulation -- 7 Conclusions -- References -- Enhancing Support Vector Decoders by Integrating an Uncertainty Model -- 1 Introduction -- 2 Related Work -- 2.1 Uncertainty in the Smart Grid -- 2.2 Surrogate Models for der -- 2.3 Decoders for Scheduling -- 3 Modeling Confidence -- 4 Results -- 5 Conclusion -- References -- Natural Language Argumentation for Text Exploration -- 1 Introduction -- 2 Related Work -- 3 Bipolar Entailment Graphs -- 3.1 Textual Entailment -- 3.2 From Pairs to Graphs -- 4 Text Exploration Through Argumentation -- 4.1 Abstract Dialectical Frameworks -- 4.2 Extracting Meaningful Information Using ADF. 327 $a5 Experimental Setting -- 5.1 Dataset -- 5.2 Evaluation -- 6 Examples -- 7 Conclusions -- References -- Instance Selection and Outlier Generation to Improve the Cascade Classifier Precision -- 1 Introduction -- 2 Related Work -- 3 Cascade of Overlapping Feature Classifiers -- 4 Data Preprocessing Methods -- 4.1 Selection of Feasible Examples -- 4.2 Sampling of Infeasible Examples Near the Class Boundaries -- 5 Experimental Study -- 5.1 Data Sets -- 5.2 Experimental Setting -- 5.3 Results -- 6 Parameter Sensitivity Study and Parameter Fitting Rules -- 6.1 Experimental Setup -- 6.2 Results -- 7 Conclusions -- References -- Qualitative Possibilistic Decisions: Decomposition and Sequential Decisions Making -- 1 Introduction -- 2 Graphical Frameworks for Possibilistic Qualitative Decision -- 2.1 Min-Based Possibilistic Influence Diagrams -- 2.2 Min-Based Possibilistic Networks -- 3 Decomposition of Min-Based Possibilistic Influence Diagram -- 3.1 The Construction of a Knowledge-Based Qualitative Possibilistic Network -- 3.2 Building Preference-Based Qualitative Possibilistic Network -- 4 On the Computation of Optimal Optimistic Strategy -- 4.1 Qualitative Possibilistic Decision -- 4.2 Computing Sequential Decisions Using Junction Trees -- 5 Experimental Studies -- 6 Conclusions -- References -- Enhancing Visual Clustering Using Adaptive Moving Self-Organizing Maps (AMSOM) -- 1 Introduction -- 2 Related Work -- 2.1 SOM and Competitive Learning -- 2.2 Flexible Structure in Neural Networks and SOM -- 3 Expanding the Idea of Self-organization in Neuron Locations -- 3.1 Phase I: AMSOM Initialization -- 3.2 Phase II: Training -- 3.3 Phase III: AMSOM Finalization and Clustering of the Map -- 4 Experiments -- 5 Conclusion -- References -- Discrete Multi-agent Plan Recognition: Recognizing Teams, Goals, and Plans from Action Sequences -- Abstract -- 1 Introduction. 327 $a2 Related Research -- 3 Multi-agent Plan Recognition as Planning -- 3.1 Recognizing Multi-agent Plans -- 3.2 Extending PRAP to Teams -- 3.3 Assumptions and Limitations -- 4 MAPRAP Evaluation -- 4.1 A Team Blocks World Domain -- 4.2 Multi-agent Plan Synthesis -- 5 Results -- 5.1 Efficiency of Pruning -- 5.2 Precision of Recognition -- 5.3 Accuracy of Recognition -- 5.4 Recall of Recognition -- 6 Future Work -- 7 Conclusions -- References -- Keeping Secrets in EL+ Knowledge Bases -- 1 Introduction -- 2 Syntax and Semantics of EL+ -- 3 Computation of A* and T* -- 3.1 Computation of T* -- 3.2 Computation of A* -- 4 Secrecy-Preserving Reasoning in EL+ KBs -- 5 Query Answering -- 5.1 Conclusions -- References -- An Automatic Approach for Generation of Fuzzy Membership Functions -- Abstract -- 1 Introduction -- 2 Background -- 3 The Proposed Approach -- 3.1 Generating Triangular Membership Functions -- 3.2 Generating Trapezoidal Membership Functions -- 3.3 Impact of the Shape of Cluster on Support of MFs -- 4 Experimental Results -- 4.1 Dataset -- 4.2 Comparison of Techniques for Parameterizing Attributes with Different Characteristics -- 4.3 Results on Classification Accuracy Using MFs Produced by Different Techniques -- 5 Conclusion -- References -- Facilitating Multi-agent Coalition Formation in Self-interested Environments -- 1 Introduction -- 2 Related Research -- 3 ACCORD -- 3.1 Problem Description -- 3.2 Protocol Description of Public ACCORD -- 3.3 Protocol Description of Private ACCORD -- 4 Empirical Evaluation -- 4.1 Experimental Methodology -- 4.2 Fair/Selfish Behaviour in Public ACCORD -- 4.3 Cooperative/Uncooperative Behaviour in Public ACCORD -- 4.4 Fair/Selfish Behaviour in Private ACCORD -- 4.5 Cooperative/Uncooperative Behaviour in Private ACCORD -- 5 Conclusions -- References. 327 $aModeling the Directionality of Attention During Spatial Language Comprehension -- 1 Introduction -- 2 The Models -- 2.1 The AVS Model -- 2.2 The rAVS Model -- 3 Model Comparison -- 3.1 Goodness-Of-Fit (GOF) -- 3.2 Simple Hold-Out (SHO) -- 3.3 Model Flexibility Analysis (MFA) -- 3.4 Discussion -- 4 Conclusion -- 4.1 Future Work -- References -- Detecting Hidden Objects Using Efficient Spatio-Temporal Knowledge Representation -- 1 Introduction -- 2 Proposed Approach -- 3 Experiments and Discussion -- 4 Conclusions -- References -- Author Index. 330 $aThis book contains revised and extended versions of selected papers from the 8th International Conference on Agents and Artificial Intelligence, ICAART 2016, held in Rome, Italy, in February 2016. The 17 revised full papers were carefully reviewed and selected from 149 initial submissions. The papers are organized in two sections: agents and artificial intelligence. They address open research trends and highlight in an innovative manner the trends in intelligent multi-agent systems, natural language processing, and knowledge representation. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v10162 606 $aArtificial intelligence 606 $aApplication software 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aMachine theory 606 $aInformation technology$xManagement 606 $aArtificial Intelligence 606 $aComputer and Information Systems Applications 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aFormal Languages and Automata Theory 606 $aComputer Application in Administrative Data Processing 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aMachine theory. 615 0$aInformation technology$xManagement. 615 14$aArtificial Intelligence. 615 24$aComputer and Information Systems Applications. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Application in Administrative Data Processing. 676 $a006.3 702 $avan den Herik$b Jaap$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFilipe$b Joaquim$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484989403321 996 $aAgents and artificial intelligence$91904835 997 $aUNINA