yusuke1997/dblp-id-title huggingface dataset:
Overview of Business Hyper-automation
Dematerialization of Public Procurement Approach Based on Hyperledger Fabric Blockchain using OCDS
A Comprehensive Service-Oriented Innovation Support System for E-Commerce Innovation Process
Privacy Preserving-Based Recommendation Service Model of Mobile Commerce and Anonimity Algorithm
The Impact of Organizational Learning on Lack of Team's Expertise Risk in Information Systems Projects
Privacy Preserving Collaborative Filtering with k-Anonymity through Microaggregation
Overview of Security Threats for Smart Cards in the Public Transport Industry
A Framework for Effective Knowledge Extraction from A Data Space Formed by Unstructured Technical Reports using Pre-trained Models
An Application of Using Bluetooth Indoor Positioning, Image Recognition and Augmented Reality
Cloud for e-Learning: Determinants of Its Adoption by University Students in a Developing Country
Mobile RFID Technology for Improving M-Commerce
Modeling and Analyzing Composite Semantic Web Service Using Petri Nets
Ninth IEEE International Conference on e-Business Engineering, ICEBE 2012, Hangzhou, China, September 9-11, 2012
Efficient Usage of Network Bandwidth in the Cloud Architecture
Research on Hybrid-Cloud-Based User Privacy Protection of O2O Platform
Exploring Practical Mobile Interaction for Enterprise Business Process
Will Existing CS, IT and IS Departments Really Deliver the Service Science, Management and Engineering Vision?
e-Monitoring of Outsourcing IS Project in Financial Institutions: A Case Study on Mandatory Provident Fund Projects in Hong Kong
A Formal Approach to Devising a Practical Method for Modeling Reusable Services
Cost Optimization in Virtual World Redundancy Management
IEEE International Conference on e-Business Engineering - Title Page
Prediction of Chinese Squid Price Index Based on LSTM Model
A Checking Consistency Framework Based on Multi-View Models Towards Business Process Model Repository
SCPM: Facilitating Process-Centric Deployment in Enterprise System Implementation
A New Quality Chart to Improve the Efficiency of Cloud Resource Management
A Parameter Model of Genetic Algorithm Regulating Ant Colony Algorithm
Sweep based Multiple Ant Colonies Algorithm for Capacitated Vehicle Routing Problem
A Case Study: Adoption of Information Technology in E-Business of United Arab Emirates
Analyzing Service Usage Patterns: Methodology and Simulation
A Study on the Influence of Engagement Marketing Strategy on Customer Perceived Support and Willingness to Customer Engagement
A User-Centred Design Approach For Agent Based E-Business Systems
IEEE International Conference on e-Business Engineering - Copyright
Model-Driven Specification of Software Services
Public Sentiment Analysis in Twitter Data for Prediction of a Company's Stock Price Movements
Ensuring the Consistent Concurrent Execution of Service Composition under Relaxed Isolation
Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004
Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005
Proceedings of the Fourth Workshop on Structural Operational Semantics, SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007
Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006
Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008
N-GraphML: Language and Formal Grammar for Proof-Graphs
Parallel Algorithm for the HP Protein Folding Problem
Using Graph Grammars to Develop Embedded Systems Based on UML Models
An Introduction to Lambda Calculus and Functional Programming
The Computational Complexity of Random Variables with Uniform, Exponential and Pareto Distributions in Real and Interval Forms
Automatic Translation from UML to Simulink CAAM Using Graph Grammars
A New Way to Obtain the Initial Centroid Clusters in Fuzzy C-Means Algorithm
Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin
Sensitivity and Dual Constructions on the Fuzzy f-Xor Class
Towards Developmental Turing Machines
Theoretical and Experimental Analysis of the Jurema Branch-and-Bound Method
Behaviour Model Extraction from Software
Quantum Monad Using Java Closures
Specification of Models Based on Contexts using Graph Grammars
Programming Language Semantics with Isabelle/HOL
2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013
Conjugate and Dual Constructions on Interval Functions
Interval-Valued Intuitionistic Fuzzy Implications
Graph Grammars: A Comparison between Verification Methods
Hybrid Intelligent Systems: A Study on Genetic Algorithms and Fuzzy Approaches
Analysing Properties, Conjugate and Dual Constructions on Fuzzy s-X(N)or Connectives
Aggregation Operators on the Fuzzy e-Xor and e-XNor Classes
A Domain Specific Language based on Monads for Distributed Transactional Memory in Java
Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems
Epistemic Relativism in Agent Societies: A Preliminary Semantic Model
Hand Skill Programming: Using Fuzzy Sets to Program Topobo Kinectis Memory Devices
Linear Programming Modeling for Solving Fuzzy Zero-Sum Games
Discussing the Challenges Related to Deployment of Computational Thinking in Brazilian Basic Education
Simulating the Quantum Fourier Transform
Mixed Integer Linear Programming Models to Solve the Shisen-Sho Puzzle
A Comparison between K-Means, FCM and ckMeans Algorithms
On Interval Fuzzy Numbers
Theoretical Computing Machines: A Systemic Approach
2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011
Using DCOP to Solve Virtual Network Allocation Problems
Extension of Lattice-valued QL-implications
A Way to Obtain the Quality of a Partition by Adjusted Rand Index
A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs
Modeling Uncertainty and Decision Making in Strategic Interactions in Multiagent Systems: An Overview
Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars
Graph Grammar Specification for the Populational Level of Multi-agent System Organizations
Applications of Numerical Methods with Linear Complexity in Flood Forecasting in Rivers
Int-Haar: Improving Precision of the Haar Interval Wavelet Extension
Computational Thinking: Possibilities and Challenges
Fuzzy a-Ideals of Product Operator on Bounded Fuzzy Lattices
Aggregating Fuzzy QL-Implications
Measuring the Quality of Internet Shopping: An Experiment Using Fuzzy Logic
A Fuzzy-BDI Agent Model for Exchanges of Non-economic Services, Based on the Social Exchange Theory
On Vector and Matrices of Fuzzy Numbers
Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015
On Fuzzy Probabilities in Bayesian Games
qGMC-Analyzer - Quantum Simulation on Multicore Architectures
Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations
A Simulation Model for Process-Centered Software Engineering Environments Using Sensitivity Analysis
Cultural Algorithms: A Study of Concepts and Approaches
Quantum Computing: State-of-Art and Challenges
SANTA: A Spatial Accelerator Design for Efficient Number Theoretic Transform (NTT) on Heterogeneous System-on-Chips
Cover Chirp Jaming: Hybrid Jamming-Deception Attack on FMCW Radar and Its Countermeasure
Netlist Whisperer: AI and NLP Fight Circuit Leakage!
Proceedings of the 2024 Workshop on Attacks and Solutions in Hardware Security, ASHES 2024, Salt Lake City, UT, USA, October 14-18, 2024
Hardware Security: State of the Art
Towards Unsupervised SEM Image Segmentation for IC Layout Extraction
High-Performance NTT Hardware Accelerator to Support ML-KEM and ML-DSA
Enabling Lattice-Based Post-Quantum Cryptography on the OpenTitan Platform
Beyond the Last Layer: Deep Feature Loss Functions in Side-channel Analysis
Proceedings of the 2023 Workshop on Attacks and Solutions in Hardware Security, ASHES 2023, Copenhagen, Denmark, 30 November 2023
Patching FPGAs: The Security Implications of Bitstream Modifications
Effective Layout Design for Laser Fault Sensor on FPGA
Modulation to the Rescue: Identifying Sub-Circuitry in the Transistor Morass for Targeted Analysis
PHIDIAS: Power Signature Host-based Intrusion Detection in Automotive Microcontrollers
Acoustic Eavesdropping Attack Using Self-Mixing Laser Interferometer
FOBOS 3: An Open-Source Platform for Side-Channel Analysis and Benchmarking
Better Side-Channel Attacks Through Measurements
Physical Unclonable Functions: The First Fifty Years
Remote Fault Injection Attack against Cryptographic Modules via Intentional Electromagnetic Interference from an Antenna
Practical Fault Injection Attacks on Constant Time CSIDH and Mitigation Techniques
The Quantum Imitation Game: Reverse Engineering of Quantum Machine Learning Models
In Search of Trust: 30 Years of Evolution of Trusted Computing and Hardware Security
BackMon: IC Backside Tamper Detection using On-Chip Impedance Monitoring
A Side-Channel Attack on a Masked Hardware Implementation of CRYSTALS-Kyber
BioLeak: Exploiting Cache Timing to Recover Fingerprint Minutiae Coordinates
When Data Shines - Leaking Data from Microcontrollers Through Photon Emission Analysis
FaultFinder: Lightning-fast, Multi-architectural Fault Injection Simulation
Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving
Modeling Temporal Aspects of Contract Net Protocol Using Timed Colored Petri Nets
Multiclass Cascades for Ensemble-based Boosting Algorithms
STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium, Lisbon, Portugal, 16-20 August, 2010
Use of Discourse and Syntactic Features for Gender Identification
Binarization Algorithms for Approximate Updating in Credal Nets
Building Learning Designs by Using an Automatic Planning Domain Generation: A State-Based Approach
Role Assertion Analysis: a proposed method for ontology refinement through assertion learning
OHDOCLUS - Online and Hierarchical Document Clustering
Semantifying Triples from Open Information Extraction Systems
Human Robot Collaboration to Reach a Common Goal in an Assembly Process
Multi-Attribute Auction Mechanism for Supporting Resource Allocation in Business Process Enactment
A Compact Argumentation System for Agent System Specification
POMDP solving: what rewards do you really expect at execution?
Semantics of Alan
Fair Mechanisms for Recurrent Multi Unit Combinatorial Auctions
A Hybrid Approach to Commonsense Knowledge Acquisition
Human Speech Processing for Pedestrian Assistance: Towards Cognitive Error Handling in Spoken Dialogue Systems
Empirical Study of Classification Models for Web Page Categorization
NEWPAR: An Optimized Feature Selection and Weighting Schema for Category Ranking
Towards Decentralised AGV Control With Negotiations
On-line ADL Recognition with Prior Knowledge
MEC - Monitoring Clusters' Transitions
On Evaluating Interestingness Measures for Closed Itemsets
Probabilistic Association Rules for Item-Based Recommender Systems
Extension-Based Semantics of Abstract Dialectical Frameworks
The Landmark-based Meta Best-First Search Algorithm for Classical Planning
Investigating Strategic Considerations in Persuasion Dialogue Games
Another Point of View on Diagnosability
Reconsideration on Non-Linear Base Orderings
The Decidability of RPTL
Tuning the Feature Space for Content-Based Music Retrieval
Computing Optimal Policies for Attack Graphs with Action Failures and Costs
A! - A Cooperative Heuristic Search Algorithm
Probabilistic Logic with Conditional Independence Formulae
Towards a Semantic Classifier Committee based on Rocchio
Nonparametric Segment Detection
Base Belief Change and Optimized Recovery
Identifying Geographic Events and Processes in Spatio-temporal Data
Multi-Agent Collaboration: A Satellite Constellation Case
Semantics for Containment Belief Revision in the Case of Consistent Complete Theories
Complexity and Approximability of Egalitarian Nash Product Social Welfare Optimization in Multiagent Resource Allocation
Towards the Usage of Advanced Behavioral Simulations for Simultaneous Tracking and Activity Recognition
Knowledge Base Extraction for Fuzzy Diagnosis of Mental Retardation Level
A Logic of Part and Whole for Buffered Geometries
Cost of Stability and Least Core in Path-Disruption Games
Towards modeling surprise in economics and finance: a cognitive science perspective
Solving Fuzzy PERT Using Gradual Real Numbers
Learning Process Behavior with EDY: an Experimental Analysis
Supervised Separation of Speech from Background Piano Music using a Nonnegative Matrix Factorization Approach
"Do you trust me or not?" - Trust games in agent societies
Computing Subjective Expected Utility using Probabilistic Description Logics
Adaptive Negotiation for Resource Intensive Tasks in Grids
Relational Descriptive Analysis of Gene Expression Data
An approach for evaluating User Model Data in an interoperability scenario
Neural Network-based Framework for Data Stream Mining
Temporal Plan Quality Improvement and Repair using Local Search
Set-Labeled Diagrams for CSP Compilation
Reward Function Learning for Dialogue Management
Generative Structure Learning for Markov Logic Networks
Practical Defeasible Reasoning for Description Logics
Difficulty Rating of Sokoban Puzzle
Exploring Metric Sensitivity of Planners for Generation of Pareto Frontiers
Challenges and Solutions for Hierarchical Task Network Planning in E-Learning
A submodular-based decomposition strategy for valued CSPs
Predicting Players Behavior in Games with Microtransactions
Qualitative modelling to prospect expert's reasoning
Cognitive learning with automatic goal acquisition
Endowing BDI Agents with Capability for Modularizing
Embedding a Card Game Language into a General Game Playing Language
Towards Learning and Classifying Spatio-Temporal Activities in a Stream Processing Framework
Clause Simplifications in Search-Space Decomposition-Based Sat Solvers
A much better polynomial time approximation of consistency in the LR calculus
The Margin of Victory in Schulze, Cup, and Copeland Elections: Complexity of the Regular and Exact Variants
FUNEUS: A Neurofuzzy Approach Based on Fuzzy Adaline Neurons
Managing Risk in Recurrent Auctions for Robust Resource Allocation
Integration of Temporal abstraction and Dynamic Bayesian Networks for Coronary Heart Diagnosis
The Two-Variable Situation Calculus
Connecting ABT with a SAT Solver
User-based Collaborative Filtering: Sparsity and Performance
Control in Judgment Aggregation
Towards Social Dynamic Dependence Networks for Institutions
Formal and Data Association Aware Robust Belief Space Planning
A Logic for Specifying Agent Actions and Observations with Probability
Electronic Tourist Guides: User-friendly Editing of Automatically Planned Routes
A Cost-Based Relaxed Planning Graph Heuristic for Enhanced Metric Sensitivity
Learning Probabilistic CP-nets from Observations of Optimal Items
Improving Batch Reinforcement Learning Performance through Transfer of Samples
An Hybrid Soft Computing Approach for Automated Computer Design
A Theorem Prover with Dependent Types for Reasoning about Actions
Social Media User Recommendation
Solving MDPs with Unknown Rewards Using Nondominated Vector-Valued Functions
Effective and Efficient Identification of Persistent-state Hidden (semi-) Markov Models
Learning from Data Streams: Synopsis and Change Detection
STAIRS 2016 - Proceedings of the Eighth European Starting AI Researcher Symposium, The Hague, The Netherlands, August 29-30, 2016
Relaxing Regression for a Heuristic GOLOG
A comparison of two machine-learning techniques to focus the diagnosis task
Hierarchical Action Selection for Reinforcement Learning in Infinite Mario
Towards Effective 'Any-Time' Music Tracking
Onto.PT: Automatic Construction of a Lexical Ontology for Portuguese
Automatic Generation of Natural Language Parsers from Declarative Specifications
A Repair Operator for Global Solutions of Decomposable Problems
Deliberative Acceptability of Arguments
Learning Fuzzy Models of User Interests in a Semantic Information Retrieval System
Enhancing Coalition Formation in Multi-Agent Systems When Agents Plan Their activities
A Workbench for Anytime Reasoning by Ontology Approximation - With a case study on instance retrieval
Domain-Dependent View of Multiple Robots Path Planning
Planning and Scheduling in Hybrid Domains
Modeling Single-Peakedness for Votes with Ties
STAIRS 2014 - Proceedings of the 7th European Starting AI Researcher Symposium, Prague, Czech Republic, August 18-22, 2014
Social Responsibility among deliberative agents
HiPOP: Hierarchical Partial-Order Planning
Confluent Term Rewriting for Only-knowing Logics
Run-time Plan Repair for AUV Missions
Spam Filtering: the Influence of the Temporal Distribution of Training Data
Toward an Activity Theory Based Model of Spatio-Temporal Interactions - Integrating Situational Inference and Dynamic (Sensor) Control
A Comparison of Web Service Interface Similarity Measures
The Effect of Mobility and Emotion on Interactions in Multi-Agent Systems
Writing a Good Grant Proposal
Online Proactive Planning with Multiple Hypotheses
Local stability of Belief Propagation algorithm with multiple fixed points
Distributed and Incremental Clustering Based on Weighted Affinity Propagation
Dealing with the dynamics of proof-standard in argumentation-based decision aiding
Dynamic Abstraction for Hierarchical Problem Solving and Execution in Stochastic Dynamic Environments
Ontology-Based Document and Query Representation May Improve the Effectiveness of Information Retrieval
A two-phase bidirectional heuristic search algorithm
NORMC: a Norm Compliance Temporal Logic Model Checker
On the improvement of brain tumour data clustering using class information
Adopting a Risk-Aware Utility Model for Repeated Games of Chance
Artificial Intelligence and Unmanned Aerial Vehicles
Improving the efficiency of ontology engineering by introducing prototypicality
Finding Alternatives Web Services to Parry Breakdowns
STAIRS 2006 - Proceedings of the Third Starting AI Researchers' Symposium, Riva del Garda, Trentino, Italy, 2006
Empirical Evaluation of Scoring Methods
STAIRS 2008 - Proceedings of the Fourth Starting AI Researchers' Symposium, Patras, Greece, 21-25 July, 2008
A Multi-Hypothesis Monitoring Architecture: Application to Ambulatory Physiology
Design Space Descriptions for Logical Generation of Content
First-Order Multi-class Subgroup Discovery
Unsupervised Word Sense Disambiguation Using The WWW
Obligationes as Formal Dialogue Systems
Curiosity-Aware Bargaining
Performance Analysis of Class Noise Detection Algorithms
A Two-Levels Local Search Algorithm for Random SAT Instances with Long Clauses
Maintaining Arc Consistency in Non-Binary Dynamic CSPs using Simple Tabular Reduction
Integrating individual and social intelligence into module-based agents without central coordinator
On the Extension of Learning for Max-SAT
Interleaving Planning and Plan Execution with Incomplete Knowledge in the Event Calculus
Sentiment Classification of Social Media Content with Features Generated Using Topic Models
On Generalizing the AGM Postulates
Personalizing Trust in Online Auctions
Merging and Splitting for Power Indices in Weighted Voting Games and Network Flow Games on Hypergraphs
Unsupervised Web-based Automatic Annotation
OCL Plus: Processes and Events in Object-Centred Planning
Probabilistic Path-Disruption Games
Tackling the Winograd Schema Challenge Through Machine Logical Inferences
Argumentation Semantics for Temporal Defeasible Logic
Rational Agents under ASP in Games theory
Representing Case Variations for Learning General and Specific Adaptation Rules
Fast Subset Path Planning/ Replanning to Avoid Obstacles with Time-Varying Probabilistic Motion Patterns
Anomaly Detection with a Spatio-Temporal Tracking of the Laser Spot
Domain Independent Goal Recognition
Smart Ride Seeker Introductory Plan
Counterfactual dependency and actual causation in CP-logic and structural models: a comparison
Cancer Classification using SVM-boosted Multiobjective Differential Fuzzy Clustering
Relational Graph Mining for Learning Events from Video
Multi-objective learning of accurate and comprehensible classifiers - A case study
STAIRS 2012 - Proceedings of the Sixth Starting AI Researchers' Symposium, Montpellier, France, 27-28 August 2012
Tools for Finding Inconsistencies in Real-world Logic-based Systems
Value Iteration for Relational MDPs in Rewriting Logic
Approaches to Efficient Resource-Constrained Project Rescheduling
Detecting Similarities in Mobility Patterns
Polymorphic P Systems
P Colonies with a Bounded Number of Cells and Programs
Minimal Multiset Grammars for Recurrent Dynamics
An Algorithmic Approach to Tilings of Hyperbolic Spaces: 10 Years Later
Membranes with Boundaries
Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers
Tissue P Systems with Point Mutation Rules
Towards a Hybrid Metabolic Algorithm
Skin Output in P Systems with Minimal Symport/Antiport and Two Membranes
Usefulness States in New P System Communication Architectures
Using the Formal Framework for P Systems
Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers
From P to MP Systems
Parallel Contextual Array Insertion Deletion P Systems and Tabled Matrix Grammars
Programming P Systems with Complex Objects
Infinite Hierarchies of Conformon-P Systems
Modeling Population Growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by Using P-Systems
A Modeling Approach Based on P Systems with Bounded Parallelism
Modelling Signalling Networks with Incomplete Information about Protein Activation States: A P System Framework of the KaiABC Oscillator
Actor-Like cP Systems
Towards a P Systems Pseudomonas Quorum Sensing Model
Executable Specifications of P Systems
Spiking Neural P Systems with Astrocytes Using the Rules in the Exhaustive Mode
Metabolic P System Flux Regulation by Artificial Neural Networks
On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism
On Counter Machines versus dP Automata
A P System Description of the Sodium-Potassium Pump
Coping with Dynamical Structures for Interdisciplinary Applications of Membrane Computing
Purely Catalytic P Systems over Integers and Their Generative Power
Asynchronous P Systems and P Systems Working in the Sequential Mode
Partial Array Token Petri Net and P System
Most Common Words - A cP Systems Solution
Structured Grid Algorithms Modelled with Complex Objects
The Evolutionary Resilience of Distributed Cellular Computing
A Formal Framework for Static (Tissue) P Systems
Feasibility of Organizations - A Refinement of Chemical Organization Theory with Application to P Systems
Biological Roots and Applications of P Systems: Further Suggestions
Depth-First Search with P Systems
An Excursion Through Quantitative Model Refinement
Modelling Spatial Heterogeneity and Macromolecular Crowding with Membrane Systems
On the Qualitative Analysis of Conformon P Systems
On Small Universality of Spiking Neural P Systems with Multiple Channels
A Linear Solution for QSAT with Membrane Creation
Multigraphical Membrane Systems Revisited
A Look Back at Some Early Results in Membrane Computing
On the Dynamics of PB Systems: A Petri Net View
P Systems with Active Membranes Working in Sublinear Space
A Note on Small Universal Spiking Neural P Systems
(UREM) P Systems with a Quantum-Like Behavior: Background, Definition, and Computational Power
A Reconfigurable Hardware Membrane System
Generalized Forbidding Matrix Grammars and Their Membrane Computing Perspective
Revising the Membrane Computing Model for Byzantine Agreement
P Systems and the Modeling of Biochemical Oscillations
The Abilities of P Colony Based Models in Robot Control
Membrane Computing Meets Temperature: A Thermoreceptor Model as Molecular Slide Rule with Evolutionary Potential
Chain Code P System Generating a Variant of the Peano Space-Filling Curve
Universality of Minimal Symport/Antiport: Five Membranes Suffice