close
1.

電子ブック

EB
edited by Changming Sun, Tomasz Bednarz, Tuan D. Pham, Pascal Vallotton, Dadong Wang
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Advances in Experimental Medicine and Biology ; 823
オンライン: http://dx.doi.org/10.1007/978-3-319-10984-8
目次情報: 続きを見る
Visual Analytics of Signalling Pathways Using Time Profiles
Modeling of Testosterone Regulation by Pulse-modulated Feedback
Hybrid Algorithms for Multiple Change-Point Detection in Biological Sequence
Stochastic Anomaly Detection in Eye-Tracking Data for Quantification of Motor Symptoms in Parkinson’s Disease
Identification of the Reichardt Elementary Motion Detector Model
Multi-Complexity Ensemble Measures for Gait Time Series Analysis: Application to Diagnostics, Monitoring and Biometrics
Development of a Motion Capturing and Load Analyzing System for Caregivers Aiding a Patient to Sit Up in Bed
Classifying Epileptic EEG Signals with Delay Permutation Entropy and Multi-Scale K-means
Tracking of EEG Activity Using Motion Estimation to Understand Brain Wiring
Towards Automated Quantitative Vasculature Understanding via Ultra High-Resolution Imagery
Cloud Based Toolbox for Image Analysis, Processing and Reconstruction Tasks
Pollen Image Classification Using the Classifynder System: Algorithm Comparison and a Case Study on New Zealand Honey
Digital Image Processing and Analysis for Activated Sludge Wastewater Treatment
A Complete System for 3D Reconstruction of Roots for Phenotypic Analysis
Visual Analytics of Signalling Pathways Using Time Profiles
Modeling of Testosterone Regulation by Pulse-modulated Feedback
Hybrid Algorithms for Multiple Change-Point Detection in Biological Sequence
2.

電子ブック

EB
by Andrew Abel, Amir Hussain
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: SpringerBriefs in Cognitive Computation ; 5
オンライン: http://dx.doi.org/10.1007/978-3-319-13509-0
目次情報: 続きを見る
Introduction
Audio and visual speech relationship
The research context
4 A two stage multimodal speech enhancement system
Experiments, results, and analysis
Towards fuzzy logic based multimodal speech filtering
Evaluation of fuzzy logic proof of concept
Conclusions and future work
Introduction
Audio and visual speech relationship
The research context
3.

電子ブック

EB
edited by Muhammad Younas, Irfan Awan, Massimo Mecella
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9228
オンライン: http://dx.doi.org/10.1007/978-3-319-23144-0
目次情報: 続きを見る
Mobile services and applications
Usability and visualization
Mobile networks and applications
Mobile data services
Smart phones and mobile commerce applications
Mobile services and applications
Usability and visualization
Mobile networks and applications
4.

電子ブック

EB
edited by Vittorio Murino, Enrico Puppo
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9280
オンライン: http://dx.doi.org/10.1007/978-3-319-23234-8
5.

電子ブック

EB
edited by Annalisa Appice, Pedro Pereira Rodrigues, Vitor Santos Costa, Joao Gama, Alipio Jorge, Carlos Soares
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9285
オンライン: http://dx.doi.org/10.1007/978-3-319-23525-7
6.

電子ブック

EB
edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9300
オンライン: http://dx.doi.org/10.1007/978-3-319-23534-9
7.

電子ブック

EB
edited by Ezio Bartocci, Rupak Majumdar
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9333
オンライン: http://dx.doi.org/10.1007/978-3-319-23820-3
目次情報: 続きを見る
Invited Papers
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification
Twenty Years of Dynamic Software Model Checking
Explaining Heisenbugs
Regular Papers
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
Runtime Adaptation for Actor Systems
Robust Online Monitoring of Signal Temporal Logic
On Verifying The Hennessy-Milner Logic with Recursion at Runtime
Assuring the Guardians
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System
Monitoring Electronic Exams
Monitoring Real Android Malware
Time-triggered Runtime Verification of Component-Based Multi-core Systems
Monitoring for a decidable fragment of MTL-R Runtime Verification Through Forward Chaining
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about the Environment
From First-Order Temporal Logic to Parametric Trace Slicing
R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems
A Hybrid Approach to Causality Analysis
Short Papers
Statistical Model Checking of Distributed Adaptive Real-Time Software
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources
Runtime Verification for Hybrid Analysis Tools
Suggesting Edits to Explain Failing Traces
Tool Papers
StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java
TIPEX: a tool chain for Timed Property Enforcement during eXecution
Tutorial Papers
Machine Learning Methods in Statistical Model Checking and System Design ? Tutorial
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
LearnLib Tutorial - An Open Source Java Library for Active Automata Learning
Monitoring and Measuring Hybrid Behaviors - A Tutorial
Software Competitions
Second International Competition on Runtime Verification CRV 2015
Rigorous Examination of Reactive Systems: The RERS challenge 2015
Invited Papers
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification
Twenty Years of Dynamic Software Model Checking
8.

電子ブック

EB
edited by Yuhua Luo
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9320
オンライン: http://dx.doi.org/10.1007/978-3-319-24132-6
目次情報: 続きを見る
Cooperative team work from psychological features: A Bayesian net-work approach
Extending CIAM methodology to support mobile application design and evaluation: a case study in m-Learning
SCPL: a Social Cooperative Programming Language to automate cooperative processes
Engineering Data Intensive Applications with Cadral
Dynamic Content/User Identification in Social Semantic Tagging Systems
Challenges of Big Data in the age of Building Information Modeling: A high-level conceptual pipeline
SMART: Design and Evaluation of a Collaborative Museum Visiting Application
The Design of Wall Pictures to Relieve the Fatigue of Driving in the Long Tunnel
Towards an Implementable Aesthetic Measure for Collaborative Architecture Design
Cooperative Monitoring of the delivery of Fresh Products
Evaluating a Micro-payment System for Collaborative Electronic Commence
A Cloud Model for Internet of Things on Logistic Supply Chain
A Collaborative Requirement Mining Framework to Support OEMs
An Information Integrated Method and Its Application of Virtual Fac-tory Using BIM
Global Stiffness and Well-Conditioned Workspace Optimization Analy-sis of 3UPU-UPU Robot Based on Pareto Front Theory
A Hadoop use case for engineering data
Crowdsourced Clustering of Computer Generated Floor Plans
Collective Intelligence Support Protocol: a systemic approach for col-laborative architectural design
Collaborative Shopping with the Crowd
G-Form: A New Approach to Regard Deep Web Form as Galaxy of Concepts
Helaba: Attracting Attention to a Design Rationale System
Cooperative operating control for stimulation of simultaneously cultivated bioprocesses
Application of the Sequence Diagrams in the Design of Distributed Control System
Cooperative engineering of agent-based process control algorithm
An on-line Model Verification System for Model-based Control Algorithms
Co-construction of meaning via a collaborative action research ap-roach
Sentiment analysis based on collaborative data for polish language
Inter-discipline Collaboration in Medical Teaching
Supporting environmental planning: Knowledge management through fuzzy cognitive mapping
Ranking of Collaborative Research Teams Based on Social Network Analysis and Bibliometrics
A Solution of Collaboration and Interoperability for Networked Enterprises
An Automatic Progress Tracking Process from Point Cloud for Industrial Plants Construction
An Integrated Approach for Progress Tracking in Liquefied Natural Gas Construction
A Min-cost with delay Scheduling Method for Large Scale Instance Intensive Tasks
Cooperative team work from psychological features: A Bayesian net-work approach
Extending CIAM methodology to support mobile application design and evaluation: a case study in m-Learning
SCPL: a Social Cooperative Programming Language to automate cooperative processes
9.

電子ブック

EB
edited by Gunther Pernul, Peter Y A Ryan, Edgar Weippl
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9326
オンライン: http://dx.doi.org/10.1007/978-3-319-24174-6
10.

電子ブック

EB
edited by Gunther Pernul, Peter Y A Ryan, Edgar Weippl
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computer Science ; 9327
オンライン: http://dx.doi.org/10.1007/978-3-319-24177-7