Search Results - (( Defined (contributions OR contributors) ((pension plans) OR (pension plan)) ) OR ((( Defined distributed computation plans ) OR ( Defined distribution erosion plans ))))
-
241
Learn Swift on the Mac : for OS X and iOS
Published: Apress, 2015SpringerLink - Click here for accessDescription: 1 online resource : color illustrations.
eBook -
242
Tax insight : for tax year 2013 and beyond 2nd ed.
Published: Apress : Distributed by Springer Science+Business Media New York, 2013SpringerLink - Click here for accessDescription: 1 online resource (1 volume) : illustrations.
eBook -
243
SonicWALL secure wireless network : integrated solutions guide
Published: Syngress, 2008Elsevier - Click here for accessDescription: 1 online resource (xxii, 483 pages) : illustrations.
eBook -
244
Flatland deposits of the San Francisco Bay region, California : their geology and engineering properties, and their importance to comprehensive planning
Published: United States Department of the Interior, Geological Survey, 1979Get full textDescription: 1 online resource (viii, 88 pages) : illustrations, maps (some color).
Government Document eBook -
245
VMware cloud on AWS insights on the first VMware enterprise-proven SaaS solution
Published: Apress, 2023SpringerLink - Click here for accessDescription: 1 online resource (xvii, 301 pages) : illustrations.
Electronic eBook -
246
Innovation, democracy and efficiency : exploring the innovation puzzle within the European Union's regional development policies
Published: Palgrave Macmillan, 2016SpringerLink - Click here for accessDescription: 1 online resource (XVII, 237 pages).
eBook -
247
Managing risk and information security : protect to enable
Published: Apress : Distributed to the Book trade worldwide by Springer Science+Business Media, 2013SpringerLink - Click here for accessDescription: 1 online resource (1 volume) : illustrations.
eBook -
248
Continuous delivery with Visual Studio ALM 2015
Published: Apress ; Disctributed to the Book trade worldwide by Springer Science+Business Media, 2015SpringerLink - Click here for accessDescription: 1 online resource (xx, 320 pages) : illustrations.
eBook -
249
AdvancED Flex application development : building rich media X
Published: Friends of Ed ; Distributed to the Book trade worldwide by Springer-Verlag New York, 2008SpringerLink - Click here for accessDescription: 1 online resource (xx, 491 pages) : illustrations.
eBook -
250
Knowledge-based and intelligent information and engineering systems : 14th international conference, KES 2010, Cardiff, UK, September 8-10, 2010, proceedings. Part I
Published: Springer, 2010Contents: “…Keynote Talks -- Evolving Integrative Brain-, Gene-, and Quantum Inspired Systems for Computational Intelligence and Knowledge Engineering -- A Semiotic View of Social Intelligence for Realizing Human-Machine Symbiotic Systems -- Embracing Uncertainty: The New Machine Intelligence -- Exploiting Social Structures and Social Networks -- Knowledge Visualization for Engineered Systems -- Proximity-Based Federation of Smart Objects: Liberating Ubiquitous Computing from Stereotyped Application Scenarios -- Artificial Neural Networks, Connectionists Systems and Evolutionary Computation -- A Neural Network Model to Develop Urban Acupuncture -- Discovering Process Models with Genetic Algorithms Using Sampling -- A Multi-Objective Evolutionary Approach for the Antenna Positioning Problem -- CLONAL-GP Framework for Artificial Immune System Inspired Genetic Programming for Classification -- Solving Industrial Based Job-Shop Scheduling Problem by Distributed Micro-Genetic Algorithm with Local Search -- Data Mining via Rules Extracted from GMDH: An Application to Predict Churn in Bank Credit Cards -- Sensitivity Analysis and Automatic Calibration of a Rainfall-Runoff Model Using Multi-objectives -- University Course Timetabling Using ACO: A Case Study on Laboratory Exercises -- Machine Learning and Classical AI -- Nonparametric Statistical Analysis of Machine Learning Algorithms for Regression Problems -- Adaptive Learning of Nominal Concepts for Supervised Classification -- A Novel Approach of Process Mining with Event Graph -- A Classification Algorithm for Process Sequences Based on Markov Chains and Bayesian Networks -- Coaching to Enhance the Online Behavior Learning of a Robotic Agent -- Agent and Multi-agent Systems -- Cooperation of AGVs' Head-on Collision Avoidance by Knowledge Exchange in Autonomous Decentralized FMS -- A Log Analyzer Agent for Intrusion Detection in a Multi-Agent System -- A Proof System for Time-Dependent Multi-agents -- Toward Emotional E-Commerce: Formalizing Agents for a Simple Negotiation Protocol -- Distributed Ant Colony Clustering Using Mobile Agents and Its Effects -- Monitoring a Multi-Agent System Evolution through Iterative Development -- An Agent for Ecological Deliberation -- A Framework to Compute Inference Rules Valid in Agents' Temporal Logics -- Statecharts-Based JADE Agents and Tools for Engineering Multi-Agent Systems -- Telco Agent: Enabler of Paradigm Shift towards Customer-Managed Relationship -- Multi-attribute Auction Model for Agent-Based Content Trading in Telecom Markets -- Applying Possibility and Belief Operators to Conditional Statements -- A Computer Adaptive Testing Method for Intelligent Tutoring Systems -- Intelligent Vision, Image Processing and Signal Processing -- Combining Patient Metadata Extraction and Automatic Image Parsing for the Generation of an Anatomic Atlas -- Parallel Processing with CUDA in Ceramic Tiles Classification -- Signal Receiving and Processing Platform of the Experimental Passive Radar for Intelligent Surveillance System Using Software Defined Radio Approach -- Automated Anticounterfeiting Inspection Methods for Rigid Films Based on Infrared and Ultraviolet Pigments and Supervised Image Segmentation and Classification -- Vowel Recognition by Using the Combination of Haar Wavelet and Neural Network -- Bayesian Classification Using DCT Features for Brain Tumor Detection -- A New Strategy of Adaptive Nonlinear Echo Cancelling Volterra-Wiener Filter Structure Selection -- Intelligent System for Commercial Block Recognition Using Audio Signal Only -- Viewpoint Insensitive Actions Recognition Using Hidden Conditional Random Fields -- Fuzzy Hyper-Prototype Clustering -- Knowledge Management, Ontologies and Data Mining -- Clustering Using Difference Criterion of Distortion Ratios -- Computer-Generated Conversation Based on Newspaper Headline Interpretation -- Using Regression Analysis to Identify Patterns of Non-Technical Losses on Power Utilities -- Enhancing the Symbolic Aggregate Approximation Method Using Updated Lookup Tables -- Which XML Storage for Knowledge and Ontology Systems? …”Description: 1 online resource (xlv, 679 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
251
Mobile wireless middleware, operating systems and applications : 11th EAI International Conference, MOBILWARE 2022, virtual event, December 28-29, 2022, Proceedings
Published: Springer, 2023Contents: “…Middleware, Wireless, and Future Networks -- A Middleware-Based Approach for Latency-Sensitive Service Provisioning in IoT with End-Edge Cooperation -- Deep Reinforcement Learning based Congestion Control Mechanism for SDN and NDN in Satellite Networks -- intelligent automated penetration testing using reinforcement learning to improve the efficiency and effecctiveness of penetration testing -- Time Slot Correlation-Based Caching Strategy for Information-Centric Satellite Networks -- Design and implementation of a pipeline-based data scheduling method for spacecraft with multiple data buses -- Research on the Development of Intelligent Space System (ISS) -- Integrated Satellite-Terrestrial Information Network -- Features extraction of Reconstruction Model using in Augmented Reality System of Teleoperation Mobile Robots -- Research on Rapid 3D Reconstruction for Teleoperation in Manned Lunar Exploration Mission -- Onboard Software Maintenance Design and Implementation for networking satellites -- Model Based Development of Spacecraft OBDH Software -- Design of Aerospace Cloud Computing Server Based on Docker Cluster -- Integrated Satellite-Terrestrial Intelligent Information Processing, Decision and Planning (1) -- Analysis and Simulation of High Orbit Weak Signal Tracking Algorithm -- Avionics System Architectures for Software-Defined Spacecraft -- Research and application of energy efficiency optimization algorithm for spacecraft simulation platform -- SADA: SDN Architecture Based Secure Dynamic Access Scheme for Satellite Network -- Research on the Concept and Connotation of Space Proving Grounds (SPG) -- A Multi-Agent based Satellite Health Management System Architecture and Implementation Scheme -- Integrated Satellite-Terrestrial Intelligent Information Processing, Decision and Planning (2) -- Avionic system Architecture Design of the Manned Deep Space Exploration Spacecraft -- Research on Tianwen-1 Mars Probe Relay Communication Technology -- Design and practice of Communication System During EDL for Mars Probe -- Study on EMC Influence of Zhu Rong Rover UHF band communication system -- Design and implementation of power supply and distribution system for Mars landing mission -- Research on Integrated operation design of low orbit remote sensing satellite for intelligent application.…”Description: 1 online resource (xiii, 286 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
252
Practical Hadoop security
Published: Apress, 2014SpringerLink - Click here for accessDescription: 1 online resource : color illustrations.
eBook -
253
Pro SQL Server relational database design and implementation Fifth edition.
Published: Apress, 2016SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
254
Software and data technologies : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, revised selected papers
Published: Springer, 2008Contents: “…Invited Papers -- Benefits of Enterprise Ontology for the Development of ICT-Based Value Networks -- SOA Pragmatism -- Software and Data Technologies -- A Simple Language for Novel Visualizations of Information -- Generic Components for Static Operations at Object Level -- A Visual Dataflow Language for Image Segmentation and Registration -- A Debugger for the Interpreter Design Pattern -- Concepts for High-Performance Scientific Computing -- A Model Driven Architecture Approach to Web Development -- Reverse-Architecting Legacy Software Based on Roles: An Industrial Experiment -- A Supporting Tool for Requirements Elicitation Using a Domain Ontology -- Pattern Detection in Object-Oriented Source Code -- Testing the Effectiveness of MBIUI Life-Cycle Framework for the Development of Affective Interfaces -- Developer Stories: Improving Architecture in Agile Practice -- An Ontological SW Architecture Supporting Agile Development of Semantic Portals -- The Vcodex Platform for Data Compression -- Classification of Benchmarks for the Evaluation of Grid Resource Planning Algorithms -- A Disconnection-Aware Mechanism to Provide Anonymity in Two-Level P2P Systems -- Approximation and Scoring for XML Data Management -- Quantitative Analysis of the Top Ten Wikipedias -- A Semantic Web Approach for Ontological Instances Analysis -- Aspects Based Modeling of Web Applications to Support Co-evolution -- Recommending Trustworthy Knowledge in KMS by Using Agents -- Recent Developments in Automated Inferencing of Emotional State from Face Images -- Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation -- Improving Cutting-Stock Plans with Multi-objective Genetic Algorithm -- Knowledge Purpose and Visualization -- Empirical Experimentation for Validating the Usability of Knowledge Packages in Transferring Innovations -- An Ontological Investigation in the Field of Computer Programs -- Evaluation of Novel Approaches to Software Engineering -- Formal Problem Domain Modeling within MDA -- Model Based Testing for Agent Systems -- A Metamodel for Defining Development Methodologies.…”Description: 1 online resource (xv, 428 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
255
Future data and security engineering : big data, security and privacy, smart city and Industry 4.0 applications : 9th International Conference, FDSE 2022, Ho Chi Minh City, Vietnam...
Published: Springer, 2022Contents: “…Invited Keynotes -- Towards a Foundation of Web3 -- In-Memory Computing Architectures for Big data and Machine Learning Applications -- Secure and Efficient Implementation of Electronic Money -- Managing the Quality of Data and Metadata for Biobanks -- Big Data Analytics and Distributed Systems -- Towards A Privacy, Secured and Distributed Clinical Data Warehouse Architecture -- Improving the Storage Utilization of 0-Complete Trees as Index Structures -- Implement the Data Conversion System by using Lightweight Coreset for Validation Process -- Content Selection Methods Using User Interest Prediction Based on Similarities of Web Activities -- ImageNet Challenging Classification with the Raspberry Pis: A Federated Learning Algorithm of Local Stochastic Gradient Descent Models -- Covid-19 Detection Based on Lung Lesion Signs in Big Data Processing Environment -- Predicting Loan Repayment Using A Hybrid of Genetic Algorithms, Logistic Regression, and Artificial Neural Networks -- Performance Evaluation of Regular Decomposition and Benchmark Clustering Methods -- Security and Privacy Engineering -- Authentication of Luxury Products Identifying Key Requirements from a Seller and Consumer Perspective -- Analysis of A New Practical SPN-based Scheme in the Luby-Rackoff Model -- Authorization and Access Control for Different Database Models: Requirements and Current State of the Art -- A Hierarchical Deterministic Wallet using Ed25519 Digital Signature Scheme -- A Secure Framework for Internet of Medical Things Security Based System using Lightweight Cryptography enabled Blockchain -- Signature Algorithms on Non-commutative Algebras over Finite Fields of Characteristic Two -- Design a Smart Lock System Using Fingerprint and Password for Enhancing Security -- Machine Learning and Artificial Intelligence for Security and Privacy -- Towards an Attention-based Threat Detection System for IoT Networks -- Security and Privacy Issues and Solutions in Federated Learning for Digital Healthcare -- pPATE: A Pragmatic Private Aggregation of Teacher Ensembles Framework by Sparse Vector Technique based Differential Privacy, Paillier Cryptosystem and Human-in-the-loop -- Vietnamese Texts Writing Styles Based Authorship Identification Model -- Application of Machine Learning in Malware Detection -- Smart City and Industry 4.0 Applications -- Text Classification Models and Topic Models: An Overall Picture and A Case Study in Vietnamese -- Deep Hybrid Models for Forecasting Stock Midprices from the High-Frequency Limit Order Book -- An Image Denoising Model based on Nonlinear Partial Diferential Equation Using Deep Learning -- Recommendations in E-Commerce Systems based on Deep Matrix Factorization -- AttendanceKit: A set of Role-based Mobile Applications for Automatic Attendance Checking with UHF RFID using Realtime Firebase and Face Recognition -- Poses Classification in a Taekwondo Lesson using Skeleton Data extracted from Videos with Shallow and Deep Learning Architectures -- Social Distancing Violation Detection in Video using ChessBoard and Bird's-eye Perspective -- 3D-FaultSeg-UNet: 3D Fault Segmentation in Seismic Data Using Bi-stream U-Net -- Applying Artificial Intelligence to Plan Flight Paths for Aircraft at Subsonic Speeds -- Capacity Building in Government: Towards Developing A Standard for A Functional Specialist in AI for Public Services -- On the Feasibility of Machine Learning Models for Customer Spending Prediction Problem -- Forecasting the Opening and Closing Price Trends of Stock Using Hybrid Models and Artificial Intelligence Algorithm -- Artificial Intelligence Use in e-Government Services: A Systematic Interdisciplinary Literature Review -- Face Recognition based on Deep Learning and Data Augmentation -- An Approach for Similarity Vietnamese Documents Detection from English Documents -- Combine Clasification Algorithm and Centernet Model to Predict Trafic Density -- Data Analytics and Healthcare Systems -- Comparison of Health Indicators Construction for Concrete Structure Using Acoustic Emission Hit and Kullback-Leibler Divergence -- Lung and Colon Tumor Classification Based on Transfer Learning-Based Techniques -- An Enhanced Diabetes Mellitus Prediction using Feature Selection-Based Type-2 Fuzzy Model -- A Novel Approach of Using Neural Circuit Policies for COVID-19 Classification on CT-images -- Lung Lesions Segmentation and Classification with Deep Neural Networks -- Security and Data Engineering -- Image Denoising using Fully Connected Network with Reinforcement Learning -- Energy Harvesting Aware for Delay-efficient Data Aggregation in Battery-free IoT Sensors -- Deep Models for Mispronounce Prediction for Vietnamese Learners of English -- An Approach to Hummed-tune and Song Sequences Matching -- 84 Birds Classification using Transfer Learning and EfficientNetB2 -- A Session-based Recommender System for Learning Resources -- A Drowsiness Detection System Based on Eye Landmarks Using IoT -- A Novel Approach for Vietnamese Speech Recognition Using Conformer -- Enhancing obfuscated malware detection with machine learning techniques -- Detecting Intrusion using Multiple Datasets in Software-Defined Networks -- Detecting Exams Fraud Using Transfer Learning and Fine-tuning for ResNet50 -- Shape of Pill Recognition Using Mask R-CNN.…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
256
Product-focused software process improvement : 8th International conference, PROFES 2007, Riga, Latvia, July 2-4, 2007 : proceedings
Published: Springer, 2007Contents: “…Keynote Addresses -- Software Development and Globalization -- Software Development Globalization from the Baltic Perspective -- Experiences in Applying Agile Software Development in F-Secure -- People Side of IT Globalization -- Global Software Development -- An Industrial Survey of Software Outsourcing in China -- Understanding Lacking Trust in Global Software Teams: A Multi-case Study -- Utilization of a Set of Software Engineering Roles for a Multinational Organization -- Software Process Improvement -- Software Verification Process Improvement Proposal Using Six Sigma -- Software Development Improvement with SFIM -- SPI-KM -- Lessons Learned from Applying a Software Process Improvement Strategy Supported by Knowledge Management -- Organisational Readiness and Software Process Improvement -- Software Process Improvement Through Teamwork Management -- De-motivators of Software Process Improvement: An Analysis of Vietnamese Practitioners' Views -- Software Process Modeling and Evolution -- Defining Software Processes Through Process Workshops: A Multicase Study -- Improving an Industrial Reference Process by Information Flow Analysis: A Case Study -- Connecting the Rationale for Changes to the Evolution of a Process -- Industrial Experiences -- Use of Non-IT Testers in Software Development -- Requirements Management Practices as Patterns for Distributed Product Management -- SPI Consulting in a Level 1 Company: An Experience Report -- Agile Software Development -- On the Effects of Pair Programming on Thoroughness and Fault-Finding Effectiveness of Unit Tests -- An Agile Toolkit to Support Agent-Oriented and Service-Oriented Computing Mechanisms -- Achieving Success in Supply Chain Management Software by Agility -- Software Measurement -- Software Measurement Programs in SMEs -- Defining Software Indicators: A Methodological Framework -- Smart Technologies in Software Life Cycle -- Convertibility Between IFPUG and COSMIC Functional Size Measurements -- A Framework for Measuring and Evaluating Program Source Code Quality -- Software Fault Prediction with Object-Oriented Metrics Based Artificial Immune Recognition System -- Simulation and Decision Support -- Operational Planning, Re-planning and Risk Analysis for Software Releases -- Project Cost Overrun Simulation in Software Product Line Development -- E-Service Architecture Selection Based on Multi-criteria Optimization -- Processes and Methods -- A Component-Based Process for Developing Automotive ECU Software -- A Systematic Approach to Service-Oriented Analysis and Design -- Improving the Problem Management Process from Knowledge Management Perspective -- Workshop -- Experience on Applying Quantitative and Qualitative Empiricism to Software Engineering -- Tutorials -- Using Metrics to Improve Software Testing -- Increase ICT Project Success with Concrete Scope Management -- Agile Software Development: Theoretical and Practical Outlook.…”Description: 1 online resource (xii, 414 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
257
Agile modeling with UML : code generation, testing, refactoring
Published: Springer, 2017SpringerLink - Click here for accessDescription: 1 online resource (xiii, 388 pages) : illustrations (some color)
eBook -
258
Software product lines : going beyond : 14th international conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010 : proceedings
Published: Springer, 2010SpringerLink - Click here for accessDescription: 1 online resource (xix, 532 pages) : illustrations.
Conference Proceeding eBook -
259
Artificial intelligence in education : 15th international conference, AIED 2011, Auckland, New Zealand, June 28-July 1, 2011
Published: Springer, 2011Contents: “…Faster Teaching by POMDP Planning /…”Description: 1 online resource (xxvi, 638 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
260
Proceedings of the 2012 International Conference on Communication, Electronics and Automation Engineering
Published: Springer, 2013Contents: “…Recovery Time Analysis of a Distributed Redundancy Protocol --…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook