yusuke1997/dblp-id-title huggingface dataset:
Relonics Systems Information Modeling in Clinical Depression
Segmenting your Customers in Recommender System
An Integrated Approach to Localize Epileptic Foci using Relative Spect Subtraction
Prediction of Malignant Melanoma Incidence
A Search Method to Find Partially Similar Triangular Faces from 3D Polygonal Models
Conical Systolic Array for Matrix Inversion
Virtual Trainer for Prostate Cryosurgery
Improved Measure of Information Flow in Coupled Nonlinear Systems
New Mechanism and Force Driven Earth Environment
Single-packet Error Correcting Protocol for WATM Networks
A Pspice Optimal Design Tool Utilizing Genetic Optimization
Fault Diagnosis of a PEM Fuel Cell System by SP Model and On-line Expert Systems Techniques
A Multi-agent based Modeling of Dynamical Human Behavior in Indoor Emergency Situation
3-D Source Localization of Epileptic FOCI Integrating EEG and MRI
Analysis of Speed Estimation Techniques for Asynchronous Machines
Virtual Prototyping for Integration of the Control System Design Chain
A Stochastic Approach to Identify Supply Requirements, at an Aircraft Assembly Plant, with Respect to the MPS and Production Policies
A Flow-solver with Flexible Boundaries
Fuzzy Regression for Economic Data Analysis
A New Global Optimization Method
Information-theoretic Competitive Learning
Adaptive Optimal Synchronization Control of Two Linear Systems and its Applications
Reduced-order Modelling using PRONY's Approximation Method
Economic Data Analysis and Cooperative Information Control
On the Use of Directed Transfer Function for Nonlinear Systems
Modeling and Simulating a Campus Network System using Ns/Nam Network Animator
Simulation and Analysis of Resonant Converters for DC Series Motor
Development of an Open Source Chemical Process Simulator
A Study on the Real-time Fingerprints Recognition Mechanism for Digital Contents Protection for Interaction on Web
The Integral Information Measure for Evaluating Relonics Maps' Nodes Connections
A Novel Parametric Model for the Human Respiratory System
On the Study of Antenna Placement in a Smart Clothing
Incorporating Correlated Markets' Prices into Stock Modeling with Neural Network
Enabling Performance Predictions of Complex Storage Systems
Multiple-process Packed Bed Reactor Modeling by Method of Lines
Implementation of Object-oriented Unit-testing Framework
An Advanced Function for the Supervisory System of an Electrical Distribution Substation: An Application using Colored Petri Nets
Modeling of System Dynamics for Redesign of a Neonatal Transport Unit
Higher Harmonics Synthesis of PWM Waves
PanoVi: A Multi-Camera Panoramic Movie System by using Client-Side Image Mosaicking
Simulative Comparison and Modelling of Catalytic Permreactors and Fixed Bed-flow Reactors for Syn-Gas Production
Hydraulic System Design and Dynamic Modeling of the Tire Roller
The Performance Evaluation Method for the Stewart Platform driven by AC Servo Motor
The Communications Adaptive Design and RFI Environment (CADRE) Tool for Radio System Design
Internet Traffic Modeling using the Index of Variability
An Optimized Artificial Neural Network Approach for Epileptiform Activity Recognition
A New Methodology for Granular Flow Simulations of Planetary Rings - Collision Handling
Adaptive Noise Filtering for DNA Raw Sequencing Data
Computer-based Multi-attribute Simulation of Corporate Strategies
Simulation of the Dynamic Behavior of a Lead-Acid Cell
The Removal of Motion Misalignment Errors and Noise Blurring in MRI Images
Numerical and Experimental Analysis of Asymmetric Plane Parallel Jets
Extreme Mountain Biking Dynamics: Development of a Bond Graph Model
Characterization of Prediction Uncertainty using an Adaptive Fuzzy Rule based Technique
A Novel Single Stage, Single Switch, Boost Cell Type AC-DC Converter with Active Power Factor Correction to Enrich Power Quality
Modeling of a Three-dimensional Digital Image from 2D Stereo Paris
Potential for Symbolic-assisted Process Simulation
Predicting Pure Components Auto Ignition Temperature
Planetarium Simulation System Usability and Experiments
From Neural Networks to Grid Automata
Modeling Multi-lateration Ultrasound Ranging Systems in Biomechanical Gait Analysis
Steady State Voltage Sensitivity Analysis of the Mexican Interconnected System's Norwest Control Area
Implementation of the Wavelet Transform-based Techniques for Static Testing of Mixed Signal Systems
Development of Consistent Equivalent Models by Mixed-Model Search
Development of Operational Transconductance Amplifier based Bandpass Filters
WebFEM: A Web Application for Distributed Numerical Simulations
Simulation of Induction Motors Heating in Steady State
Components for Visualization and Interactive Simulation with Large Data
The Communications Adaptive and RFI Environment (CADRE) Tool for Broadcast Networking Simulation
Assessment of the Rate of Aggregative Risk in Software Development using a Fuzzy Group Model
The Defuzzification by the Median and Centroid Rules
The Wireless Controlled Unmanned Vehicle System with Vision System
Friction Modeling and Analysis of the Sorting Mechanism
Modeling Bacterial Competition in Activated Sludge using Non-linear Dynamics and Monod Kinetics
Optimization of Large-scale Heat Exchanger Network Synthesis Problems
Modeling and Management of UML Diagrams based on Relational Database
Improvement of the Moulding Process in an Automotive Company by Robust Design Application
The Performance Evaluation for the Control of Active Robotic Suspension
Component Driveline Design for a Formula SAE Car
The Mathematical Model of a Hydrostatic Transmission for Controller Design
Concurrent Engineering Tools for Product and Process Improvement in an Electronic Industry
An Agent-mediated Model in Electronic Negotiation
Dynamical Fuzzy Sets for Time Series Forecasting
Torque-ripple Minimisation in Switched Reluctance Motors using a Neuro-fuzzy Control Strategy
Vision based Manifolds for Surface Modeling in Robotic Demanufacturing
Dynamic Model of Nickel Hydrogen Battery - The Virtual Test Bed Implementation
Nonlinear Noise Reduction and Predictability of Epileptic Seizures
Simulation of CNC-Milling Process using Dual Resolution Voxel Model
Re-shaping Society with Quantum Technology
Sales and Planning Support for Manufacturing System Solutions by Utilization of Digital Factory Tools
Qualitative Management of Vagueness Expressed in Natural Language
Soft Modelling of Financial Time Series
Proceedings of the IASTED International Conference on Modelling and Simulation (MS 2003), February 24-26, 2003, Palm Springs, California, USA
Modelling of an Artificial Earthworm Type Mobile Inspection Microrobot Movable in Small Diameter and Long Pipes
CAD Optimization of Single Phase Induction Motors
Graphic Simulation of Remote Handling Operation using Virtual Master-Slave Manipulator
Out of Order Rendering on Visualization Clusters
A Data Model for Electricity Usage Patterns
Model-based Optimization of an Infrared Gas Sensor
Á la carte: A Simulation Framework for Extreme-scale Hardware Architectures
Evaluating Evolutionary Mechanisms by Simulation
Concepts for Models and Virtualization in Future NASA Science Enterprise Systems
An Interface Circuit for a SAW based Chemical Sensor in an Ad-hoc Network
Terrain Mapping for Interactive Visualization of Earthquake Datasets
A Soft-PLC Model Approach for Generic Device Controllers
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010
On Coalgebras with Internal Moves
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, CMCS 2004, Barcelona, Spain, March 27-29, 2004
Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs
Fixed Points of Functors - A Short Abstract
Algebraic Presentation of Semifree Monads
A Compositional Framework for Petri Nets
Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings
Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic
Internal Models for Coalgebraic Modal Logics
Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness
Product Rules and Distributive Laws
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors
Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure
(In)finite Trace Equivalence of Probabilistic Transition Systems
Correspondence Between Composite Theories and Distributive Laws
Canonical Nondeterministic Automata
Categories of Coalgebras with Monadic Homomorphisms
Corecursion Up-to via Causal Transformations
A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics
On Algebras with Effectful Iteration
Automata in W-Toposes, and General Myhill-Nerode Theorems
Duality of Equations and Coequations via Contravariant Adjunctions
From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference
Long-Term Values in Markov Decision Processes, (Co)Algebraically
Discrete Density Comonads and Graph Parameters
A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
Coalgebraic Semantics for Nominal Automata
Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking
Undecidability of Equality for Codata Types
Coalgebraic Methods in Computer Science, CMCS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002
Defining Context-Free Power Series Coalgebraically
Relating Structure and Power: Comonadic Semantics for Computational Resources - Extended Abstract
Transitivity and Difunctionality of Bisimulations
Automata and Coalgebras in Categories of Species
Coalgebraic Completeness-via-Canonicity - Principles and Applications
Coalgebraic Methods in Computer Science, CMCS 2000, Berlin, Germany, March 25-26, 2000
Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical System Models
Coalgebraic Methods in Computer Science, CMCS 1999, Amsterdam, The Netherlands, March 20-21, 1999
A Categorical Framework for Learning Generalised Tree Automata
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)
Trace Semantics via Determinization
Saturated Kripke Structures as Vietoris Coalgebras
On the Logic of Generalised Metric Spaces
Free-Algebra Functors from a Coalgebraic Perspective
Explicit Hopcroft's Trick in Categorical Partition Refinement
Coalgebraic Logics & Duality
Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings
Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Affine Monads and Side-Effect-Freeness
Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers
Relational Lattices via Duality
Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas
Steps and Traces
A Categorical Approach to Coalgebraic Fixpoint Logic
The Theory of Universal Graphs for Games: Past and Future
Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Relational Presheaves as Labelled Transition Systems
Coalgebraic Methods in Computer Science, CMCS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 6-7, 2001
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
Coalgebraic Simulations and Congruences
Approximate Coalgebra Homomorphisms and Approximate Solutions
First Workshop on Coalgebraic Methods in Computer Science, CMCS 1998, Lisbon, Portugal, March 28-29, 1998
Stream Automata Are Coalgebras
Stick Breaking, in Coalgebra and Probability
Duality for Instantial Neighbourhood Logic via Coalgebra
Dijkstra Monads in Monadic Computation
Lax Extensions of Coalgebra Functors
From Transitions to Executions
Tracing the Man in the Middle in Monoidal Categories
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, CMCS 2006, Vienna, Austria, March 25-27, 2006
On Finitary Functors and Their Presentations
Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra
Lawvere Categories as Composed PROPs
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, CMCS 2008, Budapest, Hungary, April 4-6, 2008
De Finetti's Construction as a Categorical Limit
Proving Behavioural Apartness
Monoidal Computer III: A Coalgebraic View of Computability and Complexity (Extended Abstract)
Corecursive Algebras in Nature
Injective Objects and Fibered Codensity Liftings
Generic Weakest Precondition Semantics from Monads Enriched with Order
Structural Operational Semantics for Continuous State Probabilistic Processes
A Categorical Approach to Secure Compilation
6th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003
Compositional Coinduction with Sized Types
Permutations in Coinductive Graph Representation
On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
Preorder-Constrained Simulations for Program Refinement with Effects
Semantics for First-Order Affine Inductive Data Types via Slice Categories
Coalgebraic Multigames
Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers
Fibrational Bisimulations and Quantitative Reasoning
Libraries for Generic Programming in Haskell
Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text
An Approach to Fast Arrays in Haskell
XQuery: A Typed Functional Language for Querying XML
Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
A Tutorial on Parallel and Concurrent Programming in Haskell
Programming with Fudgets
Arithmetic Coding with Folds and Unfolds
Functional Programming with Overloading and Higher-Order Polymorphism
Constructing Medium Sized Efficient Functional Programs in Clean
Sorting Morphisms
Graph Algorithms with a Functional Flavous
Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat
Implementing Threads in Standard ML
Spider Spinning for Dummies
Heap Profiling for Space Efficiency
Self-adjusting Computation with Delta ML
Combining Datatypes and Effects
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Epigram: Practical Programming with Dependent Types
Polytypic Programming
Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text
Arrows, Robots, and Functional Reactive Programming
Cayenne - A Language with Dependent Types
Programming with Arrows
Generic Programming: An Introduction
From Reduction-Based to Reduction-Free Normalization
Developing Interactive Web Programs
Generic Program Transformation
Refactoring Functional Programs
Haskell as an Automation Controller
The Design of a Pretty-printing Library
Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures
Designing and Implementing Combinator Languages
Merging Monads and Folds for Functional Programming
A Functional Shell That Operates on Typed and Compiled Applications
Monads for Functional Programming
JoCaml: A Language for Concurrent Distributed and Mobile Programming
Typing Haskell with an Attribute Grammar
Server-Side Web Programming in WASH
Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
Using MetaML: A Staged Programming Language
Functional Parsers
Composing the User Interface with Haggis
Deterministic, Error-Correcting Combinator Parsers
An iTask Case Study: A Conference Management System
Declarative Debugging with Buddha
Programming with Algebras
Essentials of Standard ML Modules
Human-AI Interaction in Symbolic Problem Solving
Strategies and behaviors of end-user programmers with interactive fault localization
Constraint Multiset Grammars
User Elicited Hand Gestures for VR-based Navigation of Architectural Designs
Gender: An Important Factor in End-User Programming Environments?
A Generic Visual Critic Authoring Tool
User perceptions and gender in end-user debugging: How do they affect outcomes?
Integrity Constraints in the Multi-Paradigm Language PROGRESS
A Sequent Based Logic for Coincidence Grids
Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995
Implementing Level 4 Liveness in Declarative Visual Programming Languages
Visual qualities of the Unified Modeling Language: Deficiencies and Improvements
Finding Gender Differences in End-User Debugging: A Data Mining Approach
Techniques for the formal definition of the G-LOTOS syntax
Finding errors in the Enron spreadsheet corpus
A Java-Based Implementation of Collaborative Active Textbooks
A visual approach to development of web services providers/requestors
The Design Space of Computational Notebooks: An Analysis of 60 Systems in Academia and Industry
Panel: Visual Database Systems
VRCS: Integrating Version Control and Module Management Using Interactive Three-Dimensional Graphics
1997 Visual Programming Challenge Summary
Hub Map: A new approach for visualizing traffic data sets with multi-attribute link data
Implementation of a Constraint-Based Visualization System
The design of naming features in App Inventor 2
Creating Graphical Interfaces through Graphical Interaction
IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, Leganés-Madrid, Spain, 21-25 September 2010, Proceedings
Using scalable game design to promote 3D fluency: Assessing the AgentCubes incremental 3D end-user development framework
Investigating the Relationship between Usability and Conceptual Gaps for Human-Centric CASE Tools
Strengthening collaborative groups through art-mediated self-expression
Examining active error in software development
Text Editing, with Structure
An OO Visual Language Definition Approach Supporting Multiple Views
Moonstone: Support for understanding and writing exception handling code
A Visual Approach to XML Document Design and Transformation
Extending MSC for Reactive Systems
Estimating the Numbers of End Users and End User Programmers
Representations and Strategies for Solving Spatial Problems with Diagrams
Development of platform-independent multi-user choreographies for virtual worlds based on ontology combination and mapping
A Visual Programming Environment for Programming by Example Abstraction
On the Way to Intelligent Query for Functions in Visual Languages
A Visual Language for Design Pattern Modelling and Instantiation
Generating Visual Editors for Formally Specified Languages
An Exploratory Study of Web Foraging to Understand and Support Programming Decisions
Model-Driven Research in Human-Centric Computing
Using the "Physics" of notations to analyze a visual representation of business decision modeling
Visual Programming of Fault-Tolerant Distributed Applications
2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 26-29 September 2004, Rome, Italy
How block categories affect learner satisfaction with a block-based programming interface
A multi-view framework for generating mobile apps
Identifying Student Misunderstandings About Singly Linked Lists in the C Programming Language
Hyperflow: A Visual Programming Language for Pen Computers
A Model of Human Approach to Describing Algorithms using Diagrams
A Data-Flow Testing Methodology for a Dataflow Based Visual Programming Language
A course-based usability analysis of Cilk Plus and OpenMP
The role of conceptual knowledge in API usability
Visualization of Compile Time Erroers in a Java Compatible Visual Language
Active code completion
Designing training scenarios by rehearsal
Automating data entry for end users
A Predictive Parser for Visual Languages Specified by Relation Grammars
Visual Specification of Actor Configurations
Non-programmers identifying functionality in unfamiliar code: Strategies and barriers
Visual Reflection: Language, Action and Feedback
MOON: Assisting Students in Completing Educational Notebook Scenarios
Lower Floor, Lower Ceiling: Easily Programming Turtle-Graphics
What Programming Languages Do Developers Use? A Theory of Static vs Dynamic Language Choice
Lightweight Executability Analysis of Graph Transformation Rules
Early Design of a Conversational AI Development Platform for Middle Schoolers
Towards a programming environment that adaptively suggests examples and corresponding puzzles based on programmer skill
HotFlow - A Visual Language for Workflow Applications in E-Commerce
Identifying Structure in Spreadsheets
Is There Any Difference in Novice Comprehension of a Small Program Written in the Event-Driven and Object-Oriented Styles?
A Visual Programming Environment for Distributed Systems
Collaborative Visual Programming Workspace for Blockly
Secure Visualization of Authentication Information: A Case Study
Graphical Definitions: Making Spreadsheets Visual Through Direct Manipulation and Gestures
Measuring perceived clutter in concept diagrams
NeuroBlock: A block-based programming approach to neurofeedback application development
Panel on Hypertext Systems
Empowering Diversity: Leveraging Cognitive Styles to Support Newcomers in Open Source Projects
Bringing educational theory to end-user programming
Design Planning in End-User Web Development: Gender, Feature Exploration and Feelings of Success
Automatic data visualization for novice Pascal programmers
Symbol choice and memory of visual models
Supporting User Critiques of AI Systems via Training Dataset Explanations: Investigating Critique Properties and the Impact of Presentation Style
Studying the Benefits and Challenges of Immersive Dataflow Programming
Curve-based diagram specification and construction
A graph grammar model for syntaxes of financial statements
Adaptive Perspectives: Case-Based Reasoning with TYRO, the Graphic Designer's Apprentice
The design of an asynchronous web-based project review system to support studio-based learning in computing education
Accessibility of UI Frameworks and Libraries for Programmers with Visual Impairments
Content oriented visual interface using video icons for visual database systems
Gradual Programming in Hedy: A First User Study
Effects of Code Representation on Student Perceptions and Attitudes Toward Programming
Multiparadigm Visual Programming Language
End-User-Oriented Tool Support for Modeling Data Analytics Requirements
"There's no way to keep up!": Diverse Motivations and Challenges Faced by Informal Learners of ML
What makes a task difficult? An empirical study of perceptions of task difficulty
A Context-Sensitive NCE Graph Grammar and Its Parsability
The Activity Tunnel - An Experiment for Improved Understanding of Program Behavior
Changing Computing To Make It "For All" (Invited Keynote)
Code Stories for Software Repurposing
Visualizing Impacts of Database Schema Changes - A Controlled Experiment
Democratizing access to computational tools: The 7 th annual VL/HCC graduate student consortium
SheetDiff: A Tool for Identifying Changes in Spreadsheets