Search Results - (( Defined (contribution OR contributions) pension plant ) OR ((( Defined distribution generation plan ) OR ( Defined distribution version plans ))))

Product-focused software process improvement : 7th international conference, PROFES 2006, Amsterdam, the Netherlands, June 12-14, 2006 : proceedings by PROFES 2006 Amsterdam, Netherlands, SpringerLink (Online service)

SpringerLink - Click here for access

Survival and sustainability : environmental concerns in the 21st century by International Conference on Environment: Survival and Sustainability Nicosia, Cyprus, SpringerLink (Online service)

SpringerLink - Click here for access

Technology roadmap : energy efficiency in existing homes

Get full text

Climate change and its impacts : risks and inequalities by SpringerLink (Online service)

SpringerLink - Click here for access

Pro Python Second edition. by Browning, J. Burton, Alchin, Marty

Contents: “…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.…”
SpringerLink - Click here for access

Plant engineer's handbook by ScienceDirect (Online service)

Elsevier - Click here for access

Proceedings of fifth International Conference on Soft Computing for Problem Solving : SocProS 2015. Volume 1 by International Conference on Soft Computing for Problem Solving Roorkee, India, SpringerLink (Online service)

Contents: “…A Production Model with Stock Dependent Demand, Partial Backlogging, Weibull Distribution Deterioration and Customer Returns -- Chapter 3. …”
SpringerLink - Click here for access

Atlas of macroscopic wood identification : with a special focus on timbers used in europe and CITES-listed species by Ruffinatto, Flavio, Crivellaro, Alan

SpringerLink - Click here for access

Proceedings of the 2022 Conference of the Computational Social Science Society of the Americas by Computational Social Science Society of the Americas. Conference, SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access

Research and advanced technology for digital libraries : 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010 : proceedings by ECDL (Conference) Glasgow, Scotland), SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access

Analysis procedure for earthquake resistant structures by Hejazi, Farzad

SpringerLink - Click here for access

Agile marketing by Accardi-Petersen, Michelle

SpringerLink - Click here for access

A Guide to Co-Teaching New Lessons and Strategies to Facilitate Student Learning 3rd ed. by Villa, Richard A., 1952-

Prospector EBC - Click here for access

Software product lines : going beyond : 14th international conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010 : proceedings by Software Product Lines Conference Cheju Island, Korea, SpringerLink (Online service)

Contents: “…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? …”
SpringerLink - Click here for access

Methods for monitoring tiger and prey populations by SpringerLink (Online service)

SpringerLink - Click here for access

The quality of life concept : a potential new tool for decision-makers

Get full text

Artificial intelligence and evolutionary computations in engineering systems : proceedings of ICAIECES 2017 by International Conference on Artificial Intelligence and Evolutionary Computations in Engineering Systems Madanapalle, India, SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access

Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings by International Conference on Integrated Formal Methods Maynooth, Ireland, SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access

Practical business statistics 6th ed. by Siegel, Andrew F.

Elsevier - Click here for access

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... by International Conference on Dependability of Computer Systems Brunów, Poland, SpringerLink (Online service)

Contents: “…-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.…”
SpringerLink - Click here for access