Search Results - (( Defined (contribution OR contributions) ((pensions plans) OR (pension plans)) ) OR ((( Defined distribution ((operation plan) OR (((operational planning) OR (operating a)))) ) OR ( Defined distribution erosion plans ))))
-
361
High performance computing : ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24-July 2, 2021, Revised Selected Papers
Published: Springer, 2021Contents: “…Second International Workshop on the Application of Machine Learning Techniques to Computational Fluid Dynamics and Solid Mechanics Simulations and Analysis -- Machine-Learning-Based Control of Perturbed and Heated Channel Flows -- Novel DNNs for Stiff ODEs with Applications to Chemically Reacting Flows -- Lettuce: PyTorch-based Lattice Boltzmann Framework -- Reservoir computing in reduced order modeling for chaotic dynamical systems -- Film cooling prediction and optimization based on deconvolution neural network -- Turbomachinery Blade Surrogate Modeling using Deep Learning -- A Data-driven Wall-shear Stress Model for LES using Gradient Boosted Decision Trees -- Nonlinear mode decomposition and reduced-order modeling for three-dimensional cylinder flow by distributed learning on Fugaku -- Using physics-informed enhanced super-resolution generative adversarial networks to reconstruct mixture fraction statistics of turbulent jet flows -- HPC I/O in the Data Center -- Toward a Workflow for Identifying Jobs with Similar I/O Behavior Utilizing Time Series Analysis -- H3: An Application-Level, Low-Overhead Object Store -- Compiler-assisted Correctness Checking and Performance Optimization for HPC -- Automatic partitioning of MPI operations in MPI+OpenMP applications -- heimdallr: Improving Compile Time Correctness Checking for Message Passing with Rust -- Potential of Interpreter Specialization for Data Analysis -- Refactoring for Performance with Semantic Patching: Case Study with Recipes -- Negative Perceptions About the Applicability of Source-to-Source Compilers in HPC: A Literature Review -- Machine Learning on HPC Systems -- Automatic Tuning of Tensorflow's CPU Backend using Gradient-Free Optimization Algorithms -- MSM: Multi-Stage Multicuts for Scalable Image Clustering -- OmniOpt -- a tool for hyperparameter optimization on HPC -- Parallel/distributed intelligent hyperparameters search for GANs -- Machine learning for generic energy models of high performance computing resources -- Fourth International Workshop on Interoperability of Supercomputing and Cloud Technologies -- Automation for Data-Driven Research with the NERSC Superfacility API -- A Middleware Supporting Data Movement inComplex and Software-Defined Storage and Memory Architectures -- Second International Workshop on Monitoring and Operational Data Analytics -- An Operational Data Collecting and Monitoring Platform for Fugaku: System Overviews and Case Studies in the Prelaunch Service Period -- An Explainable Model for Fault Detection in HPC Systems -- Sixteenth Workshop on Virtualization in HighƯ-Performance Cloud Computing -- A Scalable Cloud Deployment Architecture for High-Performance Real-Time Online Interactive Applications -- Leveraging HW approximation for exploiting performance-energy trade-offs within the edge-cloud computing continuum -- Datashim and its applications in Bioinformatics -- FaaS and Curious: Performance implications of serverless functions on edge computing platforms -- Differentiated performance in NoSQL database access for hybrid Cloud-HPC workloads -- Deep Learning on Supercomputers -- JUWELS Booster -- A Supercomputer for Large-Scale AI Research -- Fifth International Workshop on In Situ Visualization -- In Situ Visualization of WRF Data using Universal Data Junction -- Catalyst Revised: Rethinking the ParaView In Situ Analysis and Visualization API -- Fides: A General Purpose Data Model Library for Streaming Data.…”Description: 1 online resource (xiii, 515 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
362
Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings
Published: Springer, 2007Contents: SpringerLink - Click here for accessDescription: 1 online resource (xviii, 826 pages) : illustrations.
Conference Proceeding eBook -
363
Information and communications security : 8th international conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006 : proceedings
Published: Springer, 2006Contents: “…Security Protocols -- Strong and Robust RFID Authentication Enabling Perfect Ownership Transfer -- A Robust and Secure RFID-Based Pedigree System (Short Paper) -- A Topological Condition for Solving Fair Exchange in Byzantine Environments -- A Security Analysis of the Precise Time Protocol (Short Paper) -- Applied Crytography -- An Identity-Based Proxy Signature Scheme from Pairings -- Finding Compact Reliable Broadcast in Unknown Fixed-Identity Networks (Short Paper) -- Formal Analysis and Systematic Construction of Two-Factor Authentication Scheme (Short Paper) -- Hierarchical Key Assignment for Black-Box Tracing with Efficient Ciphertext Size -- Trace-Driven Cache Attacks on AES (Short Paper) -- Access Control and Systems Security -- A Construction for General and Efficient Oblivious Commitment Based Envelope Protocols -- Defining and Measuring Policy Coverage in Testing Access Control Policies -- Distributed Credential Chain Discovery in Trust Management with Parameterized Roles and Constraints (Short Paper) -- An Operating System Design for the Security Architecture for Microprocessors -- Privacy and Malicious Code -- Point-Based Trust: Define How Much Privacy Is Worth -- Efficient Protocols for Privacy Preserving Matching Against Distributed Datasets -- Quantifying Information Leakage in Tree-Based Hash Protocols (Short Paper) -- An Anonymous Authentication Scheme for Identification Card -- A Wireless Covert Channel on Smart Cards (Short Paper) -- Network Security -- From Proxy Encryption Primitives to a Deployable Secure-Mailing-List Solution -- Mathematical Foundations for the Design of a Low-Rate DoS Attack to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed Networks (Short Paper) -- Estimating Accuracy of Mobile-Masquerader Detection Using Worst-Case and Best-Case Scenario -- An Enhanced N-Way Exchange-Based Incentive Scheme for P2P File Sharing (Short Paper) -- Systems Security -- Provably Correct Runtime Enforcement of Non-interference Properties -- An Attack on SMC-Based Software Protection -- Modular Behavior Profiles in Systems with Shared Libraries (Short Paper) -- Efficient Protection Against Heap-Based Buffer Overflows Without Resorting to Magic -- Cryptanalysis -- Cryptanalysis of Timestamp-Based Password Authentication Schemes Using Smart Cards -- Cryptanalysis of ID-Based Authenticated Key Agreement Protocols from Bilinear Pairings (Short Paper) -- Seifert's RSA Fault Attack: Simplified Analysis and Generalizations -- The Fairness of Perfect Concurrent Signatures -- Applied Cryptography and Network Security -- Secure Set Membership Using 3Sat -- Left-to-Right Signed-Bit?…”Description: 1 online resource (xiv, 558 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
364
Smart technology trends in industrial and business management
Published: Springer, 2019Contents: SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
365
Advances in clean energy systems and technologies
Published: Springer, 2024Contents: “…Can Community Energy Meet Distribution Network Operators’ Expectations to Deliver Consumer Flexibility? …”Description: 1 online resource (xxv, 493 pages) : illustrations (chiefly color).
SpringerLink - Click here for access
Conference Proceeding eBook -
366
Consumer driven electronic transformation : applying new technologies to enthuse consumers and transform the supply chain
Published: Springer, 2005Contents: “…Emerging Techniques and Technologies for Supply Chain Management -- Improvement Opportunities in Retail Logistics -- A Dynamic Real-Time Vehicle Routing System for Distribution Operations -- Bargaining and Alliances in Supply Chains -- Last-Mile Supply Chain Integration: Easy Connection and Information Exchange between Suppliers and Retailers -- Multichannel Retailing: Relationships, Integration and Electronic Transformation -- Multichannel Retailing and Brand Policies -- Designing Alternative Store Layouts for Internet Retailing -- In Search for Viable e-Solutions -- Beyond CPFR: Defining the Future of Supply Chain Collaboration -- On Shelf Availability: An Examination of the Extent, the Causes, and the Efforts to Address Retail Out-of-Stocks -- Increasing Shelf Availability Through Internet-Based Information Sharing and Collaborative Store Ordering -- Towards the Development of an Algorithm to Discover Out-Of-Shelf Situations -- Food Value Chain Analysis -- Extending ECR into Product Innovation -- Beyond RFID: Supporting Supply Chain Management with Intelligent Tagging -- Turning Signals into Profits in the RFID-Enabled Supply Chain -- Shopping in the 21st Century: Embedding Technology in the Retail Arena -- Towards 'smarter' Supply and Demand-Chain Collaboration Practices Enabled by RFID Technology.…”Description: 1 online resource (x, 256 pages) : illustrations.
SpringerLink - Click here for access
eBook -
367
Advanced information systems engineering : 19th international conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007 : proceedings
Published: Springer, 2007Contents: “…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.…”Description: 1 online resource (xvi, 606 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
368
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
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource (xix, 264 pages) : illustrations.
Conference Proceeding eBook -
369
Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers
Published: Springer, 2009Contents: “…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.…”Description: 1 online resource (x, 349 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
370
Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings
Published: Springer, 2006Contents: “…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.…”Description: 1 online resource (xii, 778 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
371
Life insurance risk management essentials
Published: Springer, 2011SpringerLink - Click here for accessDescription: 1 online resource (xxi, 334 pages) : color illustrations.
eBook -
372
Digital methods and remote sensing in archaeology : archaeology in the age of sensing
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource (xix, 496 pages) : illustrations (some color), maps.
eBook -
373
Innovations for community services : 24th International Conference, I4CS 2024, Maastricht, The Netherlands, June 12-14, 2024, Proceedings
Published: Springer, 2024Contents: “…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.…”Description: 1 online resource (xix, 428 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
374
Emerging technologies and circuits
Published: Springer, 2010Contents: “…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.…”Description: 1 online resource (ix, 264 pages).
SpringerLink - Click here for access
eBook -
375
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...
Published: Springer-Verlag, 2010Contents: “…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)?…”Description: 1 online resource (xxv, 764 pages).
SpringerLink - Click here for access
Conference Proceeding eBook -
376
The 5G era : what is 5G and how will it change the world?
Published: Palgrave Macmillan, 2023Contents: “…-- 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.…”Description: 1 online resource (xiii, 245 pages)
SpringerLink - Click here for access
eBook -
377
Cloud based 5G wireless networks
Published: Springer, 2016Contents: “…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.…”Description: 1 online resource.
SpringerLink - Click here for access
eBook -
378
Public relations
Published: Infobase, 2005Films on Demand - Click here for accessDescription: 1 streaming video file (28 min.) : sd., col., digital file.
Video -
379
Water-energy-nexus in the ecological transition : natural-based solutions, advanced technologies and best practices for environmental sustainability
Published: Springer, 2022Contents: “…Cost-Benefit Analysis and Multi-criteria Assessments to Support the Decision-Making Processes -- Sustainability and Energy Efficiency in Twentieth-Century Italian Built Heritage -- Long-Term Effects Evaluation for Investments in the Energy and Water Sectors -- Economic Sustainability of Direct Energy Efficiency Investments for Gas and Energy Distributors to Comply with the PAEE (Italian National Plan for Energy Efficiency) -- Technical-economic Analysis of Novel Generation Aquaponic System for a Sustainable Development -- Cost Control in the Construction of Water Distribution and Collection Networks: Verification of a Multivariate Model Through Application to Case Studies -- How Can We Use the Water Cost Instrument in a Scarcity Scenario for the Power Sector in Brazil? …”Description: 1 online resource (xviii, 481 pages).
SpringerLink - Click here for access
Conference Proceeding eBook -
380
Natural disturbances and historic range of variation : type, frequency, severity, and post-disturbance structure in central hardwood forests USA
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource (xi, 400 pages).
eBook