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

Advances in clean energy systems and technologies by SpringerLink (Online Service), International Conference on Advances on Clean Energy Research

Contents: “…Can Community Energy Meet Distribution Network Operators’ Expectations to Deliver Consumer Flexibility? …”
SpringerLink - Click here for access

Advanced information systems engineering : 19th international conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007 : proceedings by CAiSE (Conference) Trondheim, Norway), SpringerLink (Online service)

Contents: “…Keynote -- Agile Software Development of Mobile Information Systems -- Ontologies -- Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction -- Change Detection in Ontologies Using DAG Comparison -- Automatic Generation of Model Translations -- Extended Enterprises -- Handling Instance Correspondence in Inter-organisational Workflows -- Assessing Feasibility of IT-Enabled Networked Value Constellations: A Case Study in the Electricity Sector -- Behavioral Consistency for B2B Process Integration -- Information Integration -- Declarative XML Data Cleaning with XClean -- Personalizing PageRank-Based Ranking over Distributed Collections -- Generic Schema Merging -- Service-oriented Architecture I -- Discovering Web Services to Specify More Complete System Requirements -- On ISOA: Intentional Services Oriented Architecture -- WSXplorer: Searching for Desired Web Services -- Strategic Alignment -- e 3 forces: Understanding Strategies of Networked e 3 value Constellations by Analyzing Environmental Forces -- Aligning IS to Organization's Strategy: The InStAl Method -- Towards a Framework for Tracking Legal Compliance in Healthcare -- Service-oriented Architecture II -- Conceptual Modeling of Privacy-Aware Web Service Protocols -- Policies for Context-Driven Transactional Web Services -- On Automated Generation of Web Service Level Agreements -- Requirements I -- RED-PL, a Method for Deriving Product Requirements from a Product Line Requirements Model -- Deciding to Adopt Requirements Traceability in Practice -- Designing Social Patterns Using Advanced Separation of Concerns -- Process Modelling I -- Modeling Business Contexture and Behavior Using Business Artifacts -- Policies and Aspects for the Supervision of BPEL Processes -- Goal Annotation of Process Models for Semantic Enrichment of Process Knowledge -- Requirements II -- Stakeholder Identification as an Issue in the Improvement of Software Requirements Quality -- The Impact of Task Structure and Negotiation Sequence on Distributed Requirements Negotiation Activity, Conflict, and Satisfaction -- Introducing Graphic Designers in a Web Development Process -- Process Modelling II -- Communication Abstractions for Distributed Business Processes -- Questionnaire-driven Configuration of Reference Process Models -- Formalization and Verification of EPCs with OR-Joins Based on State and Context -- Method Engineering -- Towards More Extensible MetaCASE Tools -- Concepts for Incremental Method Evolution: Empirical Exploration and Validation in Requirements Management -- ReeF: Defining a Customizable Reengineering Framework -- Novel Applications -- Publishing and Discovering Information and Services for Tagged Products -- Automating Standard Operating Procedures in Intensive Care -- Composing Data-Providing Web Services in P2P-Based Collaboration Environments -- Participative Modelling -- Participative Enterprise Modeling: Experiences and Recommendations -- Negotiating Models -- Process-Aware Information Systems -- Change Patterns and Change Support Features in Process-Aware Information Systems -- Analyzing the Dynamic Cost Factors of Process-Aware Information Systems: A Model-Based Approach.…”
SpringerLink - Click here for access

Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers by Brazilian Symposium on Formal Methods Gramado, Brazil, SpringerLink (Online service)

Contents: “…Speeding Up Simulation of SystemC Using Model Checking -- Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering -- Satisfiability Modulo Theories: An Appetizer -- Interruption Testing of Reactive Systems -- Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS -- Concurrent Models of Flash Memory Device Behaviour -- Corecursive Algebras: A Study of General Structured Corecursion -- Formalizing FreeRTOS: First Steps -- A Mechanized Strategy for Safe Abstraction of CSP Specifications -- Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B -- An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model -- Towards Safe Design of Synchronous Bus Protocols in Event-B -- Mechanising Data-Types for Kernel Design in Z -- A Complete Set of Object Modeling Laws for Alloy -- Undecidability Results for Distributed Probabilistic Systems -- Formalisation and Analysis of Objects as CSP Processes -- Concolic Testing of the Multi-sector Read Operation for Flash Memory File System -- Low-Level Code Verification Based on CSP Models -- Formal Modelling of a Microcontroller Instruction Set in B -- Defining Behaviours by Quasi-finality -- Verifying Compiled File System Code -- Reasoning about General Quantum Programs over Mixed States -- A Simple and General Theoretical Account for Abstract Types.…”
SpringerLink - Click here for access

Cloud infrastructures, services, and IoT systems for smart cities : second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20-21, 2017, Proceedings by EAI International Conference on ICT Infrastructures and Services for Smart Cities Brindisi, Italy, SpringerLink (Online service), International Conference on Cloud, Networking for IoT Systems

SpringerLink - Click here for access

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings by International Conference on Formal Engineering Methods Macau, China, SpringerLink (Online service)

Contents: “…Models of Industrial Systems with Spin -- Stateful Dynamic Partial-Order Reduction -- Internetware and Web-Based Systems -- User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition -- Environment Ontology-Based Capability Specification for Web Service Discovery -- Scenario-Based Component Behavior Derivation -- Verification of Computation Orchestration Via Timed Automata -- Towards the Semantics for Web Service Choreography Description Language -- Type Checking Choreography Description Language -- Concurrent, Communicating, Timing and Probabilistic Systems -- Formalising Progress Properties of Non-blocking Programs -- Towards a Fully Generic Theory of Data -- Verifying Statemate Statecharts Using CSP and FDR -- A Reasoning Method for Timed CSP Based on Constraint Solving -- Mapping RT-LOTOS Specifications into Time Petri Nets -- Reasoning Algebraically About Probabilistic Loops -- Object and Component Orientation -- Formal Verification of the Heap Manager of an Operating System Using Separation Logic -- A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs -- Model Checking Dynamic UML Consistency -- Testing and Model Checking -- Conditions for Avoiding Controllability Problems in Distributed Testing -- Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm -- Checking the Conformance of Java Classes Against Algebraic Specifications -- Incremental Slicing -- Assume-Guarantee Software Verification Based on Game Semantics -- Optimized Execution of Deterministic Blocks in Java PathFinder -- Tools -- A Tool for a Formal Pattern Modeling Language -- An Open Extensible Tool Environment for Event-B -- Tool for Translating Simulink Models into Input Language of a Model Checker -- Fault-Tolerance and Security -- Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices -- A Language for Modeling Network Availability -- Multi-process Systems Analysis Using Event B: Application to Group Communication Systems -- Specification and Refinement -- Issues in Implementing a Model Checker for Z -- Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking -- Discovering Likely Method Specifications -- Time Aware Modelling and Analysis of Multiclocked VLSI Systems -- SALT--Structured Assertion Language for Temporal Logic.…”
SpringerLink - Click here for access

Digital methods and remote sensing in archaeology : archaeology in the age of sensing by SpringerLink (Online service)

SpringerLink - Click here for access

Innovations for community services : 24th International Conference, I4CS 2024, Maastricht, The Netherlands, June 12-14, 2024, Proceedings by International Conference on Innovations for Community Services Maastricht, The Netherlands, SpringerLink (Online Service)

Contents: “…Prepared? Towards a Ransomware Incident Response Scenario -- COPYCAT: Applying Serious Games in Industry for Defending Supply Chain Attack -- Operation Raven - Design of a Cyber Security Incident Response Game -- Blockchain and Digital Sovereignty -- Greenhouse Gas Emissions as Commons: A Community Service Approach with Blockchain on the Edge -- The Digital Product Passport: Enabling Interoperable Information Flows through Blockchain Consortia for Sustainability -- Digital Sovereignty and Open Source Software - A Discussion Paper -- Web-based Protocol Enabling Distributed Identity Information Networks for Greater Sovereignty.…”
SpringerLink - Click here for access

Emerging technologies and circuits by SpringerLink (Online service)

Contents: “…Synergy Between Design and Technology: A Key Factor in the Evolving Microelectronic Landscape -- EMERGING TECHNOLOGY AND DEVICES -- New State Variable Opportunities Beyond CMOS: A System Perspective -- A Simple Compact Model to Analyze the Impact of Ballistic and Quasi-Ballistic Transport on Ring Oscillator Performance -- ADVANCED DEVICES AND CIRUITS -- Low-Voltage Scaled 6T FinFET SRAM Cells -- Independent-Double-Gate FINFET SRAM Cell for Drastic Leakage Current Reduction -- Metal Gate Effects on a 32 nm Metal Gate Resistor -- RELIABILITY AND SEU -- Threshold Voltage Shift Instability Induced by Plasma Charging Damage in MOSFETS with High-K Dielectric -- Analysis of SI Substrate Damage Induced by Inductively Coupled Plasma Reactor with Various Superposed Bias Frequencies -- POWER, TIMING AND VARIABILITY -- CMOS SOI Technology for WPAN: Application to 60 GHZ LNA -- SRAM Memory Cell Leakage Reduction Design Techniques in 65 nm Low Power PD-SOI CMOS -- Resilient Circuits for Dynamic Variation Tolerance -- Process Variability-Induced Timing Failures -- A Challenge in Nanometer CMOS Low-Power Design -- How Does Inverse Temperature Dependence Affect Timing Sign-Off -- CMOS Logic Gates Leakage Modeling Under Statistical Process Variations -- On-Chip Circuit Technique for Measuring Jitter and Skew with Picosecond Resolution -- ANALOG AND MIXED SIGNAL -- DC-DC Converter Technologies for On-Chip Distributed Power Supply Systems -- 3D Stacking and Hybrid Operation -- Sampled Analog Signal Processing: From Software-Defined to Software Radio.…”
SpringerLink - Click here for access

Information Processing and Management of Uncertainty in Knowledge-Based Systems : theory and methods, 13th International Conference, IPMU 2010, Dortmund, Germany, June 28-July 2, 2... by International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Dortmund, Germany, SpringerLink (Online service)

Contents: “…Evidential Networks: An Application to Convoy Detection -- Approximation of Data by Decomposable Belief Models -- A Gambler's Gain Prospects with Coherent Imprecise Previsions -- Infinite Exchangeability for Sets of Desirable Gambles -- Ergodicity Conditions for Upper Transition Operators -- An Empirical Comparison of Bayesian and Credal Set Theory for Discrete State Estimation -- On the Complexity of Non-reversible Betting Games on Many-Valued Events -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing Prioritized Merging with ASP -- An Interactive Algorithm to Deal with Inconsistencies in the Representation of Cardinal Information -- Characterization of Complete Fuzzy Preorders Defined by Archimedean t-Norms -- Rectification of Preferences in a Fuzzy Environment -- Data Analysis and Knowledge Processing -- Identification of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple Subproblems -- Conflict Interpretation in a Belief Interval Based Framework -- Evidential Data Association Filter -- Maintaining Evidential Frequent Itemsets in Case of Data Deletion -- TS-Models from Evidential Clustering -- Measuring Impact of Diversity of Classifiers on the Accuracy of Evidential Ensemble Classifiers -- Multiplication of Multinomial Subjective Opinions -- Evaluation of Information Reported: A Model in the Theory of Evidence -- Gradual Evaluation of Granules of a Fuzzy Relation: R-related Sets -- Combined Bayesian Networks and Rough-Granular Approaches for Discovery of Process Models Based on Vehicular Traffic Simulation -- On Scalability of Rough Set Methods -- Interestingness Measures for Association Rules within Groups -- Data Mining in RL-Bags -- Feature Subset Selection for Fuzzy Classification Methods -- Restricting the IDM for Classification -- Estimation of Possibility-Probability Distributions -- Bayesian Assaying of GUHA Nuggets -- Rank Correlation Coefficient Correction by Removing Worst Cases -- Probabilistic Relational Learning for Medical Diagnosis Based on Ion Mobility Spectrometry -- Automated Gaussian Smoothing and Peak Detection Based on Repeated Averaging and Properties of a Spectrum's Curvature -- Uncertainty Interval Expression of Measurement: Possibility Maximum Specificity versus Probability Maximum Entropy Principles -- Lazy Induction of Descriptions Using Two Fuzzy Versions of the Rand Index -- Fuzzy Clustering-Based Filter -- Fuzzy Classification of Nonconvex Data-Inherent Structures -- Fuzzy-Pattern-Classifier Training with Small Data Sets -- Temporal Linguistic Summaries of Time Series Using Fuzzy Logic -- A Comparison of Five Fuzzy Rand Indices -- Identifying the Risk of Attribute Disclosure by Mining Fuzzy Rules -- Fuzzy Sets and Fuzzy Logic -- Explicit Descriptions of Associative Sugeno Integrals -- Continuity of Choquet Integrals of Supermodular Capacities -- Inclusion-Exclusion Integral and Its Application to Subjective Video Quality Estimation -- Fuzzy Measure Spaces Generated by Fuzzy Sets -- Absolute Continuity of Monotone Measure and Convergence in Measure -- An Axiomatic Approach to Fuzzy Measures Like Set Cardinality for Finite Fuzzy Sets -- Choquet-Integral-Based Evaluations by Fuzzy Rules: Methods for Developing Fuzzy Rule Tables on the Basis of Weights and Interaction Degrees -- On a New Class of Implications in Fuzzy Logic -- Diagrams of Fuzzy Orderings -- Fuzzy Relation Equations in Semilinear Spaces -- Adaptive Rule Based-Reasoning by Qualitative Analysis -- Fuzzy Regions: Adding Subregions and the Impact on Surface and Distance Calculation -- On Liu's Inference Rules for Fuzzy Inference Systems -- A New Approach to the Distances between Intuitionistic Fuzzy Sets -- Atanassov's Intuitionistic Contractive Fuzzy Negations -- Trust Propagation Based on Group Opinion -- Application of IF-Sets to Modeling of Lip Shapes Similarities -- A Random Set and Prototype Theory Interpretation of Intuitionistic Fuzzy Sets -- Hesitation Degrees as the Size of Ignorance Combined with Fuzziness -- On the Distributivity of Implication Operations over t-Representable t-Norms Generated from Strict t-Norms in Interval-Valued Fuzzy Sets Theory -- Properties of Interval-Valued Fuzzy Relations, Atanassov's Operators and Decomposable Operations -- Cardinality and Entropy for Bifuzzy Sets -- Some Remarks on the Solutions to the Functional Equation I(x,y)?…”
SpringerLink - Click here for access

The 5G era : what is 5G and how will it change the world? by Xiang, Ligang

Contents: “…-- Development and Deployment Capability of Communication System Equipment -- Development and Production of Mobile Phones -- Development and Operation of 5G Services and Applications -- Network Deployment Capabilities of Telecom Operators -- Government Support and Market Capacity -- A New Option for Telecom Operators -- Further Separation of Network, Management and Business Layers -- Unleashing the Capabilities of 5G Network Management -- Urgent Need to Rebuild Own Technology Development Capability.…”
SpringerLink - Click here for access

Life insurance risk management essentials by Koller, Michael

SpringerLink - Click here for access

Cloud based 5G wireless networks by Zhang, Yin (Computer scientist)

Contents: “…Preface; Contents; Acronyms; 1 Introduction; 1.1 The Development of Wireless Networks; 1.2 5G Wireless Networks; References; 2 Cloud-Based Networking; 2.1 Network Foundation Virtualization; 2.1.1 Development Status of NFV; 2.1.2 Technical Issues of NFV; 2.2 Cloud Radio Access Networks; 2.3 Mobile Cloud Networking; References; 3 Cloud Platform for Networking; 3.1 OpenNebule; 3.2 OpenStack; 3.3 OpenDayLight; 3.4 Virtual Machine Migration; 3.4.1 P2V; 3.4.2 V2V; 3.4.3 V2P; References; 4 Definable Networking; 4.1 Caching; 4.2 Mobile Content Distribution Network; 4.3 Software-Defined Mobile Network.…”
SpringerLink - Click here for access

Natural disturbances and historic range of variation : type, frequency, severity, and post-disturbance structure in central hardwood forests USA by SpringerLink (Online service)

SpringerLink - Click here for access

Texture spaces by Diker, Murat

SpringerLink - Click here for access

Public relations by Films for the Humanities & Sciences (Firm), Infobase, Planet Pictures (Firm)

Films on Demand - Click here for access

Service Life Prediction of Polymers and Plastics Exposed to Outdoor Weathering by ScienceDirect (Online service)

Contents: “…; Introduction; Standards; Standards That are Used to Physically Produce a Material, Part, Product, or Structure; Standards That Govern How We Communicate and Interact With the World; Standards That Define Operating Procedures; Weathering tests; Weathering Test Standards; Roles of Weathering Tests; Pass/Fail Tests for Material Screening.…”
Elsevier - Click here for access

Invasive plants : ecological and agricultural aspects by SpringerLink (Online service)

Contents: “…Suding, and Katherine D. LeJeune -- Defining a regional approach for invasive plant research and management / Steven R. …”
SpringerLink - Click here for access

Wireless and satellite systems : 8th International Conference, WiSATS 2016, Cardiff, UK, September 19-20, 2016, Proceedings by International Conference on Wireless and Satellite Systems Cardiff, Wales, SpringerLink (Online service)

Contents: “…A Compact CSRR Loaded Monopole Antenna with Defected Ground Structure for Mobile WLAN and WiMAX Applications -- Development Status of Small-sized Ka-band Mobile Terminal for Maritime Broadband Communications -- New and Less Complex Approach to Estimate the Angles of Arrival -- MIMO Based Multi Band Antenna for Wireless Communication in C-band, X-Band, K-Band and Ku Band -- A Staircase-shaped DGS Structure Monopole Antenna for UWB Operations -- Implementation of a Low-Rate Linear Step FM Transceiver on a Software Defined Radio Platform -- High Reliability Light Weight Multi-Mission Amplifier System -- Examination of power consumption reduction and sampling behavior of envelope detection based wake-up-receiver with duty cycling scheme -- Bit Synchronization and Delayed Decision Feedback Equalization for EDGE BTS -- Hardware Implementation on TMS320C6424 TI DSP -- Precoding of Correlated Symbols for STBC Systems Design -- Communication Applications in Smart Grid (CASG) Special Session -- Optimization of Community Based Virtual Power Plant with Embedded Storage and Renewable Generation -- Assessment of effective radiated power of the partial discharge emulator source Wireless, Computing and Satellite Systems Security (WCSSS) Special Session -- Experimental Privacy Analysis and Characterization for Disconnected VANETs -- A Mobility-Aware Trust Management Scheme for Emergency Communication Networks -- Effective Doppler Mitigation in Critical Satellite Communications -- Interference Mitigation for Multi Spot Beam Satellite Communication Systems Incorporating Spread Spectrum -- Specific Rain Attenuation derived from a Gaussian Mixture Model for Rainfall Drop Size Distribution -- Cognitive Interference Management Techniques for the Spectral Co-existence of GSO and NGSO Satellites -- A 15.5W Si-LDMOS Balanced Power Amplifier With 53% Ultimate PAE for High Speed LTE -- Energy Efficient Adaptive Network Coding Schemes for Satellite Communications -- Distribution of HDTV using VLC Techniques for Domestic Applications -- On the Energy Minimization of Heterogeneous Cloud Radio access Networks.…”
SpringerLink - Click here for access

Sockets, shellcode, porting & coding : reverse engineering exploits and tool coding for security professionals by Foster, James C.

Elsevier - Click here for access

Handbook of science and technology convergence by SpringerLink (Online service)

SpringerLink - Click here for access