Search Results - (( Defined (contribution OR contributorss) ((pensions plans) OR (pension plans)) ) OR ((( Defined distribution ((operational plan) OR (((operating plan) OR (operating a)))) ) OR ( Defined distribution erosion plans ))))
-
341
Geomorphology and natural hazards : proceedings of the 25th Binghamton Symposium in Geomorphology, held September 24-25, 1994 at SUNY, Binghamton, USA
Published: Elsevier, 1994Elsevier - Click here for accessDescription: 1 online resource (x, 355 pages) : illustrations, maps.
Conference Proceeding eBook -
342
Spatio-temporal data streams
Published: Springer, 2016Contents: “…2.5 Implementation2.5.1 User-Defined Aggregate Functions; 2.5.2 SQL-Like Language Embedding: CSQL; References; 3 Spatio-Temporal Data Streams and Big Data Paradigm; 3.1 Background; 3.2 MobyDick -- A Prototype of Distributed Framework #x83;; 3.2.1 Data Model; 3.2.2 Apache Flink; 3.2.3 Spatio-Temporal Queries; 3.3 Related Work; 3.3.1 Distributed Spatial and Spatio-Temporal Batch Systems; 3.3.2 Centralized DSMS-Based Systems; 3.3.3 Distributed DSMS-Based Systems; 3.4 Final Remarks; References; 4 Spatio-Temporal Data Stream Clustering; 4.1 Introduction; 4.1.1 Spatio-Temporal Clustering.…”Description: 1 online resource (xiv, 107 pages) : illustrations.
SpringerLink - Click here for access
eBook -
343
Sources in the development of mathematics : infinite series and products from the fifteenth to the twenty-first century
Published: Cambridge University Press, 2011Contributor biographical informationDescription: xix, 974 pages : illustrations ; 26 cm.
Publisher description
Table of contents only
Book -
344
Network convergence : Ethernet applications and next generation packet transport architectures
Published: Morgan Kaufmann, 2013Elsevier - Click here for accessDescription: 1 online resource.
eBook -
345
Breaking the Wall of Tropical Diseases How the Tropical Laboratory Initiative Is Increasing Access to Health Care in Low-Resource Countries
Published: Infobase, 2013Films on Demand - Click here for accessDescription: 1 streaming video file (17 min.) : sd., col.
Video -
346
CyberSecurity
Published: Infobase, 2007Films on Demand - Click here for accessDescription: 1 streaming video file (21 min.) : sd., col., digital file + instructional materials (online)
Video -
347
Mathematical analysis in interdisciplinary research
Published: Springer, 2022Contents: “…Gal) -- Variational Inequalities and General Equilibrium models (Milasi) -- The strong convergence of Douglas-Rachford methods for the split feasibility problem (Dong) -- Some Triple Integral Inequalities for Functions Defined on 3-Dimensional Bodies Via Gauss-Ostrogradsky Identity (Dragomir) -- Optimal emergency evacuation with uncertainty (Scrimali) -- On Global Hyperbolicity of Spacetimes: Some Recent Advances and Open Problems (Papadopoulos) -- Spectrum Perturbations of Linear Operators in a Banach Space (Gil) -- Perturbations of Operator Functions. …”Description: 1 online resource (1 volume) : illustrations (black and white, and color).
SpringerLink - Click here for access
eBook -
348
C quick syntax reference
Published: Apress, 2015SpringerLink - Click here for accessDescription: 1 online resource (xv, 75 pages).
eBook -
349
Automated workflow scheduling in self-adaptive clouds : concepts, algorithms and methods
Published: Springer, 2017SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
350
Beginning Python visualization : crafting visual transformation scripts Second edition.
Published: Apress, 2014Contents: “…CygwinVirtual Machines; Choosing an Operating System; Then Again, Why Choose? Using Several Operating Systems; The Python Environment; Versions; Python; Python Distributions with Scientific Packages; Python Integrated Development Environments; IDLE; IPython; IPython Notebook; Spyder; Scientific Computing; NumPy; SciPy; Matplotlib; Image Processing; PySerial; Manually Installing a Python Package; Installation Summary; Additional Applications; Editors; Selecting the Proper Editor for You; A Short List of Text Editors; Spreadsheets; Word Processors; Image Viewers; Version-Control Systems.…”Description: 1 online resource (xxvii, 385 pages) : illustrations.
SpringerLink - Click here for access
eBook -
351
Transitioning to Swift
Published: Apress, 2014SpringerLink - Click here for accessDescription: 1 online resource (xv, 240 pages) : illustrations.
eBook -
352
Mac programming for absolute beginners
Published: Apress ; Distributed to the Book trade worldwide by Springer Science+Business Media, 2011SpringerLink - Click here for accessDescription: 1 online resource (xvi, 398 pages) : illustrations.
eBook -
353
Modernization of electric power systems : energy efficiency and power quality
Published: Springer, 2023Contents: SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
354
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 -
355
Risks and security of internet and systems : 13th International Conference, CRiSIS 2018, Arcachon, France, October 16-18, 2018, Revised selected papers
Published: Springer, 2019Contents: “…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.…”Description: 1 online resource (x, 237 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
356
Computer safety, reliability, and security : 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings
Published: Springer, 2005SpringerLink - Click here for accessDescription: 1 online resource (xiii, 404 pages) : illustrations.
Conference Proceeding eBook -
357
Documentary Film Festivals Vol. 1 Methods, History, Politics 1st ed. 2020.
Published: Springer International Publishing, Imprint Palgrave Macmillan. 2020SpringerLink - Click here for accessDescription: 1 online resource (XXV, 296 pages 18 illustrations, 13 illustrations in color.) : online resource.
Electronic eBook -
358
Ubiquitous computing application and wireless sensor : UCAWSN-14
Published: Springer, 2015Contents: “…-W. Lin, P.-H. Wang -- A New Distributed Grid Scheme utilizing Node-based Preprocessing Technique for Supporting k-NN Queries; H. …”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
359
Complex analysis in Banach spaces : holomorphic functions and domains of holomorphy in finite and infinite dimensions
Published: North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986Elsevier - Click here for accessDescription: 1 online resource (xi, 434 pages).
eBook -
360
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