yusuke1997/dblp-id-title huggingface dataset:
Towards a Spatial Position Information Management System for Interactive Building Environments
Lattice Theory for Rough Sets - An Experiment in Mizar
Relative Constraints as Features
A GPGPU-based Simulator for Prism: Statistical Verification of Results of PMC (extended abstract)
Investigating Characteristics and Differences Between Easy and Hard SAT Instances
Universal Query Language
Context-dependent Lexical and Syntactic Disambiguation in Ontology Population
Rules for Formal and Natural Dialogues in Agent Communication
About New Version of RSDS System
Designing Reliable Communication for Heterogeneous Computer Systems
Searching for Concepts in Natural Language Part of Fire Service Reports
A Classifier Based on a Decision Tree with Verifying Cuts
Natural Language Processing for Requirements Formalization: How to Derive New Approaches?
Experiments with Simulated Humanoid Robots
Classifiers for Behavioral Patterns Identification Induced from Huge Temporal Data
A Class of Hypernets with Token Creation and Decidable Reachability Problem
Query Rewriting Based on Meta-Granular Aggregation
On Boolean Encodings of Transition Relation for Parallel Compositions of Transition Systems
Exploration of Knowledge Bases Inspired by Rough Set Theory
Equations for Asynchronous Message Passing
A Graph-based Reduction in Planics Abstract Planning, Based on Partial Orders of Services (extended abstract)
The Method for Describing Changes in the Perception of Stenosis in Blood Vessels Caused by an Additional Drug
An Approach for Resolving Conflicts in Automatic Medical Objects Classification
Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021), Berlin, Germany, September 27-28, 2021
Sequential P Systems with Active Membranes Working on Sets
Bisimulation-Based Concept Learning in Description Logics
Dialogue in Hierarchical Learning of a Concept Using Prototypes and Counterexamples
Left Recursion by Recursive Ascent
The Hierarchical Learning Algorithm for Deep Neural Networks
Dynamic Programming Approach for Construction of Association Rule Systems
Toward Data Science Computing Model: Interactive Granular Computing (IGrC) (short paper)
Self-Organizing Feature Maps in Correlating Groups of Time Series: Experiments with Indicators Describing Entrepreneurship
Deep Learning Guinea Pig Image Classification Using Nvidia DIGITS and GoogLeNet
Automated Comparative Study of Some Generalized Rough Approximations
Symbolic Model Checking of Stochastic Reward Nets
Global Optimization of Exact Association Rules Relative to Length
From Free Will Debate to Embodiment of Fuzzy Logic into Washing Machines: On Fuzzy and Rough Sets Approaches to Vagueness Modeling
Knowledge Driven Query Sharding
Fuzzy Systems of Logical Inference and Their Applications
Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation
Incorporating BDI-Agent Concepts into Object-Oriented Programming
Toward Recommender Systems Scalability and Efficacy
One Graph to Rule Them All - Software Measurment and Management
Towards Efficient Verification of Elementary Object Systems
Knowledge Pit - A Data Challenge Platform
Simulating Gene Regulatory Networks using Reaction Systems
Attack Protection Tree
An Algorithmic Way to Generate Simplexes for Topological Data Analysis
Rough Inclusion Functions and Similarity Indices
Timed Transition System Models for Programming Physarum Machines
Properties of Languages with Catenation and Shuffle
An Explicit Formula for Sorting and its Application to Sorting in Lattices
A Rule Format for Rooted Branching Bisimulation
Rough Sets and Sorites Paradox
A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology
Rough Set Based Approximations of Classes in the OWL Ontology of Places in Poland (extended abstract)
Prolog-Based Reasoning Layer for Counter-Strike Agents
Hidden States in Reaction Systems
Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland
A Fuzzy Set Tool in the Classification and Prediction Software System (CLAPSS) (short paper)
Methods of Calculating the Strength of Coalition in a Dispersed Decision Support System with the Stage of Negotiations - a Study of Medical Data
The Bayes Theorem Counterpart in Mass-Based Rough Mereology
Influence of Data Dimension Reduction, Feature Scaling and Activation Function on Machine Learning Performance
Rules from Granules vs. Granulated Rules (short paper)
Two Problems with Distributed Systems: Data Access Control and Memory Shering
Differential Privacy and Security
Automatic Forecasting of Design Anti-patterns in Software Source Code
Cause-Effect Structures Behaving like Reaction Systems
Towards an Anticipatory Mechanism for Complex Decisions in a Bio-Hybrid Beehive
The Minimization Method of Boolean Functions in Polynomial Set-theoretical Format
Process Opacity and Insertion Functions
Preprocessing for Network Reconstruction: Feasibility Test and Handling Infeasibility
Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems
Traffic-Related Knowledge Acquired by Interaction with Experts
Considering Superposition in the Composable Hybrid Automata
Cut Points in PEG
Enhanced Error Correction Algorithm for RBF Neural Networks
Efficient Machine Learning Methods over Pairwise Space (keynote)
Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions
Extending Taylor Approximation to Hybrid Systems with Integrals
DNA Tiles, Wang Tiles and Combinators
Application of Genetic Algorithms and High-Performance Computing to the Traffic Signal Setting Problem
Trying to Understand PEG
Petri Net Models of Simple Rule-Based Systems for Programming Physarum Machines
Core for Large Datasets: Rough Sets on FPGA
Shapes of Concurrency
Reversing Transitions in Bounded Petri Nets
Efficient Rough Set Theory Merging
Fractional Genetic Programming with Probability Density Data
Verifying Strategies in Dialogue Games
Rough Sets in Interactive Granular Computing
Information Systems and Soft Sets
On the Model Checking of Sequential Reactive Systems
On Semantics for Testing in Time Petri Nets
Parameter Synthesis for Timed Kripke Structures
Specifying Functional Programs with Intuitionistic First Order Logic
Exploiting Order Dependencies on Primary Keys for Optimization
Towards Model Checking Argumentative Dialogues with Emotional Reasoning (extended abstract)
An Afficient Equivalence-Checking Algorithm for a Model of Programs with Commutative and Absorptive Statements
Analyzing Web Service Resource Compatibility
Simple Bounded MTL Model Checking for Discrete Timed Automata (extended abstract)
Inverted Fuzzy Implications in Approximate Reasoning
On Decidability of Persistence Notions
A Novel Ensemble Model - The Random Granular Reflections
Optimized Fuzzy Petri Nets and Their Application for Transport Logistics Problem
Checking MTL Properties of Timed Automata with Dense Time using Satisfiability Modulo Theories (Extended Abstract)
Computing with Natural Numbers in Cause-Effect Structures
A Version of Rough Mereology Suitable for Rough Sets
Optimization of Backward Fuzzy Reasoning Based on Rule Knowledge
On Generation of Time-based Label Refinements
Instance-Level Constraints in Density-Based Clustering
Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016
Methods of Translation of Petri Nets to NuSMV Language
An Approach to Ambiguity Resolution for Ontology Population
Coordinator Synthesis for Hierarchical Structure of Artificial Neural Network
Computer-Driven Searching for Axiomatization of Rough Sets
Applications of Tolerance Rough Set Model Semantic Text Analysis
Time Process Equivalences for Time Petri Nets
Structural and Dynamic Restrictions of Elementary Object Systems
On the Complexity of Safe, Elementary Hornets
Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018
A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps
Observations, Testing and Security
SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata
On logical and mereological renderings of the Bayes theorem (short paper)
Towards an Object-Oriented Programming Language for Physarum Polycephalum Computing
SAT-Based Bounded Model Checking for Weighted Deontic Interpreted Systems (Extended Abstract)
Dry Beans Classification Using Machine Learning
Graph-based Sparse Neural Networks for Traffic Signal Optimization
Specifying Event/Data-based Systems (keynote)
Timed Processes of Interval-Timed Petri Nets
Interactive Granular Computing Connecting Abstract and Physical Worlds: An Example
Coordination Algorithm in Hierarchical Structure of the Learning Process of Artificial Neural Network
Discovery of Cancellation Regions within Process Mining Techniques
A New Effective Approach for Modelling and Verification of Security Protocols
Process Environment Opacity
Considering Concurrency in Early Spacecraft Design Studies
Application of Meta-Learning Methods in Recognition of Drums on the Basis of Short Soundsamples (short paper)
C-NBC: Neighborhood-Based Clustering with Constraints
Attack Trees with Time Constraints
NLP-Based Requirements Formalization for Automatic Test Case Generation
Proceedings of the 28th International Workshop on Concurrency, Specification and Programming, Olsztyn, Poland, September 24-26th, 2019
Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets
Specialized Predictor for Reaction Systems with Context Properties
Reduct Calculation and Discretization of Numeric Attributes in Sparse Decision Systems
Hybrid Planning by Combining SMT and Simulated Annealing
Relationships Between Length and Coverage of Exact Decision Rules
A Rewriting Based Monitoring Algorithm for TPTL
The Mathematical Model for Interference Simulation and Optimization in 802.11n Networks
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking
Granular Mereotopology: A First Sketch
First Steps towards a Frequent Pattern Mining with Nephrology Data in the Medical Domain
Toward Synchronization of EEG and Eye-tracking Data Using an Expert System
Distributed Termination Detection by Counting Agent
On Some Heuristic Method for Optimal Workload Reconstruction
Improving Efficiency of Model Checking for Variants of Alternating-time Temporal Logic
Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures
Semantic Rendering of Data Tables - Multivalued Information Systems Revisited
Preserving Behavior in Transition Systems from Event Structure Models
Extended Future in Testing Semantics for Time Petri Nets
Mining Real-Estate Listings Based on Decision Systems over Ontological Graphs
Average Depth and Number of Misclassifications for Decision Trees
Opacity Testing
Generalised Fuzzy Petri Nets for Approximate Reasoning in Decision Support Systems
Extended Abstract: A Novel Mobile App for the Next Generation of Beekeepers
Time and Concurrency - Three Approaches for Intertwining Time and Petri Nets
Negotiating Inter-Organisational Processes
Extensions of Elementary Cause-Effect Structures
A Protocol for Reliable Delivery of Streamed Sensor Data over a Low-Bandwidth Wireless Channel
Evaluating Fault Localization Techniques with Bug Signatures and Joined Predicates
On a Notion of Extensionality for Artifacts
Opacity-enforcing for Process Algebras
Information Flow and Concurrent Imperative Languages
Detecting Hazardous Events from Sequential Data with Multilayer Architectures
Multi-Agent Heterogeneous Intrusion Detection System
Towards a Computational Steering and Petri Nets Framework for the Modelling of Biochemical Reaction Networks
From EBNF to PEG
Monitoring with Parametrized Extended Life Sequence Charts
A New Definition of Composition of LTIHA
RIFs as the Formal Tool of Measuring Similarity between Sets (short paper)
Voronoi Based Strategic Positioning for Robot Soccer
The Handling of Missing Values in Medical Domains with Respect to Pattern Mining Algorithms
Nearness of Objects. Approximation Space Model Revisited
Identification of Formal Fallacies in a Natural Dialogue
Data Integration through Clustering and Finding Statistical Relations - Validation of Approach
Adaptive Grasping for a Small Humanoid Robot Utilizing Force- and Electric Current Sensors
Rough Set Methods and Submodular Functions
Engineering MAS - A Device Integration Framework for Smart Home Environments
Rough Mereology Based CFill Algorithm for Robotic Path Planning (short paper)
Towards a Jason Infrastructure for Soccer Playing Agents
Estimation and Feature Selection by Application of Knowledge Mined from Decision Rules Models
An Example of Computation in Interactive Granular Computing
Interactive Complex Granules
Analysing of M-AHIDS with Future States on DARPA and KDD99 Benchmarks
Emplobot - Design of the System (short paper)
Automated Validation of Big Data Classifiers on Multiple Diverse Datasets
SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework
Complexity Studies for Safe and Fan-Bounded Elementary Hornets
Creating driving behavior for artificial agents in a social augmented micro-world
Genetic Algorithm with Path Relinking for the Orienteering Problem with Time Windows
A Bi-objective Optimization Framework for Heterogeneous CPU/GPU Query Plans
Programming Self-Assembly of DNA Tiles
Decision Trees for Knowledge Representation (short paper)
Controlling Petri Net Behavior Using Time Constraints
On Minimality and Equivalence of Petri Nets
A Tractable Rule Language in the Modal and Description Logics that Combine CPDL with Regular Grammar Logic
Computing Bisimulation-Based Comparisons
Selected Methods of Combining Classifiers, when Predictions Are Stored in Probability Vectors, in a Dispersed Decision-Making System
Causal Structures for General Concurrent Behaviours
Rough Sets Inspired Extension of Forward Inference Algorithm
Test Based Security
Comparison of Heuristics for Optimization of Association Rules
An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ
Compositional Expressiveness of Hybrid Models
New Inference Algorithms Based on Rules Partition
Dynamic Programming Approach for Study of Decision Trees
Analysis of Multilayer Neural Networks with Direct and Cross-Forward Connection
Evaluation of Decision Table Decomposition Using Dynamic Programming Classifiers
Security Enforcing
Fractional Genetic Programming for a More Gradual Evolution
Extended Abstract: Simulation of Interactions between Beehives
Unsupervised Graphical User Interface Learning (short paper)
More about Left Recursion in PEG
Formal Analysis of Complex Event Processing - Potential and Challenges
Sorting by Decision Trees with Hypotheses (extended abstract)
A Hierarchy of Languages with Catenation and Shuffle
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics
Building an Ensemble of Naive Bayes Classifiers using Committee of Bootstraps and Monte Carlo splits for a various percentage of random objects from training set
A Comparison of SAT-Based and SMT-Based Bounded Model Checking Methods for ECTL
Linking Exploration Systems with Local Logicsover Information Systems
Betweenness, Lukasiewicz Rough Inclusions, Euclidean Representations in Information Systems, Hyper-granules, Conflict Resolution
Gained and Excluded Classified Actions by Dynamic Security Policies
XCCS Diagram to CCS Script Conversion Algorithm
Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures
A Domain View of Timed Behaviors
On Parameter-Driven Generation of Algorithm Schemes
Prediction of Football Games Results
Clock Transition Systems
Outliers Elimination for Error Correction Algorithm Improvement
On Reliable Wireless Streaming of Real-time Sensor Data
Floating Channels Between Communicating Nets
TripICS - a Web Service Composition System for Planning Trips and Travels (extended abstract)
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic
Exploiters-Based Knowledge Extraction in Object-Oriented Knowledge Representation
A Holistic State Equation for Timed Petri Nets
One-counter Circuits
Graph-Based Sparse Neural Networks for Traffic Signal Optimization
Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Controlling Petri Net Behavior Using Priorities for Transitions
The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics
Classification of Voice Signals through Mining Unique Episodes in Temporal Information Systems: A Rough Set Approach
Sound Recoveries of Structural Workflows with Synchronization
SMT-Based Reachability Checking for Bounded Time Petri Nets
Elements of Representation Theory for Pawlak Information Systems
Remarks on Memory Consistency Description
System Monitoring with Extended Message Sequence Chart (Extended Abstract)
Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking
Rough Set Flow Graphs and Ant Based Clustering in Classification of Disturbed Periodic Biosignals
Proceedings of the 21th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 26-28, 2012
Inverted Fuzzy Implications in Backward Reasoning Without Yager Implication
Greedy Algorithm for Construction of Decision Trees for Tables with Many-Valued Decisions
Interactive Computational Systems: Rough Granular Approach
A representative strong equivalence class for accessible flowchart schemes
A calculus for proving properties of while-programs
Recursive programs as functions in a first order theory
Synchronized parallel computation and slowdown of translators
A formal specification technique for abstract data types with parallelism
Equivalent key problem of the relational database model
Mathematical Studies of Information Processing, Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978
On the abstract specification and formal analysis of synchronization properties of concurrent systems
Extending an implementation language to a specification language
On the formal specification and analysis for loosely connected processes
Nondeterminism, parallelism and intermittent assertions
Verifying parallel programs with resource allocation
The specification and proof of correctness of interactive programs
Specified programming
On a theory of decision problems in programming languages
A file organization suitable for relational database operations
On a uniform formal description of data structures
The Vienna development method (VDM): Software specification & program synthesis
Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs
"E-correctness" of a set of "computation processes"
Program synthesis through Gödel's interpretation
SurvivMIL: A Multimodal, Multiple Instance Learning Pipeline for Survival Outcome of Neuroblastoma Patients
CARMIL: Context-Aware Regularization on Multiple Instance Learning models for Whole Slide Images
Proceedings of the MICCAI Workshop on Computational Pathology, Marrakesh, Morocco, 6 October 2024
Histopathobiome - integrating histopathology and microbiome data via multimodal deep learning
MICCAI Workshop on Computational Pathology, COMPAY@MICCAI 2021, 27 September 2021, Virtual Event
Multi-Scale Task Multiple Instance Learning for the Classification of Digital Pathology Images with Global Annotations
SparseConvMIL: Sparse Convolutional Context-Aware Multiple Instance Learning for Whole Slide Image Classification
Magnetic Resonance Imaging Virtual Histopathology from Weakly Paired Data
Creating small but meaningful representations of digital pathology images
An Automatic Nuclei Image Segmentation Based on Multi-Scale Split-Attention U-Net
Multi-scale Regional Attention Deeplab3+: Multiple Myeloma Plasma Cells Segmentation in Microscopic Images
HistoCartography: A Toolkit for Graph Analytics in Digital Pathology
Prediction of KRAS mutation status from H&E foundation model embeddings in non-small cell lung cancer
CDNet: Causal Inference inspired Diversified Aggregation Convolution for Pathology Image Segmentation
Self-supervised learning improves dMMR/MSI detection from histology slides across multiple cancers
A Novel Cell Map Representation for Weakly Supervised Prediction of ER & PR Status from H&E WSIs
PathAlign: A vision-language model for whole slide images in histopathology
WSI-SAM: Multi-resolution Segment Anything Model (SAM) for histopathology whole-slide images
Attention-based Multiple Instance Learning with Mixed Supervision on the Camelyon16 Dataset
Lymphocytes subtyping on H&E slides with automatic labelling through same-tissue stained ImmunoFluorescence images
SMILE: Sparse-Attention based Multiple Instance Contrastive Learning for Glioma Sub-Type Classification Using Pathological Images
ContriMix: Scalable stain color augmentation for domain generalization without domain labels in digital pathology
End-to-end Multiple Instance Learning for Whole-Slide Cytopathology of Urothelial Carcinoma
Unsupervised Domain Adaptation for the Histopathological Cell Segmentation through Self-Ensembling
Robust Quad-Tree based Registration on Whole Slide Images
A Multi-scale Graph Network with Multi-head Attention for Histopathology Image Diagnosisn
StairwayToStain: A Gradual Stain Translation Approach for Glomeruli Segmentation
Symmetric Dense Inception Network for Simultaneous Cell Detection and Classification in Multiplex Immunohistochemistry Images
Molecular Subtype Prediction for Breast Cancer Using H&E Specialized Backbone
Automated Quantification Of Blood Microvessels In Hematoxylin And Eosin Whole Slide Images
Stromal Tissue Segmentation in Multi-Stained Serial Histopathological Sections of Pancreatic Tumors
Deep Learning for interpretable end-to-end survival (E-ESurv) prediction in gastrointestinal cancer histopathology
Deep-Learning Based Virtual Stain Multiplexing Immunohistochemistry Slides - a Pilot Study
Early Fusion of H&E and IHC Histology Images for Pediatric Brain Tumor Classification
Improving Mask R-CNN for Nuclei Instance Segmentation in Hematoxylin & Eosin-Stained Histological Images
Multi-scale Whole Slide Image Assessment Improves Deep Learning based WHO 2021 Glioma Classification
Random Multi-Channel Image Synthesis for Multiplexed Immunofluorescence Imaging
Scoring Tumor-Infiltrating Lymphocytes in breast DCIS: A guideline-driven artificial intelligence approach
Multi-head Attention-based Deep Multiple Instance Learning
Upscaling Prostate Cancer MRI Images to Cell-level Resolution Using Self-supervised Learning
Benchmarking Embedding Aggregation Methods in Computational Pathology: A Clinical Data Perspective
Automatic and explainable grading of meningiomas from histopathology images
Preprocessing Pathology Reports for Vision-Language Model Development
Detecting genetic alterations in BRAF and NTRK as oncogenic drivers in digital pathology images: towards model generalization within and across multiple thyroid cohorts
Making Construals as a New Digital Skill: Dissolving the Program - and the Programmer - Interface
Implementing a Robot-Based Pedagogy in the Classroom: Initial Results from Stakeholder Interviews
Turning Data into People: Player Perspectives on Game Addiction
Children Intrinsic Reading Motivation and Playful Applications: Investigating the Relationship
From Snappy App to Screens in the Wild: Gamifying an Attention Deficit Hyperactivity Disorder Continuous Performance Test for Public Engagement and Awareness
Fostering Creativity through Games and Digital Story Telling
Teaching Computational Thinking by Playing Games and Building Robots
Support Dementia: Using Wearable Assistive Technology and Analysing Real-Time Data
Virtual Reality Exposure Therapy: To Benefit Those Who Stutter and Treat Social Anxiety