yusuke1997/dblp-id-title huggingface dataset:
Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets
A Game Semantics of Idealized CSP
An Operational Understanding of Bisimulation from Open Maps
A Categorical Foundation for Structured Reversible Flowchart Languages
Branching-Time Model-Checking of Probabilistic Pushdown Automata
Deciding Nondeterministic Hierarchy of Deterministic Tree Automata
Requirements Scenarios Formalization Technique: N Versions Towards One Good Version
Compilation of Interaction Nets
Unique, guarded fixed points in an additive setting: Extended Abstract
Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach
A Multi-Core Solver for Parity Games
An extension result for continuous valuations
From Proof Nets to Games
A Framework for Selecting Components Automatically: A First Approach
Soft Constraints for Security
Algon: From Interchangeable Distributed Algorithms to Interchangeable Middleware
A Coalgebraic Semantic Framework for Component-based Development in UML
Employing external reasoners in proof planning
Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems
An Improvement of Software Architecture Verification
Towards a Strand Semantics for Authentication Logic
The York Abstract Machine
Solving Sudoku Puzzles with Rewriting Rules
A PVS Theory for Term Rewriting Systems
Yoneda Completion via a DCPO Completion of its Poset of Formal Balls
Surprising Areas in the Quest for Small Universal Devices
A Note on an Old-Fashioned Algebra for (Disconnected) Graphs
Rule Formats for Timed Processes
Action Control by Term Rewriting
Performance of low density parity check codes as a function of actual and assumed noise levels
Learning Strategies for Mechanised Building of Decision Procedures
Nonstandard Meromorphic Groups
Using Association Aspects to Implement Organisational Contracts
An Event Algebra Extension of the Triggering Mechanism in a Component Model for Embedded Systems
Towards Inconsistency Handling of Object-Oriented Behavioral Models
Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement
Semantic domains based on sets with families of equivalences
Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems
Efficient Patterns for Model Checking Partial State Spaces in CTL intersection LTL
Non-determinism in Probabilistic Timed Systems with General Distributions
A Framework for Composing Real-Time Schedulers
jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines
A Generalization of ACP Using Belnap's Logic
Non-Uniform Hypercoherences
Components for Algebra Transformation Systems
Statistical Correction of the Result of Weather Forecast by Applying the Model Output Calibration
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
Translating Mobile Ambients into P Systems
A Study On The Potential Active Names of pi-Agents
Integrating Model Information in UML Sequence Diagrams
Unique Fixed Points in Domain Theory
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories
An Ontology-driven Document Retrieval Strategy for Organizational Knowledge Management Systems
Flow Logic and Operational Semantics
Temporal Contextual Logic Programming
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes
Recent Trends in the Development of Safety Critical Systems
Semantics-preserving Migration of Semantic Rules During Left Recursion Removal in Attribute Grammars
A Technique to Build Debugging Tools for Lazy Functional Logic Languages
Graph Grammars for Querying Graph-like Data
Hard Life with Weak Binders
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures
Power Aware System Refinement
A Proof Theoretic Approach to Operational Semantics
Interaction in Time and Space
A Jordan curve theorem with respect to certain closure operations on the digital plane
Local Realizability Toposes and a Modal Logic for Computability
V for Virtual
Towards Multi-Level Semantics for Multi-Agent Systems
Games for Counting Abstractions
Chromar, a Rule-based Language of Parameterised Objects
Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers
Continuous Domains in Logical Form
A Program Result Checker for the Lexical Analysis of the GNU C Compiler
A Logic For Ignorance
Behavioral Refinement and Compatibility of Statechart Extensions
Towards a refinement theory that supports reasoning about knowledge and time for multiple agents
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
Bisimilarity of open terms
Computability and the Implicit Function Theorem
Labelled Port Graph - A Formal Structure for Models and Computations
Hierarchy of asynchronous automata
A Classification Method for CSCW Systems
Interaction Nets With Nested Pattern Matching
Rough Set Approach to Pattern Extraction from Classifiers
A type theory which is complete for Kreisel's modified realizability
Product of Graphs and Hybrid Logic
Failure and equality in functional logic programming
Covarieties and Complete Covarieties
Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies
Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract)
Ascertaining Mathematical Theorems
Synchronisation in Trust Management Using Push Authorisation
A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains
Operational semantics of a focusing debugger
Semi-Automated Component-Based Development of Formally Verified Software
Concurrent Logic and Automata Combined: A Semantics for Components
Test Selection Strategies for Lustre Descriptions in GATeL
An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract)
On the Computational Strength of Pure Ambient Calculi
Quantifying the Benefits of SSA-Based Mobile Code
More Relational Concurrent Refinement: Traces and Partial Relations
User-Definable Resource Usage Bounds Analysis for Java Bytecode
An Agile MDA Approach for Service-Oriented Components
Towards Verifying Model Transformations
Coalgebraic structure from weak limit preserving functors
A Parametric Calculus for Mobile Open Code
A Note on Finitely Derived Information Systems
Enabling Synchronous and Asynchronous Communications in CSP for SOC
Multi-Linear Iterative K-Σ-Semialgebras
Presenting Dcpos and Dcpo Algebras
Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs
PMG: Multi-core Metabolite Identification
Kick-Start Activation to Novice Programming - A Visualization-Based Approach
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra
Insights to Angluin's Learning
Secrecy, Group Creation
Design and Verification of a Trustable Medical System
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids
An Algebra of Pure Quantum Programming
Type inference for recursively constrained types and its application to OOP
Automatic Generation of Adaptation Contracts
MBase: Representing mathematical knowledge in a relational data base
Handshake Games
Towards Software Component Procurement Automation with Latent Semantic Analysis
A Model-Theoretic Description of Tree Adjoining Grammars
A graphical approach to monad compositions
Verified Compilation and the B Method: A Proposal and a First Appraisal
Event-Based Real-Time Monitoring
From Such Simple a Beginning: The Momentous Consequences of Physics' Microscopic Reversibility for Communication and Computation - and Almost Anything Else
Higher-Order Syntax and Saturation Algorithms for Hybrid Logic
On the Visual Representation of Configuration in Reconfigurable Computing
Prefix and Projection onto State in Duration Calculus
A Linear-time Tissue P System Based Solution for the 3-coloring Problem
Normal Form Simulation for McCarthy's Amb
Týr: A Dependent Type System for Spatial Memory Safety in LLVM
Semirings and tree-to-graph-to-tree transductions
Finitely Bounded Effective Computability
Modelling Dynamic Software Architectures using Typed Graph Grammars
POVMs and Naimark's Theorem Without Sums
Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking
Goals and Resource Constraints in CARMA
Rewriting Strategies in Java
Investigating the mapping of an Enterprise Description Language into UML 2.0
On Edge-magic Labelings of Forests
Term rewriting for sale
Completely Precontinuous Posets
Verifying a UMTS Protocol Using Spin and EASN
Analysis of Calcium Spiking in Plant Root Epidermis through CWC Modeling
Linear time computable problems and logical descriptions
A General Constructive Proof Technique
Comprehension for Coalgebras
Reasoning About Interaction Protocols for Web Service Composition
Verified Safety and Information Flow of a Block Device
Formal Verification based on Boolean Expression Diagrams
Representations of Algebraic Domains and Algebraic L-domains by Information Systems
Expressiveness Issues in Brane Calculi: A Survey
Adaptive Latency Insensitive Protocols and Elastic Circuits with Early Evaluation: A Comparative Analysis
Taking decisions late: end-based choice combined with action refinement
Component-Based Specification of Distributed Systems
Formal Specification of Correlation in WS Orchestrations Using BP-calculus
DIEGO, another step towards a module concept for graph transformation systems
Termination of High-Level Replacement Units with Application to Model Transformation
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems
Java Test Driver Generation from Object-Oriented Interaction Traces
SMT for Polynomial Constraints on Real Numbers
Intersection Types and Computational Rules
Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms
Extending Symmetry Reduction Techniques to a Realistic Model of Computation
A Practical Approach to Courcelle's Theorem
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation
An Ontology-based System for Semantic Filtering of XML Data
Model transformation based on production rules
A General Method for Forbidden Induced Subgraph Sandwich Problem NP-completeness
On the Expressiveness of Relative-Timed Coordination Models
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems
On the number of rule applications in constraint programs
Connection between traditional medicine and disease
10 advantages of using avatars in patient-centered computer-based interventions for behavior change
Migration of a pre-hospital cardiology emergency system from data model to multilevel modeling
Predictive Models in Personalized Medicine: Neural Information Processing Systems (NIPS), 2010 workshop report
Supporting a healthy lifestyle by re-using personal online data
HealthAchieve 2010: a Student's Perspective on Canadian transformational healthcare delivery
A statewide data repository for population analytics
Improving Consumer Health IT Application Development: lessons from other industries, a summary
Process-oriented application systems for mobile services: empirical analysis of healthcare professionals' intention
2011 Workshop on Visual Analytics in Healthcare: understanding the physician perspective
ACM International Health Informatics Symposium (IHI 2010) symposium report
Wellness interventions and HCI: theory, practice, and technology
Addressing extensibility requirements for health informatics data
34th Annual Symposium on Biomedical and Health Informatics (AMIA 2010) conference report
Sentiment analysis of speech prosody for dialogue adaptation in a diet suggestion program
Modeling of nursing knowledge for multilevel information systems
Situation role-based privacy control using dynamic credentials for emergency health services
Towards the integration of near-patient collection of information for the delivery of healthcare services
A new paradigm for the development of future medical software systems
IEEE VisWeek Workshop on Visual Analytics in Health Care 2010
iADRs: towards a web-based interactive adverse drug reaction analyzing system
Towards negotiation as a framework for health promoting technology
An open source decision support system implementation
ACM SIGHIT International Health Informatics Symposium report
Information Technology research challenges for healthcare: from discovery to delivery
New health systems using network information technologies
Implementing a specification for exceptional data in multilevel modeling of healthcare applications
Towards dynamic ontologies repository building
Statistical analysis of PET images
Organizing RadLex lexicon for efficient retrieval of radiology documents
A privacy-aware database for quality assessment in medicine
First International Workshop on Web Science and Information Exchange in the Medical Web (MedEx 2010): conference report
Development of a clinical decision support system for wound management at two hospitals in Singapore
The safety of Electronic Medical Record (EMR) systems: what does EMR safety mean and how can we engineer safer systems?
An agenda for ultra-large-scale system research for global health informatics
Trends in computer-based medical systems
The IS-BioBank project: a framework for biological data normalization, interoperability, and mining for cancer microenvironment analysis
Effect of measuring number of steps with a digital pedometer on female student physical activity
Knowledge discovery system for automated quality abstraction
Pervasive healthcare: from orange alerts to mindcare
Privacy perception and fall detection accuracy for in-home video assistive monitoring with privacy enhancements
Everest: a framework for developing HL7v3 applications
Research challenges in measuring data for population health to enable predictive modeling for improving healthcare
Pervasive computing technologies for healthcare
Medicaid fraud detection using data broker services
On the choice of centralized vs decentralized systems for EPR in hospitals
Question Processing and Clustering in INDOC: A Biomedical Question Answering System
Modeling time delay in the NFκB signaling pathway following low dose IL-1 stimulation
Which Is Better: Holdout or Full-Sample Classifier Design?
Precise periodic components estimation for chronobiological signals through Bayesian Inference with sparsity enforcing prior
Inference of Kinetic Parameters of Delayed Stochastic Models of Gene Expression Using a Markov Chain Approximation
A Robust Structural PGN Model for Control of Cell-Cycle Progression Stabilized by Negative Feedbacks
Learning restricted Boolean network model by time-series data
Adaptive Dynamics of Regulatory Networks: Size Matters
A systems biology approach to analyse leaf carbohydrate metabolism in Arabidopsis thaliana
Graph reconstruction using covariance-based methods
On the impoverishment of scientific education
Information-Theoretic Inference of Large Transcriptional Regulatory Networks
Inference of Boolean Networks Using Sensitivity Regularization
Bayesian estimation of the discrete coefficient of determination
Stability from Structure: Metabolic Networks Are Unlike Other Biological Networks
Identification of thresholds for dichotomizing DNA methylation data
Gene Regulatory Network Reconstruction Using Conditional Mutual Information
A Bayesian Network View on Nested Effects Models
Obituary: Professor Paul Dan Cristea
A New-Fangled FES-k -Means Clustering Algorithm for Disease Discovery and Visual Analytics
Learning directed acyclic graphs from large-scale genomics data
Applications of Signal Processing Techniques to Bioinformatics, Genomics, and Proteomics
An Improved Algorithm for the Piecewise-Smooth Mumford and Shah Model in Image Segmentation
Heterogeneous multimodal biomarkers analysis for Alzheimer's disease via Bayesian network
Unscented Kalman filter with parameter identifiability analysis for the estimation of multiple parameters in kinetic models
Bayesian Hierarchical Model for Estimating Gene Expression Intensity Using Multiple Scanned Microarrays
Biomedical informatics with optimization and machine learning
Relations between the set-complexity and the structure of graphs and their sub-graphs
A novel cost function to estimate parameters of oscillatory biochemical systems
Analysis of miRNA, mRNA, and TF interactions through network-based methods
Gene regulatory network inference and validation using relative change ratio analysis and time-delayed dynamic Bayesian network
Combining Evidence, Specificity, and Proximity towards the Normalization of Gene Ontology Terms in Text
Exploring soybean metabolic pathways based on probabilistic graphical model and knowledge-based methods
A top-down approach to classify enzyme functional classes and sub-classes using random forest
Information Theoretic Methods for Bioinformatics
Bayesian module identification from multiple noisy networks
On biometric systems: electrocardiogram Gaussianity and data synthesis
On the dynamical properties of a model of cell differentiation
Relationships between kinetic constants and the amino acid composition of enzymes from the yeast Saccharomyces cerevisiae glycolysis pathway
Probabilistic polynomial dynamical systems for reverse engineering of gene regulatory networks
Detecting Visually Observable Disease Symptoms from Faces
Machine learning to predict rapid progression of carotid atherosclerosis in patients with impaired glucose tolerance
Complex temporal topic evolution modelling using the Kullback-Leibler divergence and the Bhattacharyya distance
Reaction-Diffusion Modeling ERK- and STAT-Interaction Dynamics
Compressing Proteomes: The Relevance of Medium Range Correlations
Wavelet analysis of frequency chaos game signal: a time-frequency signature of the C. elegans DNA
TRII: A Probabilistic Scoring of Drosophila melanogaster Translation Initiation Sites
Fixed Points in Discrete Models for Regulatory Genetic Networks
Approximate maximum likelihood estimation for stochastic chemical kinetics
A comparison study of optimal and suboptimal intervention policies for gene regulatory networks in the presence of uncertainty
Modeling stochasticity and variability in gene regulatory networks
Analysis of gene network robustness based on saturated fixed point attractors
Efficient Alignment of RNAs with Pseudoknots Using Sequence Alignment Constraints
Regularized EM algorithm for sparse parameter estimation in nonlinear dynamic systems with application to gene regulatory network inference
Towards organizing health knowledge on community-based health services
In vitro detection of adrenocorticotropic hormone levels by fluorescence correlation spectroscopy immunoassay for mathematical modeling of glucocorticoid-mediated feedback mechanisms
Protein network-based Lasso regression model for the construction of disease-miRNA functional interactions
Splitting the BLOSUM Score into Numbers of Biological Significance
NML Computation Algorithms for Tree-Structured Multinomial Bayesian Networks
Impact of Missing Value Imputation on Classification for DNA Microarray Gene Expression Data - A Model-Based Study
Gene expression analysis supports tumor threshold over 2.0 cm for T-category breast cancer
Effective gene prediction by high resolution frequency estimator based on least-norm solution technique
Gene Selection for Multiclass Prediction by Weighted Fisher Criterion
From protein-protein interactions to protein co-expression networks: a new perspective to evaluate large-scale proteomic data
BCC-NER: bidirectional, contextual clues named entity tagger for gene/protein mention recognition
Functional Classification of Genome-Scale Metabolic Networks
Detecting controlling nodes of boolean regulatory networks
Inferring Boolean network states from partial information
Inference of a Probabilistic Boolean Network from a Single Observed Temporal Sequence
The Wavelet-Based Cluster Analysis for Temporal Gene Expression Data
Carcinogenesis: alterations in reciprocal interactions of normal functional structure of biologic systems
Fastbreak: a tool for analysis and visualization of structural variations in genomic data
A Time-Series-Based Feature Extraction Approach for Prediction of Protein Structural Class
Map-invariant spectral analysis for the identification of DNA periodicities
Identifying Genes Involved in Cyclic Processes by Combining Gene Expression Analysis and Prior Knowledge
A pedagogical walkthrough of computational modeling and simulation of Wnt signaling pathway using static causal models in MATLAB
Compressive Sensing DNA Microarrays
A Hybrid Technique for the Periodicity Characterization of Genomic Sequence Data
Using multi-step proposal distribution for improved MCMC convergence in Bayesian network structure learning
Model-based analysis of an adaptive evolution experiment with Escherichia coli in a pyruvate limited continuous culture with glycerol
Incorporating prior knowledge induced from stochastic differential equations in the classification of stochastic observations
Template-based intervention in Boolean network models of biological systems
Using Temporal Correlation in Factor Analysis for Reconstructing Transcription Factor Activities
Bayesian inference for biomarker discovery in proteomics: an analytic solution
A Hypothesis Test for Equality of Bayesian Network Models
Integrating Biosystem Models Using Waveform Relaxation
A visual analytics approach for models of heterogeneous cell populations
Optimal reference sequence selection for genome assembly using minimum description length principle
Assessing the Exceptionality of Coloured Motifs in Networks
Scientific knowledge is possible with small-sample classification
Reconstructing Generalized Logical Networks of Transcriptional Regulation in Mouse Brain from Temporal Gene Expression Data
Algorithms for Finding Small Attractors in Boolean Networks
Stochastic Oscillations in Genetic Regulatory Networks: Application to Microarray Experiments
Harmonic analysis of Boolean networks: determinative power and perturbations
On optimal Bayesian classification and risk estimation under multiple classes
Motif Discovery in Tissue-Specific Regulatory Sequences Using Directed Information
Properties of Boolean networks and methods for their tests
Inferring Time-Varying Network Topologies from Gene Expression Data
On the Impact of Entropy Estimation on Transcriptional Regulatory Network Inference Based on Mutual Information
Multipattern Consensus Regions in Multiple Aligned Protein Sequences and Their Segmentation
A Bayesian Analysis for Identifying DNA Copy Number Variations Using a Compound Poisson Process
Subtyping glioblastoma by combining miRNA and mRNA expression data using compressed sensing-based approach
Is Bagging Effective in the Classification of Small-Sample Genomic and Proteomic Data?
Recovering Genetic Regulatory Networks from Chromatin Immunoprecipitation and Steady-State Microarray Data
Variation in the Correlation of G + C Composition with Synonymous Codon Usage Bias among Bacteria
IκB, NF-κB Regulation Model: Simulation Analysis of Small Number of Molecules
Network inference through synergistic subnetwork evolution
From Microscopy Data to in silico Environments for in vivo Oriented Simulations
Optimal Constrained Stationary Intervention in Gene Regulatory Networks
Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks
Modeling and systematic analysis of biomarker validation using selected reaction monitoring
MicroRNA Target Detection and Analysis for Genes Related to Breast Cancer Using MDLcompress
Using the minimum description length principle to reduce the rate of false positives of best-fit algorithms
Stochastic Simulation of Delay-Induced Circadian Rhythms in Drosophila
A 2D graphical representation of the sequences of DNA based on triplets and its application