yusuke1997/dblp-id-title huggingface dataset:
An Analysis of a Selecto-Lamarckian Model of Multimemetic Algorithms with Dynamic Self-organized Topology
Probabilistic Analysis of Long-Term Swarm Performance under Spatial Interferences
Regularized Stacked Auto-Encoder Based Pre-training for Generalization of Multi-layer Perceptron
Mortal Organisms Rescue Immortal Organisms from Evolutionary Inertness: Perspective of the Programmed Self-decomposition Model
An Easy Automata Based Algorithm for Testing Coding Properties of Infinite Sets of (DNA) Words
An Efficient Biomechanical Cell Model to Simulate Large Multi-cellular Tissue Morphogenesis: Application to Cell Sorting Simulation on GPU
Parallel Multi-Objective Genetic Algorithm - GPU Accelerated Asynchronously Distributed NSGA II
How to Implement a Non-uniform or Non-closed Shuffle
Morphogenesis Model for Systematic Simulation of Forms' Co-evolution with Constraints: Application to Mitosis
An Evolutionary Algorithm Based on Graph Theory Metrics for Fuzzy Cognitive Maps Learning
Computational Modelling of the Interruptional Activities between Transposable Elements
Detecting Symmetry in Cellular Automata Generated Patterns Using Swarm Intelligence
Time-Space Complexity Advantages for Quantum Computing
Modeling Fluid Flow Induced by C. elegans Swimming at Low Reynolds Number
Fault Classification of a Centrifugal Pump in Normal and Noisy Environment with Artificial Neural Network and Support Vector Machine Enhanced by a Genetic Algorithm
Convolutional Variational Autoencoders for Audio Feature Representation in Speech Recognition Systems
Line Reconfiguration by Programmable Particles Maintaining Connectivity
Computing the Optimal Longest Queue Length in Torus Networks
On Post-processing the Results of Quantum Optimizers
Unconditionally Secure Quantum Bit Commitment Protocol Based on Incomplete Information
Comparing Different Operators and Models to Improve a Multiobjective Artificial Bee Colony Algorithm for Inferring Phylogenies
A Trajectory Algorithm to Solve the Relay Node Placement Problem in Wireless Sensor Networks
Robust Combinatorial Circuits in Chemical Reaction Networks
On Capacity with Incremental Learning by Simplified Chaotic Neural Network
How to Implement a Random Bisection Cut
Hybrid Metaheuristics in Combinatorial Optimization: A Tutorial
Analysing Emergent Dynamics of Evolving Computation in 2D Cellular Automata
Dynamic Heuristic Set Selection for Cross-Domain Selection Hyper-heuristics
DNA-Guided Assembly of Nanocellulose Meshes
A Sampling-Based Metaheuristic for the Orienteering Problem with Stochastic Travel Times
Parallel Asynchronous Memetic Optimization for Freeform Optical Design
Learning Grammar Rules in Probabilistic Grammar-Based Genetic Programming
Determining Player Skill in the Game of Go with Deep Neural Networks
Adaptive Coordination of Multiple Learning Strategies in Brains and Robots
Typing Quantum Superpositions and Measurement
Inferring Multiobjective Phylogenetic Hypotheses by Using a Parallel Indicator-Based Evolutionary Algorithm
The Fuel-Efficient Platooning of Heavy Duty Vehicles by Mathematical Programming and Genetic Algorithm
Theory and Practice of Natural Computing - Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings
Generating DNA Code Words Using Forbidding and Enforcing Systems
Generalization in Maze Navigation Using Grammatical Evolution and Novelty Search
A Quantum Annealing Approach to Biclustering
Ant-Based Generation Constructive Hyper-heuristics for the Movie Scene Scheduling Problem
Hierarchical Clustering of DNA Microarray Data Using a Hybrid of Bacterial Foraging and Differential Evolution
Decreasing Entropy: How Wide to Open the Window?
GPU-Accelerated Evolutionary Induction of Regression Trees
Integrative Biological, Cognitive and Affective Modeling of a Drug-Therapy for a Post-traumatic Stress Disorder
Evolutionary Approach for Finding Correlation Immune Boolean Functions of Order t with Minimal Hamming Weight
Quantum and Reversible Verification of Proofs Using Constant Memory Space
Application of STRIM to Datasets Generated by Partial Correspondence Hypothesis
EvoSphere: The World of Robot Evolution
How the "Baldwin Effect" Can Guide Evolution in Dynamic Environments
Reliable Self-assembly by Self-triggered Activation of Enveloped DNA Tiles
Wolbachia Infection Improves Genetic Algorithms as Optimization Procedure
Securely Computing the Three-Input Majority Function with Eight Cards
Multi-Noisy-objective Optimization Based on Prediction of Worst-Case Performance
Interactive Sensor-Based Virtual Experiment Digital Textbook System on Smart Phone and Learning Cloud
Landscape-Aware Constraint Handling Applied to Differential Evolution
Hamming Distance Kernelisation via Topological Quantum Computation
A Formal Framework for Composing Qualitative Models of Biological Systems
Optimizing Fleet Staging of Air Ambulances in the Province of Ontario
Topological Classification of RNA Structures via Intersection Graph
Fuzzy Petri Nets with Linear Orders for Intervals
Computing Preimages and Ancestors in Reaction Systems
A Linear Constrained Optimization Benchmark for Probabilistic Search Algorithms: The Rotated Klee-Minty Problem
It Is Time to Dissolve Old Dichotomies in Order to Grasp the Whole Picture of Cognition
Genetic Algorithm for Optimization of the Replacement Schedules for Major Surface Combatants
A Hierarchical Approach to Grammar-Guided Genetic Programming: The Case of Scheduling in Heterogeneous Networks
Attacks on Fixed Apparatus Quantum Key Distribution Schemes
Quantum Algorithms for the Most Frequently String Search, Intersection of Two String Sequences and Sorting of Strings Problems
Solving 2D-Pattern Matching with Networks of Picture Processors
Fuzzy Linguistic Labels in Multi-expert Decision Making
MOEA/D with Adaptative Number of Weight Vectors
Theta Palindromes in Theta Conjugates
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity
The Power of Extra Analog Neuron
Nonlinear Regression in Dynamic Environments Using Particle Swarm Optimization
Theory and Practice of Natural Computing - 9th International Conference, TPNC 2020, Taoyuan, Taiwan, December 7-9, 2020, Proceedings
Theory and Practice of Natural Computing - 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings
From Practice to Theory: The "Bright Illumination" Attack on Quantum Key Distribution Systems
Automated Design of Genetic Programming Classification Algorithms for Financial Forecasting Using Evolutionary Algorithms
Theory and Practice of Natural Computing - 7th International Conference, TPNC 2018, Dublin, Ireland, December 12-14, 2018, Proceedings
Tighter Guarantees for the Compressive Multi-layer Perceptron
A Quantitative Approach for Detecting Symmetries and Complexity in 2D Plane
Boolean Recombinase-Based Devices
Watson-Crick Partial Words
Radial Basis Function Networks Simulation of Age-Structure Population
Yield Optimization Strategies for (DNA) Staged Tile Assembly Systems
Long-Short Term Memory Network for RNA Structure Profiling Super-Resolution
Stochastic Mechanisms of Growth and Branching in Mediterranean Coral Colonies
Neural Networks Solving Free Final Time Optimal Control Problem
Exploring Target Change Related Fitness Reduction in the Moving Point Dynamic Environment
Optimizing Convolutional Neural Networks for Embedded Systems by Means of Neuroevolution
On Injecting Entropy-Like Features into Deep Neural Networks for Content Relevance Assessment
Self-organised Aggregation in Swarms of Robots with Informed Robots
Parameterized Message-Passing Metaheuristic Schemes on a Heterogeneous Computing System
Theory and Practice of Natural Computing - 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9-11, 2019, Proceedings
Unavoidable Sets and Regularity of Languages Generated by (1, 3)-Circular Splicing Systems
Theory and Practice of Natural Computing - Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings
The Fragility of Quantum Information?
Bezier Curve Parameterization Methods for Solving Optimal Control Problems of SIR Model
Quantum Secret Communication without an Encryption Key
Implementation of Turing Machine Using DNA Strand Displacement
Managing Natural Noise in Recommender Systems
Extrapolated States, Void States, and a Huge Novel Class of Distillable Entangled States
Explainable AI and Fuzzy Logic Systems
Human-Inspired Socially-Aware Interfaces
The Design of (Almost) Disjunct Matrices by Evolutionary Algorithms
Novel Ensembling Methods for Dermatological Image Classification
A Generalized Minimum-Time Minimum-State-Change FSSP Algorithm
Poisson Equation Solution and Its Gradient Vector Field to Geometric Features Detection
Evolutionary Scheduling for Mobile Content Pre-fetching
Solving Hard Problems by Protein Folding?
An Analysis of Evolutionary Algorithms for Multiobjective Optimization of Structure and Learning of Fuzzy Cognitive Maps Based on Multidimensional Medical Data
A Smart Discovery Service in Internet of Things Using Swarm Intelligence
Theory and Applications of DNA Codeword Design
Classically Time-Controlled Quantum Automata
A Three-Player Envy-Free Discrete Division Protocol for Mixed Manna
Gaussian-kernel c-means Clustering Algorithms
Natural and Efficient Subtraction Operation in Carry Value Transformation (CVT)-Exclusive OR (XOR) Paradigm
Maze Exploration with Molecular-Scale Walkers
Operation Insertion on the Conjugacy and Commutativity of Words
Multi-memetic Mind Evolutionary Computation Algorithm Based on the Landscape Analysis
Online Gait Learning for Modular Robots with Arbitrary Shapes and Sizes
Relating an Adaptive Network's Structure to Its Emerging Behaviour for Hebbian Learning
Differential Evolution Algorithm: Recent Advances
Symbolic Analysis of Machine Behaviour and the Emergence of the Machine Language
Spatial Types: A Scheme for Specifying Complex Cellular Automata to Explore Artificial Physics
Using Dynamic, Full Cache Locking and Genetic Algorithms for Cache Size Minimization in Multitasking, Preemptive, Real-Time Systems
Recent Results and Open Problems in Evolutionary Multiobjective Optimization
Cellular Automaton Based Motion Planning Algorithms for Mobile Sensor Networks
Tissue P Systems with Cell Separation: Upper Bound by PSPACE
Learning from Uncertain Data Using Possibilistic Artificial Immune Recognition Systems
Bio-Inspired Spiking Neural Networks for Facial Expression Recognition: Generalisation Investigation
A Multi-objective Evolutionary Approach to Pareto Optimal Model Trees. A Preliminary Study
Evolution of Locomotion Gaits for Quadrupedal Robots and Reality Gap Characterization
Differential Evolution-Based Weighted Combination of Distance Metrics for k-means Clustering
Design of a Minimal System for Self-replication of Rectangular Patterns of DNA Tiles
Comparing the Optimization Behaviour of Heuristics with Topology Based Visualization
Theory and Practice of Natural Computing - 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings
A Study on Efficient Asynchronous Parallel Multi-objective Evolutionary Algorithm with Waiting Time Limitation
A Model for the Emergence of Coded Life
Multi-party Computation Based on Physical Coins
Patterns and Their Interaction in Excitable Media on Face-Centered Cubic Lattice
Quantum-Inspired Algorithm with Evolution Strategy
A Multi-objective Approach to Solve the Location Areas Problem
Deep Reinforcement Learning for Multi-satellite Collection Scheduling
Improving Resource Allocation in MOEA/D with Decision-Space Diversity Metrics
Computational Intelligence in Astronomy - A Win-Win Situation
Learning Interval-Valued Fuzzy Cognitive Maps with PSO Algorithm for Abnormal Stock Return Prediction
Five-Card Secure Computations Using Unequal Division Shuffle
A New Version of the Multiobjective Artificial Bee Colony Algorithm for Optimizing the Location Areas Planning in a Realistic Network
Fuel Efficient Truck Platooning with Time Restrictions and Multiple Speeds Solved by a Particle Swarm Optimisation
Ultrametric Vs. Quantum Query Algorithms
Network-Oriented Modeling of the Interaction of Adaptive Joint Decision Making, Bonding and Mirroring
Model Predictive Control of Linear Parameter Varying Systems Based on a Recurrent Neural Network
On the Security of Interferometric Quantum Key Distribution
Theory and Practice of Natural Computing - Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings
Non-abelian Gauge-Invariant Cellular Automata
A Discrete Artificial Bee Colony Algorithm Based on Similarity for Graph Coloring Problems
Card-Based Protocol Against Actively Revealing Card Attack
A Content-Based Recommendation Approach Using Semantic User Profile in E-recruitment
Splicing-Inspired Recognition and Composition of Musical Collectives Styles
A Two-Dimensional Extension of Insertion Systems
Combining Finite Element Method and L-Systems Using Natural Information Flow Propagation to Simulate Growing Dynamical Systems
General Quantum Encryption Scheme Based on Quantum Memory
Three Analog Neurons Are Turing Universal
Migration Threshold Tuning in the Deterministic Dendritic Cell Algorithm
Historical Markings in Neuroevolution of Augmenting Topologies Revisited
Adaptive Task Allocation for Planar Construction Using Response Threshold Model
Simulating Stochastic Dynamic Interactions with Spatial Information and Flux
Cellular Programming
Localized Load Balancing in RFID Systems
Network Reification as a Unified Approach to Represent Network Adaptation Principles Within a Network
Modelling Curvature Effects Using L-Systems: From Discrete and Deterministic to Continuous and Stochastic
Heat-Bath Algorithmic Cooling with Correlated-Qubits Relaxation
Flexible Generalized Fuzzy Petri Nets for Rule-Based Systems
A Genetic Algorithm for Evolving Plateaued Cryptographic Boolean Functions
Scalable Neuroevolution for Reinforcement Learning
Theory and Practice of Natural Computing - First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings
Approach for Recognizing Allophonic Sounds of the Classical Arabic Based on Quran Recitations
Generation of Linguistic Advices for Saving Energy: Architecture
Information-Theoretic Self-compression of Multi-layered Neural Networks
Discrete Geodesics and Cellular Automata
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators
ARCH-COMP23 Category Report: Stochastic Models
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September 2022
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021
Guaranteed State Estimation in CORA 2021
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP22 Category Report: Stochastic Models
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification
Verification of Collision Avoidance for CommonRoad Traffic Scenarios
ARCH-COMP 2021 Category Report: Falsification with Validation of Results
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Implementation of Ellipsoidal Operations in CORA 2022
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), San Antonio, Texas, USA, May 9, 2023
ARCH-COMP 2020 Category Report: Falsification
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP23 Repeatability Evaluation Report
Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems
ARCH-COMP21 Repeatability Evaluation Report
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
Analysis of Real-Time Control Systems using First-Order Continuization
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP20 Category Report: Stochastic Models
ARCH-COMP20 Repeatability Evaluation Report
ARCH-COMP22 Repeatability Evaluation Report
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving
ARCH-COMP21 Category Report: Stochastic Models
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
Benchmarks for the Formal Verification of Power Systems
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars
ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving
ARCH-COMP23 Category Report: Falsification
ORBITADOR: A tool to analyze the stability of periodical dynamical systems
Closed-Loop ACAS Xu Neural Network Verification
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge)
ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Checking and Establishing Reachset Conformance in CORA 2023
Adaptive Guideline-based Treatment Workflows with AdaptFlow
Computer-based Support for Clinical Guidelines and Protocols - Proceedings of the Symposium on Computerized Guidelines and Protocols, CGP 2004, Prague, Czech Republic, 12-14 April, 2004
Is Workflow Management Appropriate for Therapy Planning?
A Multiple-Ontology Customizable Search Interface for Retrieval of Clinical Guidelines
Translating Arden MLMs into GLIF Guidelines - A Case Study of Hyperkalemia Patient Screening
Clinical Knowledge Management to Support Evidence-Based Medicine
Advanced Temporal Data Abstraction for Guideline Execution
A Description Logics Approach to CGPs
Communicating the Logic of a Treatment Plan Formulated in Asbru to Domain Experts
Reminder-based or on-demand decision support systems: a preliminary study in primary care with the management of hypertension
PIERCE Program: Informatics Support for Multi-Site Clinical Research: an Environment for Consensual Use of Clinical Protocols and Clinical Trials
Computer-Based Support for Clinical Guidelines and Protocols - Proceedings of EWGLP 2000, Leipzig, Germany
Modelling Clinical Goals: a Corpus of Examples and a Tentative Ontology
Specification, Execution and Management of Clinical Test Ordering Protocols: a Database Approach
Transforming Written Guidelines into Electronic Formats - International Perspectives
Towards a Flexible Integration of Clinical Guideline Systems with Medical Ontologies and Medical Information Systems
Using a Guideline-Centered Approach for the Design of a Clinical Decision Support System To Promote Smoking Cessation
The GLARE Approach to Clinical Guidelines: Main Features
Standardized Terminology for Clinical Trial Protocols Based on Top-Level Ontological Categories
Representation Formalisms and Computational Methods for Modeling Guideline-Based Patient Care
An Experiment in Sharing and Reusing OncoDoc's Breast Cancer Guideline Knowledge
Developing A Knowledge-based Tool for Authoring Clinical Trial Protocols
The Digital Electronic Guideline Library (DeGeL): A Hybrid Framework for Representation and Use of Clinical Guidelines
Tracing the Formalization Steps of Textual Guidelines
Protocure: Supporting the Development of Medical Protocols through Formal Methods
Mark-up based analysis of narrative guidelines with the Stepper tool
Non-Compliance with Guidelines: Motivations and Consequences in a case study
Analysis of guideline compliance - a data mining approach
Decision Support and Knowledge Management in Oncology using Hierarchical Classification
Automating Dynamic Decision Model Construction to Support Clinical Practice Guideline Development
The SAGE Guideline Modeling: Motivation and Methodology
Guide-X - a Step-by-Step, Markup-Based Approach to Guideline Formalisation
The PROforma Guideline Specification Language: Progress and Prospects
A Generic Interface to XML Documents for Guidance Information
TimeWrap - A Method for Automatic Transformation of Structured Guideline Components into Formal Process-Representations
Proceedings of the Workshop on Advanced Visual Interfaces and Interactions in Cultural Heritage (AVICH 2024) co-located with 17th ACM Conference on Advanced Visual Interfaces (AVI 2024), Arenzano (Genoa), Italy, June 4, 2024
Querying Prosopographic Datasets: a Case Study on Ancient Near Eastern Persons in Cuneiform Sources
Designing a Theoretically Motivated Animation System for Environment Aware Virtual Humans
Heights of Glory: Design Thinking to Enhance Battle Monuments Visits via Augmented Reality
Mobile Museum Visitors Guide based on an Indoor Localization System using Deep Learning-based Image Recognition
Virtual Tourism: Towards Better User Experience in Online Virtual Tours
Bringing the Sea Back to Life: An Augmented Reality Voyage in a Maritime Heritage Museum
Virtual recreation of an interactive multimedia art installation from 1977
Information Visualization in Semantically Enhanced Digital Libraries for Ancient Manuscripts and Books
Engaging Users in Writing Imaginary Conversations on Cultural Heritage Paintings
A flexible QR-code infrastructure for heritage
Designing Inclusive Cultural Heritage Experiences - an Academic Course on Enhancing Museum Accessibility for Cognitive Impairment Visitors
Towards Social Robot-based Inclusive Museum Experiences for Children with ASD
Managing Vulnerabilities in Your Commercial-Off-The-Shelf (COTS) Systems Using an Industry Standards Effort (CVE)
Interoperability "Pain Points" in SMEs
ISOAS: Through an independent SOA Security Specification
Delivery Improvement for Transport Companies
Towards a COTS-Based Development Environment
CMMI Compliance in COTS-Based Development
Software Fault-Tolerance with Off-the-Shelf SQL Servers
The Necessary Legal Approach to COTS Safety and COTS Liability in European Single Market
COTS-Based Software Systems, Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings
Identifying Evolvability for Integration
Is SOA Real?
COTS and Open Source Software Components: Are They Really Different on the Battlefield?
Using DSL for Automatic Generation of Software Connectors
Security in Large System Acquisition
Software IC Revised: A New Approach of Component-Based Software Design with Software Slots
Challenges of COTS IV & V
Risk Reduction in COTS Software Selection with BASIS
The Integration of COTS/GOTS within NASA's HST Command and Control System
Ten Signs of a Good Reuse Management Plan
Issues in Developing Security Wrapper Technology for COTS Software Products
Tutorial 4: Adopting SOA
MDA Redux: Practical Realization of Model Driven Architecture
Developing Realistic Approaches for Migration of Legacy Assets to SOA Environments
Consumer-Specified Service License Selection and Composition
Workshop: Assessing the Quality of a Business Process Implemented across Systems of Systems
Component Adaptation for Correctness in Composite Systems
The COTS Product Market: An EU Legal Perspective