yusuke1997/dblp-id-title huggingface dataset:
Simulating the optimized participation of distributed controllable generators at the spot market for electricity considering prediction errors
Advanced Metering Infrastructure functionalities for electric mobility
A Survey on Electrical Energy Storage Potential in South-East Europe to Support Transmission Network Flexibility
Control Strategy for a Triple Active Bridge Converter: a Generalized Average Model Approach
Digital Twin of the Medium Voltage Grid of University City at UNAM
Grid-connected three-input PV/FC/Battery power system with active power filter capability
Impact of Distributed Generation Integration on Distribution System Reliability
Prospects and Costs for Reactive Power Control in Sundom Smart Grid
Smart Charging, Vehicle-to-Grid, and Reactive Power Support from Electric Vehicles in Distribution Grids: A Performance Comparison
Point and contextual anomaly detection in building load profiles of a university campus
Smart grid ADR aggregation delay model on large-scale distributed building HVAC facilities
Enhancing Grid Resilience with the Integration of Frequency Response in Renewable Energy Systems
Probabilistic assessment of operational risk considering different wind turbine technologies
A predictive control scheme for automated demand response mechanisms
P2P Energy Trading in Energy Communities with Local PV and Community Energy Storage Systems
Profitability Analysis of Consumer Batteries Providing Frequency Containment Reserve
A Process Calculus with Incomparable Priorities
The Total Order Assumption
Modal Logics in Timed Process Algebras
Process Communication Environment
NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992
Verification of Value-Passing Systems
Real-Time Calculi and Expansion Theorems
A Causality-based Semantics for CCS
Exception Handling in Process Algebra
An Extension of the Testing Method for Processes Passing Infinite Values
Observation Trees
Computing Ready Simulations Efficiently
CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities
Constructive Semantics
A π-calculus Semantics of Logical Variables and Unification
Making activities visible: a way to patient empowerment
The future of techno-disruption in gig economy workforces: challenging the dialogue with fictional abstracts
Reconfiguring Human-centred Design of Technology as a Technohuman Intervention
The Limitations of Reality
Imagining the Cool-ag: Or, Freedom Considered Harmful
Growable, Invisible, Connected Toys: Twitching Towards Ubiquitous Bacterial Computing
Digital -is- Physical: How Functional Fabrication Disrupts Ubicomp Design Principles
Entangled Ethnography: Towards a collective future understanding
A Vision of Augmented Reality for Urban Search and Rescue
Understanding Human Behaviour in Industrial Human-Robot Interaction by Means of Virtual Reality
Towards Post-Interaction Computing: Addressing Immediacy, (un)Intentionality, Instability and Interaction Effects
Ambiguity as a Means for triggering Civic Participation
Human-robot relationships and the development of responsible social robots
Exploring Communal Technology Use in the Home
Fourth-Wave HCI Meets the 21st Century Manifesto
Careful Devices
Exploring the Sensed and Unexpected: Not Looking in Gaze Interaction
Sketching & Drawing as Future Inquiry in HCI
Teaching Robots to Act and Converse in Physical Spaces: Participatory Design Fictions with Museum Guides
Service Design in HCI Research: The Extended Value Co-creation Model
Beyond HCI and CSCW: Challenges and Useful Practices Towards a Human-Centred Vision of AI and IA
Against Ethical AI
Graceful Interactions and Social Support as Motivational Design Strategies to Encourage Women in Exercising
Designing for Play that Permeates Everyday Life: Towards New Methods for Situated Play Design
Soma Design and Politics of the Body
Proceedings of the Halfway to the Future Symposium 2019, HTTF 2019, Nottingham, UK, November 19-20, 2019
Blending into the White Box of the Art Museum
Towards a Network of Practices: Identifying Central Elements to Inform Design
5 Percent Piano: An Augmented Piano with Playful Audio Response
The Disappearing Computer Science in Healthcare VR applications
How Can We Balance Research, Participation and Innovation as HCI Researchers?
UrbanIxD: From Ethnography to Speculative Design Fictions for the Hybrid City
Social AI for Engaging UbiComp
Toward 'Suprahuman' Technology
Otherworld: Ouija Board as a Resource for Design
Latent Spaces: The High-Dimensional Infosphere
The Data Hungry Home
The Technological Gaze
Natural Action Processing
A Successful Failure or a Failed Success?
Exploring Machine Learning Approaches for Classifying Mental Workload using fNIRS Data from HCI Tasks
Reimagining the Role of the Expert: From Interface Design to Interface Curation
Public Outcomes of Publicly Funded Socio-Technical Projects
Evolutionary Discrete Firefly Algorithm for Travelling Salesman Problem
Hybrid Learning System for Adaptive Complex Event Processing
Ranking-Based Feature Selection Method for Dynamic Belief Clustering
Reference Architecture for Self-adaptive Management in Wireless Sensor Networks
Utility-Based Self-Adaption with Environment Specific Quality Models
Monitoring of Quality of Service in Dynamically Adaptive Systems
Artificial Recurrence for Classification of Streaming Data with Concept Shift
Distributed Constraint Programming with Agents
Empirical Identification of Non-stationary Dynamics in Time Series of Recordings
A Hierarchical Infinite Generalized Dirichlet Mixture Model with Feature Selection
A Memetic Algorithm for Routing in Urban Public Transportation Networks
A PDDE-Based Order Scheduling Optimization with Raw Material Uncertainty
Future Prospects of Human Interaction with Artificial Autonomous Systems
Decremental Rough Possibilistic K-Modes
An Improved Adaptive PID Controller Based on Online LSSVR with Multi RBF Kernel Tuning
Subsumption Architecture for Enabling Strategic Coordination of Robot Swarms in a Gaming Scenario
Border Pairs Method - Constructive MLP Learning Classification Algorithm
Collaborative Wind Power Forecast
A Dynamic Bayesian Model of Homeostatic Control
The Game-Theoretic Approach to Machine Learning and Adaptation
A Trajectory Tracking Application of Redundant Planar Robot Arm via Support Vector Machines
Robust Optimization by Means of Vegetative Reproduction
Context Identification and Exploitation in Dynamic Data Mining - An Application to Classifying Electricity Price Changes
Using Virtual Embryogenesis in Multi-robot Organisms
New Drift Detection Method for Data Streams
An Extended Sliding Mode Learning Algorithm for Type-2 Fuzzy Neural Networks
Incremental Semi-automatic Correction of Misclassified Spatial Objects
Classifying Textures with Only 10 Visual-Words Using Hidden Markov Models with Dirichlet Mixtures
A Novel Method for Scene Categorization Using an Improved Visual Vocabulary Approach
Regenerative Abilities in Modular Robots Using Virtual Embryogenesis
Multi-resident Activity Recognition Using Incremental Decision Trees
Golden Ratio (Sectiona Aurea) in Markovian Ants AI Hybrid
Learning Sentiment from Students' Feedback for Real-Time Interventions in Classrooms
Self-adaptive Service Monitoring
The Evolution of Evolutionary Computation
Adaptive and Intelligent Systems - Second International Conference, ICAIS 2011, Klagenfurt, Austria, September 6-8, 2011. Proceedings
Adaptive and Intelligent Systems - Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-10, 2014. Proceedings
Learning Curve in Concept Drift While Using Active Learning Paradigm
ICALA: Incremental Clustering and Associative Learning Architecture
Physical Time Series Prediction Using Dynamic Neural Network Inspired by the Immune Algorithm
Importance of Feature Selection for Recurrent Neural Network Based Forecasting of Building Thermal Comfort
Mobile Robot Self-diagnosis with a Bank of Adaptive Particle Filters
Discrete Particle Swarm Optimization for TSP: Theoretical Results and Experimental Evaluations
Extracting and Exploiting Topics of Interests from Social Tagging Systems
Adaptive Bearings Vibration Modelling for Diagnosis
On-Line Human Recognition from Video Surveillance Using Incremental SVM on Texture and Color Features
A Models@run.time Approach for Multi-objective Self-optimizing Software
A New Space Defined by Ant Colony Algorithm to Partition Data
A Combinatorial Auction Negotiation Protocol for Time-Restricted Group Decisions
Emergence of Safe Behaviours with an Intrinsic Reward
Towards a Better Understanding of the Local Attractor in Particle Swarm Optimization: Speed and Solution Quality
Towards Online Adaptive Ambient Intelligent Environments for Multiple Occupants
A Multi-agent Approach for Adaptive Virtual Organization Using JADE
Exploration and Exploitation in Online Learning
QoS-Based Reputation Feedback Fusion under Unknown Correlation
Intelligent Crossroads for Vehicle Platoons Reconfiguration
Automatic Task Resolution and Adaptation in Pervasive Environments
Genetic Algorithm Based Structure Identification for Feedback Control of Nonlinear MIMO Systems
Runtime Generation of Robot Control Code from Ontology File
Time Stamping in the Presence of Latency and Drift
Online Identification of the System Order with ANARX Structure
PROPLANE: A Specification Development Environment
Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings
Towards an Integrated Environment for Concurrent programs Development
Verifying a Sliding Window Protocol in µCRL
Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
Structure of Concurrency
BAL Tool in Flexible Manufacturing Systems
Information Algebras
Analysis of Downward Closed Properties of Logic Programs
On Guard: Producing Run-Time Checks from Integrity Constraints
Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
Constructive Semantics of Esterel: From Theory to Practice (Abstract)
Synchronization of Logics with Mixed Rules: Completeness Preservation
Consistency of Partial Process Specifications
Bisimulation by Unification
Proving the Correctness of Behavioural Implementations
Completeness Results for Two-sorted Metric Temporal Logics
The SuRE Programming Framework
Visual Abstractions for Temporal Verification
Abstract Interpretation of Prolog Programs
Type Analysis for CHIP
MEC: A System for Constructing and Analysis Transition Systems
Deadlock Analysis for a Fault-Tolerant System
A Language for Configuring Multi-level Specifications
Using Occurence and Evolving Algebras for the Specification of Language-Based Programming Tools
Verification of Java Programs with Generics
Interaction between Algebraic Specification Grammars and Modular System Design
Joining Abstract and Concrete Computations in Constraint Logic Programming
A Linear Temporal Logic Approach to Objects with Transactions
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems
Verifying Communication Protocols Via Testing-Projection
Behavioural Types and Component Adaptation
A Reuse-Oriented Framework for Hierarchical Specifications
Towards an Efficient Implementation of Tree Automata Completion
An Algebraic View of Program Composition
Proof Transformations for Evolutionary Formal Software Development
Accelerated Modal Abstractions of Labelled Transition Systems
Decomposing Interactions
A Coherent Type System for a Concurrent, Functional and Imperative Programming Language
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment
BRAIN : Backward Reachability Analysis with Integers
CPO Models for Infinite Term Rewriting
On Rewriting Behavioral Semantics in Process Algebras
Order-sorted Algebraic Specifications with Higher-order Functions
Algebraic Semantics of Real-Time Process Specifications
A Compositional Semantics of Plan Revision in Intelligent Agents
Encoding Natural Semantics in Coq
Pi-Congruences as CCS Equivalences
An Object-Oriented Design for the ACT ONE Environment
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints
Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions
Making Mathematical Methods More Practical for Software Developers (Invited Talk)
Invited Talk: Algebraic State Machines
Relation Algebras for Reasoning about Time and Space
Software Configuration with Information Systems
The Verification of the On-Chip COMA Cache Coherence Protocol
Case Studies in Using a Meta-Method for Formal Method Integration
Two Industrial Trials of Formal Specification
Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY
A Characterization of LOTOS Representable Networks of Parallel Processes
Model Checking and Fault Tolerance
Partial Order Programming (Revisited)
Head-Tactics Simplification
On the Coverage of Partial Validations
Semantic Foundations for Embedding HOL in Nuprl
A Framework for Order-Sorted Algebra
Preprocessing for Invariant Validation
Abstraction for Safety, Induction for Liveness
Generalizing the Modal and Temporal Logic of Linear Time
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller
A Foundation of Escape Analysis
The Circal System
The TYPELAB Specification and Verification Environment
An Algebraic Semantics for the Specification Language Z ++
State Space Reduction of Rewrite Theories Using Invisible Transitions
Extending JML Specifications with Temporal Logic
A Categorical Characterization of Consistency Results
Modal Abstractions in µCRL
Decomposition of Finite State Machines under Isomorphic and Bisimulation Equivalences
Equivalences of Transition Systems in an Algebraic Framework
Fork Algebras as a Sufficiently Rich Universal Institution
Realizability Criteria for Compositional MSC
Analysing Multi-Agent System Traces with IDaF
Parametric Analysis of Computer Systems
The Algebra of Multi-tasking
A Method for Secure Smartcard Applications
Higher-Order Quantification and Proof Search
Message Authentication through Non Interference
Quantales and Temporal Logics
Fractional Semantics
Model-Checking Systems with Unbounded Variables without Abstraction
Formal Verification of a Commercial Smart Card Applet with Multiple Tools
From Specifications to Code in CASL
Using Heterogeneous Formal Methods in Distributed Software Engineering Education
An ASM Semantics for UML Activity Diagrams
Testing Semantics: Connecting Processes and Process Logics
Fully Automatic Adaptation of Software Components Based on Semantic Specifications
Extracting Recursive Programs in Type Theory
The Development Graph Manager MAYA
A Formal Definition of an Abstract Prolog Compiler (Extended Abstract)
The Role of Memory in Object-based and Object-oriented Languages
Coinductive Properties of Causal Maps
Systematising Reactive System Design
A Monad for Basic Java Semantics
Measuring the Speed of Information Leakage in Mobile Processes
Span(Graph): A Categorial Algebra of Transition Systems
Towards a Theory of Binding Structures: An Abstract Algebra
Equational Logic as a Tool
An Algebra of Non-safe Petri Boxes
Deriving Incremental Implementations from Algebraic
TwoLev: A Two Level Scanner
The Cogito Development System
Testing from Structured Algebraic Specifications
Systematic Design of Call-Coverage Features
The PROSPECTRA System: A Unified Development Framework
Finite Axiom Systems for Testing Preorder and De Simone Process Languages
Refining Mobile UML State Machines
Learning in a Changing World, an Algebraic Modal Logical Approach
Assessing the Expressivity of Formal Specification Languages
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
A Hybrid Approach for Safe Memory Management in C
Automated Proof of the Correctness of a Compiling Specification
A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching
Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations
Algebraic Composition and Refinement of Proofs
The Hidden Function Question Revisited
The B Method and the B Toolkit
Representing Place/Transition Nets in Span(Graph)
State Space Reduction for Process Algebra Specifications
System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries
Verification of Distributed Real-Time and Fault-Tolerant Protocols
A Generic Algebra for Data Collections Based on Constructive Logic
Invariants, Bisimulations and the Correctness of Coalgebraic Refinements
A Calculus of Countable Broadcasting Systems
Verification of Temporal Properties of Processes in a Setting with Data
Algebraic Construction of Program Representation Graphs
Executing Action Semantic Descriptions using ASF+SDF
Matching Logic: An Alternative to Hoare/Floyd Logic
Deductive Verification of Distributed Groupware Systems
Efficient Algebraic Operations on Programs
Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language
Towards Formal Verification of ToolBusScripts
The ASF+SDF Meta-environment
Combining Reductions and Computations in ReDuX
Synchronous Observers and the Verification of Reactive Systems
A Linear Metalanguage for Concurrency
Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings
Analyzing String Buffers in C
Pushouts of Order-Sorted Algebraic Specifications
Selective Attribute Elimination for Categorial Data Specifications
Towards Correspondence Carrying Specifications
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial Project
Revisiting the Categorical Approach to Systems
Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings
TERSE: A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems
Duration Calculus, a Logical Approach to Real-Time Systems
Modularity and the Rule of Adaptation
Language Polynomial in the Input Plus Output
Real-Time Program Synthesis from Specifications
Model Transformations Incorporating Multiple Views
Towards Performance Evaluation in Process Algebras
Verification Using PEP
Data Movement Optimisation in Point-Free Form
ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools
HASCASL: Towards Integrated Specification and Development of Functional Programs
Program Calculation in Coq
Towards a Toolkit for Actor System Specification
On the Emergence of Properties in Component-Based Systems
Tools for Algebraic Distributed System Design
Combining Methods for the Livelock Analysis of a Fault-Tolerant System
Generic Exception Handling and the Java Monad
About Algebras, Fixpoints and Semantics
Ensuring Streams Flow
Verification in Continuous Time by Discrete Reasoning
Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings
The Role of Education and Trainig in the Industrial Application of Formal Methods
A Hybrid Logic of Knowledge Supporting Topological Reasoning
Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study
Mongruences and Cofree Coalgebras
Categorical Programming with Abstract Data Types
Approximative Analysis by Process Algebra with Graded Spatial Actions
Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993
A Single Perspective on Arrows between Institutions
Algebraic Dynamic Programming
Hyperfinite Approximations to Labeled Markov Transition Systems
An Object-Oriented Front-end for Deductive Databases
Algebraic Support for Service-Oriented Architecture
Programming in Lygon: A System Demonstration
Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract)
On the Value of Commutative Diagrams in Information Modelling
ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids
Architectural Specifications in CASL
Symbolic Bisimulation for Timed Processes
The LOTOS Toolbox
Proving Existential Termination of Normal Logic Programs
Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation
Completeness in Abstract Interpretation: A Domain Perspective
An Algebraic Semantics for Contract-Based Software Components
Modular Refinement and Model Building
An Algebraic Framework for Developing and Maintaining Real-Time Systems
Recording HOL Proofs in a Structured Browsable Format
RECOPLA: An Extendible Graphic Meta-Editor
A Notion of Refinement for Automata
Symbolic Bisimulation for Full LOTOS
A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing
Specification of Timing Constraints within the Circal Process Algebra
SPIKE: A System for Automatic Inductive Proofs
Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints
An Algebraic Development Technique for Information Systems
Modelling Concurrent Interactions
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures
Automating Induction over Mutually Recursive Functions
The METAGEN System
Symbolic Timing Devices
Knowledge Based Computation (Extended Abstract)
Semantic Typing for Parametric Algebraic Specifications
Scheduling Algebra
Opaque Predicates Detection by Abstract Interpretation
A New Proof-Manager and Graphic Interface for the Larch Prover
DOVE: A Tool for Design Oriented Verification and Evaluation
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection
Invited Talk: A Software Engineering Program of Lasting Value
Clean Algebraic Exception with Implicit Propagation
Explaining Verification Conditions
A Study on the Specification and Verification of Performance Properties (Extended Abstract)
Kleene under a Demonic Star
Separating Sets by Modal Formulas
A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs
Higher-Order Narrowing with Convergent Systems
Abstract and Concrete Objects - An Algebraic Design Method for Object-Based Systems
On Mechanizing Proofs within a Complete Proof System for Unity
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos
Towards Heterogeneous Formal Specification
Verifying Invariants of Component-Based Systems through Refinement
Agent-Oriented Programming: Where Do We Stand?
A Logic-Based Technology to Mechanize Software Components Reuse
Refinement Rules for Real-Time Multi-tasking Programs
On the Specification and Verification of Performance Properties for a Timed Process Algebra
An Algebraic Approach to Modeling in Software Engineering
SEAMLESS: Knowledge Based Evolutionary System Synthesis
Specifying Type Systems with Multi-Level Order-Sorted Algebra
The Discrete Time TOOLBUS
Invited Talk: ASM Formalware in the Software Engineering Cycle
A Causal Semantics for Timed Default Concurrent Constraint Programming
Translation Results for Modal Logics of Reactive Systems
An Equational Axiomatization of Observation Congruence for Prefix Iteration
Service Specification and Matchmaking Using Description Logic
Studies on the Ground Convergence Property of Conditional Theories
A Framework for Dexterous Manipulation using Lie Algebras
CAMILA: Prototyping and Refinement of Constructive Specifications
RELVIEW - A Computer System for the Manipulation of Relations
Automata and Games for Synthesis
Liberate Computer User from Programming
Monad-Based Logics for Computational Effects
Event Spaces and their Linear Logic
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker