Search Results - (( Defined (contribution OR contributorss) ((pensions plans) OR (pension plans)) ) OR ((( Defined distribution ((operational plan) OR (((operating plan) OR (operating a)))) ) OR ( Defined distribution erosion plans ))))

  • Showing 1 - 17 results of 17
Refine Results
  1. 1

    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)

    Published: Springer, 2019
    Description: 1 online resource.
    Contents: “…Reinsertion Algorithm Based on Destroy and Repair Operators for Dynamic Dial a Ride Problems /…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
  2. 2
  3. 3

    Advances in information systems and technologies by World Conference on Information Systems and Technologies Olhão, Portugal, SpringerLink (Online service)

    Published: Springer, 2013
    Description: 1 online resource (xxii, 1160 pages) : illustrations.
    Contents: “…Knowledge Management Systems and Intellectual Capital Measurement in Portuguese Organizations: A Case Study /…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
  4. 4
  5. 5
  6. 6

    Advanced persistent training : take your security awareness program to the next level by Schroeder, Jordan

    Published: Apress, 2017
    Description: 1 online resource.
    SpringerLink - Click here for access
    eBook
  7. 7

    Computer Science - CACIC 2017 : 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised selected papers by Congreso Argentino de Ciencias de la Computación La Plata, Argentina

    Published: Springer, 2018
    Description: 1 online resource (XIV, 310 pages).
    Contents: “…Description of a Mirroring Strategy and its Results -- Virtualization in Education: Portable Network Laboratory -- Graphic Computation, Images and Visualization -- A shadow removal approach for a background subtraction algorithm -- A Tutorial on the Implementations of Linear Image Filters in CPU and GPU -- Natural User Interfaces: A Physical Activity Trainer -- Software Engineering -- Proposal for the Formation of Experimental Pair Programmers -- Reusing a Geographic Software Product Line Platform: A Case Study in the Paleontological Sub-Domain -- Performance evaluation of a 3D engine for mobile devices -- Assistant for the Evaluation of Software Product Quality Characteristics Proposed by ISO/IEC 25010 Based on GQM-Defined Metrics -- Databases and Data Mining -- Recommender System Based on Latent Topics -- Automatic Characteristics Extraction for Sentiment Analysis Tasks -- Hardware Architectures, Networks and Operating Systems -- Modular Petri Net Processor for Embedded Systems -- A Novel Performance Metric for Virtual Network Embedding Combining Aspects of Blocking Probability and Embedding Cost -- An Anomaly Detection Model in a LAN using K-NN and High Performance Computing Techniques -- Innovation in Software Systems -- Generation and Use of a Digest System by Integrating OCR and Smart Searches -- Signal Processing and Real-Time Systems -- Excluding Ionospherically Unsafe Satellite Geometries in GBAS CAT-I -- CAN Bus Experiments of Real-Time Communications -- Computer Security -- Analysis of Methodologies of Digital Data Collection in Web Servers -- Observer effect: How Intercepting HTTPS traffic forces malware to change their behavior -- Innovation in Computer Science Education -- ECMRE: Extended Concurrent Multi Robot Environment -- Inverting the class or investing in the class? …”
    SpringerLink - Click here for access
    Conference Proceeding eBook
  8. 8

    Improving service level engineering : an intuitionistic fuzzy approach by Schütze, Roland

    Published: Springer, 2018
    Description: 1 online resource.
    Contents: “…Acknowledgements; Abstract; Contents; List of Abbreviations; Translation Types of Quality Parameters; List of Figures; List of Tables; Chapter 1: Business and IT Alignment: A Fuzzy Challenge; 1.1 Motivation of Research; 1.2 Research Issues and Thesis Structure; 1.3 Research Questions; 1.4 Research Methods; 1.5 General Information; References; Part I: SLA Dependency Mapping: Towards a Gradual and Bi-polar Concept; Chapter 2: The Complexity of Virtualized SLA Dependencies; 2.1 SLAs in Multi-layered Service Delivery Models; 2.2 Defining a KPI Framework for Business and IT.…”
    SpringerLink - Click here for access
    eBook
  9. 9

    Computer science : the hardware, software and heart of it by SpringerLink (Online service)

    Published: Springer Science+Business Media, LLC, 2011
    Description: 1 online resource (ix, 468 pages) : illustrations (some color)
    SpringerLink - Click here for access
    eBook
  10. 10

    Pro Oracle GoldenGate for the DBA by Curtis, Bobby L.

    Published: Apress, 2016
    Description: 1 online resource (xxi, 306 pages) : illustrations (some color)
    SpringerLink - Click here for access
    eBook
  11. 11

    Frontiers of combining systems : 12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings by FroCoS (Symposium) London, England), SpringerLink (Online service)

    Published: Springer, 2019
    Description: 1 online resource : illustrations (some color).
    Contents: “…4.2 Logic Programs with Preferences4.3 Answer Set Optimization; 5 Conclusion; References; Combinations of Systems; Ilinva: Using Abduction to Generate Loop Invariants; 1 Introduction; 2 Verification Conditions; 3 Abduction; 4 Generating Loop Invariants; 5 Implementation; 5.1 Overview; 5.2 Distribution; 6 Experiments; 6.1 Results; 6.2 Discussion; 7 Conclusion and Future Work; References; An Algebra of Modular Systems: Static and Dynamic Perspectives; 1 Introduction; 2 Model Expansion, Related Tasks; 3 Algebras: Static and Dynamic; 4 Definable Constructs; 5 Modal Logic; 5.1 Two-Sorted Syntax, L.…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
  12. 12

    Wireless Algorithms, Systems, and Applications : 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings by WASA (Conference) Tianjin, China), SpringerLink (Online service)

    Published: Springer, 2018
    Description: 1 online resource (XVIII, 910 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
  13. 13

    IoT solutions in Microsoft's Azure IoT suite : data acquisition and analysis in the real world by Klein, Scott, 1966-

    Published: Apress, 2017
    Description: 1 online resource (xix, 296 pages) : illustrations (some color)
    SpringerLink - Click here for access
    eBook
  14. 14

    Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semantics by Draheim, Dirk, 1969-

    Published: Springer, 2017
    Description: 1 online resource (viii, 218 pages) : illustrations.
    SpringerLink - Click here for access
    eBook
  15. 15

    Introduction to diagnosis of active systems by Lamperti, Gianfranco, Zanella, Marina, Zhao, Xiangfu

    Published: Springer, 2018
    Description: 1 online resource (xv, 353 pages) : illustrations.
    SpringerLink - Click here for access
    eBook
  16. 16

    Mobility in process calculi and natural computing by Aman, Bogdan

    Published: Springer, 2011
    Description: 1 online resource (xiii, 208 pages).
    SpringerLink - Click here for access
    eBook
  17. 17

    Advanced topics in C : core concepts in data structures by Kalicharan, Noel

    Published: Apress, 2013
    Description: 1 online resource (312 pages).
    SpringerLink - Click here for access
    eBook