yusuke1997/dblp-id-title huggingface dataset:
Unconventional Computation and Natural Computation - 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings
Using Genetic Algorithms to Evolve Behavior in Cellular Automata
Fast Arithmetic in Algorithmic Self-assembly
Computational Mechanics: Natural Computation and Self-organization
Entropy Transformation Measures for Computational Capacity
A Geometrical Allosteric DNA Switch
Lower Bounds on the Computational Power of an Optical Model of Computation
Geometrical Accumulations and Computably Enumerable Real Numbers
Can Anything from Noether's Theorem Be Salvaged for Discrete Dynamical Systems?
Reservoir Computing Approach to Robust Computation Using Unreliable Nanoscale Networks
A Network-Based Computational Model with Learning
Global Network Cooperation Catalysed by a Small Prosocial Migrant Clique
P Systems Controlled by General Topologies
Distributed Learning of Wardrop Equilibria
Duplications and Pseudo-Duplications
Gravitational Topological Quantum Computation
Developmental Computing
The Logic and Topology of Non-locality and Contextuality
An Exponentially Growing Nubot System Without State Changes
Unconventional Computation - 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings
Reasoning As Though
Unconventional Computation, 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, 2005, Proceedings
Discrete Discs and Broadcasting Sequences
Networks of Evolutionary Picture Processors with Filtered Connections
Flower Pollination Algorithm for Global Optimization
A New Representation of Chaitin Omega Number Based on Compressible Strings
On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata
A Tutorial on Analog Computation: Computing Functions over the Reals
Towards a Theory of Self-constructing Automata
Descrambling Order Analysis in Ciliates
Babbage Meets Zuse: A Minimal Mechanical Computer
Computation in Sofic Quantum Dynamical Systems
Card-Based Overwriting Protocol for Equality Function and Applications
Nanocomputing by Self-assembly
Structural DNA Nanotechnology: Molecular Construction and Computation
Mechanical Sequential Counting with Liquid Marbles
On String Languages Generated by Sequential Spiking Neural P Systems Based on Maximum Spike Number
Quantum Random Active Element Machine
On String Reading Stateless Multicounter 5′ → 3′ Watson-Crick Automata - (Extended Abstract)
Universal Continuous Variable Quantum Computation in the Micromaser
Evolving Carbon Nanotube Reservoir Computers
On Reversible Cellular Automata with Finite Cell Array
On the Simulation Power of Surface Chemical Reaction Networks
Thermodynamically Favorable Computation via Tile Self-assembly
Unconventional Computation and Natural Computation - 18th International Conference, UCNC 2019, Tokyo, Japan, June 3-7, 2019, Proceedings
Unconventional Computation and Natural Computation - 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings
On DNA-Based Gellular Automata
Doubles and Negatives are Positive (in Self-assembly)
Self-Assembly of 4-Sided Fractals in the Two-Handed Tile Assembly Model
Expressive Power of Non-deterministic Evolving Recurrent Neural Networks in Terms of Their Attractor Dynamics
Handling Markov Chains with Membrane Computing
Towards an All-Optical Soliton FFT in the 3NLS-Domain
Self-assembled DC Resistive Circuits with Self-controlled Voltage-Based Growth
The Role of the Representational Entity in Physical Computing
Simulation of Multiple Stages in Single Bin Active Tile Self-assembly
Efficient Card-Based Protocols for Generating a Hidden Random Permutation Without Fixed Points
The Holy Grail: Finding the Genetic Bases of Phenotypic Characters
Characterising Enzymes for Information Processing: Towards an Artificial Experimenter
Quantum Algorithm for Dynamic Programming Approach for DAGs. Applications for Zhegalkin Polynomial Evaluation and Some Problems on DAGs
Unconventional Computation, 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, Proceedings
Inference with DNA Molecules
Computing by Self-reproduction: Autopoietic Automata
Spatial Correlations in the Qubit Properties of D-Wave 2000Q Measured and Simulated Qubit Networks
Quantum Finite State Automata over Infinite Words
Generalized Membrane Systems with Dynamical Structure, Petri Nets, and Multiset Approximation Spaces
Extended Watson-Crick L Systems with Regular Trigger Languages
Scaled Tree Fractals Do not Strictly Self-assemble
Phase Transitions in Swarm Optimization Algorithms
Modeling Syntactic Complexity with P Systems: A Preview
Numerical Analysis of Quantum Speed Limits: Controlled Quantum Spin Chain Systems with Constrained Control Functions
Quantum Experiments Can Test Mathematical Undecidability
Descriptional Complexity of Tissue-Like P Systems with Cell Division
Towards Temporal Logic Computation Using DNA Strand Displacement Reactions
Software Testing in Computable Analysis
Unconventional Optimizer Development
Rate-Independent Continuous Inhibitory Chemical Reaction Networks Are Turing-Universal
Tangle Machines
High Quality Circuit-Based 3-SAT Mappings for Oscillator Ising Machines
Pseudo-inversion on Formal Languages
Symbol Representations in Evolving Droplet Computers
OIM: Oscillator-Based Ising Machines for Solving Combinatorial Optimisation Problems
An Investigation to Test Spectral Segments as Bacterial Biomarkers
On the Brightness of the Thomson Lamp: A Prolegomenon to Quantum Recursion Theory
On Spiking Neural P Systems and Partially Blind Counter Machines
Array Insertion and Deletion P Systems
Producibility in Hierarchical Self-assembly
An FPGA Implementation of a Distributed Virtual Machine
Algorithms for Inferring Context-Sensitive L-Systems
Real-Time Computability of Real Numbers by Chemical Reaction Networks
Unconventional Models of Computation Through Non-standard Logic Circuits
The Abstract Immune System Algorithm
Asynchronous Dynamics of Boolean Automata Double-Cycles
Model-Based Computation
Boolean Logic Gates from a Single Memristor via Low-Level Sequential Logic
Synchronization in P Modules
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions
Cloning for Heteroscedasticity Elimination in GMDH Learning Procedure
On Pure Catalytic P Systems
Bonding Grammars
Computing with Magnetic Thin Films: Using Film Geometry to Improve Dynamics
Computing Naturally in the Billiard Ball Model
Finite State Transducers with Intuition
Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings
A P System Parsing Word Derivatives
Going Beyond Turing with P Automata: Partial Adult Halting and Regular Observer ω-Languages
Asynchronous Spiking Neural P Systems with Structural Plasticity
Tractional Motion Machines: Tangent-Managing Planar Mechanisms as Analog Computers and Educational Artifacts
Approximating the Behaviours of Physarum polycephalum for the Construction and Minimisation of Synthetic Transport Networks
GUBS a Language for Synthetic Biology: Specification and Compilation
Geometric Computations by Broadcasting Automata on the Integer Grid
Ultrafilter and Non-standard Turing Machines
Computations Inspired from the Brain
Physical Systems as Constructive Logics
Hypergraph Automata: A Theoretical Model for Patterned Self-assembly
Unconventional Computation, 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings
Awakening the Analogue Computer: Rubel's Extended Analog Computer Workshop
Platform Color Designs for Interactive Molecular Arrangements
Size Lower Bounds for Quantum Automata
The Role of Structure and Complexity on Reservoir Computing Quality
The Power of Analogue-Digital Machines - (Extended Abstract)
Non-cooperative Algorithms in Self-assembly
A Cost/Speed/Reliability Tradeoff to Erasing
Bistable Latch Ising Machines
Unconventional Computing, 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008. Proceedings
Affine Automata Verifiers
Immune Systems and Computation: An Interdisciplinary Adventure
Viewing Rate-Based Neurons as Biophysical Conductance Outputting Models
Tug-of-War Model for Multi-armed Bandit Problem
Swarm-Based Multiset Rewriting Computing Models
Phase Transition and Strong Predictability
Unconventional Computation and Natural Computation - 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings
Oracles and Advice as Measurements
NMR-Based Encoding and Processing of Alphanumeric Information
Artifice, Interpretation and Nature: Key Categories in Radiology Work
Exact Simulation of One-Dimensional Chaotic Dynamical Systems Using Algebraic Numbers
The Lyapunov Exponents of Reversible Cellular Automata Are Uncomputable
Traversal Languages Capturing Isomorphism Classes of Sierpiński Gaskets
Reachability Problems for Continuous Chemical Reaction Networks
Distributed Quantum Programming
Quantum Computing Meets the Real World
Rational Models of Cognitive Control
In Vitro Implementation of a Stack Data Structure Based on DNA Strand Displacement
Advances in I/O, Speedup, and Universality on Colossus, an Unconventional Computer
Computing Domains of Attraction for Planar Dynamics
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode
Computing with Planar Toppling Domino Arrangements
Computations with Grossone-Based Infinities
The Number of Orbits of Periodic Box-Ball Systems
Combinatorial Optimization in Pattern Assembly - (Extended Abstract)
Formalisation vs. Understanding - A Case Study in Isabelle
Majority Adder Implementation by Competing Patterns in Life-Like Rule B 2/ S 2345
Simulating Metabolic Processes Using an Architecture Based on Networks of Bio-inspired Processors
Computing Omega-Limit Sets in Linear Dynamical Systems
Membrane Dissolution and Division in P
Organic User Interfaces (Oui!): Designing Computers in Any Way Shape or Form
On the Power of Bio-Turing Machines
Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder
Quantum Query Algorithms for Conjunctions
Computations with Uncertain Time Constraints: Effects on Parallelism and Universality
Optimizing Potential Information Transfer with Self-referential Memory
Unconventional Computation and Natural Computation - 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015, Proceedings
On One Unconventional Framework for Computation
A Computational Model for Self-assembling Flexible Tiles
Quantum Wireless Sensor Networks
On Normal Forms for Networks of Evolutionary Processors
Diophantine Equations and Computation
DiSCUS: A Simulation Platform for Conjugation Computing
Undecidability of the Topological Entropy of Reversible Cellular Automata and Related Problems
The Expressiveness of Concentration Controlled P Systems
Computable Scientists, Uncomputable World - (Abstract)
DNA Origami Words and Rewriting Systems
Optimal Algorithmic Cooling of Spins
Reversibility and Determinism in Sequential Multiset Rewriting
Fault-Tolerance in Biochemical Systems
Steps toward Developing an Artificial Cell Signaling Model Applied to Distributed Fault Detection
Self-assembly of Decidable Sets
Weighted Finite Automata: Computing with Different Topologies
Robust Real-Time Computing with Chemical Reaction Networks
Membrane Computing at Twelve Years(Back to Turku)
Fault Pruning: Robust Training of Neural Networks with Memristive Weights
Agent Motion Planning as Block Asynchronous Cellular Automata: Pushing, Pulling, Suplexing, and More
Optimal Staged Self-assembly of Linear Assemblies
Evolvable Hardware: From Applications to Implications for the Theory of Computation
Random Number Selection in Self-assembly
On Faster Integer Calculations Using Non-arithmetic Primitives
Lower Bounds on the Complexity of the Wavelength-Based Machine
A Twelve-State Optimum-Time Synchronization Algorithm for Two-Dimensional Rectangular Cellular Arrays
String Matching with Involutions
A Representative Framework for Implementing Quantum Finite Automata on Real Devices
Generative Power of Matrix Insertion-Deletion Systems with Context-Free Insertion or Deletion
A Methodology for Comparing and Benchmarking Quantum Devices
Robust Evaluation of Expressions by Distributed Virtual Machines
Computing Through Gene Assembly
Voting with a Logarithmic Number of Cards
Gardening Cyber-Physical Systems
Unconventional Computation and Natural Computation - 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings
From Gene Regulation to Stochastic Fusion
Unconventional Arithmetic: A System for Computation Using Action Potentials
Characterising Enzymes for Information Processing: Microfluidics for Autonomous Experimentation
Zero-Knowledge Proof Protocol for Cryptarithmetic Using Dihedral Cards
Abstract Geometrical Computation and Computable Analysis
Training a Carbon-Nanotube/Liquid Crystal Data Classifier Using Evolutionary Algorithms
Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems
Brain Dynamics Promotes Function
Geometric Methods for Analysing Quantum Speed Limits: Time-Dependent Controlled Quantum Systems with Constrained Control Functions
Exploring the Robustness of Magnetic Ring Arrays Reservoir Computing with Linear Field Calibration
Resource-Competing Oscillator Network as a Model of Amoeba-Based Neurocomputer
Mecobo: A Hardware and Software Platform for In Materio Evolution
BFS Solution for Disjoint Paths in P Systems
Blockchain technology using for automation of business processes of the enterprise
Assessment of ergodesign level of unmanned aerial system
Proceedings of the International Workshop on Data Analytics (WDA 2025), Kyiv, Ukraine, January 6, 2025
Automated management system for accident investigation support in civil aviation
Data processing for mathematical model building with taking into account heteroscedasticity
Features of data processing in UAV control system with non-orthogonal measuring device and robust controller
Chaotic data processing generator design by using biangular transformation
Blurred Correlation Versus Correlation Blur
Estimating the Statistics of Multi-object Anatomic Geometry Using Inter-object Relationships
Using Top-Points as Interest Points for Image Matching
The Bessel Scale-Space
Essential Loops and Their Relevance for Skeletons and Symmetry Sets
Pre-symmetry Sets of 3D Shapes
Histogram Statistics of Local Model-Relative Image Regions
Deep Structure of Images in Populations Via Geometric Models in Populations
A Note on Local Morse Theory in Scale Space and Gaussian Deformations
A Riemannian Framework for the Processing of Tensor-Valued Images
Maximum Likely Scale Estimation
Deep Structure, Singularities, and Computer Vision, First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers
A Scale Invariant Covariance Structure on Jet Space
Adaptive Trees and Pose Identification from External Contours of Polyhedra
Exploiting Deep Structure
A Comparison of the Deep Structure of alpha -Scale Spaces
Irradiation Orientation from Obliquely Viewed Texture
Scale-Space Hierarchy of Singularities
Computing 3D Symmetry Sets; A Case Study
Transitions of Multi-scale Singularity Trees
Deep Structure from a Geometric Point of View
Linear Image Reconstruction from a Sparse Set of alpha -Scale Space Features by Means of Inner Products of Sobolev Type
From Stochastic Completion Fields to Tensor Voting
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006
Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, UITP@TPHOLs 2008, Montréal, Canada, August 22, 2008
Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs 2003, Rome, Italy, September 8, 2003
Konstruktionserklären und -verstehen - Elemente des Aufbaus eines Konstruktionsführungssystems
Erklärung im Gespräch - Erklärung im Mensch-Maschine-Dialog, Proceedings
Verständigungsprobleme und ihre Bedeutung für die computergestützte Vermittlung von Erklärungen
Erklärungen in technischen Expertensystemen
Die Erklärungskomponente LUX des Wissensrepräsentationssystems LUIGI
Erkläungsmodelle in der Wissenschaftstheorie und in der Künstlichen Intelligenz
Erklärungen und Beweise
Erklärung als argumentativer Gruppendiskurs
A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica
Practical Application of Model-Based Safety Analysis to the Design of Global Operating System of New Rolling Stock on Automatic Metro Lines
An Altarica-Based Modelling and Analysis Approach Enabling UAV Regulation Compliance
Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems
An Integrated Process for FDIR Design in Aerospace
AI4Green: A Framework for AI-Based Resource Optimizations for Reliable Applications
Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures
Integrating Existing Safety Analyses into SysML
Verification of Component Fault Trees Using Error Effect Simulations
Tiered Model-Based Safety Assessment
A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies
Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings
Reliability Evaluation of Reconfigurable NMR Architecture Supported with Hot Standby Spare: Markov Modeling and Formulation
DPN - Dependability Priority Numbers
U-Map: A Reference Map for Safe Handling of Runtime Uncertainties
Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems
Experience in Developing an Algorithm at the MBSA Level to Minimize the Complexity of Fault Trees During Automatic Generation from Design Data
A Practicable MBSA Modeling Process Using Altarica
A Domain Specific Language to Support HAZOP Studies of SysML Models
Automated Model-Based Attack Tree Analysis Using HiP-HOPS
Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica
MBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical Systems
Safety and Security Aspects of Fail-Operational Urban Surround perceptION (FUSION)
Optimal Scheduling of Preventive Maintenance for Safety Instrumented Systems Based on Mixed-Integer Programming
Model Synchronization: A Formal Framework for the Management of Heterogeneous Models
Interpretable and Trustworthy Attack Diagnosis for UAVs Using SafeML
An Approach for Validating Safety of Perception Software in Autonomous Driving Systems
A Systematic Approach to Analyzing Perception Architectures in Autonomous Vehicles
Towards a Unifying View of Fault Propagation Analyses and Notations
FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses
Multi-approach Based Safety Analysis of a Wastewater Treatment System
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study
metaFMEA-A Framework for Reusable FMEAs
On Efficiently Specifying Models for Model Checking
Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency
Towards the Derivation of Guidelines for the Deployment of Real-Time Tasks on a Multicore Processor
CODIF: Counterfactual Data-Augmentations for Estimating Perception Influencing Factors
Identification and Quantification of Hazardous Scenarios for Automated Driving
Model-Based Safety and Assessment - 9th International Symposium, IMBSA 2025, Athens, Greece, September 24-26, 2025, Proceedings
Cybersecurity Threat Detection Through Business Process Log Analysis
AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms
A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites Availability
MBSA Model-Exchange and Its Challenges
Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities
Safety Analysis Methods in Aerospace: A Case-Based Comparison of FTA and MBSA
Safer Skin Lesion Classification with Global Class Activation Probability Map Evaluation and SafeML
Analyzing Truck Platoons with Automata Learning and Model Checking
Safety Assessment of an Electrical System with AltaRica 3.0
Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques
MBSA in Aeronautics: A Way to Support Safety Activities
Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems
Adaptive Error and Sensor Management for Autonomous Vehicles: Model-Based Approach and Run-Time System
SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures
Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks
SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems
Model Based Approach for RAMS Analyses in the Space Domain with Capella Open-Source Tool
From Natural Language Requirement Specifications to Logic Properties
Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings
Handling Consistency Between Safety and System Models
SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities
Modeling the Variability of System Safety Analysis Using State-Machine Diagrams
Keep Your Distance: Determining Sampling and Distance Thresholds in Machine Learning Monitoring
Plug-and-Produce... Safely! - End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0
Model-Connected Safety Cases
COMPASTA: Extending TASTE with Formal Design and Verification Functionality
Model-Based Dependent Failure Analysis
Causal Bayesian Networks for Data-Driven Safety Analysis of Complex Systems
What Today's Serious Cyber Attacks on Cars Tell Us: Consequences for Automotive Security and Dependability
Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPA
A Model-Based Methodology to Formalize Specifications of Railway Systems
AI-Driven Data Management Framework for Quality Assurance in Additive Manufacturing: A Case Study on the TRUMPF TruPrint 1000
Learning-Based Testing for Safety Critical Automotive Applications
Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings
Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings
Model-Based Error Detection for Industrial Automation Systems Using LSTM Networks
Safety Analysis of a Data Center's Electrical System Using Production Trees
RAGuard: A Novel Approach for In-Context Safe Retrieval Augmented Generation for LLMs
Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems
Incorporating Failure of Machine Learning in Dynamic Probabilistic Safety Assurance
A Runtime Safety Analysis Concept for Open Adaptive Systems
Model-Based Safety Analysis: A Practical Experience
Analysing the Impact of Security Attacks on Safety Using SysML and Event-B
Model-Based Safety Assessment for Flight Control Systems: Methodology and Case Study
A Pattern-Based Approach towards the Guided Reuse of Safety Mechanisms in the Automotive Domain
The Information Meta Model for Machine Learning IM 3L : A Structured Approach to ML Integration in Engineering Systems
A Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems
Comparative Analysis of Non-colored and Colored Petri Net Models for Availability Assessment of Safety-Critical Cloud Software in Railways
An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems
Integrating Safety Design Artifacts into System Development Models Using SafeDeML
Performing Safety Analyses with AADL and AltaRica
Engineering Dynamic Risk and Capability Models to Improve Cooperation Efficiency Between Human Workers and Autonomous Mobile Robots in Shared Spaces
Tool Paper: Time Series Anomaly Detection Platform for MATLAB Simulink
ACEditor: A Modeling Tool for Specifying and Synthesizing Executable Assurance Cases from Fault Trees