yusuke1997/dblp-id-title huggingface dataset:
On Internet of Things and Big Data in University Courses
Optimized Communication Architecture of MPSoCs with a Hardware Scheduler: A System-Level Analysis
Ontology-Driven Situation Assessment System Design and Development in IoT Domains
Self-Adaptive Economic-Based Resource Allocation in Ad-Hoc Grids
Unsupervised Learning and Online Anomaly Detection: An On-Condition Log-Based Maintenance System
AI-Based Cyberbullying Prevention in 5G Networks
Empirical Study on Discrete Modeling of Urban Intersection Management System
Privacy-Protecting Algorithms for Digraph Shortest Path Queries
Towards Remote Sensing Datasets Collection and Processing
Controlled Synthesis of Multifunctional Coatings by Micro-Arc Oxidation Method
Semantic Approach to Opening Museum Collections of Everyday Life History for Services in Internet of Things Environments
An Enhanced Two Stage MMSE Equalizer for Coded FBMC/OQAM Systems
Using Smartphone Inertial Measurement Unit for Analysis of Human Gait
Motion Restricted Information Filter for Indoor Bluetooth Positioning
ROCK-CNN: Distributed Deep Learning Computations in a Resource-Constrained Cluster
A Multidimensional Software Cache for Scratchpad-Based Systems
A Demand-Response Scheme Using Multi-Agent System for Smart DC Microgrid
Adaptive Hierarchical Scheduling Framework for TiRTOS
ESQuMo: An Embedded Software Quality Model
Time Petri Nets with Action Duration: A True Concurrency Real-Time Model
An Integrated Parallel Multistage Spectrum Sensing for Cognitive Radio
Optimal Power Management System in Embedded Devices by using Novel Scheduling Algorithm
A Review on Energy Optimization in Location-Based Services for 5G and IoT Networks
Effectiveness Evaluation of Replacement Policies for On-Chip Caches in Multiprocessors
A Simulation-Based Framework for the Exploration of Mapping Solutions on Heterogeneous MPSoCs
RDTA: Recursive and Dynamic Timed Automata for Web Services Composition Analysis
Implementation and Evaluation of Skip-Links: A Dynamically Reconfiguring Topology for Energy-Efficient NoCs
Flash-Based Storage Deduplication Techniques: A Survey
Privacy-Aware Contact Sharing for Groups in P2P Networks
Implementation and Comparative Analysis of k-means and Fuzzy c-means Clustering Algorithms for Tasks Allocation in Distributed Real Time System
Embedded Networks in Mobile Devices
An Agent-Based Fault Tolerance Mechanism for Dependable Medical Systems
An Approach to UML Consistency Checking Based on Compositional Semantics
MPSoC Architecture for Macro Blocks Line Partitioning of H.264/AVC Encoder
Hardware/Software Co-Design of a Vision System for Automatic Classification of Date Fruits
Device Authentication and Data Encryption for IoT Network by Using Improved Lightweight SAFER Encryption With S-Boxes
Conformance Testing of Preemptive Real-Time Systems
Long-Term Synchronization of Hybrid Sensors Networks
Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain
Configuring Methods for Deadlock-Free Routing
Co-Modeling of Embedded Networks Using SystemC and SDL
A Reconfigurable Wireless Environment for ECG Monitoring and Encryption
On-Chip Measurement and Compensation of Timing Imbalances in High-Speed Serial NoC Links
Data Analysis of an RFID System for Its Dependability
Approximating Shadowed Rician Model to Other Simpler Models
Classification of Dataflow Actors with Satisfiability and Abstract Interpretation
Time Synchronization Mechanisms for Spacefibre Networks and Their Implementations
A Digital Twin Model of the Smart City Communication Infrastructure
Design Flow for Silicon Chip Implementing Novel Platform Architecture for Wireless Communication
Classes of Attacks for Tactical Software Defined Radios
Event Report: International Symposium on System-on-Chip 2012
Performance Analysis of On-Chip Communication Structures under Device Variability
An Event-Based Neural Network Architecture with Content Addressable Memory
An Advanced Human-Robot Interaction Interface for Collaborative Robotic Assembly Tasks
Securing AES Accelerator from Key-Leaking Trojans on FPGA
Reliable Weighted Globally Congestion Aware Routing for Network on Chip
Evaluation of GALS Methods in Scaled CMOS Technology: Moonrake Chip Experience
Deadlock Free Routing Algorithm for Minimizing Data Packet Transmission in Network on Chip
Scheduling Mixed-Criticality Real-Time Tasks in a Fault-Tolerant System
Optimizing the Migration of Virtual Machines in Cloud Data Centers
Current Challenges in Embedded Communication Systems
Modeling Communication in Multi-Processor Systems-on-Chip Using Modular Connectors
Requirements Traceability within Model-Based Testing: Applying Path Fragments and Temporal Logic
Formalizing Timed BPEL by D-LOTOS
A Checking Service Composition Approach based on Model Transformation
Power and Latency Optimized Deadlock-Free Routing Algorithm on Irregular 2D Mesh NoC using LBDRe
Towards Sustainable Development of Energy-Aware Systems
Instrumentation-Driven Model Detection and Actor Partitioning for Dataflow Graphs
Design and Implementation of RS(450, 406) Decoder: Forward Error Correction by Reed Solomon Decoding
An Approach to Efficiency Evaluation of Services with Smart Attributes
SystemC Language Usage as the Alternative to the HDL and High-level Modeling for NoC Simulation
OpenSPARC Processor Evaluation Using Virtex-5 FPGA and High Performance Embedded Computing (HPEC) Benchmark Suite
International Symposium on System-on-Chip 2011
Automatic Generation of Memory Interfaces for ASIPs
Reliability Modeling of Embedded Nodes in Real Time Wireless Systems
A Meta-Mining Ontology Framework for Data Processing
International Conference on Localization and Global Navigation Satellite Systems 2011
About Fully Homomorphic Encryption Improvement Techniques: NISS2018 Conference Paper
Enhanced Spectrum Sensing Algorithm Based on MME Detection and OAS Shrinkage Estimator
Implementation of FFT on General-Purpose Architectures for FPGA
Delay Tolerant Network Protocols in a Railway Network
Quality of Service in Embedded Networks
Parallel Programming and Its Architectures Based on Data Access Separated Algorithm Kernels
Superposed Redundancy Approach for Building Reliable Communication in Multi-Bus Heterogeneous Systems
Semi-Explicit Composition Methods in Memcapacitor Circuit Simulation
Content Based Video Retrieval by Using Distributed Real-Time System Based on Storm
Multistage Spectrum Sensing for Cognitive Radio Using Energy and Maximum Eigenvalues Detection
Design and Implementation of a Low-Complexity Multiuser Vector Precoder
Real-Time Performance Analysis and Tuning of Embedded System Virtualization Architecture Based on KVM
Asymmetric Geographic Forwarding: Exploiting Link Asymmetry in Location Aware Routing
A Knowledge-Oriented Recommendation System for Machine Learning Algorithm Finding and Data Processing
OpenVX Integration Into the Visual Development Environment
Schedulability Analysis for Real Time On-Chip Communication with Wormhole Switching
International Symposium on System-on-Chip 2010
Scheduling, Binding and Routing System for a Run-Time Reconfigurable Operator Based Multimedia Architecture
Checkpointing SystemC-Based Virtual Platforms
Parallelized Online Regularized Least-Squares for Adaptive Embedded Systems
A SysML and CLEAN Based Methodology for RISC Processor Micro-Architecture Design
Ontology-Based Human-Computer Cloud for Decision Support: Architecture and Applications in Tourism
Ontology-Based Modelling of State Machines for Production Robots in Smart Manufacturing Systems
Improved Security Approach Based on AES Algorithm for LST Retrieval Using Satellite Imagery in Radiation-Tolerant FPGAs
Integration of Optimization Approach Based on Multiple Wordlength Operation Grouping in the AAA Methodology for Real-Time Systems: LVQ Implementation
Logics of Kripke meta-models
A proof-search system for the logic of likelihood
The Bulletin turned into a Journal
Computer-assisted human-oriented inductive theorem proving by descente infinie - a manifesto
Partiality and its dual in natural implicative expansions of Kleene's strong 3-valued matrix with only one designated value
Pandora: A Reasoning Toolbox using Natural Deduction Style
Compactness in first order Łukasiewicz logic
Relative expressive power of navigational querying on graphs using transitive closure
Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems
Compensating atmospheric turbulence with CNNs for defocused pupil image wavefront sensors
Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability
Meta-variables as infinite lists in nominal terms unification and rewriting
A Brief Note About Rott Contraction
Deep packet inspection for intelligent intrusion detection in software-defined industrial networks: A proof of concept
Recovering Decimation-Based Cryptographic Sequences by Means of Linear CAs
Formal Mathematics for Verifiably Correct Program Synthesis
Large Cardinals and Topology: a Short Retrospective and Some New Results
Descente Infinie + Deduction
Amalgamation and Robinson property in universal algebraic logic
Preservation theorems for MTL-chains
A statistical study of differences and similarities among aggregation functions
A unification of the basic logics of Sambin and Visser
Investigation on operating systems identification by means of fractal geometry
How far can we go with fuzzy logic? Perspectives on model-based reasoning and stochastic resonance in scientific models
A new clustering algorithm applying a hierarchical method neural network
An expansion of first-order Belnap-Dunn logic
Realtime polymorphic malicious behavior detection in blockchain-based smart contracts
Computer Support for the Development and Investigation of Logics
Dependency semantics for sequences of extended logic programs
IPS-based reduction of network energy consumption
Online, computable and punctual structure theory
Developments on PlagZap, the Fast and Free Textual Plagiarism Detection Solution for Universities
A Fibring Semantics for the Semantic-Morphological Interface in Natural Language
Argument evaluation in multi-agent justification logics
Perspectives and challenges for recurrent neural network training
Reasoning with vectors: A continuous model for fast robust inference
A logical framework for view updating in indefinite databases
Combinators and Structurally Free Logic
On structural proof theory of the modal logic K+ extended with infinitary derivations
Restricted Rules of Inference and Paraconsistency
Hybrid Intelligent Model to Predict the Remifentanil Infusion Rate in Patients Under General Anesthesia
On the simulated annealing adaptation for tasks transportation optimization
A defeasible logic for modelling policy-based intentions and motivational attitudes
Fragments of Quasi-Nelson: The Algebraizable Core
The Proceedings of the XVI EBL - 16th Brazilian Logic Conference, 2011: A Preface
Reasoning about Knowledge in Asynchronous Distributed Systems
Advice on Abductive Logic
Projective unification in transitive modal logics
25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018)
Using Multi-Objective Optimization to build non-Random Forest
Unification and projectivity in Fregean varieties
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms
Exploring Computational Contents of Intuitionist Proofs
The Boolean and profinite hulls of reduced special groups
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic
Generation of Synthetic Data with Conditional Generative Adversarial Networks
Logical information theory: new logical foundations for information theory
A novel hyperspectral segmentation algorithm - concept and evaluation
Polish Logic
A normative multiagent approach to requirements engineering
Efficient Inverse Tableaux
Interpolation in Practical Formal Development
A systematic literature review of unsupervised learning algorithms for anomalous traffic detection based on flows
Ticket Entailment plus the mingle axiom has the variable-sharing property
Normative Multiagent Systems: Guest Editors' Introduction
Editorial: Special issue HAIS 2018
Higher Order beta Matching is Undecidable
More on Non-Cooperation in Dialogue Logic
An HMM-based synthetic view generator to improve the efficiency of ensemble systems
Anomaly-based user comments detection in social news websites using troll user comments as normality representation
How to Avoid the Formal Verification of a Theorem Prover
The complexity of definability by open first-order formulas
LSTM vs CNN in real ship trajectory classification
A logic of trust and reputation
8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001)
Machine learning techniques applied to detect cyber attacks on web applications
Editorial: Special issue SOCO 2021
Gaining deep knowledge of Android malware families through dimensionality reduction techniques
Definition-like Extensions by Sorts
State Event Logic
Explicit substitution calculi with de Bruijn indices and intersection type systems
Simple Reasoning with Time-Dependent Propositions
Conservativity: a necessary property for the maximization of witness sets
A hybrid fuzzy clustering approach for diagnosing primary headache disorder
Coherent Conditional Probability in a Fuzzy Logic Setting
Dynamic Topological Completeness for R 2
Self-organizing Maps versus Growing Neural Gas in Detecting Anomalies in Data Centres
Modal twist-structures over residuated lattices
Blockchain-based land registry platforms: a survey on their implementation and potential challenges
Lipschitz functions in constructive reverse mathematics
Teaching and Learning Logic in a Virtual Learning Environment
Time-stamped claim logic
Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules
Recollections of logicians, mathematicians and philosophers
Algebraic Polymodal Logic: A Survey
Two old representation theorems and Information Systems
A note on Hájek, Paris and Shepherdson's theorem
A Note on Gentzen's LJ and NJ Systems Isomorphism
Modal and temporal extensions of non-distributive propositional logics
Society semantics for four-valued Łukasiewicz logic
Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic
A robot-based surveillance system for recognising distress hand signal
Pure Hilbert Algebras with Infimum
Logically-consistent hypothesis testing and the hexagon of oppositions
Paraconsistency, self-extensionality, modality
Craig's trick and a non-sequential system for the Lambek calculus and its fragments
Genuine paracomplete logics
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
Bisimulations and bisimulation quotients of generalized Veltman models
The determinants and the inverses of the $\left ( \frac{2a }{k^{2}+2},a,a\right ) $-$L_{k}$-Toeplitz and the $(2,k^{2}+2,k^{2}+2)$-$ F_{k} $-Toeplitz matrices
The Axiom of Choice and the Partition Principle from Dialectica Categories
Cut-Based Abduction
Characteristics of structurally finite classes of order-preserving three-valued logic maps
A note on logics of essence and accident
Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories
Complexity of the interpretability logics ILW and ILP
A new heuristic for influence maximization in social networks
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations
Criteria for determining whether a t-norm is an additively generated cancellative one
A morphological cellular automata based on morphological independence
Theorem Proving and Model Building with the Calculus KE
A first-order conditional probability logic
A comparative study of three Spanish eGoverment smart cards
Hierarchic adaptive logics
Axiomatization of a Denotational Semantics for First-order Logic
Adaptive graph Laplacian MTL L1, L2 and LS-SVMs
Type Theory with Opposite Types: A Paraconsistent Type Theory
From forcing to satisfaction in Kripke models of intuitionistic predicate logic
Multiplicative Conjunction as an Extensional Conjunction
Data-Based Construction of Multidimensional Probabilistic Models with MUDIM
The Completeness of Linear Logic for Petri Net Models
Normality operators and classical recapture in many-valued logic
Towards Operational Abduction from a Cognitive Perspective
Protocols for belief merge: Reaching agreement via communication
New tableau characterizations for non-clausal regular MinSAT and MaxSAT problems
Unification in subsystems of polymodal provability logic GLP
Bridges between Classical and Nonmonotonic Logic
Translation of Hypersequents into Display Sequents
EQ-algebra-based fuzzy type theory and its extensions
Decidability of quantum modal logic
Completeness of Bisimilarity for Contextual Equivalence in Linear Theories
Undecidability of admissibility in the product of two Alt logics
Independent Bases for Rules Admissible in Pretabular Logics
Special issue: SOCO 2010-CMMSE 2010
Finite Schematizable Algebraic Logic
Hybrid Completeness
Order-dual relational semantics for non-distributive propositional logics
A One-class Classifier Based on a Hybrid Topology to Detect Faults in Power Cells
Semantics for first-order superposition logic
Forgetting complex propositions
Combining totalitarian and Ceteris Paribus semantics in database preference queries
Virtual active power sensor for eolic self-consumption installations based on wind-related variables
Multiple Predicate Learning in Two Inductive Logic Programming Settings
A modal extension of Jaśkowski's discussive logic |$\textbf{D}_\textbf{2}$|
Modal Logics for Qualitative Spatial Reasoning
Patterns of frequent user interactions in blogosphere
Stereotypical Reasoning: Logical Properties
On registration methods for SLAM with low resolution LiDAR sensor
A probabilistic temporal epistemic logic: Decidability
On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory
A comparative study of neural network architectures for software vulnerability forecasting
Undecidability of the Logic of Partial Quasiary Predicates
Evolution of financial network through non-linear coupling of time series
Investigating growth models with linearization domain analysis and residual analysis
Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for eta triangel right eta
Lambek Grammars as Combinatory Categorial Grammars
Editorial: Special Issue CISIS15-IGPL
Notes on n x m -valued Lukasiewicz Algebras with Negation
Generating hard tautologies using predicate logic and the symmetric group
Unification in first-order transitive modal logic
Dualities for Bounded Prelinear Hilbert Algebras
Defining Double Negation Elimination
An atom's worth of anonymity
The use of logic and argumentation in therapy of sex offenders
Answer Synthesis for CLP Programs with Negation
Architecture for adaptable smart spaces oriented on user privacy
The New Logic
On weak filters and ultrafilters: Set theory from (and for) knowledge representation
Slope-to-optimal-solution-based evaluation of the hardness of travelling salesman problem instances
Properties of Intuitionistic Provability and Preservativity Logics
A binary Routley semantics for intuitionistic De Morgan minimal logic H M and its extensions
One-Class-Based Intelligent Classifier for Detecting Anomalous Situations During the Anesthetic Process
An Interpolation Theorem for First Order Logic with Infinitary Predicates
An argument game for stable semantics
On the convergence of reduction-based and model-based methods in proof theory
From simple to complex: a sequential method for enhancing time series forecasting with deep learning
Abduction is not Deduction-in-Reverse
Hyperidentities of De Morgan algebras
A Note on Probabilistic Validity Measure in Propositional Calculi
The Taming (Timing) of the States
Relational Databases with Ordered Relations
AGV fuzzy control optimized by genetic algorithms
Review of Modal Logic by P. Blackburn, M. de Rijke, and Y. Venema
On directional accuracy of some methods to forecast time series of cybersecurity aggregates
Computable operators on left-c.e. reals and their continuity properties
On the directional Lambek calculus
The limitless first incompleteness theorem
A bisimulation characterization for interpretability logic
Using Dalvik opcodes for malware detection on android
Characterizing intermediate tense logics in terms of Galois connections
Propositional Logic for Ground Semigroups of Context
Resolution-Based Methods for Modal Logics
Special Issue CISIS 2020-IGPL
Reachability Logic: An Efficient Fragment of Transitive Closure Logic
'Sometime a paradox', now proof: Yablo is not first order
The anti-Specker property, uniform sequential continuity, and a countable compactness property
Amalgamation Theorems in Algebraic Logic, an overview
Elementary Amalgamation and Joint Embedding Property for Intermediate Logics
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness
Formulas for which Contraction is Admissible
Type-Theoretical Interpretation and Generalization of Phrase Structure Grammar
Proving properties of binary classification neural networks via Łukasiewicz logic
Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication
Secure JAVA application in SOA-based cross-border PKI mobile government systems
Nested sequents for provability logic GLP
A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics
On intermediate justification logics
Single-peakedness and semantic dimensions of preferences
Branching Time Axiomatized With the Use of Change Operators
Cardinal spaces and topological representations of bimodal logics
A Layered Abductive Inference Framework for Diagramming Group Motions
Missing data imputation over academic records of electrical engineering students
Using deep neural networks along with dimensionality reduction techniques to assist the diagnosis of neurodegenerative disorders
Jeffrey conditioning and external Bayesianity
Algebraic Properties of Paraorthomodular Posets
Decidability of Cancellative Extension of Monoidal T-norm Based Logic
Remarks about the unification types of some locally tabular normal modal logics
The difference between optimality and universality
Decision tree algorithms for image data type identification
On Some Varieties of MTL-algebras
Relation-changing modal operators
Soft computing models to analyze atmospheric pollution issues
On the Proof Theory of Program Transformations
Gaggles, Gentzen and Galois: How to display your favourite substructural logic
Hybrid Languages and Temporal Logic
On frontal operators in Hilbert algebras
Problem of restricted interpolation in superintuitionistic and some modal logics
Comparative Study of Imputation Algorithms Applied to the Prediction of Student Performance
Base-extension semantics for S5 modal logic
Compactness, colocatedness, measurability and ED
Fake news detection platform - conceptual architecture and prototype
Formalization of security patterns as a means to infer security controls in business processes
A Simple CPS Transformation of Control-Flow Information
A Formal Characterisation of Institutionalised Power
Decidability of interpretability logics ILM0 and ILW
Self-Organizing Maps to Validate Anti-Pollution Policies
A composite framework for supporting user emotion detection based on intelligent taxonomy handling
Completeness of Implicational Relevant Logics
Pattern-based calculi with finitary matching
Semantics for incident identification and resolution reports
Games on Trees and Syntactical Complexity of Formulas
Another remark on connexivity and set theory
Dually hemimorphic semi-Nelson algebras
Axiomatising Various Classes of Relation and Cylindric Algebras
Epsilon Calculi
Reasoning logically in cognitive domains
Labelled Natural Deduction for Substructural Logics
Intelligent Alarm Correlation and Abductive Reasoning
Almost structurally complete infinitary consequence operations extending S4.3
On Nelson's conception of consistency
Strong Representability of Fork Algebras, a Set Theoretic Foundation
Linear temporal justification logics with past and future time modalities
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach
Executable specification of open multi-agent systems