Search Results - (( Defined contribution ((pension plans) OR (pension plan)) ) OR ((( Defined distribution computational plane ) OR ( Defined ((distribution version) OR (distribution torsion)) plans ))))

Computational science -- ICCS 2019 : 19th International Conference, Faro, Portugal, June 11-14, 2019, proceedings. Part I by ICCS (International Conference on Computer Science) Faro, Portugal), SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Agents and multi-agent systems : technologies and applications 2021 : proceedings of 15th KES International Conference, KES-AMSTA 2021, June 2021 by KES-AMSTA (Conference) Online), SpringerLink (Online service)

SpringerLink - Click here for access

Making globally distributed software development a success story : International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008 : proceedings by International Conference on the Software Process Leipzig, Germany, SpringerLink (Online service)

SpringerLink - Click here for access

Mathematical foundations of computer science 2008 : 33rd international symposium, MFCS 2008, Torun, Poland, August 25-29, 2008 ; proceedings by Symposium on Mathematical Foundations of Computer Science (1972- ) Toruń, Poland), SpringerLink (Online service)

Contents: “…Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous Interaction in Distributed Systems -- A Robust Class of Regular Languages -- Deterministic Models of Communication Faults -- Algebraic Graph Algorithms -- Contributed Papers -- Question/Answer Games on Towers and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical Multicast Cost Sharing Games -- Shortest Synchronizing Strings for Huffman Codes -- Optimizing Conjunctive Queries over Trees Using Schema Information -- Clustering with Partial Information -- Reoptimization of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip Algorithm for Segment Triangulations -- Computing Sharp 2-Factors in Claw-Free Graphs -- A 6/5-Approximation Algorithm for the Maximum 3-Cover Problem -- Positional Strategies for Higher-Order Pushdown Parity Games -- Arthur and Merlin as Oracles -- A Decision Problem for Ultimately Periodic Sets in Non-standard Numeration Systems -- Regional Languages and Tiling: A Unifying Approach to Picture Grammars -- On a Special Class of Primitive Words -- Complexity of Data Tree Patterns over XML Documents -- A PTAS for the Sparsest Spanners Problem on Apex-Minor-Free Graphs -- Computational Complexity of Perfect-Phylogeny-Related Haplotyping Problems -- Sincere-Strategy Preference-Based Approval Voting Broadly Resists Control -- Reversal-Bounded Counter Machines Revisited -- Iterative Compression and Exact Algorithms -- Complexity and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions with Interleaving, Intersection and Counting -- Nilpotency and Limit Sets of Cellular Automata -- A Note on k-Colorability of P 5-Free Graphs -- Combinatorial Bounds and Algorithmic Aspects of Image Matching under Projective Transformations -- Lower Bounds for Syntactically Multilinear Algebraic Branching Programs -- Periodicity and Immortality in Reversible Computing -- Step-Out Ring Signatures -- The Height of Factorization Forests -- Arithmetic Circuits, Syntactic Multilinearity, and the Limitations of Skew Formulae -- Smoothed Analysis of Binary Search Trees and Quicksort under Additive Noise -- From?…”
SpringerLink - Click here for access

Monitoring, security, and rescue techniques in multiagent systems 1st ed. by MSRAS 2004 Płock, Poland, SpringerLink (Online service)

SpringerLink - Click here for access

Urban science and engineering : proceedings of ICUSE 2020 by International Conference on Urban Science and Engineering Tokyo, Japan, SpringerLink (Online service)

SpringerLink - Click here for access

Modeling, dynamics, optimization and bioeconomics IV : DGS VI JOLATE, Madrid, Spain, May 2018, and ICABR, Berkeley, USA, May-June 2017 -- Selected Contributions by International Conference on Dynamics, Games, and Science Madrid, Spain, SpringerLink (Online service), International Consortium on Agricultural Biotechnology Research, International Consortium on Agricultural Biotechnology Research

SpringerLink - Click here for access

HCI International 2013 - Posters' extended abstracts : International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part I by International Conference on Human-Computer Interaction Las Vegas, Nev., SpringerLink (Online service)

Contents: SpringerLink - Click here for access

STACS 2006 : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006 : proceedings by Annual Symposium on Theoretical Aspects of Computer Science Marseille, France, SpringerLink (Online service)

Contents: “…-Transitions -- Redundancy in Complete Sets -- Sparse Selfreducible Sets and Polynomial Size Circuit Lower Bounds -- Linear Advice for Randomized Logarithmic Space -- Nested Pebbles and Transitive Closure -- Definability of Languages by Generalized First-Order Formulas over (N, +) -- Generalized Modal Satisfiability -- Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games -- DAG-Width and Parity Games -- Reliable Computations Based on Locally Decodable Codes -- Convergence of Autonomous Mobile Robots with Inaccurate Sensors and Movements -- A Faster Algorithm for the Steiner Tree Problem -- Generating Randomized Roundings with Cardinality Constraints and Derandomizations -- Online Sorting Buffers on Line -- Optimal Node Routing -- Memoryless Facility Location in One Pass -- Energy-Efficient Algorithms for Flow Time Minimization -- Efficient Qualitative Analysis of Classes of Recursive Markov Decision Processes and Simple Stochastic Games -- Datalog and Constraint Satisfaction with Infinite Templates -- Evaluating Monotone Circuits on Cylinders, Planes and Tori -- Constant-Depth Circuits for Arithmetic in Finite Fields of Characteristic Two -- Weighted Asynchronous Cellular Automata -- On the Complexity of the "Most General" Firing Squad Synchronization Problem.…”
SpringerLink - Click here for access

Principles and practice of constraint programming -- CP 2005 : 11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005 : proceedings by CP (Conference) Sitges, Spain), SpringerLink (Online service)

Contents: “…Mitchell -- Maintaining longest paths in cyclic graphs / Irit Katriel, Pascal Van Hentenryck -- Applying constraint programming to rigid body protein docking / Ludwig Krippahl, Pedro Barahona -- Maximum constraint satisfaction on diamonds / Andrei Krokhin, Benoit Larose -- Exploiting unit propagation to compute lower bounds in branch and bound max-SAT solvers / Chu Min Li, Felip Manya, Jordi Planes -- Generalized conflict learning for hybrid discrete/linear optimization / Hui Li, Brian Williams -- Parallel local search in comet / Laurent Michel, Pascal Van Hentenryck -- Generating corrective explanations for interactive constraint satisfaction / Barry O'Callaghan, Barry O'Sullivan, Eugene C. …”
SpringerLink - Click here for access

Transactions on large-scale data- and knowledge-centered systems VIII : special issue on advances in data warehousing and knowledge discovery by DaWaK (Conference) Toulouse, France), 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

Enabling manufacturing competitiveness and economic sustainability : proceedings of the 5th International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CA... by International Conference on Changeable, Agile, Reconfigurable and Virtual Production Munich, Germany, SpringerLink (Online service)

SpringerLink - Click here for access

Framing the social security debate : values, politics, and economics by National Academy of Social Insurance (U.S.). Conference

Contents: “…/ Dallas L. Salisbury -- Defined contribution plans : risky business for plan participant / Regina T. …”
EBSCOhost - Click here for access

Geometric Science of Information : first International Conference, GSI 2013, Paris, France, August 28-30, 2013 : proceedings by GSI (Conference) Paris, France), SpringerLink (Online service)

SpringerLink - Click here for access

Proceedings of the 2012 international conference on information technology and software engineering : software engineering & digital media technology by International Conference on Information Technology and Software Engineering Beijing, China, SpringerLink (Online service)

Contents: 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 2012 3rd International Asia Conference on Industrial Engineering and Management Innovation (IEMI2012) by International Asia Conference on Industrial Engineering and Management Innovation, SpringerLink (Online service)

SpringerLink - Click here for access

Combinatorial algorithms : 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8-10, 2020, Proceedings by International Workshop on Combinatorial Algorithms Online, SpringerLink (Online service)

Contents: “…Intro -- Preface -- Organization -- Abstracts of Invited Talks -- Optimization by Population: Large-Scale Distributed Optimization Via Population Protocols -- Coordinating Swarms of Objects at Extreme Dimensions -- Algorithms for String Processing in Restricted-Access Models of Computation -- Contents -- Invited Paper -- Coordinating Swarms of Objects at Extreme Dimensions -- 1 Introduction -- 2 Traffic -- 3 Uniform Global Control for Particle Swarms -- 4 Online Triangulation and Structured Exploration -- 5 Cohesive Control -- 6 Coordinated Motion Planning.…”
SpringerLink - Click here for access