yusuke1997/dblp-id-title huggingface dataset:
Introducing Formal Requirements into Industry
Modular Specifications in Process Algebra with Curious Queues
A Formal Specifications of INGRES
An Algebraic Specification of Process Algebra, Including Two Examples
POLAR: A Picture-Oriented Language for Abstract Representations
A Meta-Environment for Generating Programming Environments
Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]
The Logic MPL omega
Algebraic Specification: A Step Towards Future Software Engineering
Software Specification by Behavioural Canons
From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study
Description Algebra
A Process Specification Formalism Based on Static COLD
Where Can I Get Gas Round Here? - An Application of a Design Methodology for Distributed Systems
Formalizing Informal Reuqirments. Some Aspects
ACT tau : A Universal Axiom System for Process Specification
A Specification of the intel 8085 Microprocessor: A Case Study
Specification and Prototyping of a Compiler for a Small Applicative Language
Using Transformation to Verify Parallel Programs
The Calculus lambda-pi
Algebraic ADT Specifications of an Extended Relational Algebra and their Conversion into a Working Prototype
Experiences with Combining Formalisms in VVSL
Transformations of Designs
Specification of the Transit Node in PSF d
Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering
Norman's Database Modularised in COLD-K
Research and Design of Blockchain System for Logistic Tracing
A Novel Optimized Design of Energy Efficient Lights for Producing Uniform Illumination by Harnessing Photoluminescent Properties of 'Strontium Aluminate'
Research on visualization of minority music knowledge graph based on Neo4j
DEA Approaches for Multiperiod Two-Level Production and Distribution Planning Problems
Food Image Classification with Improved MobileNet Architecture and Data Augmentation
The Design of Dual Initiative Project Management Platform System Based on Whole Life Cycle Management
Semi-supervised LDA Based Method for Similarity Distance Metric Learning
Overview of Smart Home Security with Raspberry
Adaptive Height Table and Chair System Based On Face Recognition
The Acquirements of Digitalization with RPA (Robotic Process Automation) Technology in the Vakif Participation Bank
Ontology of Crop Pest Control
Proceedings of the 7th International Conference on Information Science and Systems, ICISS 2024, Edinburgh, United Kingdom, August 14-16, 2024
An AETA Geoacoustic Signal Anomaly Detection Method Based on FindCBLOF
Microcontroller-based Automated Body Fat Percentage Calculating System Using U.S. Navy Method
A Research of Mosaic Force Elements Orchestration Based on Process Calculus
The 5th International Conference on Information Science and Systems, ICISS 2022, Beijing, China, August 26-28, 2022
Incident Response Support System for Multi-Located Network by Correlation Analysis of Individual Events
ICISS 2021: The 4th International Conference on Information Science and Systems, Edinburgh, United Kingdom, March 17-19, 2021
Exploration and realization of the digital transformation of the whole process of digital ecological business LTC
A Mixed-Method Approach to Understand and Improve Individual Participation Behaviour in Online Health Communities
Unsupervised Anomaly Detection on Node Attributed Networks: A Deep Learning Approach
Assessment System for Residual Risks of Information Leakage in Incident Countermeasures
A Situated Contract Net Protocol Realization in Command and Control
ES-5G: A Novel Edge-based SDN-enabled 5G Architecture for Lower Latency
Discovering Knowledge of ASD from CCC-2: Ensemble Learning Approach for Analysis of ASD
The Effect of Attitude on Student's Academic Performance in Cataloguing and Classification Course in Nigerian Polytechnics
Research and Diagnosis of Sci-Tech Novelty Search Service in Post Epidemic Era
AI-based Proactive Storage Failure Management in Software-Defined Data Centres
False Positive Detection in Sender Domain Authentication by DMARC Report Analysis
On Possible Electromagnetic Precursors to a Significant Earthquake (Mw = 7.0) Occurred in JiuZhaiGou (China) on 8 August 2017
An Approach for Creation of Logistics Management System for Food Banks Based on Reinforcement Learning
A Pedestrian Path-planning Model in Accordance with Obstacle's Danger with Reinforcement Learning
Intelligent Combination Algorithm Based on ZigBee and BLE Dual Mode Communication
Genetic Ant Colony Algorithm Improves Resource Scheduling in Cloud Computing
Research and Exploration of Intelligent Scheduling System in Call Center Based on Time Slicing
Study on Optimization of Course Selection System Based on Virtual Machine Cluster and Dynamic Resource Expansion
A Blockchain-based EHR System for Interhospital Communication and Patient Data Ownership Empowerment
Public Perception on "Hong Kong and Macao Vehicles Going North": Text Mining on Sina Weibo
Correlation Feature Selection (CFS) and Feature Weighting (CFW) Based Improved BPSO for Gene Selection and Cancer Classification
Bidirectional Decoding Tacotron for Attention Based Neural Speech Synthesis
Research on Intelligent Customer Service Application Architecture Based on Digital Transformation
CGIR: a Model of Cross Language Information Retrieval based on Concept Graph by Fusing Attention Mechanism
Image Inpainting for Passersby Removal Based on Multi-Scale Dilated Gated Convolution with Generative Adversarial Networks
Efficient Concept Drift Detection: A Meta Feature Selection Approach
Arrest Records Management System (ARMS) using Fingerprint and Face Recognition: A Criminal Record Management System for the City of Makati, Philippines
Research on the Efficacy Assessment of Civil Aviation Risk Control Measures Based on GloVe-textCNN
IoT-based Pregnancy Health Monitoring System
Implementation of Single Sign On (SSO) Technology on the SMART JABAR Portal Based on the Principles of Electronic Based Government System
Research and Application of Artificial Intelligence Planning Recognition
Open-Source VPN Software: Performance Comparison for Remote Access
A Novel K-Means Clustering under Bi-Partition of Feature Set
Evolution of Public Opinion on COVID-19 Based on Microblog Visualization
Examining Neural Networks Through Architectural Variation Analysis for Image Classification
Explainable AI-Driven Causal Analysis and Interpretability in Environmental Sustainability and Energy Security: A UK Case Study
Starvation-free Scheduling for Mixed tasks of Aperiodic, Sporadic, and Periodic tasks using Priority Queues with a slack bit over Controller Area Network
VR traffic simulations for enhancing the driving theory for student drivers
Proceedings of the 2023 6th International Conference on Information Science and Systems, ICISS 2023, Edinburgh, United Kingdom, August 11-13, 2023
Cross-Sectional Dual Camera Diameter Measurement for Automatic Mangosteen Sorting
Road Detection for Reinforcement Learning Based Autonomous Car
The Major Challenge in Improving Image Dark Channel Defogging Algorithm
Cryptojacking: A Comprehensive Review of Attack Techniques, Victims, and Effective Mitigation Strategies
StyleSavvy: A Design of a Personalized AI-Driven Personal Shopper with a Virtual Try-On Feature
Web application database protection from SQLIA using permutation encoding
Research and Application of Software Development Model in Computer Software Development
Role Identification of Domain Name Server Using Machine Learning based on DNS Response Features
Data-Driven Study of UK Terrorism: A K-prototypes Clustering Analysis of the UK's Terrorist Incidents
Research on Evaluation Method for National Defense Technology Development
Backing the Right Horse: Gamification and Mixed Realities in Higher Education: How the design of effective online tools that can significantly contribute to the implementation of adequate new methodologies to improve learning experiences in higher education
Instance Segmentation of Water Body from Aerial Image using Mask Region-based Convolutional Neural Network
Research on CGAN-BERT and RGAN-BERT Models for Short Text Classification based on Semi-Supervised Model
An In-Depth Analysis of Revenge Porn and Blackmailing on Philippine Social Media and its Effects on the People Affected
Application of Image Processing Based on Improved Canny Algorithm and Gurukin's Theorem
Programming Languages: A Usage-based Statistical Analysis and Visualization
A study on Email Topic Identification using Latent Dirichlet Allocation integrated with Visual Attention
An Improved Merchant Recommendation Algorithm Based on User Reviews
Business Email Compromise: A Comprehensive Taxonomy for Detection and Prevention
Sentiment Analysis of Tweets Using Emojis and Texts
Handling Data Imbalance In Linear Modelling of Fatality Rate of Auto Collision
A Raft Algorithm with Byzantine Fault-Tolerant Performance
A Logical Time-Triggered Distributed Computing Environment for Cyber-Physical Systems
Design of Business Rule Model for Telecom Operator Support System
ICISS 2020: The 3rd International Conference on Information Science and System, Cambridge, UK, March 19-22, 2020
Enhancing Secure Access and Authorization in Healthcare IoT through an Innovative Framework: Integrating OAuth, DIDs, and VCs
Tactile Communication: Making Communication Technology Warmer and More Emotional
Classification of Medical Data using Character-level CNN
Deep Learning vs. Conventional Approaches in Stylometry: An Authorship Attribution Study
A Pair Estimation Technique of Effort Estimation in Mobile App Development for Agile Process: Case Study
The effect of flow experience on gifting in live streaming: a perspective of flow theory
An Educational Smart Desk Control System for the Whole Family
Factors Related to Information Sharing and Cloud Computing Adoption in SMEs: Evidence from Saudi Arabia
Emotion Recognition on Social Media Using Natural Language Processing (NLP) Techniques
Integrating Smart Contracts into Web Infrastructure for Enhanced Loan Management: A Case Study of Kaagapay Cooperative in the Philippines
Efficient Mobile Robot Navigation with D* Lite and Bellman Ford Hybrid Algorithm
Gradient Privacy-Preserving In Federated Learning via Proxy Re-Encryption
The Software Architecture Driving A Successful Digital Transformation within Small and Medium Enterprises
Legal Judgement Prediction for UK Courts
Machine Learning Algorithms for Recommendation of Learning CS Courses in E-Learning Systems
Robot-as-a-Service: from Cloud to Peering Technologies
A Framework and Tool Support for Managing a Family of Business Process Variants
Resolving XACML Rule Conflicts using Artificial Intelligence
Bio-inspired Nano Communication System
Assessing the Information Services on National Archives Websites: A Case Study of the Website of the National Center for Documentation and Archives in Saudi Arabia
Scalability Analysis of the UDCOPA Protocol in Large and Massive IoT Environments
Optimization Evaluation for Enhancing Deep Learning Performance in Arabic Text Classification
Bidirectional Database Synchronization to the Cloud Computing Platform
Research on Complaint Operation Management System Based on digital Transformation
Analysis of Key Criteria for Selecting ERP Systems in Croatian Companies
A New Hybrid Churn Prediction Model Based on Logistic Regression and Extreme Gradient Boosting
Research on Economic Resilience of Small to Mid-Sized Cities under the Novel Coronavirus
Utilizing SDN to Deliver Maximum TCP Flow for Data Centers
Development of Portable Air Quality Index (AQI) and Emergency Vehicles Preemption Prototype Based on Internet of Mobile Things (IoMT)
A Verification Method for Security and Safety of IoT Applications Through DSM Language and Lustre
Responsive innovation of Information System on Manufacturing as Enabler: A Case Study
Research on Energy Efficiency Improvement of Science And Technology Discovery Based on Empirical Method
ECG Denoising based on Total Variation Denoising and Deep Learning Convolutional Neural Networks
FL-YOLO: Lightweight Small Target Detection Algorithm Based on Transformer and CNN Hybrid Structure
Green Daemon: Green Technology Data Acquiescence Tool
Production Planning based on Relevant Data Analytics
Improving Recognition of Thai Handwritten Characters with Deep Convolutional Neural Networks
UAV based data communication using Wireless Sensor Networks
Comparison of Agile Scaling Frameworks
CDN-hosted Domain Detection with Supervised Machine Learning through DNS Records
Approach to the Luxand Face Facial Recognition System Aimed at the Detection of People in the Criminalistics Unit of the PNP in Huancayo City, Peru
A Chronic Pain Management e-Health System Through Persuasive Strategies
Pedestrian-Based Adaptive Traffic Light Control Using YOLOv8
Improving Supervised Outlier Detection by Unsupervised Representation Learning and Generative Adversarial Networks: An Extension of Extreme Gradient Boosting Outlier Detection by GANs
IoT as an Enabler for Successful CSR Practices: The Case of Spanish Firms
GRU-Based Winner Subcarrier Detection in Frequency Domain Contention
SO-KDN: A Self-Organised Knowledge Defined Networks Architecture for Reliable Routing
A Resource Importance Estimation Method Based on Proximity of Hierarchical Position
ARTW: a Model of Author Recognition based on Writing Style by Recognizing Style Crack
People Counting Automatic Barrier (CrowdStopper): An IoT Prototype Design
A Scale-Arbitrary Network for Chinese Painting Super-Resolution
Deep Learning for Pixel-based Edge Models Classification of Tertiary Dentine Images
Systematization of Digital Twins: Ontology and Conceptual Framework
An In-Depth Analysis of Artificial Intelligence on Service Capabilities of Humanoid Robots
Knowledge Graph Completion Using Multiple Embedding Representations for Intelligent Information Extraction from Technical Reports
Anomaly Detection in Industrial Control System using FSODCONV Method
Mapping and Generating Adaptive Ontology of Decision Experiences
Application of AI technology based on customer service digitalization
Scalable Machine Learning Architectures for IPA-Driven Maintenance Task Allocation in Large-Scale Building Portfolios
A Visual Programming Environment for Describing Complex Big Data Functions
Hotspot Analysis of Knowledge Graph-Based Communication Model Research
Virtue Ethics as a Solution to the Privacy Paradox and Trust in Emerging Technologies
Unrolled PRINCE Cipher based Glitch Physically Unclonable Function
Accuracy Assessment of Two Global Gridded Population Dataset: A Case Study in China
Route Optimization by using Dijkstra's Algorithm for the Waste Management System
Application of NLP Based Knowledge Extraction for Polypropylene and Polybutadiene Research
Antecedents of Knowledge Transfer Behaviors between Professional Virtual Community and Electronic Knowledge Repository
Research and Construction of Cloud Platform for Service Aggregation and Management of China Telecom's Offline Contacts
A Study for Precise Financial Support Model for Undergraduates with Financial Difficulties Using Machine Learning
A Named Entity Recognition Method Based on Pre trained Models MBERT and BiLSTM
Comparative Study between Texture Feature and Local Feature Descriptors for Silk Fabric Pattern Image Recognition
Process mining approach to analyze user navigation behavior of a news website
Scoping Review on Lead User Engagement Methods in the Development of Telemedicine Products
Research on Parallel Data Currency Rule Algorithms
An Enhanced Two-factor Authentication Protocol for V2V Communication in VANETs
Data Analytics in Agile Project Managements
Developing a User-Centric 'SeaFood Market' App for Direct Seafood Exchange in Village Communities of the Philippines
Unequal Clustering Protocol in IoT Networks Based on Multiple Criteria Processing
CDN-DF: A Learning-based CDN Domain Name Detection Method with DNS Deep Feature Extraction
Graph Analytics Applied to COVID19 Karnataka State Dataset
Development of Intelligent Evaluation Software for Welding Volume of Ship Blocks
Medusa Ransomware against Data Privacy: A Comprehensive Study of Ransomware Attacks Across Various Organizations and Strategic Recommendations for Future Prevention
Plant Leaf Image Recognition using Multiple-grid Based Local Descriptor and Dimensionality Reduction Approach
Antecedents of Questioning Behaviors in Online Knowledge Community: Egoistic Motivation vs. Altruistic Motivation
Virtual Assistant for Regulation-Dense Organizations
Student Workload Computational Optimization: A Case of Business Administration Program
Design and Develop Artifact for Integrating with ERP and ECS Based on Design Science
Effect of Changes in the Intracellular Resistivity of Skeletal Muscle Fibre on Intracellular and Extracellular Potentials
Application of Digital Health and Telemedicine to Deal with COVID-19
A Generalized Net Model of the Pattern of Behavior in Patients with eGFR < 20 mL/min (CKD Stage IV-V)
Implementation of Expanding Hierarchical Operators in GN IDE
Cascading Approach for Automatic ICD-10 Codes Association To Diseases in Bulgarian
Generalized Net Model of the Upper Limb Arterial Supply System
Visualization on Stability of Impulsive Cohen-Grossberg Neural Networks with Time-Varying Delays
Web-Based Software Tool for Electrocardiogram Annotation
A Survey on the Application of Mobile Communication Devices in Remote Cardiac Monitoring Systems
A Generalized Net Model of the Process of Obtaining and Diagnosing Convalescent Plasma from Patients with COVID-19
Interval-Valued Intuitionistic Fuzzy Estimations of an Ultrasonic Image for Recognition Purposes
Gabor Features for the Classification and Evaluation of Chromogenic In-Situ Hybridization Images
A Method for Fast-Acting Analysis of Quality of Unknown Olive Oils Using Fluorescence Spectroscopy
Sequence-Based Prediction of Food-Originated ACE Inhibitory Peptides Using Deep Learning Algorithm
InterCriteria Analysis Approach for Decision-Making in Virtual Screening: Comparative Study of Various Scoring Functions
Comparative Analysis of Decision-Making Models in National Healthcare Systems of EU Member-States: Change-Drivers' Identification
A Comparative Machine Learning Modelling Approach for Patients' Mortality Prediction in Hospital Intensive Care Unit
Comparative Morphometric Image Analysis of LYVE-1 and Podoplanin in HIV Infected Preeclamptic Women
A Risk Assessment Study on Musculoskeletal Disorders in Computer Users Based on A Modified Nordic Musculoskeletal Questionnaire
Influence of Incident Mammography Spectra and Breast Phantom Characteristics on Mammography Features
InterCriteria Decision Making Approach for Osteoarthritis Disease Analysis
A Generalized Net Model with Intuitionistic Fuzzy Assessments of the Process of Cardiopulmonary Resuscitation
Technological Support to Musculoskeletal Disorders Assessment and Management
Unified Approach for Designing a Database for the Needs of the Anesthesiologists in Bulgaria
Contemporary Methods in Bioinformatics and Biomedicine and Their Applications, BioInfoMed 2020, Burgas, Bulgaria, 8-10 October 2020
Resveratrol Stiffens 1-palmitoyl-2-oleoyl-sn-glycero-3-phosphocholine Bilayers
Generalized Net Model of Ant Lion Optimizer
In-silico Investigation of Human Visual System
Generalized Net Model of Biometric Authentication System Based on Palm Geometry and Palm Vein Matching
Performance Prediction of a Microbial Fuel Cell Based on Artificial Neural Networks
High-Risk Cardiac Patients' Follow-Up via Portable Telemonitoring Personal Analyzer: Applicability, Reliability and Accuracy
Intuitionistic Fuzzy Evaluations for Analysis of the Proximal Humerus Fractures
Functional Outcome Prediction of Operated Proximal Humerus Fractures by Means of Artificial Neural Networks
Differences in Ischemia Mechanism in Coronary Artery Disease and Cardiac Syndrome X
Possible Application of Generalized Nets in Telemedicine Screening of Corona Virus Disease 2019 (COVID-19)
Effects of Variable Impulsive Perturbations on the Stability of Fractional-Order Cohen-Grossberg Neural Networks with Respect to Functions
A FEM Study of Mechanical Behavior of S-Shaped-Stent
An Approach for Development of a Physical Breast Phantom for X-ray Imaging Using an Inkjet Printer: Preliminary Results
Opportunity to Detect Hazardous Materials in Water Using Intercriteria Analysis
Application of Virtual Reality as a Tool for Structural Analysis of Molecules - Steroids, Pharmaceuticals and Pesticides
Virtual Assisted Technologies as a Helping Tool for Therapists in Assessment of Anxiety. Outcomes of a Pilot Trial with Chatbot Assistance
Generalized Net Model of Telerehabilitation Program for Patients with Socially Significant Diseases
Bayesian Hierarchical Modelling for Antimicrobial Resistance
Computer-Based Rehabilitation of Cognitive Impairments in Patients with Multiple Sclerosis
Intuitionistic Fuzzy Representation of Uncertainty in Biomedical Operations
Point of Care Lung Diagnostic in ICU - Our Experience with Bedside Lung Ultrasound
Fuzzy U-Net Neural Network Design for Image Segmentation
Time-Memory Trade-Off Attack on FPGA Platforms: UNIX Password Cracking
HARNESS Project: Managing Heterogeneous Computing Resources for a Cloud Platform
A Block-Based Systolic Array on an HBM2 FPGA for DNA Sequence Alignment
A Challenge of Portable and High-Speed FPGA Accelerator
Probabilistic Performance Modelling when Using Partial Reconfiguration to Accelerate Streaming Applications with Non-deterministic Task Scheduling
Exploiting Partial Reconfiguration on a Dynamic Coarse Grained Reconfigurable Architecture
FaRM: Fast Reconfiguration Manager for Reducing Reconfiguration Time Overhead on FPGA
Reconfigurable Computing: Architectures, Tools and Applications, 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings
Design Exploration of a Video Pre-processor for an FPGA Based SoC
High Performance UDP/IP 40Gb Ethernet Stack for FPGAs
The Need for Reconfigurable Routers in Networks-on-Chip
Performance Evaluation of Feed-Forward Backpropagation Neural Network for Classification on a Reconfigurable Hardware Architecture
An FPGA Implementation for Texture Analysis Considering the Real-Time Requirements of Vision-Based Systems
FPGA Accelerated Parallel Sparse Matrix Factorization for Circuit Simulations
Cross-layer CNN Approximations for Hardware Implementation
Multi-spectral In-Vivo FPGA-Based Surgical Imaging
On Guaranteeing Schedulability of Periodic Real-Time Hardware Tasks Under ReconOS 64
A Parallel Branching Program Machine for Emulation of Sequential Circuits
A Reconfigurable Data Cache for Adaptive Processors
Memory-Centric Communication Architecture for Reconfigurable Computing
Cost and Performance Evaluation of a Noise Filter for Partitioning in Co-design Methodologies
Memory Sharing Approach for TMR Softcore Processor
Routing-Aware Application Mapping Considering Steiner Points for Coarse-Grained Reconfigurable Architecture
FPGA Implementation of a GF (2 m ) Tate Pairing Architecture
An FPGA Realization of a Deep Convolutional Neural Network Using a Threshold Neuron Pruning
Performance Modeling of Pipelined Linear Algebra Architectures on FPGAs
Reconfigurable Computing for Analytics Acceleration of Big Bio-Data: The AEGLE Approach
Towards a Tighter Integration of Generated and Custom-Made Hardware
Cost Effective Implementation of Flux Limiter Functions Using Partial Reconfiguration
Analyzing AXI Streaming Interface for Hardware Acceleration in AP-SoC Under Soft Errors
The Effects of System Hyper Pipelining on Three Computational Benchmarks Using FPGAs
Hardness Analysis and Instrumentation of Verilog Gate Level Code for FPGA-based Designs
A Compact Gaussian Random Number Generator for Small Word Lengths
Scalable and Efficient Linear Algebra Kernel Mapping for Low Energy Consumption on the Layers CGRA
Active Storage Networks for Accelerating K-Means Data Clustering
Parameterized Design and Evaluation of Bandwidth Compressor for Floating-Point Data Streams in FPGA-Based Custom Computing
Flexible Design of a Modular Simultaneous Exponentiation Core for Embedded Platforms
Accuracy Evaluation of Long Short Term Memory Network Based Language Model with Fixed-Point Arithmetic