Search Results - (( Defined contribution ((pension plans) OR (pension plan)) ) OR ((( Defined distribution computational plane ) OR ( Defined ((distribution version) OR (distribution torsion)) plans ))))
-
1
Computational science -- ICCS 2019 : 19th International Conference, Faro, Portugal, June 11-14, 2019, proceedings. Part I
Published: Springer, 2019Contents: SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
2
Agents and multi-agent systems : technologies and applications 2021 : proceedings of 15th KES International Conference, KES-AMSTA 2021, June 2021
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource (xviii, 523 pages : illustrations (some color)).
Conference Proceeding eBook -
3
Making globally distributed software development a success story : International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008 : proceedings
Published: Springer, 2008SpringerLink - Click here for accessDescription: 1 online resource (xiv, 422 pages) : illustrations.
Conference Proceeding eBook -
4
Mathematical foundations of computer science 2008 : 33rd international symposium, MFCS 2008, Torun, Poland, August 25-29, 2008 ; proceedings
Published: Springer, 2008Contents: “…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?…”Description: 1 online resource (xiv, 626 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
5
Monitoring, security, and rescue techniques in multiagent systems 1st ed.
Published: Springer, 2005SpringerLink - Click here for accessDescription: 1 online resource (xii, 596 pages) : illustrations.
Conference Proceeding eBook -
6
Urban science and engineering : proceedings of ICUSE 2020
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
7
Modeling, dynamics, optimization and bioeconomics IV : DGS VI JOLATE, Madrid, Spain, May 2018, and ICABR, Berkeley, USA, May-June 2017 -- Selected Contributions
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource (448 pages).
Conference Proceeding eBook -
8
HCI International 2013 - Posters' extended abstracts : International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part I
Published: Springer, 2013Contents: SpringerLink - Click here for accessDescription: 1 online resource (xliii, 761 pages).
Conference Proceeding eBook -
9
STACS 2006 : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006 : proceedings
Published: Springer, 2006Contents: “…-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.…”Description: 1 online resource (xix, 714 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
10
Principles and practice of constraint programming -- CP 2005 : 11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005 : proceedings
Published: Springer, 2005Contents: “…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. …”Description: 1 online resource (xx, 887 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
11
Transactions on large-scale data- and knowledge-centered systems VIII : special issue on advances in data warehousing and knowledge discovery
Published: Springer, 2013SpringerLink - Click here for accessDescription: 1 online resource (ix, 196 pages) : illustrations.
Conference Proceeding eBook -
12
Agents and artificial intelligence : third International Conference, ICAART 2011, Rome, Italy, January 28-30, 2011. Revised selected papers
Published: Springer, 2013SpringerLink - Click here for accessDescription: 1 online resource (xiii, 444 pages) : illustrations (black and white).
Conference Proceeding eBook -
13
Enabling manufacturing competitiveness and economic sustainability : proceedings of the 5th International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CA...
Published: Springer, 2013SpringerLink - Click here for accessDescription: 1 online resource (xii, 480 pages) : illustrations (some color)
Conference Proceeding eBook -
14
Framing the social security debate : values, politics, and economics
Published: Distributed worldwide by Brookings Institution Press, 1998Contents: “…/ Dallas L. Salisbury -- Defined contribution plans : risky business for plan participant / Regina T. …”Description: 1 online resource (xi, 450 pages) : illustrations.
EBSCOhost - Click here for access
eBook -
15
Geometric Science of Information : first International Conference, GSI 2013, Paris, France, August 28-30, 2013 : proceedings
Published: Springer, 2013SpringerLink - Click here for accessDescription: 1 online resource (xx, 879 pages) : illustrations.
Conference Proceeding eBook -
16
Proceedings of the 2012 international conference on information technology and software engineering : software engineering & digital media technology
Published: Springer, 2013Contents: SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
17
Advances in computer systems architecture : 11th Asia-Pacific conference, ACSAC 2006, Shanghai, China, September 6-8, 2006 : proceedings
Published: Springer, 2006SpringerLink - Click here for accessDescription: 1 online resource (xiv, 605 pages) : illustrations.
Conference Proceeding eBook -
18
Advanced intelligent computing theories and applications : with aspects of artificial intelligence : 7th international conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011 :...
Published: Springer, 2011SpringerLink - Click here for accessDescription: 1 online resource (xxiii, 729 pages) : illustrations.
Conference Proceeding eBook -
19
Proceedings of 2012 3rd International Asia Conference on Industrial Engineering and Management Innovation (IEMI2012)
Published: Springer, 2013SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
20
Combinatorial algorithms : 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8-10, 2020, Proceedings
Published: Springer, 2020Contents: “…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.…”Description: 1 online resource (438 pages).
SpringerLink - Click here for access
Conference Proceeding eBook