Search Results - (( Defined contributors ((pension plans) OR (pension plan)) ) OR ((( Defined distribution properties plans ) OR ( Defined distribution ((version pan) OR (version piano)) ))))

Artificial intelligence and security : 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, proceedings. Part IV by ICAIS (Conference) New York, N.Y.), SpringerLink (Online service)

SpringerLink - Click here for access

Bio-inspired computing : 16th international conference, BIC-TA 2021, Taiyuan, China, December 17-19, 2021 : revised selected papers. Part I by International Conference on Bio-inspired Computing, Theories and Applications Taiyuan, China, SpringerLink (Online service)

SpringerLink - Click here for access

Human-computer interaction-- INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings. Part II by International Conference on Human-Computer Interaction (International Federation for Information Processing) Cape Town, South Africa), SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Advances in computing, communication, and control : third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings by International Conference on Advances in Computing, Communication, and Control Mumbai, India, SpringerLink (Online service)

SpringerLink - Click here for access

Rough sets and knowledge technology : 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings by RSKT 2012 Chengdu, China, SpringerLink (Online service)

SpringerLink - Click here for access

Advances in computer systems architecture : 11th Asia-Pacific conference, ACSAC 2006, Shanghai, China, September 6-8, 2006 : proceedings by ACSAC (Asia-Pacific Computer Systems Architecture Conference) Shanghai, China), SpringerLink (Online service)

SpringerLink - Click here for access

Advanced intelligent computing theories and applications : with aspects of artificial intelligence : 7th international conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011 :... by International Conference on Intelligent Computing Zhengzhou, China, SpringerLink (Online service)

SpringerLink - Click here for access

Proceedings of the 2012 International Conference on Communication, Electronics and Automation Engineering by International Conference on Communication, Electronics and Automation Engineering Xi'an Shi, China, SpringerLink (Online service)

Contents: “…Recovery Time Analysis of a Distributed Redundancy Protocol --…”
SpringerLink - Click here for access

Proceedings of the 13th International Conference on Man-Machine-Environment System Engineering by International Conference on Man-Machine-Environment System Engineering Yantai, Shandong Sheng, China, SpringerLink (Online service)

SpringerLink - Click here for access

Proceedings of 2015 2nd International Conference on Industrial Economics System and Industrial Security Engineering by Industrial Economics System and Industrial Security Engineering Barcelona, Spain, SpringerLink (Online service)

SpringerLink - Click here for access

Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings by LORI 2009 Chongqing, China, SpringerLink (Online service)

Contents: “…Contributed Papers -- Expressing Properties of Coalitional Ability under Resource Bounds -- Dynamic Context Logic -- Toward a Dynamic Logic of Questions -- A General Family of Preferential Belief Removal Operators -- Computing Compliance -- Attributing Distributed Responsibility in Stit Logic -- Characterizations of Iterated Admissibility Based on PEGL -- Can Doxastic Agents Learn? …”
SpringerLink - Click here for access

Current topics in artificial intelligence : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Paper... by Asociación Española de Inteligencia Artificial. Conferencia, SpringerLink (Online service)

Contents: “…Diagnosis -- Employing Test Suites for Verilog Fault Localization -- Analyzing the Influence of Differential Constraints in Possible Conflict and ARR Computation -- On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics -- Evolutive Algorithms and Neural Networks -- An Analysis of Particle Properties on a Multi-swarm PSO for Dynamic Optimization Problems -- An Incremental Learning Method for Neural Networks Based on Sensitivity Analysis -- A Multi-objective Neuro-evolutionary Algorithm to Obtain Interpretable Fuzzy Models -- Improving Isolated Handwritten Word Recognition Using a Specialized Classifier for Short Words -- Knowledge Representation and Engineering -- Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL -- Base Belief Change for Finitary Monotonic Logics -- Common Pitfalls in Ontology Development -- Machine Learning -- Obtaining Optimal Class Distribution for Decision Trees: Comparative Analysis of CTC and C4.5 -- Selecting Few Genes for Microarray Gene Expression Classification -- Sequential Pattern Mining in Multi-relational Datasets -- CBR Outcome Evaluation for High Similar Cases: A Preliminary Approach -- On the Suitability of Combining Feature Selection and Resampling to Manage Data Complexity -- Automated Constraint Selection for Semi-supervised Clustering Algorithm -- Multiagents -- Empirical Hardness for Mixed Auctions -- Developing Strategies for the ART Domain -- A Multiagent Solution to Adaptively Classify SOAP Message and Protect against DoS Attack -- Natural Language -- Adding Morphological Information to a Connectionist Part-Of-Speech Tagger -- Planning -- A Look-Ahead B&B Search for Cost-Based Planning -- A Tabu Search Algorithm to Minimize Lateness in Scheduling Problems with Setup Times -- Improving Local Search for the Fuzzy Job Shop Using a Lower Bound -- Tutoring Systems -- Data-Driven Student Knowledge Assessment through Ill-Defined Procedural Tasks -- Uncertainty: Bayesian Networks -- Recursive Probability Trees for Bayesian Networks -- Vision -- Generating Saliency Maps Using Human Based Computation Agents -- A New Contiguity-Constrained Agglomerative Hierarchical Clustering Algorithm for Image Segmentation -- Applications -- Classifying Sleep Apneas Using Neural Networks and a Combination of Experts -- Expert System to Real Time Control of Machining Processes -- A Flexible System for Document Processing and Text Transcription.…”
SpringerLink - Click here for access

Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings by LORI (Workshop) Chongqing, China), SpringerLink (Online service)

SpringerLink - Click here for access

Proceedings of fifth International Conference on Soft Computing for Problem Solving : SocProS 2015. Volume 1 by International Conference on Soft Computing for Problem Solving Roorkee, India, SpringerLink (Online service)

Contents: “…One Day Ahead Forecast of Pan Evaporation at Pali Using Genetic Programming -- Chapter 11. …”
SpringerLink - Click here for access

Inductive logic programming : 16th international conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers by ILP (Conference) Santiago de Compostela, Spain), SpringerLink (Online service)

SpringerLink - Click here for access

Fire science and technology 2015 : the proceedings of 10th Asia-Oceania Symposium on Fire Science and Technology by Asia-Oceania Symposium on Fire Science and Technology Tsukuba, Japan, SpringerLink (Online service)

SpringerLink - Click here for access

Water-energy-nexus in the ecological transition : natural-based solutions, advanced technologies and best practices for environmental sustainability by SpringerLink (Online service), International Conference on WaterEnergyNEXUS

Contents: “…Cost-Benefit Analysis and Multi-criteria Assessments to Support the Decision-Making Processes -- Sustainability and Energy Efficiency in Twentieth-Century Italian Built Heritage -- Long-Term Effects Evaluation for Investments in the Energy and Water Sectors -- Economic Sustainability of Direct Energy Efficiency Investments for Gas and Energy Distributors to Comply with the PAEE (Italian National Plan for Energy Efficiency) -- Technical-economic Analysis of Novel Generation Aquaponic System for a Sustainable Development -- Cost Control in the Construction of Water Distribution and Collection Networks: Verification of a Multivariate Model Through Application to Case Studies -- How Can We Use the Water Cost Instrument in a Scarcity Scenario for the Power Sector in Brazil? …”
SpringerLink - Click here for access