yusuke1997/dblp-id-title huggingface dataset:
Energy-efficient dynamic task scheduling algorithms for DVS systems
Momentum: Power-neutral Performance Scaling with Intrinsic MPPT for Energy Harvesting Computing Systems
HARS: A hardware-assisted runtime software for embedded many-core architectures
Improving security for periodic tasks in embedded systems through scheduling
LL-GNN: Low Latency Graph Neural Networks on FPGAs for High Energy Physics
Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor
LaDy: Enabling Locality-aware Deduplication Technology on Shingled Magnetic Recording Drives
Guest editorial CAPA'08 configurable computing: Configuring algorithms, processes, and architecture issue I: Configuring algorithms and processes
SPHINCSLET: An Area-Efficient Accelerator for the Full SPHINCS+ Digital Signature Algorithm
A Novel Memristor-Based Hardware Security Primitive
A Novel Embedded Interpolation Algorithm with Negative Squared Distance for Real-Time Endomicroscopy
Energy-Efficient Partitioned-RM Scheduling for Shared Resources Imprecise Mixed-Criticality Tasks
Brain-inspired Cognition in Next-generation Racetrack Memories
Accelerators for Breast Cancer Detection
Preserving Smart Sink-Location Privacy with Delay Guaranteed Routing Scheme for WSNs
Leveraging speculative architectures for runtime program validation
Holistic Resource Allocation Under Federated Scheduling for Parallel Real-time Tasks
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems
Distributed Reconfigurations of Autonomous IEC61499 Systems
Florets for Chiplets: Data Flow-aware High-Performance and Energy-efficient Network-on-Interposer for CNN Inference Tasks
Parallel programming patterns for multi-processor SoC: Application to video processing
Design and Implementation of an Escape Analysis in the Context of Safety-Critical Embedded Systems
DSTL: A Demand-Based Shingled Translation Layer for Enabling Adaptive Address Mapping on SMR Drives
FedHIL: Heterogeneity Resilient Federated Learning for Robust Indoor Localization with Mobile Devices
Editorial: Reimagining ACM Transactions on Embedded Computing Systems (TECS)
An overview of embedded system design education at berkeley
Hybrid Montgomery Reduction
Link layer driver architecture for unified radio power management in wireless sensor networks
Power minimization for dynamically reconfigurable FPGA partitioning
DWMAcc: Accelerating Shift-based CNNs with Domain Wall Memories
Declarative Resilience: A Holistic Soft-Error Resilient Multicore Architecture that Trades off Program Accuracy for Efficiency
An analytical approach for fast and accurate design space exploration of instruction caches
A Novel Emulation Model of the Cardiac Conduction System
Operating Energy-Neutral Real-Time Systems
OpenCL-based Virtual Prototyping and Simulation of Many-Accelerator Architectures
Efficient Code Assignment Techniques for Local Memory on Software Managed Multicores
Fault Detection Architectures for Post-Quantum Cryptographic Stateless Hash-Based Secure Signatures Benchmarked on ASIC
SMaLL: Software for Rapidly Instantiating Machine Learning Libraries
Introduction to the Special Issue on Accelerating AI on the Edge - Part 2
Co-Approximator: Enabling Performance Prediction in Colocated Applications
Chauffeur: Benchmark Suite for Design and End-to-End Analysis of Self-Driving Vehicles on Embedded Systems
Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017)
Aggregation Strategies in Reachable Set Computation of Hybrid Systems
Heterogeneity-aware Multicore Synchronization for Intermittent Systems
Introduction to embedded systems week 2006 special issue
OPPC: An Optimal Path Planning Charging Scheme Based on Schedulability Evaluation for WRSNs
Adaptive real-time scheduling for legacy multimedia applications
Optimal Synthesis of Robust IDK Classifier Cascades
ACDC: Small, Predictable and High-Performance Data Cache
Heuristics on Reachability Trees for Bicriteria Scheduling of Stream Graphs on Heterogeneous Multiprocessor Architectures
Power-mode-aware Memory Subsystem Optimization for Low-power System-on-Chip Design
Offset assignment using simultaneous variable coalescing
Testing Cyber-Physical Systems through Bayesian Optimization
Introduction to the Special Issue on Real-Time, Embedded and Cyber-Physical Systems
Real-Time Video-Based Human Action Recognition on Embedded Platforms
Exploiting Activation Sparsity for Fast CNN Inference on Mobile GPUs
IoV-Fog-Assisted Framework for Accident Detection and Classification
Energy-Aware Memory Mapping for Hybrid FRAM-SRAM MCUs in Intermittently-Powered IoT Devices
Dynamically Instrumenting the QEMU Emulator for Linux Process Trace Generation with the GDB Debugger
Complete and Practical Universal Instruction Selection
Dynamic coalescing for 16-bit instructions
Enhancing user experiences by exploiting energy and launch delay trade-off of mobile multimedia applications
Improving Robustness in IoT Malware Detection through Execution Order Analysis
High-Performance Ideal Lattice-Based Cryptography on 8-Bit AVR Microcontrollers
An approach to abstract argumentation with recursive attack and support
A sequent calculus for a logic of contingencies
Nonmonotonic abductive inductive learning
On the combination of support vector machines and segmentation algorithms for anomaly detection: A petroleum industry comparative study
Unity in nominal equational reasoning: The algebra of equality on nominal sets
Products of modal logics and tensor products of modal algebras
Innovations in computational type theory using Nuprl
On the logical structure of de Finetti's notion of event
Information, confirmation, and conditionals
Natural language semantics in biproduct dagger categories
A polynomial time algorithm for Zero-Clairvoyant scheduling
Combining linear-time temporal logic with constructiveness and paraconsistency
Simulating Turing machines on Maurer machines
An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version)
What kind of independence do we need for multiple iterated belief change?
Ultralarge lotteries: Analyzing the Lottery Paradox using non-standard analysis
A theory of permission based on the notion of derogation
The eco-cognitive model of abduction: Ἀπαγωγή now: Naturalizing the logic of abduction
Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACL C
Revisiting da Costa logic
Analysis of meteorological conditions in Spain by means of clustering techniques
Intuitionistic hybrid logic
An application of Carnapian inductive logic to an argument in the philosophy of statistics
A more general general proof theory
On the a priori and a posteriori assessment of probabilities
Evolutionary simulation of complex networks' structures with specific functional properties
Verifiable agent dialogues
System JLZ - rational default reasoning by minimal ranking constructions
Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks
Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004
Reasoning through doing. Epistemic mediators in scientific discovery
The emergence of reasons conjecture
Computer supported mathematics with Omegamega
A note on two of Hrushovskiʼs constructions
Logic-based XML data integration: a semi-materializing approach
A non-commutative generalization of Łukasiewicz rings
A clausal resolution method for extended computation tree logic ECTL
On classifying abduction
A history based approximate epistemic action theory for efficient postdictive reasoning
On the applicability of the 'number of possible states' argument in multi-expert reasoning
A Paraconsistent Decagon
Special issue SOCO 2015
Temporal logics for concurrent recursive programs: Satisfiability and model checking
Quine on intensional entities: Modality and quantification, truth and satisfaction
A deontic logic framework allowing for factual detachment
On the existence of free models in fuzzy universal Horn classes
Reprint of: Assertion and denial: A contribution from logical notations
A comprehensive semantic framework for data integration systems
Measuring coherence using LP-models
Updating a progic
Hybrid evolutionary workflow scheduling algorithm for dynamic heterogeneous distributed computational environment
Identification of abnormal movements with 3D accelerometer sensors for seizure recognition
Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
Conflicting imperatives and dyadic deontic logic
Deductive databases for computing certain and consistent answers from mediated data integration systems
The structure of ideas in The Port Royal Logic
Cut elimination for a logic with induction and co-induction
Bunched sequential information
An observation on Carnap's Continuum and stochastic independencies
Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
Open answer set programming for the semantic web
Quantum-like logics and schizophrenia
Automatic detection of bunches of grapes in natural environment from color images
Enhancing smart-home environments using Magentix2
Information retrieval from hospital information system: Increasing effectivity using swarm intelligence
On negation: Pure local rules
Qualitative probabilistic inference under varied entropy levels
Algorithms and computations for foldedness of P-ideals in BCI-algebras
Simplified method based on an intelligent model to obtain the extinction angle of the current for a single-phase half wave controlled rectifier with resistive and inductive load
Skew lattices and binary operations on functions
Hilbert's epsilon as an operator of indefinite committed choice
Computing the least common subsumer w.r.t. a background terminology
Weighted Logics for Artificial Intelligence - 2
Deontic epistemic stit logic distinguishing modes of mens rea
SPECIAL ISSUE SOCO13-JAL
Special issue SOCO12
A domain specific language for describing diverse systems of dialogue
A logic for deontic dilemmas
Combining classical logic, paraconsistency and relevance
Framing human inference by coherence based probability logic
Rewrite rules for CTL
A proof-theoretic universal property of determiners
Deduction chains for common knowledge
Lakatos's criticism of Carnapian inductive logic was mistaken
A general tableau method for propositional interval temporal logics: Theory and implementation
Axiomatizing geometric constructions
Hoop twist-structures
A postulate-based analysis of comparative preference statements
50 years of fuzzy set theory and models for supplier assessment and selection: A literature review
Representation theorems for explanatory reasoning based on cumulative models
Disjunctive logic programming with types and objects: The DLV + system
Lightweight relevance filtering for machine-generated resolution problems
A logic for diffusion in social networks
SAD as a mathematical assistant - how should we go from here to there?
Approximate postdictive reasoning with answer set programming
Reactive Kripke models and contrary to duty obligations. Part A: Semantics
An efficient Reverse Distribution System for solving sustainable supply chain network design problem
An abstract dynamic access control architecture
Theorema: Towards computer-aided mathematical theory exploration
Relativized common knowledge for dynamic epistemic logic
Metaphor in computer science
Confirmation as partial entailment: A representation theorem in inductive logic
Algorithms and computations for (m, n)-fold p-ideals in BCI-algebras
Price of privacy
Probabilities of counterfactuals and counterfactual probabilities
Norms as ascriptions of violations: An analysis in modal logic
A proof-centric approach to mathematical assistants
The sure thing principle, dilations, and objective probabilities
Infinity and verifiability in Carnap's inductive logic
Automatic non-linear analysis of non-invasive writing signals, applied to essential tremor
Substantive and procedural norms in normative multiagent systems
On obligations and normative ability: Towards a logical analysis of the social contract
Data-driven type checking in open domain question answering
Intuitionistic common knowledge or belief
Editor's note: Special issue on Combining Probability and Logic to Solve Philosophical Problems
A verification framework for agent programming with declarative goals
Fresh Logic: proof-theory and semantics for FM and nominal techniques
Statistics between inductive logic and empirical science
The subject matter fallacy
Special Issue on Formal Models of Belief Change in Rational Agents
Is it worth generating rules from neural network ensembles?
Algebraic model counting
The many faces of counts-as: A formal analysis of constitutive rules
Modeling Martin-Löf type theory in categories
Reasoning with prioritized information by iterative aggregation of distance functions
Intermediaries and intervenients in normative systems
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
Logic programs, iterated function systems, and recurrent radial basis function networks
A survey on the inventory-routing problem with stochastic lead times and demands
A logical framework for privacy-preserving social network publication
Empirically successful computerized reasoning
The seven virtues of simple type theory
Modeling group assessments by means of hesitant fuzzy linguistic term sets
Characterization of unidimensional averaged similarities
Are there degrees of belief?
Pitting corrosion behaviour of austenitic stainless steel using artificial intelligence techniques
Comparison of classification techniques applied for network intrusion detection and classification
A constructive approach to state description semantics
Logic programming as classical inference
Improving ontology-based text classification: An occupational health and security application
Special issue: Combining probability and logic
A Dempster-Shafer model of imprecise assertion strategies
Second order inductive logic and Wilmers' principle
Special issue on Combining Probability and Logic
Selected papers from the 6th International Conference on Soft Computing Models in Industrial and Environmental Applications
Sensorless control of variable speed induction motor drive using RBF neural network
On the complexity of input/output logic
Improving the semantics of the Software Cost Reduction method
The complexity of satisfiability for fragments of hybrid logic - Part I
A procedural criterion for final derivability in inconsistency-adaptive logics
An analytic tableau calculus for a temporalised belief logic
The complement of a point subset in a projective space and a Grassmann space
Algebraic tableau reasoning for the description logic SHOQ
An adaptive logic for relevant classical deduction
Smarandache BL-algebra
Equivalence issues in abduction and induction
An example of formalizing recent mathematical results in Mizar
Nonmonotonic conditionals that behave like conditional probabilities above a threshold
Abductive inference in defeasible reasoning: a model for research programmes
Addressing moral problems through practical reasoning
Structure features for SAT instances classification
From reasonable preferences, via argumentation, to logic
Using abduction and induction for operational requirements elaboration
A logic of non-monotonic interactions
Formal Ontologies and Coherent Spaces
Possible primitive notions for geometry of spine spaces
On the consistency problem for the INDU calculus
Execution architectures for program algebra
Cogex: A semantically and contextually enriched logic prover for question answering
Selectional restrictions, types and categories
Division by zero in non-involutive meadows
Probability, logic and the cognitive foundations of rational belief
Locality and modular Ehrenfeucht-Fraïssé games
Interpreting HOL in the calculus of constructions
Possibilistic reasoning with partially ordered beliefs
Essential unifiers
Dynamics of mental activity
Probabilistic argumentation
Living up to one's commitments: Agency, strategies and trust
An examination of the SEP candidate analogical inference rule within pure inductive logic
A neural implementation of multi-adjoint logic programming
Line-based affine reasoning in Euclidean plane
Tableau reductions: Towards an optimal decision procedure for the modal necessity
Hierarchical beam search for solving most relevant explanation in Bayesian networks
A decidable multi-modal logic of context
Error analysis of digital filters using HOL theorem proving
The word of others
Answer comparison in automated question answering
A calculus for orchestration of web services
Axiomatizing hybrid logic using modal logic
Praise, blame, obligation, and DWE: Toward a framework for classical supererogation and kin
Methods for modalities 3
An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution
The fallacy of composition: Guiding concepts, historical cases, and research problems
Hybrid logic with the difference modality for generalisations of graphs
Reasoning about evidence
Justification logics and hybrid logics
Variants of the basic calculus of constructions
Formal assessment of reliability specifications in embedded cyber-physical systems
Complexity of modal logics with Presburger constraints
Question answering and database querying: Bridging the gap with generalized quantification
Implementation and testing of a soft computing based model predictive control on an industrial controller
A note on an extension of PDL
Some comments on history based structures
Correlations of spaces of pencils
The left adjoint of Spec from a category of lattice-ordered groups
Common-sense reasoning as proto-scientific agent activity
Efficient spatio-temporal data mining with GenSpace graphs
Representation of interlaced trilattices
Levels of modality for BDI Logic
Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications
Empiricism, probability, and knowledge of arithmetic: A preliminary defense
Multiple-Valued Logic mathematical approaches for multi-state system reliability analysis
Specifying and verifying interaction protocols in a temporal action logic
Equations for formally real meadows
A consistency-based framework for merging knowledge bases
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
The never-ending recursion
Equivalence for the G' 3 -stable models semantics
Semantic computations of truth based on associations already learned
Erratum to "Confirmation as partial entailment" [Journal of Applied Logic 11 (2013) 364-372]
Reasoning about XML with temporal logics and automata
Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence
Defining answer classes using resolution refutation
A general method for proving decidability of intuitionistic modal logics
Towards a logical belief function theory
Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
Security of multi-agent systems: A case study on comparison shopping
Program algebra with a jump-shift instruction
Formal reliability analysis of combinational circuits using theorem proving
Assertion and denial: A contribution from logical notations
The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
Capturing equilibrium models in modal logic
Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLL R
Computing the Lagrangians of the standard model
Causal discovery and the problem of ignorance. An adaptive logic approach
Time and defeasibility in FIPA ACL semantics
A general first-order solution to the ramification problem with cycles
Fuzzy microaggregation for the transparency principle
An axiomatization of family resemblance
Paraconsistent logic from a modal viewpoint
Using temporal logics of knowledge for specification and verification - a case study
A QBF-based formalization of abstract argumentation semantics
Behavioral equivalence of hidden k-logics: An abstract algebraic approach
A propositional linear time logic with time flow isomorphic to ω 2
Lexicographic pseudo MV-algebras
Blueprint for a dynamic deontic logic
Using logical relevance for question answering
Automata for the verification of monadic second-order graph properties
Logic programs and connectionist networks
Solving the $100 modal logic challenge
Preservation of Craig interpolation by the product of matrix logics
A logical calculus for controlled monotonicity
Agent strands in the action language nC+
Reprint of: A more general general proof theory
The Ackermann approach for modal logic, correspondence theory and second-order reduction
Aristotle's Thesis between paraconsistency and modalization
Mathematical foundations of consciousness
Continuity and geometric logic
Flexible software architectures for ontology-based information systems
Proof theory and mathematical meaning of paraconsistent C-systems
Eradication
Obligation, contracts, and negotiation: Outlining an approach
Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions
A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics
Anti-intuitionism and paraconsistency
Natural deduction for bi-intuitionistic logic
Probabilities on Sentences in an Expressive Logic
An experiment concerning mathematical proofs on computers with French undergraduate students
Termination of logic programs with imperfect information: applications and query procedure
Model checking propositional dynamic logic with all extras
On modal mu-calculus with explicit interpolants
Electronic institutions and neural computing providing law-compliance privacy for trusting agents
An evolutionary system for neural logic networks using genetic programming and indirect encoding
Probabilistic reasoning in a classical logic
Uncertain reasoning at FLAIRS
A small look at the ear recognition process using a hybrid approach
Questions and Answers: Theoretical and Applied Perspectives
Rule-based schema matching for ontology-based mediators
Towards computer aided mathematics
Gödel spaces and perfect MV-algebras
Relational semantics for full linear logic
On harmony and permuting conversions
Transformation of fractions into simple fractions in divisive meadows
Problems and results for logics about imperatives
Reasoning about conditional probabilities in a higher-order-logic theorem prover
A formal account of Socratic-style argumentation
A modal type theory for formalizing trusted communications
Constraint LTL satisfiability checking without automata
Preferential theory revision
A labeled argumentation framework
Category theory, logic and formal linguistics: Some connections, old and new
Inversive meadows and divisive meadows
Propositional relevance through letter-sharing
Computing finite models by reduction to function-free clause logic
Hybrids of the × -translation for CZF omega
Ordered domain algebras
Runtime verification using the temporal description logic ALC-LTL revisited
Prolegomenon to norms in branching space-times
Efficient incremental planning and learning with multi-valued decision diagrams
Simulative belief logic
Combining genetic algorithms and the finite element method to improve steel industrial processes
Probability and logic
Borderlines and probabilities of borderlines: On the interconnection between vagueness and uncertainty
Translation of first order formulas into ground formulas via a completion theory
Errors of Reasoning: Naturalizing the Logic of Inference, John Woods. College Publications, London (2013), ISBN: 978-1-84890-114-8
Rich deontic logic: a preliminary study
Formalising the informal?: Dynamic social order, bottom-up social control, and spontaneous normative relations
Temporal alethic-deontic logic and semantic tableaux
Marketing impact on diffusion in social networks
Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008)