yusuke1997/dblp-id-title huggingface dataset:
A Physically-Based Virtual Environment Dedicated to Surgical Simulation
Measuring and Modeling Soft Tissue Deformation for Image Guided Interventions
Simulation for Preoperative Planning and Intraoperative Application of Titanium Implants
Physical Modeling of Air.ow-Walls Interactions to Understand the Sleep Apnea Syndrome
Mammography Registered Tactile Imaging
Deformable Tissue Parameterized by Properties of Real Biological Tissue
Tracking the Movement of Surgical Tools in a Virtual Temporal Bone Dissection Simulator
How to Add Force Feedback to a Surgery Simulator
Left Ventricle Composite Material Model for Stress-Strain Analysis
Capturing Brain Deformation
Modeling of Cardiac Electro-Mechanics in a Truncated Ellipsoid Model of Left Ventricle
Integrating Geometric and Biomechanical Models of a Liver Tumour for Cryosurgery Simulation
3D Reconstruction of Large Tubular Geometries from CT Data
Tetrahedral Mass Spring Model for Fast Soft Tissue Deformation
Pathology Design for Surgical Training Simulators
Patient-Specific Biomechanical Model of the Brain: Application to Parkinson's Disease Procedure
Towards Patient-Specific Anatomical Model Generation for Finite Element-Based Surgical Simulation
An Open Software Framework for Medical Applications
Surgery Simulation and Soft Tissue Modeling, International Symposium, IS4TM 2003, Juan-Les-Pins, France, June 12-13, 2003, Proceedings
Model Predictive Control for Cancellation of Repetitive Organ Motions in Robotized Laparoscopic Surgery
Modelling of Facial Soft Tissue Growth for Maxillofacial Surgery Planning Environments
Evaluation of a New 3D/2D Registration Criterion for Liver Radio-Frequencies Guided by Augmented Reality
Realistic Haptic Interaction in Volume Sculpting for Surgery Simulation
Malware Detection for Mobile Devices Using Software-Defined Networking
Supporting Extensions of VLAN-tagged Traffic across OpenFlow Networks
A GENI Meso-Scale Experiment of a Verification Service
Understanding ProtoGENI in Networking Courses for Research and Education
ExoApp: Performance Evaluation of Data-Intensive Applications on ExoGENI
OpenFlow-Based Network Management with Visualization of Managed Elements
GENI-Enabled Programming Experiments for Networking Classes
Embedding Switch Number, Port Number, and MAC Address (ESPM) within the IPv6 Address
Network Aware VM Migration in Cloud Data Centers
Experimental Evaluation of a Scalable WiFi Multicast Scheme in the ORBIT Testbed
Next Generation Emergency Communication Systems via Software Defined Networks
OpenFlow Configuration Protocol: Implementation for the of Management Plane
2013 Second GENI Research and Educational Experiment Workshop, Salt Lake City, UT, USA, March 20-22, 2013
A Framework for Integration of Rule-Oriented Data Management Policies with Network Policies
GENI Laboratory Exercises Development for a Cloud Computing Course
Fast-Tracking GENI Experiments Using HyperNets
Experimenting with Routing Policies Using ProtoRINA over GENI
Network Coding for Efficient Broadband Data Delivery in Infrastructure-Based Vehicular Networks with OpenFlow
VIRO-GENI: SDN-Based Approach for a Non-IP Protocol in GENI
Reliability and Scalability Issues in Software Defined Network Frameworks
DoS Detection is Easier Now
Evaluating Interest Broadcast in Vehicular Named Data Networking
Characterizing the GENI Networks
Toward PrimoGENI Constellation for Distributed At-Scale Hybrid Network Test
Hardware-in-the-Loop Simulations and Verifications of Smart Power Systems over an Exo-GENI Testbed
Demonstrating RINA Using the GENI Testbed
Leveraging and Adapting ExoGENI Infrastructure for Data-Driven Domain Science Workflows
2014 Third GENI Research and Educational Experiment Workshop, Atlanta, GA, USA, March 19-20, 2014
GENI WiMAX Performance: Evaluation and Comparison of Two Campus Testbeds
Fault-Tolerant OpenFlow-Based Software Switch Architecture with LINC Switches for a Reliable Network Data Exchange
WiMAX in the Classroom: Designing a Cellular Networking Hands-On Lab
Cloud-Based Handoff as a Service for Heterogeneous Vehicular Networks with OpenFlow
SnortFlow: A OpenFlow-Based Intrusion Prevention System in Cloud Environment
Load Balancing in a Campus Network Using Software Defined Networking
Building Green Systems with Green Students: An Educational Experiment with GENI Infrastructure
Experiment Replication Using ProtoGENI nodes
Advanced Manufacturing Use Cases and Early Results in GENI Infrastructure
Enabling Wide Area Single System Image Experimentation on the GENI Platform
Highlights of RIT's Summer Camp (GREE-SC 2012)
GENI with a Network Processing Unit: Enriching SDN Application Experiments
Experience with Seattle: A Community Platform for Research and Education
Delegation of Computation with Verification Outsourcing Using GENI Infrastructure
Interactive Trace Clustering to Enhance Incident Completion Time Prediction in Process Mining
Joint Message Passing and Auto-Encoder for Deep Learning
Cognition-Inspired Fuzzy Modelling
Uncovering the Neural Code Using a Rat Model during a Learning Control Task
Typicality Based Fuzzy Gradual Rules Model for Real-time Emotions Assessment through Physiological Signals
Similarities in Fuzzy Data Mining: From a Cognitive View to Real-World Applications
Data Management by Self-Organizing Maps
Evolving Spiking Neural Networks and Neurogenetic Systems for Spatio- and Spectro-Temporal Data Modelling and Pattern Recognition
Latency-Energy Tradeoffs in Federated Learning on Resource Constrained Edge Computing Systems
Fuzzy Hoeffding Decision Trees for Learning Analytics
Multiagent Learning through Neuroevolution
Causation and Prediction Challenge at WCCI 2008, Hong Kong, June 1-6, 2008
Joint Proceedings of the 1st International Workshop on Computational Intelligence for Process Mining (CI4PM 2022) and the 1st International Workshop on Pervasive Artificial Intelligence (PAI 2022), co-located with the IEEE World Congress on Computational Intelligence (WCCI 2022), Padua, Italy, July 18-23, 2022
Quo Vadis, Evolutionary Computation? - On a Growing Gap between Theory and Practice
Simulated Evolution under Multiple Criteria Conditions Revisited
Information Fusion for Man-Machine Cooperation
Short Paper Proceedings of the First International Workshop on Artificial Intelligence in Beyond 5G and 6G Wireless Networks (AI6G 2022) co-located with IEEE World Congress on Computational Intelligence (WCCI2022), Padova, Italy, July 21, 2022
Causal Explanations for Performance in Radio Networks
Unpacking and Understanding Evolutionary Algorithms
Pattern-based Reconstruction of Anomalous Traces in Business Process Event Logs
Reverse-Engineering the Human Auditory Pathway
A New Framework for Machine Learning
Hoeffding Regression Trees for Forecasting Quality of Experience in B5G/6G Networks
State-Space Evolving Granular Control of Unknown Dynamic Systems
Representation in Evolutionary Computation
Bilevel Optimization and Machine Learning
The Berlin Brain-Computer Interface
Incremental Learning-based MIMO Relay Selection
FedTCS: Federated Learning with Time-based Client Selection to Optimize Edge Resources
An Explainable Evolving Fuzzy Neural Network in Position Identification of Basketball Players
Making FreeRTOS Pervasive Systems Learn to Select Energy Saving Technique for Mixed Taskset
Pervasive Artificial Intelligence in Next Generation Wireless: The Hexa-X Project Perspective
Handling Uncertainties in Evolutionary Multi-Objective Optimization
Continual-Learning-as-a-Service (CLaaS): On-Demand Efficient Adaptation of Predictive Models
STAD: State-Transition-Aware Anomaly Detection Under Concept Drifts
A Cloud-based Continual Learning System for Road Sign Classification in Autonomous Driving
Type-2 Fuzzy Logic Controllers: A Way Forward for Fuzzy Systems in Real World Environments
Fuzzy-based Process Mining to Discover the Coding Behavior: Challenges and Future Works
AI for Zero-Touch Management of Satellite Networks in B5G and 6G Infrastructures
Basic Scheme of Neuroinformatics Platform: XooNIps
Efficient Anomaly Detection on Temporal Data via Echo State Networks and Dynamic Thresholding
A Security-Friendly Privacy Solution for Federated Learning
Lazy Meta-Learning: Creating Customized Model Ensembles on Demand
The Quest for Transitivity, a Showcase of Fuzzy Relational Calculus
Evolving Membership Functions in Fuzzy Linguistic Summarization
Collaborative Architectures of Fuzzy Modeling
Towards Trustworthy AI for QoE prediction in B5G/6G Networks
VCV2 - Visual Cluster Validity
Computational Intelligence: Research Frontiers, IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, Plenary/Invited Lectures
Impact of Non-Fitting Cases for Remaining Time Prediction in a Multi-Attribute Process-Aware Method
Predictive Learning, Knowledge Discovery and Philosophy of Science
Attaining Fault Tolerance through Self-adaption: The Strengths and Weaknesses of Evolvable Hardware Approaches
Bayesian Ying Yang System, Best Harmony Learning, and Gaussian Manifold Based Family
A Unified Fuzzy Model-Based Framework for Modeling and Control of Complex Systems: From Flying Vehicle Control to Brain-Machine Cooperative Control
Proceedings of the First Workshop on Online Learning from Uncertain Data Streams (OLUD 2022) co-located with IEEE World Congress on Computational Intelligence (WCCI 2022), Padova, Italy, July 18, 2022
Time Series Classification using F-transform
Probabilistic Graphical Approaches for Learning, Modeling, and Sampling in Evolutionary Multi-objective Optimization
Bio-inspired Self-Organizing Relationship Network as Knowledge Acquisition Tool and Fuzzy Inference Engine
Evolution of Altruistic Robots
The Burden of Proof: Part II
I Move U Move: V2X-Enabled Wireless Towing
Advances in Computational Intelligence - IEEE World Congress on Computational Intelligence, WCCI 2012, Brisbane, Australia, June 10-15, 2012. Plenary/Invited Lectures
A Stacked Autoencoder-based Decode-and-Forward Relay Networks with I/Q Imbalance
Acceptability and clinical usefulness of a telemonitoring and telerehabilitation system in people with Parkinson's Disease in different disease stages: preliminary findings from the RAPIDO study
How artificial intelligence can support informal caregivers in their caring duties to elderly? A systematic review of the literature
Enhancing upper limb mobility through gamified tasks and azure kinect: a preliminary study in post-stroke subjects
Proceedings of the 4th Italian Workshop on Artificial Intelligence for an Ageing Society co-located with 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 09, 2023
A computational framework for speech emotion recognition in case of multisource data
Privacy-preserving federated learning for in-home monitoring of elderly using wearable biometric sensors
Fatigue estimation through multimodal data retrieved from a commercial wearable device
A holistic system for fostering active aging: the D3A project
Exploratory analysis of longitudinal data of patients with dementia through unsupervised techniques
Biomarkers for mixed dementia: a hard bone to bite? Preliminary analyses and promising results for a debated topic
An artificial intelligence approach to predict mutidimensional poverty of older people from unlabelled data
Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
Proceedings of the First International Workshop on Web Services and Formal Methods, WSFM 2004, Pisa, Italy, February 23-24, 2004
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment
Analysis and Verification of Time Requirements Applied to the Web Services Composition
Time and Exceptional Behavior in Multiparty Structured Interactions
Design of a BPEL Verification Tool
Reliable Contracts for Unreliable Half-Duplex Communications
Extending Model Checking to Data-Aware Temporal Properties of Web Services
Formal Modeling and Analysis of the REST Architecture Using CSP
Formal Approaches for Synthesis of Web Service Business Protocols
On the Expressive Power of Process Interruption and Compensation
Choreography Rehearsal
Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes
From BPEL to SRML: A Formal Transformational Approach
Kickstarting Choreographic Programming
Verified Reference Implementations of WS-Security Protocols
Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers
Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System
Dynamic Constraint-Based Invocation of Web Services
Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Towards Compensation Correctness in Interactive Systems
Passive Testing of Web Services
Understanding Distributed Services through the π-Calculus
Validation and Discovery of Non-deterministic Semantic e-Services
Semantic Querying of Mathematical Web Service Descriptions
Conformance Verification of Privacy Policies
Service Discovery with Cost Thresholds
Automated Composition of Nondeterministic Stateful Services
Sessions and Session Types: An Overview
Reconfiguration Mechanisms for Service Coordination
Towards a Formal Framework for Workflow Interoperability
Compatibility of Data-Centric Web Services
Efficient Controllability Analysis of Open Nets
On the Behaviour of General-Purpose Applications on Cloud Storages
On Lifecycle Constraints of Artifact-Centric Workflows
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets
Refactoring Long Running Transactions
A Feature-Complete Petri Net Semantics for WS-BPEL 2.0
Proof Techniques for Adapter Generation
Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles
Contract Compliance and Choreography Conformance in the Presence of Message Queues
Type Inference for Session Types in the π-calculus
Soundness-Preserving Refinements of Service Compositions
Event Structure Semantics of Orc
Towards the Formal Model and Verification of Web Service Choreography Description Language
Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldings
Simplified Computation and Generalization of the Refined Process Structure Tree
Modeling and Formal Analysis of a Client-Server Application for Cloud Services
On the Decidability of Honesty and of Its Variants
RESTful Petri Net Execution
From Public Views to Private Views - Correctness-by-Design for Services
Conformance Checking of Services Using the Best Matching Private View
Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective
A Graph Syntax for Processes and Services
Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Applying Process Analysis to the Italian eGovernment Enterprise Architecture
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways
A Formal Semantics for the WS-BPEL Recovery Framework - The pi -Calculus Way
Preference and Similarity-Based Behavioral Discovery of Services
SCC: A Service Centered Calculus
On the Expressiveness of Parameterization in Process-Passing
A Formalisation of Adaptable Pervasive Flows
The Development of Cloud Computing in Pacific Rim
Service QoS Composition at the Level of Part Names
A Formal Account of Contracts for Web Services
Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
Visualization of Successor Relations in Business Process Models
Towards a Theory of Web Service Choreographies
Execution Semantics for Service Choreographies
Towards a Unifying Theory for Web Services Composition
Verification of Choreographies During Execution Using the Reactive Event Calculus
Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures
From BPEL Processes to YAWL Workflows
An Operational Semantics for Model Checking Long Running Transactions
Designing Efficient XACML Policies for RESTful Services
Why Does My Service Have No Partners?
Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems
DecSerFlow: Towards a Truly Declarative Service Flow Language
Translating Orc Features into Petri Nets and the Join Calculus
Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
A Formal Approach to Service Component Architecture
Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings
Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers
Controlling Petri Net Process Models
On Nondeterministic Workflow Executions
Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
Formalizing RESTful Services and Web-OS Middleware
Behavior Based Service Composition
On the Suitability of Generalized Behavioral Profiles for Process Model Comparison
SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications
Formal Verification of Petri Nets with Names
Safe Session-Based Service Orchestration with Unreliable Communication
Synthesis of Web Services Orchestrators in a Timed Setting
Choreography Revisited
An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -
Contract-Oriented Services
Small Specifications for Tree Update
Realizability Is Controllability
Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
On-The-Fly Model-Based Testing of Web Services with Jambition
Security Types for Sessions and Pipelines
Application of Model Checking to AXML System's Security: A Case Study
Compliance Preorders for Web Services
Modeling Web Service Interactions Using the Coordination Language Reo
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Specification and Verification of Multi-user Data-Driven Web Applications
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool
Type Checking Purpose-Based Privacy Policies in the π-Calculus
Analyzing BPEL4Chor: Verification and Participant Synthesis
Proceedings of the Workshop on Applied Computing (WAC 2022) Co-located with Computing Congress (CC 2022), Chennai, India, January 27 - 28, 2022 (Later changed to Online due to COVID-19 Pandemic)
Review and Analysis of Emotion Detection from Tweets using Twitter Datasets
Methodology for Learning the Asháninka Language using the Mobile App
Innovation Diffusion Modeling and Determining the Optimal Launch Time of Consecutive Generational Product
Raspberry Pi Powered Communicatable Intelligent Life Jacket
A Survey on Digital Image Forensics: Metadata and Image forgeries
Methodology For Information Security, in the Process of Sending Biomedical Signals in Telemedicine Applications for Rural Areas
Application of web design in the influence of positioning, based on SEO methodology, applied to the company the company EuroPerú S.A.C
IoT based Wearable Health Monitoring System for COVID-19 Patients
Reliability of data transmission by PLC in a DC microgrid
Quality of service evaluation and assessment methods in wireless networks
Do IoT LoRa Networks Support Emergency Evacuation Systems ?
Resource Management for Blockchain-enabled Internet of Vehicles
The Role of Artificial Intelligence in Social Media Big data Analytics for Disaster Management -Initial Results of a Systematic Literature Review
User Intervention in Disaster Management Systems for Resilient Smart Cities
Remote sensing and GIS contribution to the detection of areas susceptible to natural hazards in the Safi area, W-Morocco
Indoor incident situation awareness using a 3D indoor/outdoor spatial city model
Use of a multi-criteria decision support tool to prioritize reconstruction projects in a post-disaster phase
Experimental evaluation on a joint attenuation map estimation/indoor localization by means of compressed sensing-based wireless tomography
Research on VANET Network Coding Strategy in Expressway Scene
Evacuation instruction training system using augmented reality and a smartphone-based head mounted display
The challenge of continuous user participation in eBayanihan: Digitizing humanitarian action in a nationwide web mobile participatory disaster management system
Towards efficient disaster management: 5G and Device to Device communication
Evaluation of the Human-Robot-Interaction Dynamic Under Mental Fatigue Constraints In Search and Rescue Operations
Disaster management platform to support real-time analytics
Optimized Scheduling of Packets with Deep Sensing Irregular Slotted Aloha Influenced by Channel Knowledge for Wireless-Powered IoT Networks
A Fresh Look at Combining Logs and Network Data to Detect Anomalous Activity
Qualitative methods to estimate seismic damage at urban scale: A case study in Oran (Algeria)
Volunteer Reputation evaluation for emergency response operations
Event detection using social sensors
Automating Hazard-Specific Ontology Construction: Methodological Advancements through Ontology Learning Techniques from Disaster-Related Knowledge Bases
Work in Progress: A low cost geographical localization system for a more secure coastal artisanal fishery in Senegal
Role of UAVs and HAPS for IoT-based Monitoring in Emergency Scenarios
Towards a microservices development approach for the crisis management field in developing countries
Drone Network Design for Environmental Emergency Response in the Brazilian Amazon
Keynotes: Emergency preparedness and response class of applications: A new challenge for the next generation of wireless sensor networks, public safety and security
Using multivariate approach and GIS applications to predict slope instability hazard case study of Machrouha municipality, NE Algeria
Earthquake scenarios of Blida city
Real time transmission of cultural heritage 3D survey in case of emergency
International Conference on Information and Communication Technologies for Disaster Management, ICT-DM 2024, Setif, Algeria, November 19-21, 2024
Chatbot Application for Sharing Disaster-information
Multipath routing algorithm for device-to-device communications for public safety over LTE Heterogeneous Networks
Web application prototype for collecting disaster-related information focusing on tweets immediately after retweeting news posts
International Conference on Information and Communication Technologies for Disaster Management, ICT-DM 2021, Hangzhou, China, December 3-5, 2021
An Analysis of Tweets During the 2018 Osaka North Earthquake in Japan -A Brief Report
SECA-Net: A Lightweight Spatial and Efficient Channel Attention for Enhanced Natural Disaster Recognition
Should CI operators use social media to communicate with the public during crisis situations?: Lessons learned from a pilot study in Oslo Harbour
Leveraging machine learning models for food security and crisis management in Algeria
A Grid and Vehicle Density Prediction-Based Communication Scheme in Large-scale Urban Environments
Motivation for a step-by-step guide to set up wireless disaster recovery networks
On the Controller Placement Problem: a New SD-IoT Topology for the Algerian Network
Integrating health indices towards the development of a Typhoid disease model using STEM
Topology reduction and probabilistic information extraction for large data-sets: A disaster management case study