yusuke1997/dblp-id-title huggingface dataset:
Parameter Estimation of Particle Flow Model for Soils Using Neural Networks
Full-Information Item Bifactor Analysis of the Job Burnout Scale for Chinese College Teachers
A Secure Routing Protocol for Peer-to-Peer Network
Integrating Product Information Management (PIM) with Internet-Mediated Transactions (IMTs)
Mathematical Analysis of Signaling Overhead in MIPv6 Based N-Layer Architecture
A Paper-Centred Information System: Effectiveness and Quality Implications in UK Police Intelligence Units
Movement-Assisted Deployment for Irregular Sensor Density in Wireless Sensor Networks
Improved K-means Clustering Algorithm Based on User Tag
A Signal Aware Movement Control Algorithm for GPS-free Ad Hoc Networks
An Improved Dynamic Load Balancing Algorithm for a Distributed System in LAN
An Approach to Web Page Prediction Using Markov Model and Web Page Ranking
A Study on Users Authentication Method for Safety Group Decision System in Dynamic Small Group
Clearing Policy for an Specialist Agent in Marketing Strategies
A Misspelling Intelligent Analysis Approach for Correcting Misspelled Words in English Text
Chinese Chunking and Consistency Checking Using Rule-Based Method
Gene Selection Using Random Forest and Proximity Differences Criterion on DNA Microarray Data
Using Adventure Game to Facilitate Learning Assessment Process
Real Aggregation for Reducing Routing Information Base Size
Intuitionistic rough fuzziness and its generalizations
Intermediate View Synthesis Based on Adaptive BP Algorithm and View Interpolation
Review of e-Learning Systems Convergence from Traditional Systems to Services based Adaptive and Intelligent Systems
Segmentation Method for NaXi Pictograph Character Recognition
Markov Decision Process Model for Path Selection Algorithm on Multi-Business System with Services Composition
PKG-MIB: Design and Implementation of Private-mib for Package-based Linux Systems
Fuzzy Knowledge Management through Knowledge Engineering and Fuzzy Logic
Method for Increasing the Energy Efficiency of Wirelessly Networked Ambulatory Health Monitoring Devices
Multi-layered Service Suite Conceptualization in Cloud Computing
Building 3D Geospatial Information Using Airborne Multi-Looking Digital Camera System
Petersen-Twisted-Torus Networks for Multiprocessor Systems
Optimizing Document Similarity Detection in Persian Information Retrieval
Research on the Expression and Extraction of WDB
Weaknesses of a Secure Dynamic ID Based Remote User Authentication Scheme
A Product Knowledge-Sharing System Focusing on Internet-mediated Mode
Modelling and Simulation for Physical Vapor
Data Mining for Forecasting the Broiler Price Using Wavelet Transform
A New Rule Scheduling Approach based on Estimation of Rule Execution Probability in Active Database
Attribute Extraction System for Agricultural SEM
Kinetic Processes and Phase-transition of CVD Processes for Ti2SiC3
Reused Page Management for Log-Structured Flash Storage Systems
Immersive Learning Environment with Integrated Interactive Video and Ubiquitous Technologies
Geospatial Web Services Semantic Discovery Approach Using Quality
SVC Method for Textile Weave Recognizing
A Risk Evaluation Method for the High-Technology Project Investment Based on ET-WA Operator with 2-Tuple Linguistic Information
A Two-layer Super-Peer based P2P Live Media Streaming System
Limit Equilibrium Analysis of the Influence of Matric Suction on Unsaturated Soil Slope Stability
Shunt APF Based on Current Loop Repetitive Control
Analysis of Online Word-of-Mouth in Online Forums Regarding Notebook Computers
Design of a Framework for U-Learning based on Educational Resources Sharing System for Ubiquitous Computing Environments
An Analysis of the Co-operative Supply Chain's EPQ Model under Trade Credit
A Study on USN Management for Tunnel Entry Slope
Image Segmentation Method Using Hybrid Region Flow
Spirit: Security and Privacy in Real-Time Monitoring System
Application of Feature Extraction Method in Customer Churn Prediction Based on Random Forest and Transduction
An Implementation of a Positioning System Using GPS and WLAN Data
Analysis of a Reversed Trapezoidal Fin with Fluid in the Inside Wall
A Methodology for Test Suit Reduction in User-session-based Testing
Rough Margin-Based Linear v Support Vector Machine
Load Indices on Heterogeneous Systems- Past, Present and Future
Identification of Economic Cluster with Information Gain Method, based on Input-Output Tables
Novel MicroRNAs and Targets Prediction in PRRS Virus Genome
A Processor for Genetic Algorithm using Dynamically Reconfigurable Memory
Frame Sliced Parallel Signature Files for Fast Colored Image Retrieval
GDIA: A Scalable Grid Infrastructure for Data Intensive Applications
An Indoor Wayfinding System Based on Geo-coded QR Codes for Individuals with Cognitive Impairments
An Education-Support PSE System: TSUNA-TASTE
Improvement on Intrusion Detection Technology Based on Protocol Analysis and Pattern Matching
Traffic Prediction Based on Improved Neural Network
FTP Anomaly Detection Improvement by Indirection Relation and BF-XML Profiling
A Guidance Process for the Selection of Business Process Modelling Techniques for the Revised Business Process Reengineering
A PSE for Finite Element Method
Area Optimization in Floorplanning Using AP-TCG
A New Mechanism for Available Bandwidth Estimation
Assessment of Home Networking Research Trends, 1981-2009
Analysis on Children's Tolerance to Weak Recognition of Storytelling Robots
Feature-Denoising Based on Average Fitness of Genetic Population
A Hierarchical Hybrid Routing Protocol for Wireless Mesh Network
Efficient Access Control in a Hierarchy for Hardware-limited Users
Research on Automatic Pattern Acquisition Based on Construction Extension
Evaluating the Efficiency of the Instructional Websites "Which are Oriented to the Deaf Students" According to the Technical Criteria"
Research on Classification Mining Method of Frequent Itemset
Rough Wavelet Hybrid Image Classification Scheme
A Tool to Personalize the Ranking of the Documents Returned by an Internet Search Engine
Design of Virtual Memory Compression System for the Embedded System
The Overview of Text Representative Model
AMC Non-Performing Assets Disposal with CDO in China
An experimental study on constructing sense relations in vocabulary teaching
Merging Nash Equilibrium Solution with Genetic Algorithm : The Game Genetic Algorithm
Integrated Resources Optimization in Three-layer Dynamic Network
Black Hole Attack on Multicast Routing Protocols
A Study on A Transport Network Independent Mobile IP Model
Managing Handover Authentication in Big-domain Wireless Environment
Scheduling of scientific workflows using Discrete PSO Algorithm for Grids
A Flexible Grid Task Scheduling Algorithm Based on QoS Similarity
A search quality evaluation based on objective-subjective method
Research and Implementation of Ontological QA System Based on FAQ
The Framework of Network Public Opinion Monitoring and Analyzing System Based on Semantic Content Identification
An Attempt to Verify Claims of University Departments by Text Mining its Web Pages
The Semantic Tagging Model of Chinese Question Chunk Based on Description Logic
Characteristic Description of Coupled Task Sets Based on Design Structure Matrix and Its Optimal Time and Efforts Solution by Genetic Algorithm
A Cell Projection Algorithm Based on Feature Region Segmentation and Cells Sorting
Information Hided Jacket Matrix and Its Fast Factorization Algorithm
Chinese Question Classification Using Alternating and Iterative One-against-One Algorithm
An Improved Image Fusion Algorithm Based on Wavelet Decomposition
Commercial Credit Difference Evaluation and Prediction Model: Based on Neural Network
New Kalman Filtering Algorithm for Passive-BD/SINS Integrated Navigation System Based on UKF
Intelligent Monitoring Approach for Pipeline Defect Detection from MFL Inspection
Requirement Meta-model and Ontology-based Blogs Architecture for IS Requirements Elicitation
Secure Multimedia Distribution Based on Watermarking and Encryption
A Local Safety Knowledge Sharing System for Proactive Management by Citizens
Content Mining and Network Analysis of Microblog Spam
Second Order Cone Programming Formulations for Handling Data with Perturbation
Crowd Density Estimation Using Sparse Texture Features
CT-Rank: A Time-aware Ranking Algorithm for Web Search
Implementation of Filter Reverse Search System based on Spatial Relationships of Filters
An Improved BP Neural Network Algorithm Based on Factor Analysis
A Packet Partition Scheduling Mechanism for Bandwidth Aggregation over Multiple Paths
Problem Solving Environment for Lattice QCD on Cell/B, E,
Study on Enterprises Group Order Allocation Multi-objective Model
Virtual Data Warehouse Modeling Using Petri Nets for Distributed Decision Making
An Advanced Partitioning Approach of Web Page Clustering utilizing Content & Link Structure
Service-Oriented Architecture - A New Alternative to Traditional Integration Methods in B2B Applications
Automatic Location Update using IPV6 Addressing Format for Next Generation Network
Analysis and Implementation of M-commerce in Education for Developing Countries (Uzbekistan case)
A Study on Secure Data Storage Strategy in Cloud Computing
A Revisioning of the Hierarchy
An Enhanced tree based MAODV Protocol for MANETs using Genetic Algorithm
A Preprocessing Method for NaXi Pictograph Character Recognition
An Implementation of a RFID Tag ID Relay-Transmission over the Wireless and TCP/IP
Key Technologies of Modeling for Equipment Training Environment
Comparison of Classification Methods Based on the Type of Attributes and Sample Size
A Scalable and Efficient Query Answering for a Context and Schema Mediation
Adaptive Source pixel based Prediction for Lossless Intra Coding of H.264 MPEG-4 /AVC
Prevention and Control Model of Enterprise Business Risk Based on Multi-Agent
A Novel Matched Filter for Neural Action Potential Detection
A Study of Institutional Repository Service Quality and Users' Loyalty to College Libraries in Taiwan: The Mediating & Moderating Effects
Community Situation based Strict Cooperation Model for Cooperative Ubiquitous Systems
A Metrics Suite for Measuring Software Components
Anomaly Detection Analysis of Intrusion Data Using Supervised & Unsupervised Approach
The Association of China Stock Index with Japan and US
Evaluating the Utilisation of Mobile Devices in Online Payments from the Consumer Perspective
A New Method for Improving the Performance of K Nearest Neighbor using Clustering Technique
Efficient Ming of Top-K Closed Sequences
An Improvement of GAF for Lifetime Elongation in Wireless Sensor Networks
A New Design of Encryption/Decryption for Field Applications
E-mail Spam Filtering Based on Support Vector Machines with Taguchi Method for Parameter Selection
An Improved Intrusion Detection Technique based on two Strategies Using Decision Tree and Neural Network
Real-time Simulation for 3D Tissue Deformation with CUDA Based GPU Computing
Real Time Automated Fabric Defect Detection System using Microcontroller
Fuzzy Support Vector Machine Method for Evaluating Innovation Sources in Service Firms
A Portfolio Selection Model Based on Possibility Theory Using Fuzzy Two-stage Algorithm
Dynamic Integrated Algorithm for Production Scheduling Based on Iterative Search
Cost-Sensitive Support Vector Ranking for Information Retrieval
Determing Performance of Choreography-based Composite Services
Random Subspace Method with Feature Subsets Selected by a Fuzzy Class Separability Index
A Particle Swarm Optimization to Vehicle Routing Problem with Fuzzy Demands
The Research of Chinese Semantic Similarity Calculation Introduced Punctuations
Utilizing a Pattern Recognition Controller and Linear Discriminate Analysis for MFL Defect Detection
A scheduling Algorithm based on Potential Game for a Cluster Grid
Multi-Objective Rule Mining Using Simulated Annealing Algorithm
Rough Petri Net Model (RPNM) For knowledge Representation, Rules Generation and Reasoning
Enhanced Block Motion Estimation Based on Threshold-Aware Two-Path Search Method
Linguistic Information Processing Based on Aggregation Operator over the Internet
The Low-voltage Electrical Network Routing Strategy
Measuring Concept Similarity of Heterogeneous Ontologies in Multi-angent System
The Comparison of Two Representations of Documents in Text Clustering
QoS Routing in General Petersen-Torus Networks: A Case Study
Comparison of Neural Network Training Algorithms for the prediction of the patient's post-operative recovery area
Agent-Based Simulation to Seek For Effective Communication In Project Management
High Effect Secure Data Transmission Mechanisms in Wireless Sensor Networks Using ID-Based Key Management Scheme
On the design of metric relations
A Prospective Fuzzy Logic approach to Knowledge-based Navigation of Mobile LEGO-Robot
Spectrum Pooling-Based Vertical Handover for Heterogeneous Cognitive Radio Networks with QoS Constrains
Multimodal Web Content Conversion for Mobile Services in a U-City
Using Genetic Algorithms to Optimize Artificial Neural Networks
Review of PSE (Problem Solving Environment) Study
Using Rough Set and Fuzzy Method to Discover the Effects of Acid Rain on the Plant Growth
A Proposed Model to Implement Load and Throughput of WLAN Implemented as Wi-Fi System
An Integrated Computing Environment for Bio-Molecular Networks
Social Simulation Based on Human Behavioral Data Collected by Web-Based Experimental System
Finding Semantic Errors in the Rule-base of Production Systems, and Reasoning with Insufficient Input Data Petri-net-based Approach
Design Methodology of a Controller to Forecast the Uncertain Cardiac Arrest Using Fuzzy Logic Approach
Delivering a Course in Software Engineering: A Hands On Approach
Three-Dimensional Finite Element Analysis of Wall Pressure on Large Diameter Silos
A Distributed and Parallel Clustering Algorithm for Massive Biological Data
A Novel Feedback Approach for Image/Video sampling Systems' Performances Improvement
Optimizing Reaching Definitions Overhead in Queue Processors
Immune Network Theory Based Artificial Immune System and Its Application for Pattern Recognition
A Model for Software Selection with Fuzzy Linguistic Information
Neuro-fuzzy operational performance of a coffee harvester machine
Web Service Based Secure E-Learning Management System- EWeMS
Research on Spatial Knowledge Reasoning about Jiangzhai Settlement in First Period
Research and Design on Personalized Learning System Based on Mobile Agent
A New DSR Routing Protocol for MANET
Classification Models of Estrogen Receptor-B Ligands Based on PSO-Adaboost-SVM
Software Clone Management Towards Industrial Application (Dagstuhl Seminar 12071)
Integrating HPC, AI, and Workflows for Scientific Data Analysis (Dagstuhl Seminar 23352)
Outdoor and Large-Scale Real-World Scene Analysis. 15th Workshop Theoretic Foundations of Computer Vision (Dagstuhl Seminar 11261)
Foundations for Scripting Languages (Dagstuhl Seminar 12011)
Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112)
The Graph Isomorphism Problem (Dagstuhl Seminar 15511)
Database Indexing and Query Processing (Dagstuhl Seminar 22111)
Reviewer No. 2: Old and New Problems in Peer Review (Dagstuhl Seminar 24052)
From Research to Certification with Data-Driven Medical Decision Support Systems (Dagstuhl Seminar 25052)
Uncertainty Quantification and High Performance Computing (Dagstuhl Seminar 16372)
Computational Complexity of Discrete Problems (Dagstuhl Seminar 19121)
Verifiably Secure Process-Aware Information Systems (Dagstuhl Seminar 13341)
Data-Driven Combinatorial Optimisation (Dagstuhl Seminar 22431)
Computational Social Dynamics (Dagstuhl Seminar 22452)
Computational Humanities - bridging the gap between Computer Science and Digital Humanities (Dagstuhl Seminar 14301)
Human Activity Recognition in Smart Environments (Dagstuhl Seminar 12492)
Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)
Coding Theory (Dagstuhl Seminar 11461)
Quantum Cryptanalysis (Dagstuhl Seminar 19421)
Algebra in Computational Complexity (Dagstuhl Seminar 14391)
Advanced Stencil-Code Engineering (Dagstuhl Seminar 15161)
Learned Predictions for Data Structures and Running Time (Dagstuhl Seminar 25181)
Computational Models of Language Meaning in Context (Dagstuhl Seminar 13462)
Theoretical Foundations of Storage Systems (Dagstuhl Seminar 19111)
Quantum Cryptanalysis (Dagstuhl Seminar 23421)
Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331)
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)
Scheduling (Dagstuhl Seminar 25121)
Geometric Modeling (Dagstuhl Seminar 11211)
Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071)
High-Performance Graph Algorithms (Dagstuhl Seminar 18241)
Duality in Computer Science (Dagstuhl Seminar 13311)
SAT Encodings and Beyond (Dagstuhl Seminar 23261)
Extended Reality for the Operating Room (XR4OR) (Dagstuhl Seminar 25062)
Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)
Interactive Design and Simulation (Dagstuhl Seminar 19512)
The Mobile Revolution - Machine Intelligence for Autonomous Vehicles (Dagstuhl Seminar 15462)
Provenance and Logging for Sense Making (Dagstuhl Seminar 18462)
Multimodal Manipulation Under Uncertainty (Dagstuhl Seminar 15411)
Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081)
Vocal Interactivity in-and-between Humans, Animals and Robots (VIHAR) (Dagstuhl Seminar 16442)
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432)
Learning with Music Signals: Technology Meets Education (Dagstuhl Seminar 24302)
Next Generation Sequencing (Dagstuhl Seminar 16351)
Forensic Computing (Dagstuhl Seminar 13482)
Evidence About Programmers for Programming Language Design (Dagstuhl Seminar 18061)
Scientific Visualization (Dagstuhl Seminar 14231)
Formal Models of Graph Transformation in Natural Language Processing (Dagstuhl Seminar 15122)
Innovations for Shape Analysis: Models and Algorithms (Dagstuhl Seminar 11142)
Computer Science & Problem Solving: New Foundations (Dagstuhl Seminar 11351)
Research Infrastructures and Tools for Collaborative Networked Systems Research (Dagstuhl Seminar 24462)
New Directions for Learning with Kernels and Gaussian Processes (Dagstuhl Seminar 16481)
High Throughput Connectomics (Dagstuhl Seminar 18481)
Digital Twins for Cyber-Physical Systems Security (Dagstuhl Seminar 22171)
Real VR - Importing the Real World into Immersive VR and Optimizing the Perceptual Experience of Head-Mounted Displays (Dagstuhl Seminar 19272)
Future Automotive HW/SW Platform Design (Dagstuhl Seminar 19502)
The Multilingual Semantic Web (Dagstuhl Seminar 12362)
Multi-Faceted Visual Process Mining and Analytics (Dagstuhl Seminar 25152)
Tree Transducers and Formal Methods (Dagstuhl Seminar 13192)
Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 24281)
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 23442)
Resilience and Antifragility of Autonomous Systems (Dagstuhl Seminar 24182)
Visualization and Decision Making Design Under Uncertainty (Dagstuhl Seminar 22331)
Tensor Computations: Applications and Optimization (Dagstuhl Seminar 22101)
Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412)
25 Years of the Burrows-Wheeler Transform (Dagstuhl Seminar 19241)
Universals of Linguistic Idiosyncrasy in Multilingual Computational Linguistics (Dagstuhl Seminar 21351)
Towards More Flexible and Automated Communication Networks (Dagstuhl Seminar 22471)
Drawing Graphs and Maps with Curves (Dagstuhl Seminar 13151)
Mixed Criticality on Multicore / Manycore Platforms (Dagstuhl Seminar 17131)
Practical Yet Composably Secure Cryptographic Protocols (Dagstuhl Seminar 19042)
Computational Counting (Dagstuhl Seminar 18341)
Reinforcement Learning (Dagstuhl Seminar 13321)
Scheduling (Dagstuhl Seminar 23061)
Integrating Process-Oriented and Event-Based Systems (Dagstuhl Seminar 16341)
Empirical Evaluation for Graph Drawing (Dagstuhl Seminar 15052)
BOTse: Bots in Software Engineering (Dagstuhl Seminar 19471)
Exponential Algorithms: Algorithms and Complexity Beyond Polynomial Time (Dagstuhl Seminar 13331)
Universality of Proofs (Dagstuhl Seminar 16421)
Greening Networking: Toward a Net Zero Internet (Dagstuhl Seminar 24402)
Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112)
Rethinking Productivity in Software Engineering (Dagstuhl Seminar 17102)
Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051)
VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)
Computational Complexity of Discrete Problems (Dagstuhl Seminar 14121)
Model-Driven Engineering of Digital Twins (Dagstuhl Seminar 22362)
Nominal Computation Theory (Dagstuhl Seminar 13422)
Triangulations in Geometry and Topology (Dagstuhl Seminar 24072)
Algorithm Engineering (Dagstuhl Seminar 13391)
Coalition Formation Games (Dagstuhl Seminar 21331)
Guardians of the Galaxy: Protecting Space Systems from Cyber Threats (Dagstuhl Seminar 25101)
SAT Interactions (Dagstuhl Seminar 12471)
Geosensor Networks: Bridging Algorithms and Applications (Dagstuhl Seminar 13492)
Urban Mobility Analytics (Dagstuhl Seminar 22162)
Defining and Fortifying Against Cognitive Vulnerabilities in Social Engineering (Dagstuhl Seminar 23462)
Applications of Combinatorial Topology to Computer Science (Dagstuhl Seminar 12121)
Higher-Order Graph Models: From Theoretical Foundations to Machine Learning (Dagstuhl Seminar 21352)
Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112)
New Frontiers of Parameterized Complexity in Graph Drawing (Dagstuhl Seminar 23162)
Decision-Making Techniques for Smart Semiconductor Manufacturing (Dagstuhl Seminar 23362)
Public-Key Cryptography (Dagstuhl Seminar 11391)
What You Hear is What You See? Integrating Sonification and Visualization (Dagstuhl Seminar 25072)
Rational Design of RiboNucleic Acids (Dagstuhl Seminar 22381)
Understanding Complexity in Multiobjective Optimization (Dagstuhl Seminar 15031)
Values in Computing (Dagstuhl Seminar 19291)
Low-Dimensional Embeddings of High-Dimensional Data: Algorithms and Applications (Dagstuhl Seminar 24122)
Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082)
Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372)
Computational Aspects of Fabrication (Dagstuhl Seminar 18431)
Computational Proteomics (Dagstuhl Seminar 21271)
Crowdsourcing and the Semantic Web (Dagstuhl Seminar 14282)
Scheduling (Dagstuhl Seminar 18101)
Computational Creativity Meets Digital Literary Studies (Dagstuhl Seminar 19172)
Security and Privacy of Current and Emerging IoT Devices and Systems (Dagstuhl Seminar 24312)
Comparative Theory for Graph Polynomials (Dagstuhl Seminar 19401)
Intelligent Security: Is "AI for Cybersecurity" a Blessing or a Curse (Dagstuhl Seminar 22412)
Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research (Dagstuhl Seminar 18182)
Inverse Biophysical Modeling and Machine Learning in Personalized Oncology (Dagstuhl Seminar 23022)
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282)
Analysis, Interpretation and Benefit of User-Generated Data: Computer Science Meets Communication Studies (Dagstuhl Seminar 16141)
Immersive Analytics (Dagstuhl Seminar 16231)
Human-Game AI Interaction (Dagstuhl Seminar 22251)
Database Architectures for Modern Hardware (Dagstuhl Seminar 18251)
Global Measurement Framework (Dagstuhl Seminar 13472)
New Challenges in Parallelism (Dagstuhl Seminar 17451)
Opportunities and Risks of Blockchain Technologies (Dagstuhl Seminar 17132)
AI-Augmented Facilities: Bridging Experiment and Simulation with ML (Dagstuhl Seminar 23132)
Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141)
Security of Machine Learning (Dagstuhl Seminar 22281)
Mathematical and Computational Foundations of Learning Theory (Dagstuhl Seminar 15361)
Hardware Support for Cloud Database Systems in the Post-Moore's Law Era (Dagstuhl Seminar 24162)
Data Structures and Advanced Models of Computation on Big Data (Dagstuhl Seminar 16101)