Search Results - (( Defined contribution pensions plans ) OR ((( Defined ((distributed operating) OR (distributed computing)) a ) OR ( Defined ((distribution erosion) OR (distributed estimation)) plans ))))
-
1
Distributed and sequential algorithms for bioinformatics
Published: Springer, 2015SpringerLink - Click here for accessDescription: 1 online resource (xvii, 367 pages).
eBook -
2
Trust and fairness in open, distributed systems
Published: Springer, 2010SpringerLink - Click here for accessDescription: 1 online resource (xvii, 244 pages) : illustrations.
eBook -
3
Type systems for distributed programs : components and sessions
Published: Atlantis Press, 2016SpringerLink - Click here for accessDescription: 1 online resource (xxii, 192 pages) : illustrations (some color).
eBook -
4
Greening video distribution networks : energy-efficient internet video delivery
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource (xii, 227 pages) : illustrations (some color).
eBook -
5
Computational science -- ICCS 2019 : 19th International Conference, Faro, Portugal, June 11-14, 2019, proceedings. Part I
Published: Springer, 2019Contents: “…Reinsertion Algorithm Based on Destroy and Repair Operators for Dynamic Dial a Ride Problems /…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
6
Handbook of human computation
Published: Springer, 2013SpringerLink - Click here for accessDescription: 1 online resource (1051 pages) : illustrations.
eBook -
7
Advances in computer science and ubiquitous computing : CSA-CUTE 17
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource : illustrations.
Conference Proceeding eBook -
8
Computer science : the hardware, software and heart of it
Published: Springer Science+Business Media, LLC, 2011SpringerLink - Click here for accessDescription: 1 online resource (ix, 468 pages) : illustrations (some color)
eBook -
9
Large-scale scientific computing : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers
Published: Springer, 2012SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
10
Computational Science - ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018 proceedings. Part III
Published: Springer, 2018Contents: “…Track of Simulations of Flow and Transport: Modeling, Algorithms and Computation Simulations of Flow and Transport: Modeling, Algorithms and Computation -- ALE Method for a Rotating Structure Immersed in the Fluid and Its Application to the Artificial Heart Pump in Hemodynamics -- Free Surface Flow Simulation of Fish Turning Motion -- Circular Function-Based Gas-kinetic Scheme for Simulation of Viscous Compressible Flows -- A new edge stabilization method for the convection-dominated diffusion-convection equations -- Symmetric Sweeping Algorithms for Intersections of Two Quadrilateral Mesh -- A Two-field Finite Element Solver for Poroelasticity on Quadrilateral Meshes -- Preprocessing parallelization for the ALT-algorithm -- Efficient Linearly and Unconditionally Energy Stable Schemes for the Phase Field Model of Solid-State Dewetting Problems -- A novel energy stable numerical scheme for Navier-Stokes-Cahn-Hilliard two-phase flow model with variable densities and viscosities -- Study on Numerical Methods for Gas Flow Simulation Using Double-Porosity Double-Permeability Model -- Molecular Simulation of Displacement of Methane by Injection Gases in Shale -- A Compact and Efficient Lattice Boltzmann Scheme to Simulate Complex Thermal Fluid Flows -- Study on topology-based identification of sources of vulnerability for natural gas pipeline networks -- LES study on high Reynolds turbulent drag-reducing flow of viscoelastic fluids based on multiple relaxation times constitutive model and mixed subgrid-scale model -- Track of Solving Problems with Uncertainties Statistical and Multivatiate Analysis Applied to a Database of Patients with Type-2 Diabetes -- Novel Monte Carlo Algorithm for Solving Singular Linear Systems -- Reducing Data Uncertainty in Forest Fire Spread Prediction: a Matter of Error Function Assessment -- Analysis of the accuracy of OpenFOAM solvers for the problem of supersonic flow around a cone -- Modification Of Interval Arithmetic For Modelling And Solving Uncertainly Defined Problems By Interval Parametric Integral Equations System -- A Hybrid Heuristic for the Probabilistic Capacitated Vehicle Routing Problem with Two-Dimensional Loading Constraints -- A human-inspired model to represent uncertain knowledge in the Semantic Web -- Bayesian based approach learning for outcome prediction of soccer matches -- Fuzzy and Data-Driven Urban Crowds -- Track of Teaching Computational Science Design and Analysis of an Undergraduate Computational Engineering Degree at Federal University of Juiz de Fora -- Extended Cognition Hypothesis View on Computational Thinking in Computer Science Education -- Interconnected Enterprise Systems -- A Call for New Teaching Approaches -- Poster Papers -- Efficient Characterization of Hidden Processor Memory Hierarchies -- Discriminating Postural Control Behaviors from Posturography with Statistical Tests and Machine Learning Models: Does Time Series Length Matter -- Mathematical Modelling of Wormhole-routed x-Folded TM Topology in the Presence of Uniform Traffic -- Adaptive Time-Splitting Scheme for Nanoparticles Transport with Two-phase Flow in Heterogeneous Porous Media -- Identifying Central Individuals in Organised Criminal Groups and Underground Marketplaces -- Guiding the optimization of parallel codes on multicores using an analytical cache model -- LDA-Based Scoring of Sequences Generated by RNN for Automatic Tanka Composition -- Computing Simulation of Interactions between? …”Description: 1 online resource (xx, 866 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
11
Advances in computer science and information technology : computer science and information technology : second International Conference, CCSIT 2012, Bangalore, India, January 2-4,...
Published: Springer, 2012Contents: “…Collaborative Framework for Distributed Computing in P2P Network --…”Description: 1 online resource (xvii, 567 pages).
SpringerLink - Click here for access
Conference Proceeding eBook -
12
Advances in computing, communication, and control : third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings
Published: Springer, 2013Contents: SpringerLink - Click here for accessDescription: 1 online resource (xviii, 749 pages) : illustrations (black and white).
Conference Proceeding eBook -
13
Nature of computation and communication : International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised selected papers
Published: Springer, 2015Contents: “…Modular Design and Verification of Distributed Adaptive Real-Time Systems -- Modeling Swarm Robotics with Know Lang -- Reasoning on Data Streams: an Approach to Adaptation in Pervasive Systems -- Autonomic Computing Software for Autonomous Space Vehicles -- Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems -- Categorical Structures of Self-Adaptation in Collective Adaptive Systems -- Self-Adaptive Traits in Collective Adaptive Systems -- A Context-Aware Traffic Engineering Model for Software-Defined Networks -- Efficient k-Nearest Neighbor Search for Static Queries over High Speed Time-Series Streams Reconstructing low degree triangular parametric surfaces based on inverse Loop subdivision -- Maximizing the lifetime of wireless sensor networks with the base station location -- An Application of PCA on Uncertainty of Prediction -- Co-modeling: an agent-based approach to support the coupling of heterogeneous models -- Slowdown-guided Genetic Algorithm for Job Scheduling in Federated Environments -- Security Aspects of Cloud Based Mobile Health Care Application Enhancement of Innovation Co-creation Processes and Ecosystems Through Mobile Technologies -- Development the method for Optimizing Cost of Software Quality Assurance based on Regression-based Model -- Un-normalized and random walk hypergraph Laplacian un-supervised learning.…”Description: 1 online resource (xiii, 371 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
14
Advances in computer science, engineering & applications : proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 2...
Published: Springer, 2012Contents: “…Gender Classification Techniques: A Review /…”Description: 1 online resource (xxiii, 1048 pages).
SpringerLink - Click here for access
Conference Proceeding eBook -
15
Mobility in process calculi and natural computing
Published: Springer, 2011SpringerLink - Click here for accessDescription: 1 online resource (xiii, 208 pages).
eBook -
16
Computer Science - CACIC 2017 : 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised selected papers
Published: Springer, 2018Contents: “…Description of a Mirroring Strategy and its Results -- Virtualization in Education: Portable Network Laboratory -- Graphic Computation, Images and Visualization -- A shadow removal approach for a background subtraction algorithm -- A Tutorial on the Implementations of Linear Image Filters in CPU and GPU -- Natural User Interfaces: A Physical Activity Trainer -- Software Engineering -- Proposal for the Formation of Experimental Pair Programmers -- Reusing a Geographic Software Product Line Platform: A Case Study in the Paleontological Sub-Domain -- Performance evaluation of a 3D engine for mobile devices -- Assistant for the Evaluation of Software Product Quality Characteristics Proposed by ISO/IEC 25010 Based on GQM-Defined Metrics -- Databases and Data Mining -- Recommender System Based on Latent Topics -- Automatic Characteristics Extraction for Sentiment Analysis Tasks -- Hardware Architectures, Networks and Operating Systems -- Modular Petri Net Processor for Embedded Systems -- A Novel Performance Metric for Virtual Network Embedding Combining Aspects of Blocking Probability and Embedding Cost -- An Anomaly Detection Model in a LAN using K-NN and High Performance Computing Techniques -- Innovation in Software Systems -- Generation and Use of a Digest System by Integrating OCR and Smart Searches -- Signal Processing and Real-Time Systems -- Excluding Ionospherically Unsafe Satellite Geometries in GBAS CAT-I -- CAN Bus Experiments of Real-Time Communications -- Computer Security -- Analysis of Methodologies of Digital Data Collection in Web Servers -- Observer effect: How Intercepting HTTPS traffic forces malware to change their behavior -- Innovation in Computer Science Education -- ECMRE: Extended Concurrent Multi Robot Environment -- Inverting the class or investing in the class? …”Description: 1 online resource (XIV, 310 pages).
SpringerLink - Click here for access
Conference Proceeding eBook -
17
Ubiquitous communications and network computing : First International Conference, UBICNET 2017, Bangalore, India, August 3-5, 2017, Proceedings
Published: Springer, 2018Contents: “…'MobAware'-Harnessing Context Awareness, Sensors and Cloud for Spontaneous Personal Safety Emergency Help Requests -- A Comprehensive Crowdsourcing Approach to Urban Flood Management -- Aggregation Using the concept of Dynamic-Sized Data Packet for Effective Energy Saving in Wireless Sensor Network -- TVAKSHAS- An energy consumption and utilization measuring system for green computing environment -- Challenges to Developing a Secure, Cloud-based Offline Mobile Application -- Mobile Commerce Business Model for Customer Oriented Business Transactions -- An Untraceable Identity-Based Blind Signature scheme without Pairing for E-cash Payment System -- Context Information based FOREX Services -- Markov Chain based Priority Queueing Model for Packet Scheduling and Bandwidth Allocation -- A Profound Inquiry of Diversified Application and Trends in Big Data Analytics -- SDN Framework for Securing IoT Networks Estimation of End-to-End Available Bandwidth and Link -- Capacity in SDN -- Estimation of raw packets in SDN -- Real Time Monitoring of Packet Loss in Software Defined -- Active Home Agent Load Balancing for Next Generation -- IP Mobility based Distributed Networks -- Design of a Real-time Human Emotion Recognition System -- Trace and Track: Enhanced Pharma Supply Chain -- Infrastructure to Prevent Fraud -- Management of IoT devices in home network via intelligent home gateway using NETCONF -- DNA Based Cryptography to Improve Usability of Authenticated Access of Electronic Health Records -- Design and Safety Verification for Vehicle Networks -- Outdoor Millimeter-Wave Channel Modeling for Uniform -- Coverage without Beam Steering -- Dimensional modification induced Band Gap tuning in 2D-Photonic Crystal for advanced communication and other application -- Power Aware Network on Chip Test Scheduling with Variable Test Clock Frequency.…”Description: 1 online resource (XV, 265 pages) : 123 illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
18
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings
Published: Springer, 2020SpringerLink - Click here for accessDescription: 1 online resource (x, 287 pages) : illustrations.
Conference Proceeding eBook -
19
Computer science and its applications : 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
Published: Springer, 2015SpringerLink - Click here for accessDescription: 1 online resource (xxvi, 638 pages) : illustrations.
Conference Proceeding eBook -
20
Cloud computing, big data & emerging topics : 10th conference, JCC-BD&ET 2022, La Plata, Argentina, June 28-30, 2022, proceedings
Published: Springer, 2022Contents: “…3.2 Labeling of Documents -- 3.3 Email Indexing -- 3.4 Feature Selection Strategies -- 3.5 Retrieval of E-mails -- 3.6 Generation of the Classification Models -- 4 Experiments -- 5 Conclusions -- References -- Applying Game-Learning Environments to Power Capping Scenarios via Reinforcement Learning -- 1 Introduction -- 2 The RLlib and Gym Frameworks -- 2.1 RLlib -- 2.2 Gym -- 3 RL for Resource Management -- 4 Casting a Power Capping Scenario with Gym -- 4.1 Defining States -- 4.2 Defining Actions and Rewards -- 5 Experimental Results -- 5.1 Analysis Under Different Power Caps.…”Description: 1 online resource.
SpringerLink - Click here for access
Electronic Conference Proceeding eBook