Search Results - (( Defined contributors ((pension plans) OR (pension plan)) ) OR ((( Defined distribution ((operational planning) OR (operational plan)) ) OR ( Defined distribution torsion pan ))))
-
1
Advanced intelligent computing theories and applications : with aspects of artificial intelligence : 7th international conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011 :...
Published: Springer, 2011Contents: SpringerLink - Click here for accessDescription: 1 online resource (xxiii, 729 pages) : illustrations.
Conference Proceeding eBook -
2
Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
Published: Springer-Verlag, 2009Contents: “…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.…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
3
Safety for future transport and mobility
Published: Springer, 2021Contents: “…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.…”Description: 1 online resource (424 pages)
SpringerLink - Click here for access
eBook -
4
Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
Published: Springer, 2019SpringerLink - Click here for accessDescription: 1 online resource (xxi, 441 pages) : illustrations (some color).
Conference Proceeding eBook