yusuke1997/dblp-id-title huggingface dataset:
Deductive Verification of State-Space Algorithms
Predicate Diagrams for the Verification of Reactive Systems
A Probabilistic Framework for Security Scenarios with Dependent Actions
Towards Model Checking Stochastic Process Algebra
Automated Theorem Prover Assisted Program Calculations
Summary of: Dynamic Structural Operational Semantics
diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions
Overview of the Semantics of TCOZ
Proceedings of the PhD Symposium at the 19th International Conference on integrated Formal Methods in Manchester 2024 (iFM 2024), Manchester, United Kingdom, November 12, 2024
PALM: A Technique for Process ALgebraic Specification Mining
Generating MSCs from an Integrated Formal Specification Language
Embedding SMT-LIB into B for Interactive Proof and Constraint Solving
Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications
Specification and Verification of Synchronizing Concurrent Objects
A Family of Mathematical Methods for Professional Software Documentation
Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems
Mission-Time LTL (MLTL) Formula Validation via Regular Expressions
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model
A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models
Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures
From Operating-System Correctness to Pervasively Verified Applications
Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving
Towards a Thread-Local Proof Technique for Starvation Freedom
Improving SAT Solver Performance Through MLP-Predicted Genetic Algorithm Parameters
Activity Graphs and Processes
Resource-Aware Virtually Timed Ambients
State-Based Extensions of CASL
Implementing, Specifying, and Verifying the QOI Format in Dafny: A Case Study
PE-KeY: A Partial Evaluator for Java Programs
Deciding Monadic Second Order Logic over \omega ω -Words by Specialized Finite Automata
Dione: A Protocol Verification System Built with Dafny for I/O Automata
A Common Framework for Mixed Hardware/Software Systems
Viewpoint-Based Testing of Concurrent Components
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters
Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment
On the Refinement and Simulation of Data Types and Processes
Formal Modelling of Software Defined Networking
Unifying Theories of Objects
Integrating Formal Methods by Unifying Abstractions
Reactive System Refinement of Distributed Systems in B
Perspectives of Model Transformation Reuse
Active Learning of Runtime Monitors Under Uncertainty
Specifying UML Protocol State Machines in Alloy
Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems
Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement
Distributed Timed Scenarios
On Robust Malware Classifiers by Verifying Unwanted Behaviours
A Formal Tainting-Based Framework for Malware Analysis
Linking DC Together with TRSL
Modeling of Problem Based Learning Strategy by Recursive Entity Modeling Method
Data Security and risks for IoT in intercommunicating objects
New Starting Point of the Continuous Hopfield Network
Splitting Method for Decision Tree Based on Similarity with Mixed Fuzzy Categorical and Numeric Attributes
Directional Data Classification Using a Hierarchical Model of Von Mises Distribution
Safe and Irrefutable Decentralized Communication: Bringing Non-Repudiation to Mesh Networks
Implementation and Performance Evaluation of Intrusion Detection Systems under high-speed networks
Detection and Recognition of Road Signs
Fully homomorphic encryption: Searching over encrypted cloud data
Adaptive Educational Hypermedia Systems: Current Developments and Challenges
A Probabilistic Vector Representation and Neural Network for Text Classification
Towards Clustering Validation in Big Data Context
Recommendation Semantic of Services In Smart City
Popularity Prediction of Videos in YouTube as Case Study: A Regression Analysis Study
Informal Learning in Twitter: Architecture of Data Analysis Workflow and Extraction of Top Group of Connected Hashtags
Stemming and Lemmatization for Information Retrieval Systems in Amazigh Language
Toward Efficient Ranked-key Algorithm for the Web notification of Big Data Systems
Gamified Stress Management Calendar for Higher Education Students
A Stable Route Prediction and the Decision Taking at Sending a Data Packet in a Highway Environment
New Approach for Microarray Data Decision Making with Respect to Multiple Sources
Machine learning for personalized access to multiple data sources through ontologies
Car Make and Model Recognition using Sparse Coding and Bag of Features
Big Data Analytics Techniques in Virtual Screening for Drug Discovery
Apport de la théorie de l'activité et des outils collaboratifs à la gestion des connaissances
Graph Based Representation for Arabic Text Categorization
Towards for Using Spectral Clustering in Graph Mining
Comparative Study: Dependability of Big Data in the Cloud
Supervised learning in Branch-and-cut strategies
Toward a Model of Agility and Business IT Alignment
Methodological Sketch of Observer-Based Access Control
Toward Interoperability Approach between Federated Systems
Novel parallel Givens QR decomposition implementation on VLIW architecture with Efficient memory access for real time image processing applications
Build a Morphosyntaxically Annotated Amazigh Corpus
Fuzzy logic controller for an adaptive Huang cooling of simulated annealing
Optimization Energy Consumption in Mobile Cloud Computing by Using an Elastic Framework
A Feature Level Fusion Scheme for Robust Speaker Identification
A global mapping of the Moroccan supply chain of hospital drugs, and a simulation of the dispensation process
An Enhanced MSER Based Method for Detecting Text in License Plates
Impact of Selecting Virtual Machine with Least Load on Tasks Scheduling Algorithms in Cloud Computing
A Concise Survey on Content Recommendations
Face Tracking based on Hierarchical Motion and Motion Models
Integration of data mining techniques in e-learning systems: Clustering Profil of Lerners and Recommender Course System
Effect of the Sub-graphemes' Size on the Performance of Off-Line Arabic Writer Identification
Using Deep Learning Word Embeddings for Citations Similarity in Academic Papers
Artificial Neural Network Based Approach for Blood Demand Forecasting: Fez Transfusion Blood Center Case Study
Serious Games Modeling
Social Learning tool for a conceptual change
Revisiting BFR Clustering Algorithm for Large Scale Gene Regulatory Network Reconstruction using MapReduce
An improved model for restoring and protecting the digital images: mathematical modeling and optimization
A Seamless Handover Based MIH-Assisted PMIPV6 in Heterogeneous Network(LTE-WIFI)
Estimate of Stochastic Model Parameter of Exchange Rate Using Artificial Intelligence
Fast Similarity Search in High Dimensional Image Data Sets
Multi-label Categorization of French Death Certificates using NLP and Machine Learning
Using Unsupervised Machine Learning for Data Quality. Application to Financial Governmental Data Integration
A Multi-factor Authentication Scheme to Strength Data-Storage Access
El-Security: E-learning Systems Security Checker Plug-in
Analysing Clustering Routing Protocols Performance for Vehicular Networks
From Data to Big Data: Moroccan Public Sector
New access control policies for private network and protocol security
Exploiting Open Data to Improve the Business Intelligence & Business Discovery Experience
New initialization for clustering algorithms combining distance and density
One Class Genetic-Based Feature Selection for Classification in Large Datasets
Hand Gesture Recognition Using Kinect's Geometric and HOG Features
Security in Cloud-Based Medical Image Processing: Requirements and Approaches
Design of a Remote Experience for Electrical Engineering Using Embedded Systems
Incorporation of Linguistic Features in Machine Translation Evaluation of Arabic
Towards a New Approach for Community Detection Algorithm in Social Networks
Security of communications in connected cars Modeling and safety assessment
Homomorphic Encryption as a Solution of Trust Issues in Cloud
Promoting elementary mathematics learning through digital games: Creation, implementation and evaluation of an edutainment game to promote basic mathematical operations
State of the art in MapReduce: issues and approaches
A new cloud computing approach based SVM for relevant data extraction
A Hybrid Approach for Optimized Composition of Cloud Services
Comparison of Feature Selection Methods for Sentiment Analysis
Data Collect Requirements Model
Sentiment Analysis using supervised classification algorithms
E-Learning Real Time Analysis Using Large Scale Infrastructure
Cloud Computing Performance Evaluation under Dynamic Resource Utilization and Traffic Control
SARIMA Model of Bioelectic Potential Dataset
Detecting Malicious Users in Social Network via Collaborative Filtering
Developing and performance evaluation of a new Arabic heavy/light stemmer
The Security of Web Services: Secure Communication and Identity Management
A New Responsive SCORM Design (RSCOD) Approach Based Semantic Learning Object (SLO) Using SharePoint Learning Kit (SLK)
Semantico-automatic Evaluation of Scientific Papers: State of the Art
Improving Sentiment Analysis of Moroccan Tweets Using Ensemble Learning
Development and Management of a Remote Laboratory in Physics for Engineering Education (E-LAB FSBM)
Dimension Reduction Techniques for Signal Separation Algorithms
Big Data, Cloud and Applications - Third International Conference, BDCA 2018, Kenitra, Morocco, April 4-5, 2018, Revised Selected Papers
Arabic Temporal Expression Tagging and Normalization
Advanced Machine Learning Models for Large Scale Gene Expression Analysis in Cancer Classification: Deep Learning Versus Classical Models
New Image Steganography Method Based on K-means Clustering
A comparison of Text Classification methods Method of weighted terms selected by different Stemming Techniques
Solving the location-routing problems Using Clustering Method
Automatic Classification of Air Pollution and Human Health
Towards a Stochastic Model for Integrated detection and filtering of DoS attacks in Cloud environments
Restoration Image Degraded by PSF Non-Stationary
Improving Implementation of Keystroke Dynamics Using K-NN and Manhattan Distance
Hashtag Recommendation Using Word Sequences' Embeddings
A Hierarchical Nonlinear Discriminant Classifier Trained Through an Evolutionary Algorithm
Overview on 3D models searching and indexing
Data-driven based aircraft maintenance routing by markov decision process model
A Customer Emotion Recognition through Facial Expression using POEM descriptor and SVM classifier
Survey of Plagiarism Detection Approaches and Big data Techniques related to Plagiarism Candidate Retrieval
Big Data Optimisation Among RDDs Persistence in Apache Spark
A Smart Approach for Intentional Islanding based on Dynamic Selection Algorithm in Microgrid with distributed generation
Penguins Search Optimization Algorithm to Solve Quadratic Assignment Problem
Improving Neighborhood-Based Collaborative Filtering by a Heuristic Approach and an Adjusted Similarity Measure
A new reformulation of the load balancing problem in cloud computing based on TSP and ACO
Human Fall Detection Using Von Mises Distribution and Motion Vectors of Interest Points
Particle Filter Object Tracking Based on Color Histogram and Gabor Filter Magnitude
Simulation of electromagnetic waves propagation in free space using Netlogo multi-agent approach
Modeling and Development of the Linguistic Knowledge Base DELSOM
Deep Semi-supervised Learning for Virtual Screening Based on Big Data Analytics
A multi-objective model for discrete and dynamic Berth Allocation Problem
Design a Secure Framework for Cloud-Based Medical Image Storage
Big Data Technologies to Improve Medical Data Warehousing
Prediction of Supplier Performance: A Novel Dea-Anfis Based Approach
Improving Data Sharing Security in Cloud Computing
Watershed transform for text lines extraction on binary Arabic handwriten documents
A MapReduce-Based Adjoint Method to Predict the Levenson Self Report Psychopathy Scale Value
Mobiles Agents and Virtual Firewall to Secure the Shared Network for Virtual Machines in IaaS cloud
A Legacy Application Meta-model for Modernization
Using Big Data Classification and Mining for the Decision-making 2.0 Process
Arabic Text Generation Using Recurrent Neural Networks
Performance Evaluation of Cluster Validity Methods an Energy Optimization in Wireless Sensor Networks Using Hybrid K-Medoids Algorithm
A Novel Framework for Ranking Cloud Service Providers Using Security Risk Approach
Adaptive Appearance Model in Particle filter based Visual Tracking
A new LOM application profile to describe complementary pedagogical resources in an CRHL
Search Engine Optimization to detect user's intent
A Semi-Blind Information Hiding Technique Using DWT-SVD and QAM-16 for Medical Images
Electric Load Forecasting Using Hybrid Machine Learning Approach Incorporating Feature Selection
Reconstruction of the 3D Scenes from the Matching Between Image Pair Taken by an Uncalibrated Camera
A Modeling Framework for the Moroccan sociolect recognition used on the social media
Proceedings of the 2nd international Conference on Big Data, Cloud and Applications, BDCA 2017, Tetouan, Morocco, March 29-30, 2017
Classification of Breast Cancer with Improved Self-Organizing Maps
Towards an automatic generator of mathematical exercises based on semantic
A Cloud Face Recognition System using A New Optimal Local Binary Pattern
Neural Network Approach for Fault Detection in Substations
Multiobjective Local Search Based Hybrid Algorithm for Vehicle Routing Problem with Soft Time Windows
Mobile Cloud Learning: A New Responsive SCORM Design Approach Based Semantic Learning Object on the Microsoft SharePoint Online and Office 365
Architecture Optimization Model for the Probabilistic Self-organizing Maps
Evaluation of PCL's Descriptors for 3D Object Recognition in Cluttered Scene
Integration of Heterogeneous Classical Data Sources in an Ontological Database
Revision of the learning resources modeling concept by Recursive Entity Modeling Method (REMM)
Threshold-based load balancing algorithm for Big Data on a Cloud environment
Association rules mining on MapReduce
Metaheuristics Applied in Remanufacturing and Reverse logistics: A review
Towards the semantic annotation of Web of Things: A collective disambiguation approach
Mining Moocs Videos Metadata Using Classification Techniques
Ant Colony system approach for dynamic vehicles routing problem multi tours
Syntactic entropy for main content extraction from web pages
Mobility of Web of Things: A Distributed Semantic Discovery Architecture
Particle Swarm Optimization for Model Selection of Aircraft Maintenance Predictive Models
Similarity Performance of Keyframes Extraction on Bounded Content of Motion Histogram
Proceedings of the International Conference on Big Data, Cloud and Applications: Selected Papers, Tetuan, Morocco, May 25-26, 2015
Application of Arabic language processing in language learning
Comparative Study of Feature Engineering Techniques for Disease Prediction
New checker for constraint network solutions
Securing Data in Cloud Computing by Classification
Towards an ontology of dependability Automatic search approach with Systematic Mapping
A Novel Text Encryption Algorithm Based on the Two-Square Cipher and Caesar Cipher
Face Detection Using Rotated Asymmetric Haar Features
Toward a Solution to Interoperability and Portability of Content Between Different Content Management System (CMS): Introduction to DB2EAV API
Integrating Corpus-Based Analyses in Language Teaching and Learning: Challenges and Guidelines
An Effective Genetic Algorithm for Solving Series-Parallel Power System Problem
Secure confidential big data sharing in cloud computing using KP-ABE
Multilayer Perceptron: Architecture Optimization and training with mixed activation functions
Business Process Instances Scheduling with Human Resources Based on Event Priority Determination
QoS in the Cloud Computing: A Load Balancing Approach Using Simulated Annealing Algorithm
A Proposed Approach to Reduce the Vulnerability in a Cloud System
The Complexity as a Criterion for Blind Spectrum Sensing in Cognitive Radio
Model-Driven Engineering for Embedded Systems with Non-Functional Properties Analysis Integration: A Review
Detection of Epileptic Seizure using Discrete Wavelet Transform on Gamma band and Artificial Neural Network
Structural Rehabilitation on Continuous Post-Tensioned Prestressed Concrete Box-Girder Bridge Exposed to Explosion: A Case Study
Joint Task Offloading and Energy Allocation for UAV-based Fog Computing Through Federated Deep Reinforcement Learning
Electronic Educational Resource "Post-Graduate Foreign Language" and the Obtained Learning Curve
Optimal Refrigerant by Integrated Operational and Environmental Criteria in Air Conditioner
Routing Protocol Performance in Vehicular Ad Hoc Networks: An Evaluation
Biogas Production Modelling of Integrated Anaerobic-Aerobic Sequencing Batch Reactor Treating Poultry Slaughterhouse Wastewater
Video Encryption Based on Special Huffman Coding and Rabbit Stream Cipher
Assisting airport security screening through YOLO techniques and generating results using LIME interpretation
Flexible Electroconductive Hydrogel for Biosensors and Biofuel Cells Application
Monte Carlo Simulation Prediction of Stock Prices
Virtual Robotic Testbeds: A Foundation for e-Robotics in Space, in Industry - And in the Woods
Using Simulation for Investigating Emergency Traffic Situations
The Impact of Social Media and Its Utilisation by Pharmaceutical Companies
A Gamification Design Framework for Supporting ASD Children Social Skills
Review on Augmented Reality Technology
A Jet Engine Prognostic and Diagnostic System Based on Bayesian Classifier
Investigation of IDC Structures for Graphene Based Biosensors Using Low Frequency EIS Method
A Study of Machine Learning Based Approaches to Extract Personality Information from Curriculum Vitae
Towards an Approach for Web Surfing in Unison
Proposed Deep Learning System for Arabic Text Detection and Recognition
Face Drawing by KUKA 6 Axis Robot Manipulator
A Unified Approach Towards Security Audit and Compliance in Cloud Computing Environment
Comparing surface-enhanced Raman spectroscopy and Raman microscopy with machine learning for the authentication of Covid-19 vaccines
Robust Control Synthesis for Mechatronic Systems Using Observers
Cooperative Forward Collision Avoidance System Based on Deep Learning
Enhancing Arabic Text Classification with a Hybrid Word Embedding Method
The Role of Earcons and Auditory Icons in the Usability of Avatar-Based E-Learning Interfaces
Towards Building a System for Predicting Diabetes and related conditions using Machine Learning
Numerical Study on Thermal-Hydraulic Performance and Entropy Generation of Nanofluid Flow in Channel with Oval Baffles
Dialogue in coexistent formation in the temporal and spatial dimensions / existing hospitals, an applied case
Privacy Preservation of Clusters with Distance as Sensitivity Measure
Control Technology for Remotely Piloted Air Systems (RPAS)
Network-Based Multi-Protocol Attack Detection in Internet-of-Medical-Things Using Explainable Machine Learning
A Computational Investigation of a Turbulent Flow over a Backward Facing Step with OpenFOAM
Ergonomics Verification of the Machine Operator Activities Using Motion Capture Through Virtual Reality in the Prototyping and Designing Phase
Electronic ID: Services and Applications for Context-Aware Integrated Mobile Services
Robust and Fragile Watermarking Scheme Based on DCT and Hash Function for Color Satellite Images
Predictive Analytics as a Security Management Tool in Virtualised Environment
Regional Languages in Cyberspace
Classification of Pervasive Healthcare Systems
Revealing the Unseen: An Insightful Survey on Explainable AI for Deepfake Face Detection
Design and Implementation of Submarine Robot with Video Monitoring for Body Detection Based on Microcontroller
Prediction of Asthma Attacks Using ANFIS and Mobile Technologies
Providing Enhanced Social Interaction Services for Industry Exhibitors at Large Medical Conferences
Enhancement and Design of the Proton Exchange Membrane of Hydrogen Fuel Cell
Development and Test of an Intelligent Technical System Using Augmented Reality
Reducing Bandwidth and Storage Requirements for Surveillance Videos Using ROI Extraction and Compression
Evolutionary Path Planning of an Autonomous Surface Vehicle for Water Quality Monitoring
Rheological Properties and Mechanical Strength of Recycled Concrete Aggregate SCC
Industry 4.0 LabVIEW Based Industrial Condition Monitoring System for Industrial IoT System
The Role and Potential Applications of Cloud Computing in the Banking Industry
Investigating Water Consumption Patterns Through Time Series Clustering
Simple Colorimetric Sensor for Detection Heavy Metal in Aqueous Solutions
Integrated Requirements and Systems Modeling in the Mechatronic Development Process
Real-Time Services Robot with an Intelligent System Based on a Radio Frequency Identification Unit
Dynamic Modelling and Control of an Underactuated Klann-Based Hexapod
Real-Time Video Server Implementation for a Mobile Robot
Heart Sound Separation Using Fast Independent Component Analysis
A Deep Learning Approach for Liver Segmentation and Lesion Detection in Medical Images Using U-Net Segmentation Model
Active Learning System in the Context of the Social Semantic Web
Improvement of Inspection System for Damages in Reinforced Concrete Bridge by Using Knowledge-Based System (KBS)
Load Balancing Mathematical Model
Adaptive Disturbance Elimination Control of ESTATCOM for Unbalance Voltage Mitigation
Structural Modeling of Cross-Frame Behavior in Steel Girder Bridges
Analysis and Classification of Digital Educational Resources Used in the Work of a Proactive Teacher
Role of Deep Learning Models in Intelligent Classification of Various Date Fruit Bunches
Cardiologists' Awareness of the Effects of Air Pollution on Cardiovascular Disease in Vietnam and the Philippines - Descriptive Evaluation
Predicting Strength Criteria of Hardened Concrete Containing Waste Glass Powder
Opportunities and Leverage in the Information Technology Post Adoption Stage
Accurate Fall Localization for Patient based on GPS and Accelerometer Sensor in Outside the House
Spatial and Temporal Analyses of the Spread of Zika Virus Worldwide
Robot visual navigation using ceiling images
Learning Analytics and Serious Games: Analysis of Interrelation
Visual Editor of Scenarios for Virtual Laboratories
Computer Vision-Driven AI Techniques for Classification of Animal Species
Impacts and Benefits of Health Informatics in Saudi Arabia: A Weblink Pilot Project
Analysis of High Performance of Separately Excited DC Motor Speed Control Based on Chopper Circuit
Towards Efficient Diabetic Retinopathy Diagnosis: A Comparative Study of Classification Techniques
Lightweight Hybrid Model Combining MobilNetV2 and PCA for Copy-Move Forgery Detection
Developing an Ontology for the Reporting of Oesophageal Biopsies
A Systematic review of wearable devices for tracking physiological indicators of Dementia related difficulties
Improving Instructor-Student Communication Using Whatsapp: A Pilot Study
Supplier Selection Problem in Fuzzy Environment Considering Risk Factors
Prediction of Earthquake Magnitude by an Improved ABC-MLP
Evaluating ELISA for Prostate Cancer Detection: A Hybrid PROMETHEE-TOPSIS Approach Using Prostate-Specific Antigen Levels
Simultaneous Perturbation Stochastic Approximation-Based Localization Algorithms for Mobile Devices
Investigating the Mechanical and Durability Performance of Cement Mortar Incorporated Modified Fly Ash and Ground Granulated Blast Furnace Slag as Cement Replacement Materials