yusuke1997/dblp-id-title huggingface dataset:
LoRa Based Sensor and Actuator Networks in Smart Livestock Farming Applications
English Language Speech Recognition Using MFCC and HMM
Control design of an UAV-Q based on feedback linearization and optimum modulus methods
Decoupling Sliding Mode Control of Underactuated Systems using a Takagi-Kang-Sugeno Fuzzy Brain Emotional Controller and Particle Swarm Optimization
An Edge Computing Collaboration Solution for Internet of Vehicles
An IoT based Condition Monitoring System of Biogas Electrical Generator for Performance Evaluation
FisherNet: AI-Driven Socio-Economic and Market Prediction for the Dry Fish Industry
AERSCIEA: An Efficient and Robust Satellite Color Image Enhancement Approach
Classification of Plant Species with Iris Dataset Using ANN, KNN and K-Means Algorithms
Confidentiality Preserving Auditing for Cloud Computing Environment
Hurdles For Designing Flowcharting Process
Designing Graceful Degradation in Software Systems
Cloud Computing and AI for Cyberstalking Prevention: A Comprehensive Approach
To study of various security attacks against Biometric template in a generic Biometric Recognition System
A Flexible Approach for Automatic Door Lock Using Face Recognition
Cloud Data Security Using Attribute-Based Key-Aggregate Cryptosystem
Javolution-Solution for Real Time Embedded System
Performance Enhancement Heterogeneous Based EECP for Bandwidth Utilization
Object Motion estimation using edge detection and background subtraction with block matching algorithm
Mobile robots interacting with obstacles control based on artificial intelligence
Development of a Smart System for Early Detection of Forest Fires based on Unmanned Aerial Vehicles
Contemplated Method for Predicting Disease by Deep Learning Approach Over Big Data
Densely Populated Regions Face Masks Localization and Classification Using Deep Learning Models
A Study on Thyroid Nodule Image Classification System Using Small Amount of Training Samples
Process of finding defects in software testing
Contemporary status of machine prognostics in process industries based on oil and gas: A critical analysis
A DNA Steganography Algorithm Based on The DNA-XOR Technique
Machine Learning Algorithms for Retinal Image Analysis and Glaucoma Detection
Handling User Cold-Start Problem for Group Recommender System Using Social Behaviour Wise Group Detection Method
MLPNN and kNN Based Classification of sEMG Signal for Myoelectric Control of Upper Limb Prosthesis
A Method for Approximated Deep Learning Towards Dynamic Sharing from Big-Data Analysis
udCATS: A Comprehensive Unsupervised Deep Learning Framework for Detecting Collective Anomalies in Time Series
Application of MADM Methods for Selecting the Best Private Institution for Professional Courses in Uttarakhand State, India
Proof-of-Miner-Clustering-Authentication Consensus Method of Blockchain for IoT Networks
Data Aggregation Techniques and Challenges in the Internet of Things: A Comprehensive Review
A Method for Facial Emotion Recognition Based on Interest Points
A Deep Survey on Human Activity Recognition in Video Surveillance
Deep survey on visual object tracking in surveillance environment
Analyzing Control Structures of SSSCs for Fast Compensation in the Case of Unbalanced Voltage Sag in Power System
Outage Probability and Intercept Probability Of Cognitive IoTs Networks With Relay Selection, Passive Eavesdropper and Hardware Noises
Unemployment Rate Future Forecasting Using Supervised Machine Learning Models
Dynamic Clock Tree Balancing Algorithm: Achieving Enhanced Performance Efficiency in Asic Design
An Efficient Ontology Based Drug Prescription Model
Comparison of SAW, RAM, and TOPSIS Methods in Multi-Criteria Decision Making: Application in Selecting Waterproofing Materials Imported From Malaysia
Smart City: IOT Based Prototype for Parking Monitoring and Management System Commanded by Mobile App
Applications of Machine Learning for Diabetes Prediction
DICKT - Deep Learning-Based Image Captioning using Keras and TensorFlow
Proceedings of the Second International Conference on Research in Intelligent and Computing in Engineering, RICE 2017, Gopeshwar, Uttrakhand, India, March 24-26, 2017
Enhancing MRI Imaging Efficiency: A Hybrid Under-Sampling Strategy for k-Space Data Acquisition
Ankle joint rehabilitation system - the preliminary results
Simulation & Performance Comparison between DSR, FSR & HSR Routing Protocols in MANET Using NS2
Integrating AI and Blockchain for Advanced Predictive Health Analytics
Enhancing Plant Disease Detection Through Image Analysis Using SSDmobilenetV2 and ResNet50
Comparative Study of Vector Control of Induction Motor by Using PI Controller and Fuzzy Controller
FPGA-Based Adaptive Task Scheduler for Real Time Embedded Systems
Anonymit Based Secure Cross Layer Routing Protocol for Mobile Adhoc Networks
Comparative Analysis of Angle Based and Traditional Routing Protocols for MANETs / WSNs
Responsible Factors of Powered Two Wheeler Accidents: A Review
Optimal design of 2-Bit Optical Magnitude Comparator using electro-optic effect inside Mach-Zehnder interferometers
Fake News Identification Using Supervised Machine Learning Algorithms
Development of Ensemble Tree Models for Generalized Blood Glucose Level Prediction
Design of Diagnosis and Monitoring System of Heart Related Diseases using Fuzzy Inference System
A hybrid method based MPP tracking strategy for solar power systems
Design of Cleaner Using Antidrop Voice Controlled Robot
An XAI-Based Deep Learning Framework for Coronary Artery Disease Diagnosis using SPECT MPI polar map images
Trust Evaluation Model in Cloud Using Reputation, Recommendation and QOS Based Approach
Fuzzy Brain Emotional Controller for Heart Disease Diagnosis
OTRA Based Second Order Universal Filter and its optimization like Butterworth, Chebyshev and Bessel
Wavelet-Artificial Neural Network Model for Water Level Forecasting
A Multi-criteria Fuzzy Random Crop Planning Problem using Evolutionary Optimization
An Energy Efficient Route Selection in MANET with AOMDV Routing Algorithm
Performance Comparison of Several Feature Selection Techniques for Offline Handwritten Character Recognition
Smart banking using IoT
Passenger Abnormal Behaviour Detection using Machine Learning Approach
A Survey on Sentiment Analysis in Tamil: Critical Analysis
Analysis of Saturated Synchronous Machine considering d-q Axis Coupling Reactance
A low cost presence detection system for smart homes
Real Time Adaptive Access Control with Behavioral Analytics for Enhanced Cybersecurity in IoT and Cloud Systems
Classical and Quantum Cryptography for Image Encryption & Decryption
A Wide Band Speech Coding Technique using Low Delay Code Excited Linear Predictive Algorithm (LD-CELP)
Analysis of TCP streaming over VANETs
Realization of Colpitts Oscillator using second generation current controlled current conveyor
Neural Network Based Psychometric Analysis for Employability
Breastfeeding, HAMLET and AI: Exploring Synergies for Breast Cancer Prevention in Future Prospect
Comparative study of different segmentation techniques applied to medical imaging
Optimizing Resume Clustering in Recruitment: A Comprehensive Study on the Integration of Large Language Models (LLMs) with Advanced Clustering Algorithms
Overview of Object Detection and Tracking based on Block Matching Techniques
A Hybrid Database Approach Using Graph and Relational Database
Energy-Efficient Distributed Cluster-Tree Based Routing Protocol for Applications IoT-Based WSN
CRSDF: Improved Network Lifespan through Chain-routing Scheme and Data Fusion in Wireless Sensor Network
Fault Detection in Railway Tracks Using Artificial Neural Networks
Four Dimensional Security and Vulnerability Matrix for Cloud (4-SVM)
Material parameter identification for clinching process simulation using neural network metamodels
An AI Approach to Locate Cluster Centre in Wireless Sensor Networks
A Deep Learning Approach with Stack of Sub-classifiers for Multi-label Classification of Obstructive Disease from Myocardial Perfusion SPECT
Application of artificial intelligence in electrical power systems
IoT Based on-the-fly Visual Defect Detection in Railway Tracks
A Dual Active Bridge based Wireless Power Transfer System for EV Battery Charging Controlled Using High Speed FPGA
Towards a Comprehensive Study of Fatigue Deducing Techniques for Evaluating the Quality of Experience of Haptic-Visual Applications
Drone Detection Approach Based on Radio-Frequency Using Convolutional Neural Network
Machine Learning Techniques for Network Anomaly Detection: A Survey
Representation Learning for Improved Generalization of Adversarial Domain Adaptation with Text Classification
Understanding Link Fabrication Attack in Software Defined Network using Formal Methods
Machine Learning Approach for Detecting News Agencies' Linguistic Style in Arabic
Breast Mass Tumor Classification using Deep Learning
Blockchain-based Authentication for 5G Networks
Spatial-color mode detection in UV pairwise projection of the CIE LUV color space
Quantifying Empathy in Virtual Reality: An Outline
Fire Alarm System for Smart Cities Using Edge Computing
Automatic and Secure Electronic Gate System Using Fusion of License Plate, Car Make Recognition and Face Detection
RSSI -based Classification for Indoor Localization in Wireless Sensor Networks
Virtualization in Distributed Hot and Cold Storage for IoT Data Retrieval without Caching
MBT: A Context Aware Mission Based Tracker
Downlink user selection for massive-MIMO-OFDM systems using ZF precoding
Performance Evaluation of No-Pairing ECC-Based KPABE on IoT Platforms
Performance of Hybrid Cognitive RF/VLC Systems in Vehicle-to-Vehicle Communications
An image steganography approach based on k-least significant bits (k-LSB)
Smart City Applications: Promoting comfort, health and well-being through Sustainable Smart Urban Design (S2UD) in Msheireb Downtown
Early Image Detection Using Event Based Vision
Towards an Integrated Health and Wellness Program Using Human-IoT Interaction
State of the Art Models for Fake News Detection Tasks
A Natural User Interface and Blockchain-Based In-Home Smart Health Monitoring System
A novel CRLH transmission Line using Spiral Resonator
An Intelligent and Secure Health Monitoring System Based on Agent
Reputation Based Traffic Event Validation and Vehicle Authentication using Blockchain Technology
Integrating Blockchain Technology in 5G enabled IoT: A Review
A vision-based zebra crossing detection method for people with visual impairments
Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity
Cyber Physical Systems and Smart Homes in Healthcare: Current State and Challenges
Effectiveness of Speed Limit Pavement Markings at Transition Zones Along Expressways
A Practical Universal Consortium Blockchain Paradigm for Patient Data Portability on the Cloud Utilizing Delegated Identity Management
Modern QoS Solutions in WSAN: An Overview of Energy Aware Routing Protocols and Applications
Optimal sizing of a stand-alone hybrid PV-WT-BT system using artificial intelligence based technique
Can We Build a Search Engine over Spark?
Wireless Power Transmission for the Internet of Things (IoT)
On Sharing Models Instead of Data using Mimic learning for Smart Health Applications
Deployment of Deep Learning Models on Resource-Deficient Devices for Object Detection
The Internet of Things (IoT) in Tunisian Education and Healthcare: Prospects and Barriers to Improved Educational and Medical Outcomes
A multi-Agent based model for task scheduling in cloud-fog computing platform
Detecting Suspicious Activities of Digital Trolls During the Political Crisis
Finding Behavioural and Imaging Biomarkers of Major Depressive Disorder (MDD) using Artificial Intelligence: A Review
OntoM: An Ontological Approach for Automatic Classification
Palm Oil Fresh Fruit Bunch Grading System Using Multispectral Image Analysis in HSV
Traffic Analysis Attacks on Tor: A Survey
Crowd Counting: A Survey of Machine Learning Approaches
SDN-based Malware Detection and Mitigation: The Case of ExPetr Ransomware
Performance Evaluation of Hyperledger Fabric
Deep Learning for RF-Based Drone Detection and Identification: A Multi-Channel 1-D Convolutional Neural Networks Approach
Low Power Deep-Learning Architecture for Mobile IoT Intelligence
IEEE International Conference on Informatics, IoT, and Enabling Technologies, ICIoT 2020, Doha, Qatar, February 2-5, 2020
Design and Implementation of a Threat-Specific Security Risk Assessment Tool
Semi-synchronous Multiple Transmission Control / Collision Inference Exploiting Capture Effect for Collision and against Collision
FacebookVideoLive18: A Live Video Streaming Dataset for Streams Metadata and Online Viewers Locations
Qatar Green Schools Initiative: Energy Management System with Cost-Efficient and Lightweight Networked IoT
Smart Medicine Planner for Visually Impaired People
Role of Research and Higher Education on Industry 4.0, Material Science as an example
Design and Implementation of a RF Based Anti-Drone System
Experimental Investigation and Uncertainty Prediction of The Load-Carrying Capacity of Composite Double Hat for Lattice Core Sandwich Panels Using Artificial Neural Network
Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application
Local Bitcoin Network Simulator for Performance Evaluation using Lightweight Virtualization
Improved Burst Detection for Physical Layer of SDR Wideband Waveform using Zadoff-Chu Sequence
A model for predicting room occupancy based on motion sensor data
Performance Evaluation of Physical Attacks against E2E Autoencoder over Rayleigh Fading Channel
Proactive Forensics: Keystroke Logging from the Cloud as Potential Digital Evidence for Forensic Readiness Purposes
Generating Images from Arabic Story-Text using Scene Graph
Design and Implementation of Multi-Protocol Data Networks Interface Detector in Heterogeneous IoTs
Actuator Fault Diagnosis in Multi-Zone HVAC Systems using 2D Convolutional Neural Networks
Responsibility Attribution Against Data Breaches
Malicious Node Detection in Wireless Sensor Network using Swarm Intelligence Optimization
A Surgical-Oriented Liver Segmentation Approach Using Deep Learning
Novel Face Liveness Detection Using Fusion of Features and Machine Learning Classifiers
A Cloud-based Solution for Rapid and Smart Neuropathy Detection
Design of $2\times 2$ Microstrip Patch Antenna Array at 28 GHz for Millimeter Wave Communication
An Adaptive Decision-Driven Architecture for Information-Centric Internet-of-Things Applications
Classification of Sleep Arousal using Compact CNN
Cyber Attack Detection for a Nonlinear Binary Crude Oil Distillation Column
LFR face dataset: Left-Front-Right dataset for pose-invariant face recognition in the wild
Hybrid Machine Learning for Network Anomaly Intrusion Detection
Identification of Potential Risk Factors of Diabetes for the Qatari Population
Peer Selection in Device-to-Device Communication Based on Multi-Attribute Decision Making
Fast Binary Network Intrusion Detection based on Matched Filter Optimization
CNN Features vs Classical Features for Largescale Cultural Image Retrieval
Real-Time Scheduling for Electric Vehicles Charging/Discharging Using Reinforcement Learning
An Improvement of Support Vector Machine Imputation Algorithm Based on Multiple Iteration and Grid Search Strategies
Machine Learning-based Regression and Classification Models for Oil Assessment of Power Transformers
An Image-Based Method for Soiling Quantification
Emotional Stability Detection Using Convolutional Neural Networks
Virtual Reality Module Depicting Catheter-Associated Urinary Tract Infection as Educational Tool to Reduce Antibiotic Resistant Hospital-Acquired Bacterial Infections
Investigating Potential Risk Factors for Cardiovascular Diseases in Adult Qatari Population
Social Networks Spam Detection Using Graph-Based Features Analysis and Sequence of Interactions Between Users
Using Deep Learning Techniques for Network Intrusion Detection
Using Deep Learning to Predict Stock Movements Direction in Emerging Markets: The Case of Qatar Stock Exchange
A Novel Design of Gesture and Voice Controlled Solar-Powered Smart Wheel Chair with Obstacle Detection
Public Security Surveillance System Using Blockchain Technology and Advanced Image Processing Techniques
A Malware Detection Method for Health Sensor Data Based on Machine Learning
A novel Conceptual Machine Learning Method using Random Conceptual Decomposition
Effect of Color Enhancement on Early Detection of Skin Cancer using Convolutional Neural Network
An IoT-Based Intelligent System for Real-Time Parking Monitoring and Automatic Billing
An Ontological Framework for Opportunistic Composition of IoT Systems
On Accommodating VR Traffic for mHealth Applications in Rural Areas with Limited Impact on IoT Traffic
PEBERS: Practical Ethereum Blockchain based Efficient Ride Hailing Service
A Scene-to-Speech Mobile based Application: Multiple Trained Models Approach
Architecture for Conditional Term Rewriting
Higher-Order Unification, Polymorphism, and Subsorts (Extended Abstract)
Proving Group Isomorphism Theorems (Extended Abstract)
Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems
Set-Of-Support Strategy for Higher-Order Logic
Unique-Sort Order-Sorted Theories: A Description as Monad Morphisms
Solving Goals in Equational Languages
Confluence of Conditional Rewrite Systems
Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings
Associative-Commutative Superposition
An Optimal Narrowing Strategy for General Canonical Systems
Hierarchical Contextual Rewriting with Several Levels
Meta-rule Synthesis from Crossed Rewrite Systems
A Logic for Conditional Term Rewriting Systems
Testing Confluence of Nonterminating Rewriting Systems
Collapsed Tree Rewriting: Completeness, Confluence, and Modularity
Clausal Rewriting
Context Rewriting
Completeness and Confluence of Order-Sorted Term Rewriting
Termination of Combined (Rewrite and lambda-Calculus) Systems
Modular Properties of Constructor-Sharing Conditional Term Rewriting Systems
Logic Programs with Polymorphic Types: A condition for static type checking
Confluent Term Rewriting Systems with Membership Conditions
A Categorical Formulation for Critical-Pair/Completion Procedures
Termination for Restricted Derivations and Conditional Rewrite Systems
A Strategy to Deal with Divergent Rewrite Systems
Completion of First-Order Clauses with Equality by Strict Superposition (Extended Abstract)
Decidability of Regularity and Related Properties of Ground Normal Form Languages
An Introduction to OBJ 3
Compiling Conditional Rewriting Systems
Notes on the Elimination of Conditions
Confluence of the Disjoint Union of Conditional Term Rewriting Systems
Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings
Constrained Equational Deduction
A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications
Decidability of finiteness properties (Abstract)
Completion Procedures as Semidecision Procedures
Inductive Theorem Proving by Consistency for First-Order Clauses
Conditional Rewriting in Focus
Simple Type Inference for Term Graph Rewriting Systems
Could Orders Be Captured By Term Rewriting Systems?
A Conflict Between Call-by-Need Computation and Parallelism
A Logical Analysis on Theory of Conditional Rewriting
Completeness of Combinations of Conditional Constructor Systems
A Proof System for Conditional Algebraic Specifications
Computing with Conditional Rewrite Rules
Normalization by Leftmost Innermost Rewriting
A Simplifier for Untyped Lambda Expressions
FPL: Functional Plus Logic Programming: An Integration of the FP and Prolog Languages
Compiling Concurrent Rewriting onto the Rewrite Rule Machine
Termination Proofs of Well-Moded Logic Programs via Conditional Rewrite Systems
Confluence of Terminating Membership Conditional TRS
Knuth-Bendix Completion of Horn Clause Programs for Restricted Linear Resolution and Paramodulation
Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings
Abstract Notions and Inference Systems for Proofs by Mathematical Induction
Proof by Consistency in Conditional Equational Theories
A New Characterisation of AC-Termination and Application
Conditional Rewriting Logic: Deduction, Models and Concurrency
On Sufficient Completeness of Conditional Specifications
Termination of Term Rewriting by Interpretation
Relative Normalization in Orthogonal Expression Reduction Systems
On the Use of Conditional Rewrite Rules in Inductive Theorem Proving
Path Orderings for Termination of Associative-Commutative Rewriting
Strong Sequentiality of Left-Linear Overlapping Rewrite Systems
Reduction Techniques for First-Order Reasoning
Conditional Term Rewriting and First-Order Theorem Proving
Generic Induction Proofs
A Systems for the Completion of Conditional Equational Specifications
An Universal Termination Condition for Solving Goals in Equational Languages
An Application of Automated Equational Reasoning to Many-valued Logic
Equational Axiomatizations of If-Then-Else
Coherence for Cartesian Closed Categories: A Sequential Approach
Typed Equivalence, Type Assignment, and Type Containment
Compatibility of Order-Sorted Rewrite Rules
Semantics for Positive/Negative Conditional Rewrite Systems
Type Removal in Term Rewriting
Equational Logics (Birkhoff's Method Revisited)
A Completion Procedure for Conditional Equations
Algebraic Semantics of Rewriting Terms and Types
A Fixed-Point Semantics for Feature Type Systems
Linear Completion
Computing Linearizations Using Test Sets
Semantics for Prolog via Term Rewrite Systems
The Passau RAP System: Rapid Prototyping for Algebraic Specifications
Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems
A Calculus for Conditional Inductive Theorem Proving
Hierachical Termination
Completion for Constrained Term Rewriting Systems
Generalized Partial Computation using Disunification to Solve Constraints
Explicit Cyclic Substitutions
Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems
How to Transform Canonical Decreasing CTRSs into Equivalent Canonical TRSs
Rewriting for Preorder Relations
Trace Rewriting Systems
A New Approach to General E-Unification Based on Conditional Rewriting Systems
Well-foundedness of Term Orderings
A Compiler for a Class of Conditional Term Rewriting Systems
Consistency and Semantics of Equational Definitions over Predefined Algebras
On Finite Representations of Infinite Sequences of Terms
Equivalences of Rewrite Programs
Design Strategies for Rewrite Rules
The Complexity of Testing Ground Reducibility for Linear Word Rewriting Systems with Variables
Parallel Graph Rewriting on Loosely Coupled Machine Architectures
Semigroups Satisfying x m+n = x n
REVEUR4: A Laboratory for Conditional Rewriting
A Survey of Ordinal Interpretations of Type epsilon 0 for Termination of Rewriting Systems
A Calculus for Rippling
A Maximal-Literal Unit Strategy for Horn Clauses
An Inference System for Horn Clause Logic with Equality: A Foundation for Conditional E-Unification and for Logic Programming in the Presence of Equality
Conditional Specification with Inequational Assumptions
The Transformation of Term Rewriting Sysstems Based on Well-formedness Preserving Mappings
Preserving Confluence for Rewrite Systems with Built-in Operations
Second-Order Unification in the Presence of Linear Shallow Algebraic Equations (Extended Abstract)
Adding Algebraic Rewriting to the Calculus of Constructions: Strong Normalization Preserved
Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings
LSE Narrowing for Decreasing Conditional Term Rewrite Systems
Implementing Contextual Rewriting
Infinite Terms and Infinite Rewritings
On Termination and Confluence of Conditional Rewrite Systems
Equation Solving in Geometrical Theories
Combinations of Simplifying Conditional Term Rewriting Systems
Extended Term Rewriting Systems
A minimum zone method for evaluating flatness errors based on PSO algorithm
E-service delivery pattern for grid based data mining services