Search Results - (( Defined (contribution OR contributions) pension plant ) OR ((( Defined distribution generation plan ) OR ( Defined distribution version plans ))))
-
181
Product-focused software process improvement : 7th international conference, PROFES 2006, Amsterdam, the Netherlands, June 12-14, 2006 : proceedings
Published: Springer, 2006SpringerLink - Click here for accessDescription: 1 online resource (xvii, 474 pages) : illustrations.
Conference Proceeding eBook -
182
Survival and sustainability : environmental concerns in the 21st century
Published: Springer, 2010SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
183
Technology roadmap : energy efficiency in existing homes
Published: U.S. Department of Housing and Urban Development, Office of Policy Development and Research, 2002Get full textDescription: 1 online resource (3 volumes) : illustrations.
Government Document eBook -
184
Climate change and its impacts : risks and inequalities
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
185
Pro Python Second edition.
Published: Apress, 2014Contents: “…Using __all __ to Customize Imports -- Relative Imports -- The __import__() function -- The importlib module -- Taking It With You -- Chapter 3: Functions -- Arguments -- Planning for Flexibility -- Variable Positional Arguments -- Variable Keyword Arguments -- Combining Different Kinds of Arguments -- Invoking Functions with Variable Arguments -- Preloading Arguments -- Introspection -- Example: Identifying Argument Values -- Example: A More Concise Version -- Example: Validating Arguments -- Decorators -- Closures -- Wrappers -- Decorators with Arguments -- Decorators with-or without-Arguments -- Example: Memoization -- Example: A Decorator to Create Decorators -- Function Annotations -- Example: Type Safety -- Factoring Out the Boilerplate -- Example: Type Coercion -- Annotating with Decorators -- Example: Type Safety as a Decorator -- Generators -- Lambdas -- Introspection -- Identifying Object Types -- Modules and Packages -- Docstrings -- Taking It with You -- Chapter 4: Classes -- Inheritance -- Multiple Inheritance -- Method Resolution Order -- Example: C3 Algorithm -- Using super() to Pass Control to Other Classes -- Introspection -- How Classes Are Created -- Creating Classes at Runtime -- Metaclasses -- Example: Plugin Framework -- Controlling the Namespace -- Attributes -- Properties -- Descriptors -- Methods -- Unbound Methods -- Bound Methods -- Class Methods -- Static Methods -- Assigning Functions to Classes and Instances -- Magic Methods -- Creating Instances -- Example: Automatic Subclasses -- Dealing with Attributes -- String Representations -- Taking It With You -- Chapter 5: Common Protocols -- Basic Operations -- Mathematical Operations -- Bitwise Operations -- Variations -- Numbers -- Sign Operations -- Comparison Operations -- Iterables -- Example: Repeatable Generators -- Sequences -- Mappings -- Callables.…”Description: 1 online resource.
SpringerLink - Click here for access
eBook -
186
Plant engineer's handbook
Published: Butterworth-Heinemann, 2001Elsevier - Click here for accessDescription: 1 online resource (xii, 1189 pages) : illustrations.
eBook -
187
Proceedings of fifth International Conference on Soft Computing for Problem Solving : SocProS 2015. Volume 1
Published: Springer, 2016Contents: “…A Production Model with Stock Dependent Demand, Partial Backlogging, Weibull Distribution Deterioration and Customer Returns -- Chapter 3. …”Description: 1 online resource (xix, 1063 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
188
Atlas of macroscopic wood identification : with a special focus on timbers used in europe and CITES-listed species
Published: Springer, 2019SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
189
Proceedings of the 2022 Conference of the Computational Social Science Society of the Americas
Published: Springer, 2023Contents: “…2.3 Bankruptcy and Firm Replacement (Step 1) -- 2.4 Firms Estimate Demand (Step 2a) -- 2.5 Firms Adjust Wage Rates (Step 2b) -- 2.6 Firms Adjust Planned Output and Price (Step 2c) -- 2.7 Firms Adjust Labor (Step 2d) -- 2.8 Households Update Consumer Links (Step 3a) -- 2.9 Households Adjust Reservation Wage (Step 3b) -- 2.10 Households Search for Employment (Step 3c) -- 2.11 Firms Pay Wages and Distribute Profits (Step 4) -- 2.12 Households Set Consumption for the Month (Step 5) -- 2.13 Firms Produce Output Goods (Step 6) -- 2.14 Households Buy and Consume Goods (Step 7) -- 3 Simulations.…”Description: 1 online resource (240 pages).
SpringerLink - Click here for access
Electronic eBook -
190
Research and advanced technology for digital libraries : 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010 : proceedings
Published: Springer, 2010Contents: “…Keynote: The Web Changes Everything: Understanding and Supporting People in Dynamic Information Environments -- Keynote: The Web Changes Everything: Understanding and Supporting People in Dynamic Information Environments -- System Architectures -- Modelling Digital Libraries Based on Logic -- General-Purpose Digital Library Content Laboratory Systems -- Component-Based Authoring of Complex, Petri net-based Digital Library Infrastructure -- Metadata -- Uncovering Hidden Qualities -- Benefits of Quality Measures for Automatically Generated Metadata -- Query Transformation in a CIDOC CRM Based Cultural Metadata Integration Environment -- User-Contributed Descriptive Metadata for Libraries and Cultural Institutions -- Multimedia IR -- An Approach to Content-Based Image Retrieval Based on the Lucene Search Engine Library -- Evaluation Constructs for Visual Video Summaries -- Visual Expression for Organizing and Accessing Music Collections in MusicWiz -- Interaction and Interoperability -- An Architecture for Supporting RFID-Enhanced Interactions in Digital Libraries -- New Evidence on the Interoperability of Information Systems within UK Universities -- Enhancing Digital Libraries with Social Navigation: The Case of Ensemble -- Digital Preservation -- Automating Logical Preservation for Small Institutions with Hoppla -- Estimating Digitization Costs in Digital Libraries Using DiCoMo -- In Pursuit of an Expressive Vocabulary for Preserved New Media Art -- Social Web/Web 2.0 -- Privacy-Aware Folksonomies -- Seamless Web Editing for Curated Content -- Automatic Classification of Social Tags -- Search in Digital Libraries -- Exploring the Impact of Search Interface Features on Search Tasks -- Relevance in Technicolor -- Application of Session Analysis to Search Interface Design -- (Meta) Analysis of Digital Libraries -- An Analysis of the Evolving Coverage of Computer Science Sub-fields in the DBLP Digital Library -- Analysis of Computer Science Communities Based on DBLP -- Citation Graph Based Ranking in Invenio -- Query Log Analysis -- A Search Log-Based Approach to Evaluation -- Determining Time of Queries for Re-ranking Search Results -- Ranking Entities Using Web Search Query Logs -- Cooperative Work in DLs -- Examining Group Work: Implications for the Digital Library as Sharium -- Architecture for a Collaborative Research Environment Based on Reading List Sharing -- CritSpace: A Workspace for Critical Engagement within Cultural Heritage Digital Libraries -- Ontologies -- German Encyclopedia Alignment Based on Information Retrieval Techniques -- Lightweight Parsing of Classifications into Lightweight Ontologies -- Measuring Effectiveness of Geographic IR Systems in Digital Libraries -- Domain-Specific DLs -- A Visual Digital Library Approach for Time-Oriented Scientific Primary Data -- DINAH, A Philological Platform for the Construction of Multi-structured Documents -- The PROBADO Project -- Approach and Lessons Learned in Building a Digital Library System for Heterogeneous Non-textual Documents -- Posters -- Capacity-Constrained Query Formulation -- AAT-Taiwan: Toward a Multilingual Access to Cultural Objects -- Using Pattern Language as a Framework for Future Metadata Structure -- i-TEL-u: A Query Suggestion Tool for Integrating Heterogeneous Contexts in a Digital Library -- The Planets Testbed -- A Functionality Perspective on Digital Library Interoperability -- Overview and Results of the INEX 2009 Interactive Track -- SciPlore Xtract: Extracting Titles from Scientific PDF Documents by Analyzing Style Information (Font Size) -- Academic Publication Management with PUMA -- Collect, Organize and Share Publications -- Using Mind Maps to Model Semistructured Documents -- Towards a Public Library Digital Service Taxonomy -- Multimodal Image Collection Visualization Using Non-negative Matrix Factorization -- A New Perspective on Collection Selection -- Creating a Flexible Preservation Infrastructure for Electronic Records -- Matching Intellectual Works for Rights Management in the European Library -- Mopseus -- A Digital Library Management System Focused on Preservation -- Link Proximity Analysis -- Clustering Websites by Examining Link Proximity -- SliDL: A Slide Digital Library Supporting Content Reuse in Presentations -- Metadata Impact on Research Paper Similarity -- Exploring the Influence of Tagging Motivation on Tagging Behavior -- A Teaching Tool for Parasitology: Enhancing Learning with Annotation and Image Retrieval -- Framework for Logging and Exploiting the Information Retrieval Dialog -- Defining the Dynamicity and Diversity of Text Collections -- Manuzio: A Model for Digital Annotated Text and Its Query/Programming Language -- Effective Term Weighting for Sentence Retrieval -- User-Oriented Evaluation of Color Descriptors for Web Image Retrieval -- A Topic-Specific Web Search System Focusing on Quality Pages -- Reliable Preservation of Interactive Environments and Workflows -- Automated Country Name Disambiguation for Code Set Alignment -- LIFE-SHARE Project: Developing a Digitisation Strategy Toolkit -- Ensemble: A Distributed Portal for the Distributed Community of Computing Education -- A New Focus on End Users: Eye-Tracking Analysis for Digital Libraries -- Digital Library Educational Module Development Strategies and Sustainable Enhancement by the Community -- Demos -- Approach to Cross-Language Retrieval for Japanese Traditional Fine Art: Ukiyo-e Database -- Open Source Historical OCR: The OCRopodium Project -- A Voice-Oriented Image Cataloguing Environment -- DMP Online: A Demonstration of the Digital Curation Centre's Web-Based Tool for Creating, Maintaining and Exporting Data Management Plans -- DiLiA -- The Digital Library Assistant -- Xeproc©: A Model-Based Approach towards Document Process Preservation -- A Prototype Personalization System for the European Library Portal -- Meta-Composer: Synthesizing Online FRBR Works from Library Resources -- Digital Library in a 3D Virtual World: The Digital Bleek and Lloyd Collection in Second Life.…”Description: 1 online resource (xxii, 573 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
191
Analysis procedure for earthquake resistant structures
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource (xxix, 535 pages)
eBook -
192
Agile marketing
Published: Apress ; Distributed by Springer Science + Business Media, 2011SpringerLink - Click here for accessDescription: 1 online resource (xv, 232 pages) : illustrations.
eBook -
193
A Guide to Co-Teaching New Lessons and Strategies to Facilitate Student Learning 3rd ed.
Published: SAGE Publications, 2013Prospector EBC - Click here for accessDescription: 1 online resource (281 pages)
Electronic eBook -
194
Software product lines : going beyond : 14th international conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010 : proceedings
Published: Springer, 2010Contents: “…Product Line Context -- Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems -- Configuring Software Product Line Feature Models Based on Stakeholders' Soft and Hard Requirements -- Usage Context as Key Driver for Feature Selection -- Formal Approaches -- A Flexible Approach for Generating Product-Specific Documents in Product Lines -- Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams -- Delta-Oriented Programming of Software Product Lines -- Experience Papers -- Architecting Automotive Product Lines: Industrial Practice -- Developing a Software Product Line for Train Control: A Case Study of CVL -- Dealing with Cost Estimation in Software Product Lines: Experiences and Future Directions -- Variability Management -- Evolution of the Linux Kernel Variability Model -- Variability Modeling for Distributed Development -- A Comparison with Established Practice -- Variability Management in Software Product Lines: An Investigation of Contemporary Industrial Challenges -- Product Validation 1 -- Consistent Product Line Configuration across File Type and Product Line Boundaries -- Automated Incremental Pairwise Testing of Software Product Lines -- Linking Feature Models to Code Artifacts Using Executable Acceptance Tests -- Product Validation 2 -- Avoiding Redundant Testing in Application Engineering -- Improving the Testing and Testability of Software Product Lines -- Architecture-Based Unit Testing of the Flight Software Product Line -- Feature Modeling -- Sans Constraints? …”Description: 1 online resource (xix, 532 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
195
Methods for monitoring tiger and prey populations
Published: Springer, 2017SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
196
The quality of life concept : a potential new tool for decision-makers
Published: The Environmental Protection Agency, Office of Research and Monitoring, Environmental Studies Division, 1973Get full textDescription: 1 online resource (various pagings) : illustrations.
Government Document eBook -
197
Artificial intelligence and evolutionary computations in engineering systems : proceedings of ICAIECES 2017
Published: Springer, 2018Contents: “…2 Simulation Framework2.1 Background Modelling; 2.2 Spot Appearance; 2.3 Noise Generation; 2.4 Signal-to-Noise Ratio; 3 Experimental Set-up; 3.1 Synthetic Images; 3.2 Evaluation; 4 Experimental Results; 5 Conclusions; Acknowledgements; References; 7 Modified Newton's Method in the Leapfrog Method for Mobile Robot Path Planning; Abstract; 1 Introduction; 2 Optimal Control; 2.1 Leapfrog Method; 2.2 Modified Newton's Method; 3 Simulation Results; 4 Conclusion and Future Work; Bibliography; 8 Impact of Poor Data Quality in Remotely Sensed Data; Abstract; 1 Introduction; 2 Missing Data Techniques.…”Description: 1 online resource : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
198
Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Published: Springer, 2018Contents: “…Dynamic Symbolic Execution for Software Analysis -- Integrating Formal Methods for Modeling and Simulation of Swarm Robotics -- Program Correctness Under Weak Memory Consistency -- On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders -- Reasoning About JML: Differences Between KeY and OpenJML -- Design and Verification of Restart-robust Industrial Control Software -- Efficiently Characterizing the Undefined Requests of a Rule-Based System -- Study of Integrating Random and Symbolic Testing for Object-Oriented Software -- Making Linearizability Compositional for Partially Ordered Executions -- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA -- A Precise Pictorial Language for Array Invariants -- Robotics and Integrated Formal Methods: Necessity Meets Opportunity -- Formal Modeling of Software Defined Networking -- Resource-Aware Virtually Timed Ambients -- Stateful Behavioral Types for Active Objects -- Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC -- Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions -- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin -- Towards A Formal Notion of Impact Metric for Cyber-physical Attacks -- Task Planning with OMT: An Application to Production Logistics -- Branching Temporal Logic of Calls and Returns for Pushdown Systems -- Repair and Generation of Formal Models Using Synthesis -- Mode-aware Concolic Testing for PLC Software -- Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions -- Analysing AWN-specifications Using mCRL2.…”Description: 1 online resource (xvi, 420 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
199
Practical business statistics 6th ed.
Published: Academic Press, 2012Elsevier - Click here for accessDescription: 1 online resource (xix, 619 pages) : illustrations.
eBook -
200
Theory and engineering of complex systems and dependability : proceedings of the tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29-July 3...
Published: Springer, 2015Contents: “…-Application of Data Encryption for Building Modern Virtual Private Networks -- Defining States in Reliability and Safety Modelling -- Macroscopic Transport Model as a Part of Traffic Management Center: Technical Feasibility Study -- Reliability Assessment of Integrated Airport Surface Surveillance System -- A Group Decision Support Technique for Critical IT-Infrastructures -- Planning of Electric Power Distribution Networks with Reliability Criteria -- Selected Aspects of Modeling the Movement of Aircraft in the Vicinity of the Airport with Regard to Emergency Situations -- Identifying and Symulation of Status of an Ict System Using Rough Sets -- Popular FPGA Device Families in Implementation of Cryptographic Algorithms -- Aspect-oriented Test Inputs Generation from Matlab/Simulink Models, Manel TEKAYA -- Ranking and Cyclic Job Scheduling in QoS-guaranteed Grids.- Web Based Engine for Processing and Clustering of Polish texts -- Effectiveness of Providing Data Confidentiality in Backbone Networks Based on Scalable and Dynamic Environment Technologies.- Models for Estimating the Execution Time of Software Loops in Parallel and Distributed Systems -- Analysis of Different Aspects of Infomobility for Public Transport in Latvia -- Data Actualization Using Regression Models in Decision Support System for Urban Transport Planning -- New Parallel Algorithm for the Calculation of Importance Measures -- An Unloading Work Model at an Intermodal Terminal.- Cost-aware Request Batching for Byzantine Fault-tolerant replication -- Symbolic Analysis Of Timed Petri nets.…”Description: 1 online resource (xvi, 604 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook