yusuke1997/dblp-id-title huggingface dataset:
Quantitative µ-Calculus Analysis of Power Management in Wireless Networks
Synchronous Parallel Composition in a Process Calculus for Ecological Models
Testing Concurrent Objects with Application-Specific Schedulers
Analyzing a Formal Specification of Mondex Using Model Checking
Deterministic Logics for UL
A Mechanically Verified Theory of Contracts
Computing Preconditions and Postconditions of While Loops
Stochastic Pi-calculus Revisited
Program Verification Using Automatic Generation of Invariants
Software Services: Scientific Challenge or Industrial Hype?
Strong Call-by-Value and Multi Types
Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs
An Autonomous Data Language
Value-Based or Conflict-Based? Opacity Definitions for STMs
Guided Test Generation from CSP Models
Location Privacy via Geo-Indistinguishability
TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems
A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes
Partizan Games in Isabelle/HOLZF
Institutions for Behavioural Dynamic Logic with Binders
Fair Exchange Is Incomparable to Consensus
PRoTECT: Parallelized ConstRuction of SafeTy BarriEr Certificates for Nonlinear Polynomial SysTems
Model Checking Duration Calculus: A Practical Approach
History-Based Reasoning About Behavioral Subtyping
Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty
Modelling and Verifying Robotic Software that Uses Neural Networks
Reasoning About Co-Büchi Tree Automata
Card-Based Protocols with Single-Card Encoding
Specification and Verification of a MPI Implementation for a MP-SoC
Idempotent Relations in Isabelle/HOL
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces
An Automatic Mapping from Statecharts to Verilog
Polynomial Time Learner for Inferring Subclasses of Internal Contextual Grammars with Local Maximum Selectors
An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem
Pomsets for Process Management: A Healthcare Case Study
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi
Quotients of Unbounded Parallelism
Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes
Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks
Congruences and Bisimulations for Continuous-Time Stochastic Logic
Static Analysis of Concurrent Programs Using Ordinary Differential Equations
AlCons : Deductive Synthesis of Sorting Algorithms in Theorema
Bisimulation Congruences in the Calculus of Looping Sequences
A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems
Starvation-Free Monitors
Weak Stochastic Bisimulation for Non-markovian Processes
Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language
Handling Algebraic Properties in Automatic Analysis of Security Protocols
From Distributions to Probabilistic Reactive Programs
Revision Programs with Explicit Negation
A Theory of Software Product Line Refinement
Rigid Families for CCS and the π-calculus
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables
Ambiguity of Unary Symmetric Difference NFAs
Axiomatizing Extended Temporal Logic Fragments Via Instantiation
Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes
A Transformation from p-π to MSVL
SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage
Compositionality of Safe Communication in Systems of Team Automata
Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings
Security Research: Program Analysis Meets Security
Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa
Decision Procedures for the Formal Analysis of Software
Optimal Run Problem for Weighted Register Automata
Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams
Card-Minimal Protocols for Symmetric Boolean Functions of More than Seven Inputs
Partial Models and Weak Equivalence
An Abstract Model for Proving Safety of Autonomous Urban Traffic
Information Flow Certificates
A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy
Automatic Generation of CSP || B Skeletons from xUML Models
Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms
On Slicing of Programs with Input Statements
A First-Order Policy Language for History-Based Transaction Monitoring
Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
A Variety of Request-Response Specifications
Statistical Analysis of Non-deterministic Fork-Join Processes
Completeness of Abstract Domains for String Analysis of JavaScript Programs
Formal Grammars for Turn-Bounded Deterministic Context-Free Languages
A Summary of the Tutorials at ICTAC 2005
Regular Linear Temporal Logic
CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications
Verifying Android's Permission Model
The TLA + Proof System: Building a Heterogeneous Verification Platform
Constructing Open Systems via Consistent Components
A Logic for Quantum Circuits and Protocols
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems
Towards Efficient Verification of Systems with Dynamic Process Creation
Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Approximate Verification and Enumeration Problems
Maximizing Weighted Dominance in the Plane
On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions
Human-Cyber-Physical Automata and Their Synthesis
The Delay Monad and Restriction Categories
Everything Is PSPACE-Complete in Interaction Systems
Card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations
A High-Level Semantics for Program Execution under Total Store Order Memory
Automatic Refinement of Split Binary Semaphore
Fuzz Testing with Temporal Constraints
A Decidable Recursive Logic for Weighted Transition Systems
Optimal Route Synthesis in Space DTN Using Markov Decision Processes
Characterizing Locality (Encapsulation) with Bisimulation
Symbolic Computation via Program Transformation
A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules
Data Privacy Using MASKETEERTM
A Modality for Safe Resource Sharing and Code Reentrancy
Z/Eves and the Mondex Electronic Purse
Formalising Boost POSIX Regular Expression Matching
Revisiting Failure Detection and Consensus in Omission Failure Environments
Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting
Forward and Backward Simulations for Partially Observable Probability
On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems
A Type System with Subtyping for WebAssembly's Stack Polymorphism
Type Inference for Rank-2 Intersection Types Using Set Unification
C-clock-WS: A Timed Service-Oriented Calculus
A New Connective in Natural Deduction, and Its Application to Quantum Computing
A Specification Logic for Programs in the Probabilistic Guarded Command Language
Preemptive Type Checking in Dynamically Typed Languages
Disentangling the Gap Between Quantum and #SAT
Inter-slice Mobility Management in the Context of SDN/NFV Networks
An SLD-Resolution Calculus for Basic Serial Multimodal Logics
Synthesis of Petri Nets with Whole-Place Operations and Localities
Modular Reasoning for Message-Passing Programs
Symbolic Reachability for Process Algebras with Recursive Data Types
UTP Designs for Binary Multirelations
An Automata-Based View on Configurability and Uncertainty
CAAL: Concurrency Workbench, Aalborg Edition
Synchronous Agents, Verification, and Blame - A Deontic View
A New Approach for the Construction of Multiway Decision Graphs
Active Learning for Deterministic Bottom-Up Nominal Tree Automata
Instantiation for Parameterised Boolean Equation Systems
Implementation Correctness for Replicated Data Types, Categorically
Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms
A Game of Attribute Decomposition for Software Architecture Design
Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings
Enforcement of (Timed) Properties with Uncontrollable Events
A Graphical Theorem of the Alternative for UTVPI Constraints
Unsatisfiability of Comparison-Based Non-malleability for Commitments
Toward an Abstract Computer Virology
A Minimized Assumption Generation Method for Component-Based Software Verification
A Formal Approach to Heuristically Test Restorable Systems
Learning Probabilistic Automata Using Residuals
Smaller-State Implementations of 2D FSSP Algorithms - Recent Developments
Reverse Observation Equivalence Between Labelled State Transition Systems
Ensuring Correctness of Model Transformations While Remaining Decidable
Unification for \lambda -calculi Without Propagation Rules
An Interface Model of Software Components
Optimally Streaming Greedy Regular Expression Parsing
Inverse Monoids of Higher-Dimensional Strings
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
Quotienting the Delay Monad by Weak Bisimilarity
Derived-Term Automata for Extended Weighted Rational Expressions
A Class of Greedy Algorithms and Its Relation to Greedoids
A Predicate Spatial Logic and Model Checking for Mobile Processes
Reconciling Communication Delays and Negation
A PO Characterisation of Reconfiguration
Unifying Theories of Programming in Isabelle
MSO Logic and the Partial Order Semantics of Place/Transition-Nets
Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution
On Refinement of Software Architectures
A Rewriting Logic Sampler
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems
Ulam's Metric in Higher Dimensions
On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types
Verification of the Release-Acquire Semantics
Termination of Single-Path Polynomial Loop Programs
A Proof of Weak Termination Providing the Right Way to Terminate
Energy Games in Multiweighted Automata
Checking Modal Contracts for Virtually Timed Ambients
Combining Algebraic and Model-Based Test Case Generation
Logical Characterisation of Parameterised Bisimulations
Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables
A Denotational Semantical Model for Orc Language
A Set Automaton to Locate All Pattern Matches in a Term
Model-Based Engineering for Robotics with RoboChart and RoboTool
Capture-Avoiding Substitution as a Nominal Algebra
Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs
S-Narrowing for Constructor Systems
On the Correctness Problem for Serializability
Random Walks on Some Basic Classes of Digraphs
Implementing Hybrid Semantics: From Functional to Imperative
A Flight Rule Checker for the LADEE Lunar Spacecraft
Ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal Rewriting
Formal Verification of a Lock-Free Stack with Hazard Pointers
The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism
Mechanized Verification with Sharing
Calculational Design of a Regular Model Checker by Abstract Interpretation
Graphical Quadratic Algebra
Computing Branching Distances Using Quantitative Games
Alternating Automatic Register Machines
On Clock-Aware LTL Properties of Timed Automata
Mobile Ambients with Timers and Types
Replicative - Distribution Rules in P Systems with Active Membranes
Inferring Secrets by Guided Experiments
Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
nu -Types for Effects and Freshness Analysis
How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata
Interesting Properties of the Real-Time Conformance Relation
Skolem Machines and Geometric Logic
Learning Register Automata with Fresh Value Generation
Some Aspects of the Database Resilience
An Observational Model for Transactional Calculus of Services Orchestration
A Proof System in PADS
A Logical Calculus for Modelling Interferences
On the Complexity of Szilard Languages of Regulated Grammars
Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling
A Predicative Semantic Model for Integrating UML Models
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
Connecting Basic Proportional Thinking with Reasoning About Risks
Dictator Game with a Robot in Children with Autism Spectrum Disorders: Sharing is Predicted by Positive Attributions Towards the Agent
Expressing Rational Agency Through Pragmatic Meta-vocabularies
Does Replacing the Experimenter with an Ignorant Student Robot Improve the Success of Children with ASD in the False Belief Task?
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness - Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
Mental Representations About Tangible Programming in Early Childhood Education
Abductive Reasoning with Syllogistic Forms in Large Language Models
Coherence as Logical Consistency
NAO Robot to Help People with Alzheimer's Manage the Recall of Activities in Prospective Memory
Discharge of Responsibility as an Enhancer of Utilitarian Choices
The Crucial Role of Compositional Semantics in the Study of Reasoning
Video-Based Analysis of the Mechanical Design Process in a Student Dyadic Activity
Enhancing Pharmacology Education: Investigating the Efficacy of Serious Game-Based Learning Through Virtual Simulation
On Independence and Compound and Iterated Conditionals
Relationship Between Theory of Mind and Judgement Based on Intention in 4-7 Y.O. Children
Data Science and Environmental Sustainability: Mastering the Information and Knowledge
Human and Artificial Rationalities - Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
Does Cognitive Load Affect Explicit Anthropomorphism?
Physiological Anxiety Recognition
Are Humans Moral Creatures? A Dual-Process Approach for Natural Experiments of History
Designing Automated Systems for Learning Analysis
Narrative Empowerment for Intelligence: Structural Study Applied to Strategic Notes
Agent Rationality Under Partially Resolving Uncertainty and the Hurwicz Criterion
Robustness and Cultural Difference on Identifiable Victim Effect
Artificialization of Intelligence and Embodied Cognition
Research Trends in Information Accessibility to Web Content for Adults with Developmental Disabilities: A Literature Review
Development of Intention-Based Moral Judgement in Children and Adolescents with and Without Intellectual Disability
Physiological Characterization of Stress
Consciousness in AI: A Return to Fetishism or Technological Progress?
The Social Exchange Heuristic Operation During a One-Shot Prisoner's Dilemma Game
An Incremental Diagnosis Algorithm of Human Erroneous Decision Making
Emotion-Enhanced Pain Assessment Protocol
Technologies to Support Self-determination for People with Intellectual Disability and ASD
From Classical Rationality to Quantum Cognition
Trust in Algorithmic Advice Increases with Task Complexity
An Exploratory Literature Review of Robots and Their Interaction as Assistive Technology for Persons with Disabilities: Focus on Promoting Activity and Participation
The Effect of Initial Letters in Word Recognition: A Phonological or Positional Effect ?
Prospective Memory Training Using the Nao Robot in People with Dementia
The Effect of Screens on Children's Development: Concrete Action Taken in Schools, Closer to Families
Degrees of Intuition: Coherence in the New Dual Process Theory
Critical Thinking and Psychorhetoric for Promoting Environmental Awareness
The Learning Model for Data-Driven Decision Making of Collaborating Enterprises
Can We Really Learn in the Metaverse? A Discussion on Learning Through Immersive Technology
A Tribute to Kahneman and Tversky in the Context of Mathematics Education
Action Boundary in 2D-Cyberspace: A Critical Review of the Action Boundary Perception Tasks
Interplay of Conditional Reasoning and Politeness: The Role of Speaker Relationships in the Japanese Context
Can a Conversational Agent Pass Theory-of-Mind Tasks? A Case Study of ChatGPT with the Hinting, False Beliefs, and Strange Stories Paradigms
Mindfulness Is in the Eye of the Machine
Multi-agent Simulation of Violence Emergence in Protests
Effect of Brief Mindfulness Training on Cognitive Rigidity
Can Machines and Humans Use Negation When Describing Images?
An approach to automated interpretation of SOM
Self Organizing Maps in NLP: Exploration of Coreference Feature Space
Controlling Self-Organization and Handling Missing Values in SOM and GTM
SOM-Based Exploratory Analysis of Gene Expression Data
Spectral Clustering as an Automated SOM Segmentation Tool
Composition of Learning Patterns Using Spherical Self-Organizing Maps in Image Analysis with Subspace Classifier
Aggregating Self-Organizing Maps with Topology Preservation
Influence of Learning Rates and Neighboring Functions on Self-Organizing Maps
Exploiting the Structures of the U-Matrix
Generalized Self-Organizing Mixture Autoregressive Model
Short Circuit Incipient Fault Detection and Supervision in a Three-Phase Induction Motor with a SOM-Based Algorithm
Practical Approaches to Approximate Dominant Eigenvalues in Large Matrices
Topographic Measure Based on External Criteria for Self-Organizing Map
Improving individual predictions using social networks assortativity
Probabilistic extension and reject options for pairwise LVQ
Complex Variants of GLVQ Based on Wirtinger's Calculus
Spectral regularization in generalized matrix learning vector quantization
Gradient Based Learning in Vector Quantization Using Differentiable Kernels
Incremental learning with self-organizing maps
The Finnish Car Rejection Reasons Shown in an Interactive SOM Visualization Tool
Signal-Based Feature Extraction and SOM based Dimension Reduction in a Vibration Monitoring Microsystem
Generalizing Self-organizing Maps: Large-Scale Training of GMMs and Applications in Data Science
Non-Euclidean Principal Component Analysis and Oja's Learning Rule - Theoretical Aspects
FairGLVQ: Fairness in Partition-Based Classification
Incremental Figure-Ground Segmentation Using Localized Adaptive Metrics in LVQ
Network-Structured Particle Swarm Optimizer with Various Topology and Its Behaviors
How Many Dissimilarity/Kernel Self Organizing Map Variants Do We Need?
Advances in Self-Organizing Maps, Learning Vector Quantization, Interpretable Machine Learning, and Beyond - Proceedings of the 15th International Workshop, WSOM+ 2024, Mittweida, Germany, July 10-12, 2024
Functional Principal Component Learning Using Oja's Method and Sobolev Norms
Unsupervised Learning-Based Data Collection Planning with Dubins Vehicle and Constrained Data Retrieving Time
SOM and LVQ Classification of Endovascular Surgeons Using Motion-Based Metrics
Reliable Clustering Quality Estimation from Low to High Dimensional Data
Recursive Self-Organizing Maps
Self Organizing Maps as Models of Social Processes: The Case of Electoral Preferences
Multi-Dimensional Self-Organizing Maps on Massively Parallel Hardware
Comparison of Spectrum Cluster Analysis with PCA and Spherical SOM and Related Issues Not Amenable to PCA
Gamma-Filter Self-Organizing Neural Networks for Time Series Analysis
Optimization of Statistical Evaluation Measures for Classification by Median Learning Vector Quantization
Growing Graph Network Based on an Online Gaussian Mixture Model
Explaining Neural Networks - Deep and Shallow
Using SOMbrero to examine the economic convergence of European countries from 2001-2013
Process Phase Monitoring in Industrial Manufacturing Processes with a Hybrid Unsupervised Learning Strategy
Analysing the Structure of Semantic Concepts in Visual Databases
Towards an information-theoretic approach to kernel-based topographic map formation
Sparse Linear Combination of SOMs for Data Imputation: Application to Financial Database
Fusion of deep learning architectures, multilayer feedforward networks and learning vector quantizers for deep classification learning
Visualization and Classification of DNA Sequences Using Pareto Learning Self Organizing Maps Based on Frequency and Correlation Coefficient
Representing Semantic Graphs in a Self-Organizing Map
Exploring Financial Crises Data with Self-Organizing Maps (SOM)
Robust Adaptive SOMs Challenges in a Varied Datasets Analytics
Analytic Comparison of Self-Organising Maps
Classification of Chain-Link and Other Data with Spherical SOM
Adaptive Subspace Encoders Using Stochastic Vector Quantisers
Data dependent evaluation of dissimilarities in nearest prototype vector quantizers regarding their discriminating abilities
K-Nearest Neighbor Nonnegative Matrix Factorization for Learning a Mixture of Local SOM Models
Self-Organizing Maps in Earth Observation Data Cubes Analysis
Professional Trajectories of Workers Using Disconnected Self-Organizing Maps
Robustness of Generalized Learning Vector Quantization Models Against Adversarial Attacks
Metaheuristic optimization for automatic clustering of customer-oriented supply chain data
Nonlinear Blind Source Separation Using SOMs and Applications to Image Denoising
Requirements for the Learning of Multiple Dynamics
Evaluating SOM-based models in Text Classification Tasks for the Greek Language
Setting Vector Quantizer Resolution via Density Estimation Theory
Concept Mining with Self-Organizing Maps for the Semantic Web
Gaussian Selection Using Self-Organizing Map for Automatic Speech Recognition
Intuitive Volume Exploration through Spherical Self-Organizing Map
Gamma SOM for Temporal Sequence Processing
Unsupervised Weight-Based Cluster Labeling for Self-Organizing Maps
A Self-Organizing UMAP for Clustering
Adaptive basis functions for prototype-based classification of functional data
Short Review of Dimensionality Reduction Methods Based on Stochastic Neighbour Embedding
Low-Rank Kernel Space Representations in Prototype Learning
Verification of Metabolic Syndrome Checkup Data with a Self-Organizing Map (SOM): Towards a Simple Judging Tool
Passive Concept Drift Handling via Momentum Based Robust Soft Learning Vector Quantization
Local Models for Learning Inverse Kinematics of Redundant Robots: A Performance Comparison
Classification Using Topologically Preserving Spherical Self-Organizing Maps
Estimating Relevant Input Dimensions for Self-organizing Algorithms
Opposite Maps for Hard Margin Support Vector Machines
A Walk Through Spectral Bands: Using Virtual Reality to Better Visualize Hyperspectral Data
Fuzzy Variant of Affinity Propagation in Comparison to Median Fuzzy c-Means
Using SOMs to Gain Insight into Human Language Processing
Dynamic Formation of Self-Organizing Maps
New Cloth Unto an Old Garment: SOM for Regeneration Learning
Beyond Standard Metrics - On the Selection and Combination of Distance Metrics for an Improved Classification of Hyperspectral Data
Analysing the Similarity of Album Art with Self-Organising Maps
Self-Adjusting Reject Options in Prototype Based Classification
Look and Feel What and How Recurrent Self-Organizing Maps Learn
Evolving a Self-Organizing Feature Map for Visual Object Tracking
Modeling Diversity in Ensembles for Time-Series Prediction Based on Self-Organizing Maps
Big Data Era Challenges and Opportunities in Astronomy - How SOM/LVQ and Related Learning Methods Can Contribute?