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

Risks and security of internet and systems : 13th International Conference, CRiSIS 2018, Arcachon, France, October 16-18, 2018, Revised selected papers by CRiSIS (Conference) Arcachon, France), SpringerLink (Online service)

Contents: “…An Empirical Study on the Comprehensibility of Graphical Security Risk Models Based on Sequence Diagrams -- Are Third-Party Libraries Secure? A Software Library Checker for Java -- A prediction-based method for False Data Injection Attacks Detection in Industrial Control Systems -- Outsourcing Signatures of Confidential Documents -- Trust evaluation model for attack detection in Social Internet of Things -- A certificate-less key exchange protocol for IoT -- Personalized, Browser-based Visual Phishing Detection Based on Deep Learning -- Privacy Preserving Data Offloading based on Transformation -- DSTC: DNS-based Strict TLS Configurations -- Authenticated Quality of Service Aware Routing in Software Defined Networks -- On Consent in Online Social Networks: Privacy Impacts and Research Directions (Short Paper) -- Enhancing Collaboration between Security Analysts in Security Operations Centers -- RIICS: Risk based IICS segmentation Method -- Effectiveness and Impact measurements of a diversification based Moving Target Defense -- Practical security exploits of the FlexRay in-vehicle communication Protocol -- Connection Dumping Vulnerability Affecting Bluetooth Availability -- A Systematic Method to Describe and Identify Security Threats Based on Functional Requirements -- Optimal Distribution of Privacy Budget in Differential Privacy.…”
SpringerLink - Click here for access

Documentary Film Festivals Vol. 1 Methods, History, Politics 1st ed. 2020. by SpringerLink (Online service)

SpringerLink - Click here for access

Complex analysis in Banach spaces : holomorphic functions and domains of holomorphy in finite and infinite dimensions by Mujica, Jorge, 1946-

Elsevier - Click here for access

High performance computing : ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24-July 2, 2021, Revised Selected Papers by ISC High Performance (Conference) Online), SpringerLink (Online service)

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

Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings by Conference on Computability in Europe Siena, Italy, SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Information and communications security : 8th international conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006 : proceedings by ICICS (Conference) Raleigh, N.C.), SpringerLink (Online service)

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

Smart technology trends in industrial and business management by International Conference "Industry of Things and Future Technologies" Bratislava, Slovakia, SpringerLink (Online service)

Contents: SpringerLink - 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: “…Optimization of Non Local Means Filtering Technique for Denoising Magnetic Resonance Images: A Review -- Chapter 2. A Production Model with Stock Dependent Demand, Partial Backlogging, Weibull Distribution Deterioration and Customer Returns -- Chapter 3. …”
SpringerLink - Click here for access

Consumer driven electronic transformation : applying new technologies to enthuse consumers and transform the supply chain by SpringerLink (Online service)

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

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