Search Results - (( Defined contribution ((pension plans) OR (pension plan)) ) OR ((( Defined distribution ((operations plans) OR (operations plan)) ) OR ( Defined distribution ((version pan) OR (version part)) ))))

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

Artificial intelligence and security : 6th International Conference, ICAIS 2020, Hohhot, China, July 17-20, 2020 : proceedings. Part I by ICAIS (Conference) Hohhot, China), SpringerLink (Online service)

SpringerLink - Click here for access

Advances in artificial intelligence and security : 7th International Conference, ICAIS 2021, Dublin, Ireland, July 19-23, 2021, Proceedings. Part II by ICAIS (Conference) Dublin, Ireland), SpringerLink (Online service)

SpringerLink - Click here for access

Advances in artificial intelligence and security : 7th International Conference, ICAIS 2021, Dublin, Ireland, July 19-23, 2021, Proceedings. Part I by ICAIS (Conference) Dublin, Ireland), SpringerLink (Online service)

SpringerLink - Click here for access

Computational Science - ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018 proceedings. Part III by ICCS 2018 Wuxi, 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)

Contents: SpringerLink - Click here for access

Advances in physical agents II : proceedings of the 21st International Workshop of Physical agents (WAF 2020), November 19-20, 2020, Alcalá de Henares, Madrid, Spain by International Workshop of Physical Agents Online, SpringerLink (Online service)

SpringerLink - Click here for access

Agents and artificial intelligence : third International Conference, ICAART 2011, Rome, Italy, January 28-30, 2011. Revised selected papers by ICAART (Conference) Rome, Italy), SpringerLink (Online service)

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

Adaptive and natural computing algorithms : 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013 : proceedings by ICANNGA (Conference) Lausanne, Switzerland), SpringerLink (Online service)

SpringerLink - Click here for access

Advances in Computational Intelligence and Communication Technology : proceedings of CICT 2019 by International Conference on Computational intelligence and Communication Technology Ghāziabād, India, 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: “…On the Temporal Structure of Learning -- Agreement Theorems in Dynamic-Epistemic Logic -- Learning and Teaching as a Game: A Sabotage Approach -- First-Order Logic Formalisation of Arrow's Theorem -- Twelve Angry Men: A Study on the Fine-Grain of Announcements -- Dynamic Testimonial Logic -- From the Logical Point of View: The Chain Store Paradox Revisited -- A Cooperation Logic for Declaration Structures -- Intentions and Assignments -- Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together -- Dynamic Epistemic Logic of Finite Identification -- An Epistemic Logic for Planning with Trials -- Obligations in a Responsible World -- Dynamic Epistemic Temporal Logic -- Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic -- An Update Operator for Strategic Ability -- Strategy Elimination in Games with Interaction Structures -- Posters -- The Logic of Knowledge-Based Cooperation in the Social Dilemma -- Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction -- Oppositional Logic -- Deliberate Contrary-to-Law Action -- Mono-Agent Dynamics -- Modal Expressivity and Definability over Sets -- Dynamic Logics for Explicit and Implicit Information -- Existence of Satisfied Alternative and the Occurring of Morph-Dictator.…”
SpringerLink - Click here for access

Safety for future transport and mobility by Ross, Hans-Leo

Contents: “…2.1.1 Development of the Context -- 2.1.2 Identification of Risk -- 2.1.3 Assessment of the Risk in the Target Context -- 2.1.4 Development of a Strategy and Treatment of Potential Risk -- 2.1.5 Development and Defining of Activities and Their Objectives -- 2.1.6 Development of an Implementation and Realisation Strategy -- 2.1.7 Review and Evaluation of the Plan -- 2.2 Technical Risk -- 2.3 Risk in Road Traffic -- 2.3.1 Causes of Technical Risk -- 2.3.2 Control of Technical Risk -- 2.4 Standardisation of Safety for Road Vehicles -- 2.4.1 Risk and Integrity Definition from the IEC 61508.…”
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

Robotics and AI for cybersecurity and critical infrastructure in smart cities by SpringerLink (Online service)

SpringerLink - Click here for access

The mathematics of the uncertain : a tribute to Pedro Gil by SpringerLink (Online service)

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)

SpringerLink - Click here for access

Recent innovations in computing : proceedings of ICRIC 2020 ICRIC 2020. by International Conference on Recent Innovations in Computing Jammu, India, SpringerLink (Online service)

SpringerLink - Click here for access

Image Schemas and Concept Invention : Cognitive, Logical, and Linguistic Investigations by Hedblom, Maria M.

SpringerLink - Click here for access