yusuke1997/dblp-id-title huggingface dataset:
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change
Thompson Languages
Anthroponym - Pseudonym - Kryptonym: Zur Namensgebung in Erpresserschreiben
Deterministic Parsing with P Colony Automata
Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca
Data Managment for Engineering Applications
Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Essays in Game Theory, In Honor of Michael Maschler
But, What Is It Actually a Fuzzy Set?
An Experiment of Number Field Sieve for Discrete Logarithm Problem over GF(p 12)
Pattern Atlas
Taming Living Logic Using Formal Methods
A Case Study in Information Flow Refinement for Low Level Systems
Achieving Net Feedback Gain in the Linear-Deterministic Butterfly Network with a Full-Duplex Relay
Variance Reduction in Stochastic Reaction Networks Using Control Variates
Rational Relations as Rational Series
A Survey of Continous-Time Computation Theory
A Discourse on Guessing and Reasoning
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework
To Yuri at 80 and More than 40 Years of Friendship
Controlled Hybrid CD Grammar Systems
(Co)Algebraic Characterizations of Signal Flow Graphs
The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata
8k-ary Grid Graph Models of Tabular Forms
History Dependent Automata for Service Compatibility
Automated Theorem Proving in High-Quality Software Design
The Legacy of a Great Researcher
Types, Functional Programming and Atomic Transactions in Hardware Design
Program Transformation for Development, Verification, and Synthesis of Software
Systolic Automata and P Systems
Polyadic Soft Constraints
On and On the Temporal Way
The Localization Reduction and Counterexample-Guided Abstraction Refinement
Reading words in graphs generated by hyperedge replacement
A Retrospective of a Pioneering Project. Earlier Than XML, Other Than SGML, Still Going: CuProS Metadata for Deeply Nested Relations and Navigating for Retrieval in RAFFAELLO
Identity Merging and Identity Revision in Talmudic Logic: An Outline Paper
The Value-Passing Calculus
Attribute Importance Degrees Corresponding to Several Kinds of Attribute Reduction in the Setting of the Classical Rough Sets
Extending The Constraint Database Framework
Cooperation in Ubiquitous Computing: An Extended View on Sharing
Towards a Common Framework for Peer-to-Peer Web Retrieval
LISP and Parallelism
Formal and Informal Proofs
Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday, JENSFEST 2024, Pasadena, CA, USA, 22 October 2024
Structure-Preserving Binary Relations for Program Abstraction
The Next Step for the Translation Network
Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Applying Visible Strong Equivalence in Answer-Set Program Transformations
Engineers Don't Search
Algebraic Properties of Interfaces
From Rewriting Logic, to Programming Language Semantics, to Program Verification
Neural-Symbolic Systems and the Case for Non-Classical Reasoning
Strategic Reading & Conceptual Modeling
Making Large Information Sources Better Accessible Using Fuzzy Set Theory
Composition: A Fresh Look at an Old Topic
Formal Verification of BDI Agents
Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology
Networks of Parallel Language Processors
Hidden Markov Models with Unobservable Transitions
Topological Properties in Encoded Blum Universal Static Complexity Spaces
Data Processing Displacements: The Use of CHERI Fat Pointers and the GDPR
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet
Reverse Mathematics of Matroids
Expectation vs. Reality: Towards Verification of Psychological Games
A Survey of Data Structures in the Bitprobe Model
Beautiful Imperative Code - A Functional Ace in the Hole for Imperative Programmers
Abstract Structures in Spatial Cognition
Long-Term Competition - A Game-Theoretic Analysis
A Safety Roadmap to Cyber-Physical Systems
FFF97 - Oberon in the Real World
The Complexity of Symmetric Boolean Functions
A Unified Framework for Quantitative Analysis of Probabilistic Programs
Bounds and Algorithms for Joins via Fractional Edge Covers
Existential Fixed-Point Logic, Universal Quantifiers, and Topoi
Keller, Stack und automatisches Gedächtnis - eine Struktur mit Potenzial, Tagungsband zum Kolloquium, 14. November 2014 in Jena, Deutschland
The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation
Cognitive Augmentation in Processes
Continuous Modelling of Verse Lengths in Welsh and Gaelic Metrical Psalmody
Learning in the Limit: A Mutational and Adaptive Approach
Using DEVS for Full Life Cycle Model-Based System Engineering in Complex Network Design
ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Adaptive Task Planning and Formal Control Synthesis Using Temporal Logic Trees
The Scientific Contribution of Marek Sergot
The Spectra of Words
Daily Life with N. Wirth
Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems
Fuzzy Patterns for Fuzzy Modeling in Chemnitz, Germany
Conf Researchr: A Domain-Specific Content Management System for Managing Large Conference Websites
From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems
Malwa: Learnability by Design
A Weakly Universal Cellular Automaton on the Grid {8, 3} with Two States
Stability in Heterogeneous Dynamic Multimedia Networks
Learning Theoretical Aspects is Important but (Sometimes) Dangerous
Randomness Testing: Result Interpretation and Speed
Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size
Fuzzy Set and Possibility Theory in Optimization: L. Zadeh's Contributions
Nondeterministic Trajectories
Program Synthesis for Multi-agent Question Answering
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Reflections on Bernhard Steffen's Physics of Software Tools
Clustering the Normalized Compression Distance for Influenza Virus Data
Axiomatizing Consciousness with Applications
Paths to Software Engineering Evidence
Computational complementarity for probabilistic automata
Processes, Workflows, Web Service Flows: A Reconstruction
Some Fixed-Point Issues in PPTL
Towards a Theory of Information
On some forms of splicing
Capsules and Closures: A Small-Step Approach
Lexicons, Terminologies, Ontologies: Reflections from Experiences in Resource Construction
Relation Between AHP and Operators Based on Different Scales
Service Composition for Collective Adaptive Systems
Model Checking vs. Theorem Proving: A Manifesto
Causal Logic Programming
Ada Lovelace lives forever: Ada's four questions
Petri Nets, Discrete Physics, and Distributed Quantum Computation
Automata, Formal Languages, and Related Topics - Dedicated to Ferenc Gécseg on the occasion of his 70th birthday
On the Ontological Nature of Syntactic Categories in Categorial Grammar
From Theory to Practice: The Invention of Programming, 1947-51
Permutations of the Integers Induce only the Trivial Automorphism of the Turing Degrees
Kurzvorstellung der Korrelativen Dialektometrie
Minimal Trellises for Non-degenerate and Degenerate Decoding of Quantum Stabilizer Codes
A Survey of Graph Algorithms Under Extended Streaming Models of Computation
CoreASM Plug-In Architecture
Simple and Efficient Clause Subsumption with Feature Vector Indexing
On P Colonies and Virus Machines
Turning numbers into notes
Prequel to the Cornell Computer Science Department
Informationsgesellschaft, Sicherheit und Menschenrechte
Second Thoughts on the Second Law
EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks
Proper Protocol
Face Traverses and a Volume Algorithm for Polyhedra
Experimental Modeling for a Natural Landing of Fuzzy Sets in New Domains
Programmable Messaging for Electronic Government - Building a Foundation
Nanomachine Computing by Quorum Sensing
Da in Donghua University
Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation
Nudging Strategies for User Journeys: Take a Path on the Wild Side
Sprachtechnologie in einem Informationssystem
k-Morik: Mining Patterns to Classify Cartified Images of Katharina
Application of Fuzzy Inference Systems in Real World Scenarios
Informationswissenschaft an der Karl-Franzens-Universität Graz
An Information Retrieval Prototype for Research and Teaching
Specifying and Verifying Organizational Security Properties in First-Order Logic
A Lower Bound for Randomized Searching on m Rays
Computational Logic in an Object-Oriented World
Bidimensional Contextual Grammars
Quantitative Simulation Games
Reoptimization of NP-Hard Problems
Certifying Data in Multiparty Session Types
Advances in Algorithms, Languages, and Complexity - In Honor of Ronald V. Book
Concurrent Objects à la Carte
The Architecture Description Language MoDeL
What's Decidable About Discrete Linear Dynamical Systems?
Shorter Compact Representations in Real Quadratic Fields
Mathematical Foundations of Answer Set Programming
The Logical Execution Time Paradigm
Artificial Intelligence Within the Bounds of Ontological Reason
Temporal Phenomics - A Powerful Approach Using AI to Achieve "Earlier Medicine"
Von textbasiertem zu inhaltsorientiertem Wissensmanagement - Die Rolle von Terminologien und Ontologien
Apartness and Distinguishing Formulas in Hennessy-Milner Logic
Complexity Measures for Meta-learning and Their Optimality
Warmest Congratulations, Frank!
Contextual Array Grammars
The Path of Linguistic Random Regression to Knowledge Acquisition
A Retrospective on Semantics and Interoperability Research
Itemanalysen und Skalenkonstruktion in der Sprichwortforschung
Secure D2D in 5G Cellular Networks: Architecture, Requirements and Solutions
On Boolean Automata Isolated Cycles and Tangential Double-Cycles Dynamics
Analyse symbolique de sourires de personnages virtuels
Pattern Generation and Parsing by Array Grammars
Parallel Pattern Generation with One-Way Communications
What's a Part? On Formalizing Part-Whole Relations
Using Role-Play Diagrams to Improve Scenario Role-Play
Family Complexity and VC-Dimension
Some Ideas on Privacy-Aware Data Analytics in the Internet-of-Everything
Some Examples of Average-case Analysis by the Imcompressibility Method
Vladimir Lifschitz - A Youth at 65
On the Concurrent Semantics of Algebraic Graph Grammars
Die Verdichtung textuellen Wissens zu Information - Vom Wandel methodischer Paradigmen beim automatischen Abstracting
Ours Is to Reason Why
Recent Developments in Armstrong Codes
Concepts and Grammar: Thoughts about an Integrated System
Forschung an einer Fachhochschule
On Self-Dual Bases of the Extensions of the Binary Field
A Qualitative Security Analysis of a New Class of 3-D Integrated Crypto Co-processors
PCSP# Denotational Semantics with an Application in Sports Analytics
Real World Application of Semantic Technology
On the Complexity of Iterated Insertions
To Sifu - Supervision, Mentorship and Lifelong Bond
A Short Dialogue Concerning "What Is" and "What Is Not" with Imprecise Words
Programmability of Chemical Reaction Networks
Mechanisms of Sense Extension in Verbs
Menzerath's law for the smallest grammars
Complexity of Language Recognition Problems for Compressed Words
Integral Difference Ratio Functions on Integers
Horizontal Composability Revisited
Discrete Rotation Maps and Generalized Continued Fractions
Eelco Visser as a Typographic Designer
Von der Kommerzialisierung bis zum Deep Web: Problemfelder der Internetsuche
A Technique to Obtain Hardness Results for Randomized Online Algorithms - A Survey
John Mylopoulos: Sewing Seeds of Conceptual Modelling
Pragmatic Formal Specification of System Properties by Tables
Sequence-Dominance Grammars
The Black Ninjas and the Sniper: On Robust Population Protocols
Computing in Łukasiewicz Logic and AF-Algebras
In Fond Memory of Da Ruan
Utility-Preserving Privacy Mechanisms for Counting Queries
Fuzziness in Automata Theory: Why? How?
Go Where the Bugs Are - Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Design and Evaluation of a Visitor Guide in an Active Museum
Multilingual Lexis, Semantics, and Onomasiology. Terminological Database Modelling, by Using the CuProS Metarepresentation Language: An XML-Compatible XML-Precursor Enabling Flexible Nested-Relation Structures
Social Dependence Relationships and Their Role in Social Modelling Languages
Statistical Variations of German Support Verb Constructions in Very Large Corpora
Minesweeper is Difficult Indeed! - Technology Scaling for Minesweeper Circuits
Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Fully Forward-Secure Group Signatures
ViDoC - Visual Design of Optimizing Compilers
Petri Net Analysis Using Invariant Generation
A Category of Explicit Fusions
Modular Verification of Strongly Invasive Aspects
On Generalized Comparison-Based Sorting Problems
Model Transformation By-Example: A Survey of the First Wave
An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systems
Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations
Closure under Complementation of Logspace Complexity Classes - A Survey
A Decade of Featured Transition Systems
Quality of Conceptual Models in Model Driven Software Engineering
Different Glasses to Look into the Three Cs: Component, Connector, Coordination
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning
Improving the Timed Automata Approach to Biological Pathway Dynamics
Algorithmic Information Theory and Computational Complexity
A general purpose ranking variable with applications to various ranking laws
Conceptual Modeling for Data Integration
Wissenschaftliches Rechnen - Scientific Computing
Selected Decision Problems for Square-Refinement Collage Grammars
Towards Engineering Digital Twins by Active Behaviour Mining
Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library
Teaching Algorithms and Data Structures: 10 Personal Observations
Are There Formal Languages Complete for SymSPACE(log n)?
ML with First-Class Environments and its Type Inference Algorithm
Function-Based Access Control (FBAC): Towards Preventing Insider Threats in Organizations
Decentralized Governance of Distributed Systems via Interaction Control
From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL
The Expressive Power of Temporal and First-Order Metric Logics
From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
15 Years of Consequence-Based Reasoning
Introduction to part II
Towards Team-Automata-Driven Object-Oriented Collaborative Work
Deadlock Analysis of Wait-Notify Coordination
In the Days since Da Passed Away: Our Best Adjunct Professor and Best Friend
Taking It to the Next Level: Nicola Guarino, Formal Ontology and Conceptual Modeling
Abstract State Machines and the Inquiry Process
Towards the Automatic Acquisition of a Valence Dictionary for Polish
Edge Computing Integrated with Blockchain Technologies
Molecular structures
Uncertainty and Knowledge Repositories in the Web of Data
Extending and Updating the Finnish Wordnet
Die datenschutz-konforme Verwendung personenbezogener Daten in Informations-systemen
Survey: Weighted Extended Top-Down Tree Transducers Part III - Composition
Technologie-Förderpolitik als Lernprozess - Möglichkeiten und Grenzen
Injection Structures Specified by Finite State Transducers
Beiträge zur Forschungsdisziplin Mensch- Computer-Interaktion
An Interpretive Isomorphism Between Binary and Ternary Relations
Efficient Implementation of True Random Number Generator Based on SRAM PUFs
Partial Conway and Iteration Semiring-Semimodule Pairs
Warmest Congratulations, Ernst-Rüdiger!
Integer Linear Programming in Computational Biology
Expander2
On the Consistency of the Bootstrap Approach for Support Vector Machines and Related Kernel-Based Methods
Term Rewriting Meets Aspect-Oriented Programming
Semantic components and metaphorization
It's All a Game - Apartness and Bisimilarity
Digitales Marketing - ohne performante Hardware kein Erfolg im Highspeed-Business
Deep Distant Supervision: Learning Statistical Relational Models for Weak Supervision in Natural Language Extraction
An Outstanding Scientist in Applied AI for Nuclear Research
A note on first-order reasoning for minimum models
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
What is the Natural Abstraction Level of an Algorithm?
An Overview on Applications of Spiking Neural Networks and Spiking Neural P Systems
On the Relationship Between Aggregating Semantics and FO-PCL Grounding Semantics for Relational Probabilistic Conditionals
Hexagonal Contextual Array P Systems
Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System
Concept Analysis Based Approach to Statistical Web Testing
Konrad Zuse's Relationship to Informatics
A Tour Through the Programming Choices: Semantics and Applications
On the Early History of Register Machines
Uniform Functors on Sets
On the Computational Complexity of Bisimulation, Redux
Towards a Logical Foundation of Reification in Modelling Languages
Secure Network Coding with Adaptive and Active Attack
Security Metrics at Work on the Things in IoT Systems
Models for Data-Flow Sequential Processes
Should We Send Him to Prison? Paradoxes of Aggregation and Belief Merging
Wie öffentlich soll Wissen für Wissenschaft und Unterricht sein? Anmerkungen zum Urheberrecht in derInformationsgesellschaft
Der kartengesteuerte Zahlungsverkehr in der Bundesrepublik Deutschland unter besonderer Berücksichtigung des Daten- und Verbraucherschutzes
Dexter as a PhD Advisor
Theoretical Foundations for Mobile Target Defense: Proactive Secret Sharing and Secure Multiparty Computation
A Modal Logic Analysis of the MUTEX Variable Coverage Theorem
Two Models for Gene Assembly in Ciliates
Tree-Based Adaptive Model Learning
Semantic Web and Applied Informatics: Selected Research Activities in the Institute AIFB
The Blossom of Finite Semantic Trees
Collaborative Work Management with a Highly-Available Kanban Board
What is the Future of Cryptography?
Topological Interpretation of Interactive Computation
On the Small Quasi-kernel Conjecture - A Survey
A Bibliography of Ole-Johan Dahl
On Learnability, Complexity and Stability
An Optimistic Concurrency Control Protocol for Replicated Databases
Sheaves and Structures of Transition Systems
A Cook's Tour of the Finitary Non-Well-Founded Sets
Characterizing the Class of Deterministic Context-Free Languages by Semi-Right-Terminating Uniquely Parsable Grammars
Pushing the Limits of Parallel Discrete Event Simulation for SystemC
Applications of Action Languages in Cognitive Robotics
Will you concede me Poetical Science?
Automated Proofs for Asymmetric Encryption
Resource Analysis of Distributed Systems
The Evolution of Jolie - From Orchestrations to Adaptable Choreographies
Assume-Guarantee Reasoning for Additive Hybrid Behaviour
Traversal-Invariant Characterizations of Logarithmic Space
The Influence of the Designer on the Design - J. McCarthy and LISP
Huffman coding trees and the quantitative structure of lexical fields
Faster Run-Length Compressed Suffix Arrays
Design Patterns - Past, Present & Future
Outerplanar Graphs and Delaunay Triangulations
Pairs of corresponding discrete and continuous distributions: Mathematics behind, algorithms and generalizations
First-order Spectra with One Variable
Fourth order array processing methods for GPS direction of arrival estimation
Multi-Mode Antenna Enabled Direction-of-Arrival Estimation for Swarm Navigation
Joint motion capture and navigation in heterogeneous Body Area Networks with distance estimation over neighborhood graph
FMCW system aspects for multipath environments
On the capability of high sensitivity GPS for precise indoor positioning
7th Workshop on Positioning Navigation and Communication, WPNC 2010, Dresden Germany, 11-12 March 2010, Proceedings
A network traffic reduction method for cooperative positioning
Gershgorin discs of gramian matrices for target tracking
On the scalability of a novel WLAN positioning system based on time of arrival measurements
A Comparison of Signal Strength Localization Methods with Sigfox
A Clusterized WLS Localization Algorithm for Large Scale WSNs
A Reproducible Comparison of RSSI Fingerprinting Localization Methods Using LoRaWAN
Indoor positioning using ambient radio signals: Data acquisition platform for a long-term study
Performance Improvement of Asynchronous UWB Position Location Algorithm Using Multiple Pulse Transmission
Setting up a phase-based positioning system using off-the-shelf components
Anchorless underwater acoustic localization
Cooperative localization in GNSS-aided VANETs with accurate IR-UWB range measurements
Refined characterization of RSSI with practical implications for indoor positioning
Extended Kalman filter for a low cost TDoA/IMU pedestrian localization system
GNSS quality in pedestrian applications - a eveloper perspective
Extensive Ultrasonic Local Positioning System for navigating with mobile robots
MAC delay in belief consensus for distributed tracking
2.5D mapping using GNSS signal analysis
Three frequency linear combinations for Galileo
Robot self-localization in ultra-wideband large scale multi-node setups
Soft-decision based position estimation for wireless localization in indoor scenarios
Synchronization Algorithms for Positioning with OFDM Communications Signals
Wireless Tracking for Industrial Services
UWB Positioning Experiment in a typical Snowy Environment
3D Ray Tracing for device-independent fingerprint-based positioning in WLANs
Requirements to positioning solution for mobility 4.0
Predictive NLOS Detection for UWB Indoor Positioning Systems Based on the CIR
Angle-based indoor positioning system for open indoor environments
Detection of Feature Areas for Map-based Localization Using LiDAR Descriptors
Cramér-Rao Lower Bounds for hybrid localization of mobile terminals
DLS: A Resource-Aware Localization Algorithm with High Precision in Large Wireless Sensor Networks
An ultra-wideband approach towards autonomous radio control and positioning systems in manufacturing & logistics processes
The Statistical Analysis of Noise in Triaxial Magnetometers and Calibration Procedure
Design and Accuracy Evaluation of a RSS-Based Visible Light Positioning Implementation
Application of indoor navigation technologies under practical conditions
Passive RFID tomographic imaging for device-free user localization
Solving the fast moving vehicle localization problem via TDOA algorithms
Design considerations for direct RF sampling receiver in GNSS environment
Performance comparison of TOA and TDOA based location estimation algorithms in LOS environment
Contention-based Geographic Forwarding strategies for position-centric routing
Reference node selection for cooperative positioning using coalition formation games
Accurate lane detection using commercial GNSS devices
Inter-cell interference coordination and synchronization based on location information
A packet-level adaptive forward error correction scheme for wireless networks
Low-Cost Car Park Localization Using RSSI in Supervised LoRa Mesh Networks
Position determination based on sensor data fusion with digital maps and 3D point cloud data
Dynamic environment modelling and prediction for autonomous systems
Design considerations and performance of low-cost ultrasonic ranging system
Indoor localization on mobile phone platforms using embedded inertial sensors
Omnidirectional Pedestrian Navigation for First Responders
NLOS mitigation in TOA-based localization using semidefinite programming
Comparative Examination of Iterative and Non- Iterative Algorithms for Partial Discharge Location Approximation in High Voltage Equipment
Testing of positioning and timing for cooperative and autonomous driving systems
A test environment for phase-based ranging and localization