close
1.

電子ブック

EB
by Alexander Heinecke, Wolfgang Eckhardt, Martin Horsch, Hans-Joachim Bungartz
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: SpringerBriefs in Computer Science ;
オンライン: http://dx.doi.org/10.1007/978-3-319-17148-7
目次情報: 続きを見る
Introduction
Molecular Dynamics Simulation
Parallelization of MD Algorithms and Load Balancing
Efficient Implementation of the Force Calculation in MD Simulations
Experiments
Conclusion
Introduction
Molecular Dynamics Simulation
Parallelization of MD Algorithms and Load Balancing
2.

電子ブック

EB
by Jacek Rak
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Computer Communications and Networks ;
オンライン: http://dx.doi.org/10.1007/978-3-319-22333-9
目次情報: 続きを見る
Introduction
Principles of Communication Networks Resilience
Resilience of Future Internet Communications
Resilience of Wireless Mesh Networks
Disruption-tolerant Routing in Vehicular Ad-hoc Networks
Introduction
Principles of Communication Networks Resilience
Resilience of Future Internet Communications
3.

電子ブック

EB
edited by Marcello Trovati, Richard Hill, Ashiq Anjum, Shao Ying Zhu, Lu Liu
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
オンライン: http://dx.doi.org/10.1007/978-3-319-25313-8
4.

電子ブック

EB
edited by Mohammad S. Obaidat, Tuncer Oren, Janusz Kacprzyk, Joaquim Filipe
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Advances in Intelligent Systems and Computing ; 402
オンライン: http://dx.doi.org/10.1007/978-3-319-26470-7
目次情報: 続きを見る
Front Velocity Modeling Approach to Column Chromatographic Characterization and Evaluation of Ketamine Enantiomers Separation with Simulated Moving Bed
Modeling Hybrid Systems with Petri Nets
Automatic Tuning of Computational Models
Enhanced Interior Gateway Routing Protocol with IPv4 and IPv6 Support for OMNeT++
Simulating LTE/LTE-advanced Networks with SimuLTE
Sensitivity Estimation using Likelihood Ratio Method with Fixed-sample-Path Principle
A System Dynamics Simulator for Decision Support in Risk-based IT Outsourcing Capabilities Management
Analysis of Fractional-order Point Reactor Kinetics Model with Adiabatic Temperature Feedback for Nuclear Reactor with Subdiffusive Neutron Transport
Analysis of Model Predictive Control for Fractional-order System
CFD Modeling of a Mixed Mode Boosted GDI Engine and Performance Optimization for the Avoidance of Knocking
Real-time Radar, Target and Environment Simulator
Computationally-efficient EM-simulation-Driven Multi-objective Design of Compact Microwave Structures
Simulation-based Optimization in Design-under-uncertainty Problems through Iterative Development of Metamodels in Augmented Design/random Variable Space
Social Aggravation Estimation to Seismic Hazard Using Classical Fuzzy Methods
Front Velocity Modeling Approach to Column Chromatographic Characterization and Evaluation of Ketamine Enantiomers Separation with Simulated Moving Bed
Modeling Hybrid Systems with Petri Nets
Automatic Tuning of Computational Models
5.

電子ブック

EB
edited by Javier Faulin, Angel A. Juan, Sebastian Martorell, Jose-Emmanuel Ramirez-Marquez
出版情報: London : Springer London, 2010
シリーズ名: Springer Series in Reliability Engineering ;
オンライン: http://dx.doi.org/10.1007/978-1-84882-213-9
目次情報: 続きを見る
Fundamentals of Simulation in Reliability and Availability Issues
Reliability Estimation by Advanced Monte Carlo Simulation
Dynamic Fault Tree Analysis: Simulation Approach
Analysis and Improvements of Path-based Methods for Monte Carlo Reliability Evaluation of Static Models
Variate Generation in Reliability
Simulation Applications in Reliability
Simulation-based Methods for Studying Reliability and Preventive Maintenance of Public Infrastructure
Reliability Models for Data Integration Systems
Power Distribution System Reliability Evaluation Using Both Analytical Reliability Network Equivalent Technique and Time-sequential Simulation Approach
Application of Reliability, Availability, and Maintainability Simulation to Process Industries: a Case Study
Potential Applications of Discrete-event Simulation and Fuzzy Rule-based Systems to Structural Reliability and Availability
Simulation Applications in Availability and Maintenance
Maintenance Manpower Modeling: A Tool for Human Systems Integration Practitioners to Estimate Manpower, Personnel, and Training Requirements
Application of Monte Carlo Simulation for the Estimation of Production Availability in Offshore Installations
Simulation of Maintained Multicomponent Systems for Dependability Assessment
Availability Estimation via Simulation for Optical Wireless Communication
Fundamentals of Simulation in Reliability and Availability Issues
Reliability Estimation by Advanced Monte Carlo Simulation
Dynamic Fault Tree Analysis: Simulation Approach
6.

電子ブック

EB
by Wolfgang Borutzky
出版情報: London : Springer London, 2010
オンライン: http://dx.doi.org/10.1007/978-1-84882-882-7
目次情報: 続きを見る
Bond Graph Based Physical Systems Modelling
Derivation of Mathematical Models from Bond Graphs
Causal Bond Graphs and Forms of Mathematical Models
Computing Mathematical Models Derived from Bond Graphs
Analysis of Causal Bond Graph Models
Models of Variable Structure
Multibody Systems
Bond Graph Approximation of Distributed Parameter Models
Bond Graph Modelling of Open Thermodynamic Systems
Automated Modelling
Applications
Overall Conclusion and Outlook
Bond Graph Based Physical Systems Modelling
Derivation of Mathematical Models from Bond Graphs
Causal Bond Graphs and Forms of Mathematical Models
7.

電子ブック

EB
edited by Walfredo Cirne, Narayan Desai
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8828
オンライン: http://dx.doi.org/10.1007/978-3-319-15789-4
目次情報: 続きを見る
Bubble Task:?A Dynamic Execution Throttling Method for Multi-core Resource Management
Real-World Clustering for Task Graphs on Shared Memory Systems
Experimental Analysis of the Tardiness of Parallel Tasks in Soft Real-time Systems
Multi-Resource Aware Fairsharing for Heterogeneous Systems
Priority Operators for Fairshare Scheduling
User-Aware Metrics for Measuring Quality of Parallel Job Schedules
Prediction of Queue Waiting Times for Metascheduling on Parallel Batch Systems
Dynamically Scheduling a Component-Based Framework in Clusters
How to Design a Job Scheduling Algorithm
Bubble Task:?A Dynamic Execution Throttling Method for Multi-core Resource Management
Real-World Clustering for Task Graphs on Shared Memory Systems
Experimental Analysis of the Tardiness of Parallel Tasks in Soft Real-time Systems
8.

電子ブック

EB
edited by Francisco Pereira, Penousal Machado, Ernesto Costa, Amilcar Cardoso
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9273
オンライン: http://dx.doi.org/10.1007/978-3-319-23485-4
目次情報: 続きを見る
Ambient Intelligence and Affective Environments
Defining Agents' Behaviour for Negotiation Contexts
Improving User Privacy and the Accuracy of User Identification in Behavioral Biometrics
Including Emotion in Learning Process
Ambient Intelligence: Experiments on Sustainability Awareness
Artificial Intelligence in Medicine Reasoning with Uncertainty in Biomedical Models
Smart environments and context-awareness for lifestyle management in a healthy active ageing framework
Gradient: A User-Centric Lightweight Smartphone-Based Standalone Pervasive Fall Detection System
Towards diet management with automatic reasoning and persuasive natural language generation
Predicting within-24h visualization of hospital clinical reports using Bayesian networks
On the Efficient Allocation of Diagnostic Activities in Modern Imaging Departments
Ontology Based Information Gathering System for Patients with Chronic Diseases: Lifestyle Questionnaire Design
Predicting Preterm Birth in Maternity Care by means of Data Mining
Characterizing Barotrauma Patients in ICU { Clustering Data Mining using ventilator variables
Clinical Decision Support for Active and Healthy Ageing: an intelligent monitoring approach of daily living activities
Discovering Interesting Trends in Real Medical Data: A study in Diabetic Retinopathy
Artificial Intelligence in Transportation Systems
A Column Generation Based Heuristic for a Bus Driver Roistering Problem
A Conceptual MAS Model for Real-time Traffic Control
Prediction of Journey Destination in Urban Public Transport
Demand Modelling for Responsive Transport Systems Using Digital Footprints
Artificial Life and Evolutionary Algorithms
A Case Study on the Scalability of Online Evolution of Robotic Controllers
Spatial Complexity Measure for Characterising Cellular Automata Generated 2D Patterns
Electricity Demand Modelling with Genetic Programming
The Optimization Ability of Evolved Strategies
Evolution of a Metaheuristic for Aggregating Wisdom from Artificial Crowds
The influence of topology in coordinating collective decision-making in bio-hybrid societies
A Differential Evolution Algorithm for Optimization Including Linear Equality Constraints
Multiobjective Firefly Algorithm for Variable Selection in Multivariate Calibration
Semantic Learning Machine: A Feed forward Neural Network Construction Algorithm Inspired by Geometric Semantic Genetic Programming
Eager Random Search for Deferential Evolution in Continuous Optimization
Learning from Play: Facilitating character design through genetic programming and human mimicry
Memetic Algorithm for Solving The 0-1 Multidimensional Knapsack Problem
Synthesis of In-place Iterative Sorting Algorithms using GP: A Comparison Between STGP, SFGP, G3P and GE
Computational Methods in Bioinformatics and Systems Biology Variable elimination approaches for data-noise reduction in 3D QSAR Calculations
Pattern-based Biclustering with Constraints for Gene Expression Data Analysis
A Critical Evaluation of Methods for the Reconstruction of Tissue-Specific Models
Fuzzy Clustering for Incomplete Short Time Series Data
General Artificial Intelligence
Allowing Cyclic Dependencies in Modular Logic Programming
Probabilistic Constraint Programming for Parameters Optimisation of Generative Models
Reasoning over Ontologies and Non-monotonic Rules
On the cognitive surprise in risk management: an analysis of the Value-at-Risk (VaR) historical
Logic Programming Applied to Machine Ethics
Intelligent Information Systems
Are Collaborative Filtering Methods Suitable for Student Performance Prediction?
Intelligent Robotics
A New Approach for Dynamic Strategic Positioning in RoboCup Middle-Size League
Intelligent Wheelchair Driving: Bridging the Gap between Virtual and Real Intelligent Wheelchairs
A Skill-based Architecture for Pick & Place Manipulation Tasks
Adaptive Behavior of a Biped Robot using Dynamic Movement Primitives
Probabilistic Constraints for Robot Localization
Detecting Motion Patterns in Dense Flow Fields: Euclidean versus Polar Space
Swarm Robotics Obstacle Avoidance: A Progressive Minimal Criteria Novelty Search-based Approach
Knowledge Discovery and Business Intelligence
An Experimental Study on Predictive Models using Hierarchical Time Series
Crime prediction using regression and resources optimization
Distance-based decision tree algorithms for Label Ranking
A Proactive Intelligent Decision Support System for Predicting the Popularity of Online News
Periodic Episode Discovery over Event Streams
Forecasting the Correct Trading Actions
CTCHAID: extending the application of the consolidation methodology
Towards Interactive Visualization of Time Series Data to Support Knowledge Discovery
Ramex-Forum: Sequential Patterns of Prices in the Petroleum Production Chain
Geocoding Textual Documents Through a Hierarchy of Linear Classifiers
A Domain-Specific Language for ETL Patterns Specification in Data
Warehousing Systems
Optimized Multi-Resolution Indexing and Retrieval Scheme of Time Series
Multi-Agent Systems: Theory and Applications
Minimal Change in Evolving Multi-Context Systems
Bringing Constitutive Dynamics to Situated Artificial Institutions
Checking WECTLK Properties of Timed Real-Weighted Interpreted Systems via SMT-based Bounded Model Checking
SMT-based Bounded Model Checking for Weighted Epistemic ECTL
Dynamic Selection of Learning Objects Based on SCORM Communication
Sound visualization through a swarm of fireflies
Ana Rodrigues, Amlcar Cardoso, Penousal Machado and Pedro Martins Social Simulation and Modelling
Analysing the Influence of the Cultural Aspect in the Self-regulation of Social Exchanges in MAS Societies: an evolutionary game-based approach
Modelling Agents' Perception: Issues & Challenges in Multi-Agents Based Systems
Agent-Based Modelling for a resource management problem in a Role-Playing Game
An Agent-Based MicMac model for forecasting of the Portuguese Population
Text Mining and Applications
Multilingual Open Information Extraction
Classification and Selection of Translation Candidates for Parallel corpora Alignment
A SMS Information Extraction Architecture to Face Emergency Situations
Cross-lingual Word Sense Clustering for Sense Disambiguation
Towards the Improvement of a Topic Model with Semantic Knowledge
RAPPORT { A Portuguese Question-Answering System
Automatic Distinction of Fernando Pessoas' Heteronyms
Social Impact - identifying quotes of literary works in social networks
Fractal Beauty in Text
How does irony affect Sentiment Analysis Tools?
Ambient Intelligence and Affective Environments
Defining Agents' Behaviour for Negotiation Contexts
Improving User Privacy and the Accuracy of User Identification in Behavioral Biometrics
9.

電子ブック

EB
edited by Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada-Arencibia
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9520
オンライン: http://dx.doi.org/10.1007/978-3-319-27340-2
10.

電子ブック

EB
edited by Ana Fred, Maria De Marsico, Mario Figueiredo
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9493
オンライン: http://dx.doi.org/10.1007/978-3-319-27677-9