close
1.

電子ブック

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
2.

電子ブック

EB
edited by Ana Fred, Jan L.G. Dietz, Kecheng Liu, Joaquim Filipe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Communications in Computer and Information Science ; 454
オンライン: http://dx.doi.org/10.1007/978-3-662-46549-3
目次情報:
Topical sections on knowledge discovery and information retrieval
Knowledge engineering and ontology development
Knowledge management and information sharing
Topical sections on knowledge discovery and information retrieval
Knowledge engineering and ontology development
Knowledge management and information sharing
3.

電子ブック

EB
edited by Leszek A. Maciaszek, Joaquim Filipe
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Communications in Computer and Information Science ; 551
オンライン: http://dx.doi.org/10.1007/978-3-319-27218-4
目次情報: 続きを見る
Reducing the Level of Complexity of Working with Model Transformations
Learning from the Current Status of Agile Adoption
A Case Study Investigation of a Lightweight, Systematic Elicitation Approach for Enterprise Architecture Requirements
Using a Domain Specific Language for Lightweight Model-Driven Development
A Study of the Relationship between Class Testability and Runtime Properties
Online Testing: A Passive Approach for Protocols
Experiences of Use of a Multi-Domain Tool for Collaborative Software Engineering Tasks
Taking Seriously Software Projects Inception through Games. Natural Language Generation Approach for Automated Generation of Test Cases from Logical Specification of Requirements
Visualization, Simulation and Validation for Cyber-Virtual Systems
Mobile Application Estimate the Design Phase
Reducing the Level of Complexity of Working with Model Transformations
Learning from the Current Status of Agile Adoption
A Case Study Investigation of a Lightweight, Systematic Elicitation Approach for Enterprise Architecture Requirements
4.

電子ブック

EB
edited by Beatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9494
オンライン: http://dx.doi.org/10.1007/978-3-319-27947-3
目次情報: 続きを見る
A Hybrid POMDP-BDI Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels
Dynamic JChoc: A Distributed Constraints Reasoning Platform for Dynamically Changing Environments
Stream X-Machines for Agent Simulation Test Case Generation
Building Self-adaptive Systems by Adaptation Patterns Integrated into Agent Methodologies
A Logic for Reasoning about Decision-Theoretic Projections
Identifying Critical Positions based on Conspiracy Numbers
Infinite Horizon Multi-Armed Bandits with Reward Vectors: Exploration Exploitation Trade-off
Solving PCSPs using Genetic Algorithms Guided by Structural Knowledge
Activity Recognition for Dogs based on Time-series Data Analysis
Machine Breakdown Recovery in Production Scheduling with Simple Temporal Constraints
From Information Assistance to Cognitive Automation: A Smart Assembly Use Case
A Heuristic for Constrained Set Partitioning in the Light of Heterogeneous Objectives
Using Process Calculi for Plan Verification in Multiagent Planning
Speeding Up Planning in Multiagent Settings using CPU-GPU Architectures
LS2C - A Platform for Norm Controlled Social Computers
Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data
Offline Norm Evolution
Parsing with Partially Known Grammar
A Hybrid POMDP-BDI Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels
Dynamic JChoc: A Distributed Constraints Reasoning Platform for Dynamically Changing Environments
Stream X-Machines for Agent Simulation Test Case Generation
5.

電子ブック

EB
edited by Jose Cordeiro, Slimane Hammoudi, Leszek Maciaszek, Olivier Camp, Joaquim Filipe
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Business Information Processing ; 227
オンライン: http://dx.doi.org/10.1007/978-3-319-22348-3
6.

電子ブック

EB
edited by Slimane Hammoudi, Luis Ferreira Pires, Joaquim Filipe, Rui Cesar das Neves
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Communications in Computer and Information Science ; 506
オンライン: http://dx.doi.org/10.1007/978-3-319-25156-1
7.

電子ブック

EB
edited by Mohammad S. Obaidat, Andreas Holzinger, Joaquim Filipe
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Communications in Computer and Information Science ; 554
オンライン: http://dx.doi.org/10.1007/978-3-319-25915-4
目次情報: 続きを見る
Data communication networking
E-business
Optical communication systems.-Security and cryptography
Signal processing and multimedia applications.-Wireless information networks and systems
Data communication networking
E-business
Optical communication systems.-Security and cryptography
8.

電子ブック

EB
edited by Philippe Desfray, Joaquim Filipe, Slimane Hammoudi, Luis Ferreira Pires
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Communications in Computer and Information Science ; 580
オンライン: http://dx.doi.org/10.1007/978-3-319-27869-8
9.

電子ブック

EB
edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Beatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9420
オンライン: http://dx.doi.org/10.1007/978-3-319-27543-7
目次情報: 続きを見る
Developing Embodied Agents for Education Applications with Accurate Synchronization of Gesture and Speech
Abstraction of Heterogeneous Supplier Models in Hierarchical Resource Allocation
Shape Recognition through Tactile Contour Tracing - a simulation study
Real-time tear film classification through cost-based feature selection
Scalarized and Pareto Knowledge Gradient for Multi-objective Multi-armed Bandits
Extensibility Based Multiagent Planner with Plan Diversity Metrics
Concurrent and Distributed Shortest-Path Searches in Multiagent-based Transport Systems
SAJaS: Enabling JADE-based Simulations
Strategic Negotiation and Trust in Diplomacy -The DipBlue Approach
Overcoming Limited Onboard Sensing in Swarm
A Question of Balance: The Benefits of Pattern-Recognition when Solving Problems in a Complex Domain
Developing Embodied Agents for Education Applications with Accurate Synchronization of Gesture and Speech
Abstraction of Heterogeneous Supplier Models in Hierarchical Resource Allocation
Shape Recognition through Tactile Contour Tracing - a simulation study
10.

電子ブック

EB
edited by Beatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 8946
オンライン: http://dx.doi.org/10.1007/978-3-319-25210-0