yusuke1997/dblp-id-title huggingface dataset:
Chinese government use of social media: A case of Shanghai Weibo @Shanghaicity
Schwarzwälder - An online test framework
eHealth: The future service model for home and community health care
A framework for collaborative social, economic and environmental development: Building a digital ecosystem for societal empowerment
Track A: foundations of digital ecosystems and complex environment engineering
An Agent Based approach for sustainable ICT services toward environmental sustainability: The use of Agent Based Models to explain the ICT-driven (societal) behavioural changes and their effects on environmental sustainability
Track E: Hybrid biological-digital systems
Logistics challenges in developing countries: An analyis of Burkina Faso's national plan for disaster prevention and response
Traceability in collaborative logistics: How to use EPCglobal solution in transport reconfiguration
Python: Characteristics identification of a free open source software ecosystem
CoPrA: A tool for coding and measuring communication in teams
7th IEEE International Conference on Digital Ecosystems and Technologies, DEST 2013, Menlo Park, CA, USA, July 24-26, 2013
Software ecosystems governance to enable IT architecture based on software asset management
TEXTvre: Textual scholarship and the institutional ecosystem
Track I: Collaborative platforms for sustainable logistics and transportation
From metaphor towards paradigm - A computing roadmap of digital ecosystems
Cyber-physical systems and cloud ecosystems keynote paper
Track D: Cyber-security ecosystem
IT ecosystems: A new paradigm for engineering complex adaptive software systems
Social media platforms for social good
Development of landmark based routing system for in-car GPS navigation
A model driven engineering approach for business continuity management in e-Health systems
Machine learning for resource management in smart environments
Real-time building occupancy sensing using neural-network based sensor network
Track J: Fuzzy semantic computing in digital ecosystems
Linked data for humanities research - The SPQR experiment
An energy market for trading electricity in smart grid neighbourhoods
GPU-based Cloud computing for comparing the structure of protein binding sites
Interfaces and models for the diagnosis of cyber-physical ecosystems
Multiagent system architecture and method for group-oriented traffic coordination
An evolutionary economics approach to ecosystem dynamics
Closing the loop - From citizen sensing to citizen actuation
Mobile event-oriented digital ecosystem
Big data privacy issues in public social media
Track B: Convergence of technologies for sustainable infrastructures
Communication-free detection of resource conflicts in multi-agent-based cyber-physical systems
Track F: Healthcare and sustainable living
Innovation Adoption Forum for industry and public sector
Towards a framework to handle privacy since the early phases of the development: Strategies and open challenges
Track H: Cyber-physical energy systems
New models for collaborative textual scholarship
A Customer Relationship Management ecosystem that utilizes multiple sources and types of information conjointly
Evaluation of data management and transfer tools for the biomedical community
Potential CO2 mitigation in digital ecosystems
A design model for building occupancy detection using sensor fusion
Unstructured data extraction in distributed NoSQL
Freight consolidation centers for urban logistics solutions: The key role of interoperability
Seed workshop: Building a digital ecosystem for societal empowerment
A sustainable software architecture for home care monitoring applications
Assessing risk in Grids at resource level considering Grid resources as repairable using two state Semi Markov model
Coupled multi-agent simulations for mobile security & privacy research
Tiger Nation: Empowering citizen scientists
The cover time of neighbor-avoiding gossiping on geometric random networks
The inquiry into telecom enterprises' cloud computing strategy: A case study of China telecom
A self-regulating protocol for efficient routing in mobile delay tolerant networks
The critical mass in collaborative digital business ecosystems for innovation: A case exploration of readiness and willingness
Self-organized distribution of tasks inside an autonomous mobile robotic system
Many-player inspection games in networked environments
Personal health systems for diagnostics of sleep disorders using new sensors and grid technology
A digital ecosystem view on cloud computing
Design principles for competence-based Recommender Systems
Multi-application personalization: Data propagation evaluation on a real-life search query log
E-co-innovation for making e-services living labs as a human-centered digital ecosystem for education with ICT
Experiences and issues for environmental engineering sensor network deployments
Big-data integration methodologies for effective management and data mining of petroleum digital ecosystems
Precursors to using energy data as a manufacturing process variable
Track K: Big data ecosystems
Track C: Digital humanities
Risk assessment of credit securities: The notion and the issues
A scalable multi-agent architecture in environments with limited connectivity: Case study on individualised care for healthy pregnancy
IdeaWall: Bridging the digital and non-digital worlds to facilitate distant collaboration
Building a platform for knowledge engagement: Sowing seedlings in new media
Sensemaking and robust decision engineering: Synchrophasors and their application for a secure smart grid
Data migration ecosystem for big data invited paper
Towards integrated rule-driven software development for IT ecosystems
Towards automated identification and analysis of argumentation structures in the decision corpus of the German Federal Constitutional Court
A model-based approach to reliability certification of services
What groupware functionality do users really use?: A study of collaboration within digital ecosystems
An essay on the emerging political economy and the future of the social media
RESTful dissemination of healthcare data in mobile digital ecosystem
How to anticipate the level of activity of a sustainable collaborative network: The case of urban freight delivery through logistics platforms
Welcome from the Conference General Chairs
A road crisis management metamodel for an information decision support system
CENDARI: Establishing a digital ecosystem for historical research
Energy services for the smart grid city
Track G: Platforms for social and community involvement/engagement
Human-centric visual access control for clinical data management
An event-driven platform to manage agility: Behavior adaptation in delivery context
Digital ecosystems and SEED co-innovation in education
Simulating complex energy systems with Modelica: A primary evaluation
An animation tool for exploring transactions in a DE
6th IEEE International Conference on Digital Ecosystems and Technologies, DEST 2012, Campione d'Italia, Italy, June 18-20, 2012
Treating social dimension in software ecosystems through ReuseECOS approach
Social network of smart-metered homes and SMEs for grid-based renewable energy exchange
Crime Prediction Using Spatio-Temporal Data
Deep Recurrent Neural Network with Tanimoto Similarity and MKSIFT Features for Medical Image Search and Retrieval
DEEC Protocol with ACO Based Cluster Head Selection in Wireless Sensor Network
RETRACTED CHAPTER: Optimization of Driving Efficiency for Pre-determined Routes: Proactive Vehicle Traffic Control
RETRACTED CHAPTER: Design of a Network with VANET Sporadic Cloud Computing Applied to Traffic Accident Prevention
A Performance of Low-Cost NVIDIA Jetson Nano Embedded System in the Real-Time Siamese Single Object Tracking: A Comparison Study
Ortho Image Mosaicing and Object Identification of UAV Data
Performance Evaluation of Parallel Processing Adder Against Basic Adders on FPGAs
Relational Model and Improvised DSR Assisted Framework for Secure Wireless Communication
Traffic Flow Prediction Using Deep Learning Techniques
Computing Science, Communication and Security - 5th International Conference, COMS2 2024, Mehsana, Gujarat, India, February 6-7, 2024, Proceedings
Computing Science, Communication and Security - Third International Conference, COMS2 2022, Gujarat, India, February 6-7, 2022, Revised Selected Papers
Enhancement in AOMDV Routing Protocol to Overcome Congestion Problem in MANET
Power Optimization for Millimeter Wave MIMO System
Computing Science, Communication and Security - Second International Conference, COMS2 2021, Gujarat, India, February 6-7, 2021, Revised Selected Papers
Design and Optimization in SPI Master at the RTL Level
Sentiment Analysis of Bangla Language Using Deep Learning Approaches
Signature Based Malicious Behavior Detection in Android
Meta Heuristic Backtracking Algorithm for Virtual Machine Placement in Cloud Computing Migration
Containment of Compromised Nodes in a Distributed Environment
RETRACTED CHAPTER: Software Project Planning Through Comparison of Bio-inspired Algorithms
Protecting OT Hosts with Intelligent Model-Based Defense System Against Malware Families
Objective Functions in High-Density Internet of Things Networks - A Performance Evaluation
A Novel Approach to Solve Network Security, Cryptography Problems Using Genetic Algorithm
Cooperative Spectrum Sensing in Cognitive Radio Network Using Adaptive Walruses Optimization Algorithm
Malware Detection Framework Using PCA Based ANN
QRP: QPSO Based Routing Protocol for Energy Efficiency in Wireless Body Area Networks
Systematic Review on Various Techniques of Android Malware Detection
Identifying the Impacts of Node Mobility on Network Layer Based Active and Passive Attacks in Mobile Ad Hoc Networks: A Simulation Perspective
Web Browser Forensics: A Comparative Integrated Approach on Artefacts Acquisition, Evidence Collections and Analysis of Google Chrome, Firefox and Brave Browser
Color Image Watermarking in Encryption Domain
An AI-Based Solution to Reduce Undesired Face-Touching as a Precautionary Measure for COVID-19
Multiclass MI-Task Classification Using Logistic Regression and Filter Bank Common Spatial Patterns
Melanoma Detection Using HSV with SVM Classifier and De-duplication Technique to Increase Efficiency
A New Approach to Solve Job Sequencing Problem Using Dynamic Programming with Reduced Time Complexity
Prediction of Lung Cancer Using Machine Learning Classifier
An Efficient Cluster Based Energy Routing Protocol (E-CBERP) for Wireless Body Area Networks Using Soft Computing Technique
Development of Smart Sensor for IoT Based Environmental Data Analysis Through Edge Computing
A New Channel-Aware Downlink Scheduling Algorithm for LTE-A and 5G HetNets
Performance Comparison of IEEE 802.11ax, 802.11ac and 802.11n Using Network Simulator NS3
A Natural Language Processing Approach to Mine Online Reviews Using Topic Modelling
Adaptive Rider Grey Wolf Optimization Enabled Pilot-Design for Channel Estimation in Cognitive Radio
Achieving Accurate Trajectory Control While Training Legged Robots Using Machine Learning
Computing Science, Communication and Security - 4th International Conference, COMS2 2023, Mehsana, Gujarat, India, February 6-7, 2023, Revised Selected Papers
Detecting Distributed Denial of Service (DDoS) Attacks in a Multi-controller SDN Environment Utilizing Machine Learning
Ponte Message Broker Bridge Configuration Using MQTT and CoAP Protocol for Interoperability of IoT
An Innovative AI Architecture for Detecting the Primary User in the Spectrum
Enhancing ASIC Design Efficiency: A Focus on RTL Verification with Spyglass
Detection and Prevention of Black Hole Attack and Sybil Attack in Vehicular Ad Hoc Networks
Device to Device Communication over 5G
Emotion Classification with Reduced Feature Set SGDClassifier, Random Forest and Performance Tuning
RETRACTED CHAPTER: Management System for Optimizing Public Transport Networks: GPS Record
DDoS Attack Detection Using Artificial Neural Network
A Hybrid Approach Based on ACO and Firefly Algorithm for Routing in FANETs
A Method for Malware Detection in Virtualization Environment
Computing Science, Communication and Security - First International Conference, COMS2 2020, Gujarat, India, March 26-27, 2020, Revised Selected Papers
Intelligent Agent Based Clustering and Optimal Multipath Routing for Energy-Efficient Wireless Sensor Networks in Smart City Applications: A Distributed AI-Driven Approach
Optimizing Complexity of Quick Sort
Performance Analysis of Energy Efficient Routing Protocols in Wireless Sensor Networks
Machine Learning for Classification of DOS Attack in Smart Healthcare Networks
Mitigating PAPR Challenges in Massive MIMO Systems for CR-IoT Networks: A Graeco-Latin Square Approach
Design and Performance Analysis of High Efficiency Propulsion System for VTOL Applications
Performance Analysis of Recovery Methods for Loss of Target in Wireless Sensor Network Following TDNN Prediction Algorithm
An Implementation and Combining of Hybrid and Content Based and Collaborative Filtering Algorithms for the Higher Performance of Recommended Sytems
Traveler's Demand Reactive Dynamic Online Bus Routing [TraDeR-DOBR] to Improvize Comfort Perception in Intelligent Public Transport System
Routing in IoT Network Using NetSim Simulator
Predicting Passenger Flow in BTS and MTS Using Hybrid Stacked Auto-encoder and Softmax Regression
Click Ad Fraud Detection Using XGBoost Gradient Boosting Algorithm
Performance Comparison of NOMA Vehicular Communications Under Shadow Fading
Blocking Estimation Using Optimal Guard Channel Policy in GSM 900 System
Performance Analysis of Smart Antenna in Wireless Communication System
An Efficient Signal Detection Technique for STBC-OFDM in Fast Fading Channel
Advancement of Non-coherent Spectrum Sensing Technique in Cognitive Radio Networks - A Simulation-Based Analysis
High-Speed FSO System for Future Generation Networks for Long Reach
Gaussian Mixture Model-Based Clustering for Energy Saving in WSN
Monitoring the Concentration of Air Pollutants and Its Health Hazards Using Machine Learning Models
Catalan's Conjecture and Elliptic Curve Cryptography (CCECC) Algorithm for Enhancing Data Security During Data Transmission in MANET
A Machine Learning (ML)-Inspired Method for Intrusion Detection in IoT Devices Networks
One-to-One Matching for Cooperative Resource Sharing and Communication in CRNs
ITS Based OBU: A Fallback Mechanism in Vehicular Ad-Hoc Network
Sandbox Environment for Real Time Malware Analysis of IoT Devices
A Multi Class Classification for Detection of IoT Botnet Malware
Design and Implementation of Lightweight Dynamic Elliptic Curve Cryptography Using Schoof's Algorithm
Coordinator Controller Election Algorithm to Provide Failsafe Through Load Balancing in Distributed SDN Control Plane
An Anomaly - Misuse Hybrid System for Efficient Intrusion Detection in Clustered Wireless Sensor Network Using Neural Network
Cab Fare Prediction Using Machine Learning
Indian Currency Recognition from Live Video Using Deep Learning
Motor Imagery EEG Signal Classification Using Deep Neural Networks
Event-Related Potential Classification Based on EEG Data Using xDWAN with MDM and KNN
Performance Evaluation of VBF, DBR and Modified CARP for Underwater Acoustic Sensor Network
Comprehensive Study of Short Channel Effects (SCEs) in MOSFET and FinFET Devices
Cyber Intrusion Detection Using Machine Learning Classification Techniques
A Novel Symmetric Key Based Authentication Scheme that Saves Energy for Edge Devices of the Internet of Things
RC-Security Mechanism to Prevent Attacks on IoT Smart Switch
Applications of Classical and Deep Learning Techniques for Polar Bear Detection and Recognition from Aero Photography
The Novel Approach of Down-Link Spectral Efficiency Enhancement Using Massive MIMO in Correlated Rician Fading Scenario
Performance Analysis of IoT Network over 5G Communication
IoT-Based Convolutional Neural Networks in a Farm Pest Detection Using Transfer Learning
Oil Spill Discrimination of SAR Satellite Images Using Deep Learning Based Semantic Segmentation
To Identify Malware Using Machine Learning Algorithms
Experimenting with Scalability of Software Defined Networks Using Pyretic and Frenetic
Bit Error Rate Analysis of Optical Switch Buffer in Presence of Dispersion and Optical Amplifier Noise
Design and Analysis of Wide-Band Planar Antenna Using Meta-material for S-Band Applications
Application of Forensic Audio-Video Steganography Technique to Improve Security, Robustness, and Authentication of Secret Data
Investigation of Alibaba Cloud Data Set for Resource Management in Cloud Computing
Low-Light Video Enhancement on a Mobile Device Using Illumination-Reflection Model Based Retinex Envelope
Design of Performance Enhanced Approximate Multiplier for Image Processing Applications
Floor Plan Recognition and Vectorization Using Combination UNet, Faster-RCNN, Statistical Component Analysis and Ramer-Douglas-Peucker
Osmotic Computing-Based Task Offloading: A Fuzzy Logic-Based Approach
Demystifying Computational Techniques Used to Diagnose Tuberculosis
A Rule-Based Expert System to Assess Coronary Artery Disease Under Uncertainty
Physical Layer Security Optimisation for NOMA Based UAV Communication for Optimal Resource Allocation
A Decentralised Application for Medical Insurance Claim System Using Blockchain Technology
CV Based Person Detection System for Smart Transportation
Energy Efficient Allocation of Resources in NOMA Based (MU-HCRN) with Perfect Spectrum Sensing
A Comparative Study of DWT and DCT Along with AES Techniques for Safety Transmission of Digital Bank Cheque Image
Achieving Energy Efficiency in Life-Logging Applications of Internet of Things Using Data Compression Through Incorporation of Machine Learning and Edge-Cloud Architecture
Improvement of Network Protocol and Analysis of Security Using Aspect of Cryptography
A Novel Approach of SHA-3-512bits Using Keccak Technique Based on Sponge Function Implementation on FPGA
Extending WSN Life-Time Using Energy Efficient Based on K-means Clustering Method
DBFEH: Design of a Deep-Learning-Based Bioinspired Model to Improve Feature Extraction Capabilities of Healthcare Device Sets
Cognitive Ad Hoc Trust Routing for Enhanced Quality of Service
Simulated Analysis of Double-Gate MOSFET and FinFET Structure Using High-k Materials
Data Balancing for Credit Card Fraud Detection Using Complementary Neural Networks and SMOTE Algorithm
Program Refinement, Perfect Secrecy and Information Flow
Digital Twin Tutorial: The Incubator Case Study
Challenges for Formal Semantic Description: Responses from the Main Approaches
The Z Notation: Whence the Cause and Whither the Course?
UTP by Example: Designs
Engineering Trustworthy Software Systems - 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Software Is Not Soft - Challenges and Approaches to Dynamic Software Update
Formalizing Hoare Logic in PVS
Cyber-Physical Systems Engineering
Weakest Preexpectation Semantics for Bayesian Inference - Conditioning, Continuous Distributions and Divergence
Modeling Concurrency in Dafny
Runtime Verification for Linear-Time Temporal Logic
Alan Turing: Founder of Computer Science
From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT
Formal Reasoning on Infinite Data Values: An Ongoing Quest
An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping
A Guide to Rely/Guarantee Thinking
Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Securing Emergent IoT Applications
Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
Java in the Safety-Critical Domain
Combining Formal and Informal Methods in the Design of Spacecrafts
From Logic to Programming
AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems - A Challenge for Formal Methods
Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Model-Driven Design of Object and Component Systems
Software Engineering Experiences of an Optimist
Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs
The Impact of Alan Turing: Formal Methods and Beyond
Seamless Model-Based System Development: Foundations - (Extended Abstract)
An Introduction to Software Verification with Whiley
$\mathbb {K}$ - A Semantic Framework for Programming Languages and Formal Analysis
Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing
What Came First, Mathematics or Computing?
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling
Learning Büchi Automata and Its Applications
Reasoned Modelling with Event-B
(In-)Formal Methods: The Lost Art - A Users' Manual
Stealthy Location Tracking with Ninja Codes
A Hybrid Boundary Element and Boundary Integral Equation Method for Accurate Diffusion Curves
Customizing Text-to-Image Models with a Single Image Pair
Spatial multisampling and multipass occlusion testing for screen space shadows
Fischkopp
Approaches and challenges to virtual and augmented reality in health care and rehabilitation: a short course
NatureBlendVR: Hybrid Space Interactive Experience For Emotional Regulation And Cognition Improvement
DT-Zheng: digital twin method for Zheng musical instrument
Transient LASSO: Transient Large-Scale Scene Reconstruction
SIGGRAPH Asia 2021 Posters, Tokyo, Japan, December 14-17, 2021
The kinematograph
Bridgestone "Carma"
Flow of Qi
Demonstration of ThermAirGlove: A Pneumatic Glove for Material Perception in Virtual Reality through Thermal and Force Feedback
Inside the human body
Apocalypse Dog
Hapballoon: Wearable Haptic Balloon-Based Feedback Device
Portrait Expression Editing With Mobile Photo Sequence
Neural Spectro-polarimetric Fields
TactGAN: vibrotactile designing driven by GAN-based automatic generation
MCNeRF: Monte Carlo Rendering and Denoising for Real-Time NeRFs
IlluminatedFocus: Vision Augmentation using Spatial Defocusing
A space-efficient and hardware-friendly implementation of Ptex
Reflection on Abstract Art through Kandinsky's Teaching: Reflection on Abstract Art through Reconstruction of Kandinsky's Teaching at the Bauhaus
Planning and developing museum apps for kids
SIGGRAPH Asia 2012 Technical Briefs, Singapore, November 28 - December 1, 2012
Skeleton-growing: a vector-field-based 3D curve-skeleton extraction algorithm
Compositional Neural Textures
Neural network in combination with a differential evolutionary training algorithm for addressing ambiguous articulated inverse kinematic problems
"Embark the Journey · Embrace the Universe": An Interactive System of Astronomy Education Based on Spherical TUI in MR
Thinking in layers: modeling with layered materials
Backward compatible stereoscopic displays via temporal psychovisual modulation
New cloth modeling for designing dyed patterns
TableMorph: Haptic Experience with Movable Tables and Redirection
Black Curtain: The Fear
Carbon Farm
Associating Real Objects with Virtual Models for VR Interaction
Diffusing Colors: Image Colorization with Text Guided Diffusion
As-compact-as-possible vectorization for character images
ARMixer: Live Stage Monitor Mixing through Gestural Interaction in Augmented Reality
Distributed Solution of the Blendshape Rig Inversion Problem
PondusHand: Measure User's Weight Feeling by Photo Sensor Array around Forearm
Automated enabling of head mounted display using gaze-depth estimation
Adjusting Level of Abstraction for Stylized Image Composition
Developing visual interfaces for mobile devices
Flaneur: digital see-through telescope
MathVR: Teaching Vector Arithmetic Using Virtual Reality
Hybrid cursor control for precise and fast positioning without clutching