yusuke1997/dblp-id-title huggingface dataset:
Development and evaluation of traffic signal algorithms to support future Measure of Effectiveness (MOE)
An overview and behavioral modeling of higher order multi-bit SigmaDelta A/D converters
COVID-19 Sentiment Analysis applying BERT
Platform independent GUI for reconfigurable ultrasonic system-an-chip hardware
Power Line Communication Input Impedance Adjustment via Network Load Measurements
Jamming-resilient subcarrier assignment for OFDMA based space-time coded systems
An ontology-based data fusion framework for profiling sensors
Hardware Description of Event-driven Systems by Translation of UML Statecharts to VHDL
A high-power and high-efficiency CMOS VCO for Automatic Dependent Surveillance-Broadcast (ADS-B) system
Modeling bed exit likelihood in a camera-based automated video monitoring application
Programmable refractive index of nanoporous organosilicate films through microsphere masking and sacrificial polymer mediated assembly
Superdistribution: Testability, security and management of digital applications
Performance of monocular and stereo camera in indoor environment for Visual SLAM using ORB method
Multiuser network coding based on DFT matrices design
Enhancing Indoor Positioning of Wireless Access Points using RSSI Fingerprints
Security assessment for Personal Health Data Management System
Pulse Shaping and Matched Filters for EMAT Communication System
Bayesian Neural Networks for Wi-Fi Device Fingerprinting and New Device Detection
INSIGHT And ANALYTICS FROM GIT REPOSITORIES
Fully-Automated Human Activity Recognition with Transition Awareness from Wearable Sensor Data for mHealth
LTE network coverage prediction for multi-traffic users in an urban area
Comparison of HOG, LBP and Haar-Like Features for On-Road Vehicle Detection
Floating point hardware and software realization for adaptive FIR fetal ECG estimation
An Investigation into Using Kalman Filtering for Phase Estimation in IEEE 802.15.4 /ZigBee Receivers Running on Adjacent Channel Interference
Specifying Route Behaviors of Self-Driving Vehicles in ROS Using Lua Scripting Language with Web Interface
Visually Impaired Indoor Navigation using YOLO Based Object Recognition, Monocular Depth Estimation and Binaural Sounds
PV reactive power injection effect on voltage profile
Wireless network node of LED street lamps
Enhancing User Privacy Protection by Enforcing Clark-Wilson Security Model on Facebook
Computational Trust for Securing IoT
Unmanned Aerial System (UAS) Swarm Design, Flight Patterns, Communication Type, Applications, and Recommendations
Defense Mechanism Vulnerability Analysis of Ring Oscillator PUFs Against Neural Network Modeling Attacks using the Dragonfly Algorithm
Small signal modeling of diode in a parallel module subjected to partial shading
Gastrointestinal Disease Diagnosis with Hybrid Model of Capsules and CNNs
Fault Detection and Localization in Solar Photovoltaic Arrays Framework: Hybrid Methods of Data-Analysis and a Network of Voltage-Current Sensors
Framework to leverage cloud for the modernization of the Indian agriculture system
A unified carrier-based modulation method for direct matrix converter
Capstone Project Experience: AI-Driven Virtual Therapist for Administering VibeTech Treatments Using Artificial Reality
A theoretical bilevel control scheme for power networks with large-scale penetration of distributed renewable resources
Optimizing Trade-offs Between Distance and Coverage for Facility Location
Client-driven Adaptive Bitrate Techniques for Media Streaming over HTTP: Initial Findings
Embedded and modular video processing design platform
Towards scalable monitoring and maintenance of rechargeable batteries
Designing and Development of a Handheld Portable Electrochemical Analyzer for Flexible Hybrid Electronics
Study of stress and strain in human spine
Defending selective forwarding attacks in WMNs
A Performance Comparison of Data Mining Algorithms Based Intrusion Detection System for Smart Grid
Taming XML: Objects first, then markup
Development of a Wireless Cardiogram System for acute and long-term healthcare monitoring
Modified Combinatorial Design for Sparse NOMA System
Real-time color-based sorting robotic arm system
Study of Learning of Power Grid Defense Strategy in Adversarial Stage Game
A fun-learning approach to programming: An adaptive Virtual Reality (VR) platform to teach programming to engineering students
Sag Measurement and Quantification in Transmission Lines: A Review
Low Energy Bluetooth Inter-Node Communication Schemes via Randomized Reconfiguration
Employing work function enginnering and asymmetric gate oxide in nano-scale source-heterojunction-MOS-transistor
Cooperative cognitive systems with orthogonal frequency division multiplexing and frequency hopping
Comparative Investigation of Nano transfer Techniques for Low-cost, High-throughput metal Patterning
Driver Drowsiness Detection System Based on Binary Eyes Image Data
Use of local biasing in designing analog integrated circuits
Continuous heart rate monitoring using smartphone
Cloud Computing: Arduino Cloud IoT Integration with REST API
Estimating degree distributions of large networks using non-backtracking random walk with non-uniform jump
Solution problem of deficit teaching time and information saturation in engineering education
Contusion (bruise) segmentation & diagnosis: A graphical user interphase approach
Impedance Control of a DC Servo Motor
Traffic sign recognition based on prevailing bag of visual words representation on feature descriptors
Computer Vision Techniques for Improving Structured Light Vision Systems
A Framework for Background Modeling Using Vehicle-to-Infrastructure Communication for Improved Candidate Generation in Pedestrian Detection
Urea treated WO3 and SnO2 as cost effective and efficient counter electrodes of dye sensitized solar cells
Parallelizing an algorithm to find the maximal clique on interval graphs on graphical processing units
Adaptive Dynamic Update for Greedy Routing Protocol Using Fuzzy Logic Controller and Mobility Prediction
Transfer Learning Based Models for Food Detection Using ResNet-50
Design of cyber-physical interface for automated vital signs reading in electronic medical records systems
Smart Multi-Building Energy Monitoring System
A Highly accurate method to calculate capacitance of MEMS sensors with circular membranes
A taxonomy of artificial intelligence approaches for adaptive distributed real-time embedded systems
Metasurface-enabled Versatile Matching Layer for Microwave Penetration into the Body
Biomarkers Selection Toward Early Detection of Alzheimer's Disease
Deep Learning Patch-Based Approach for Hyperspectral Image Classification
Implementation of an artificial pancreas system on a mobile device
An Evaluation of Real-time Malware Detection in IoT Devices: Comparison of Machine Learning Algorithms with RapidMiner
Gate driver of DC-DC boost converters using national instruments LabVIEW and NImyDAQ
Design flow of motion based single camera 3D mapping
Evaluate Performance Risk Score in Patients Suffering from Lung Cancer Using Survival Analysis of Statistics
Changes in dc current bias as a function of input drive for a depletion mode SiC MESFET
Applying EMAT for Ultrasonic Communication Through Steel Plates and Pipes
Analytical interference model in CSMA-based cognitive radio networks
Generalization of Data Reliability Metric (DReM) Mechanism for Pulsatile Bio-signals
Measuring the performance of IEEE 802.11p using ns-2 simulator for vehicular networks
A Machine Learning Classification Technique for Predicting Prostate Cancer
Auralization of process and port status using program binaries to generate semantically meaningful non-fatiguing noise as canonical sound signals
Jaxium: A Trusted Social Network with Maximum Privacy
Architecture of an ATCS network simulator
Electronic Control Unit (ECU) Identification for Controller Area Networks (CAN) using Machine Learning
Emotion Recognition Using Deep Neural Network with Vectorized Facial Features
Manual and Electronic Toothbrushing Detection Using Wearable Technology
2012 IEEE International Conference on Electro/Information Technology, Indianapolis, IN, USA, May 6-8, 2012
A survey on rare earth doped optical fiber amplifiers
Yield prediction in semiconductor manufacturing using an AI-based cascading classification system
A compact model for the current in LDMOS transistors
Globally distributed software development using an immersive virtual environment
Raspberry Pi Based Computing Prototypes: Design, Implementation and Performance Analysis
Optimization of Microwave Resonant Cavity Flowmeter Design for High Temperature Fluid Sensing Applications
CB/PDMS Based Strain Gauge Using 3D Printed Mold
Neural Network Simulation of Time-variant Waves on Arbitrary Grids with Applications in Active Sonar Prediction
On wideband minimum-phase CIC compensators
Design and Characterization of Ferrite Magnetic Nanoparticle Modified Polymeric Composites
Performance Assessment of Ray Tracing and GBSM Channel Modeling Techniques in RIS-Assisted V2V Communications
Fast recursive least square-based active and reactive power estimator for single-phase power electronic converters
Environment Provisioning and Management for Cybersecurity Education
Best practices for online marketing in Twitter: An experimental study
Design Flow and Implementation of an AI-Enabled Smart Guidance System for Art Galleries
Integrated Framework of Autonomous Vehicle with Traffic Sign Recognition in Simulation Environment
Applications of Machine Learning in Fintech Credit Card Fraud Detection
Science based AI model certification for new operational environments with application in traffic state estimation
Developing A Dynamic Queueing Model for The Airport Check-in Process
Word boundary detection through frame classification using bispectral analysis
External Interference Free Channel Access Strategy Dedicated to TSCH
Multi-biomarker panel selection on a GPU
Detection of myocardial infarction and arrhythmia from single-lead ECG data using Bagging Trees classifier
Nano-gap enhanced surface plasmon resonant gratings for fluorescence sensing applications
An Approach to Optimize Future Inbound Logistics Processes Using Machine Learning Algorithms
Transition to green cellular network
A Single-Pole-Triple-Throw (SP3T) MEMS RF switch for 24 GHz short range radar
Hybrid and secure scheme for pre-ordered video delivery over low-bandwidth links
Internet of Things Based Weather-Soil Sensor Station for Precision Agriculture
Alphablend - a self-adjusting algorithm for reducing artifacts in JPEG compressed images
Evolutionary learning for improving performance of robot navigation
Integrated machine vision and communication system for blind navigation and guidance
Peer to peer media management for augmented reality
A phylogeny-free microbiome dysbiosis detection pipeline for non-invasive disease diagnosis
An Intelligent Approach to Reverse Engineer CAN Messages in Automotive Systems
Compressive Sensing Evaluation Strategy For Prostate Cancer Classification
Simplifying Quantum Multi-class Classification for the NISQ Era Using Error-Code Output Correction
Preparing K-12 Students to Meet their Data: Analyzing the Tools and Environments used in Introductory Data Science Contexts
Parallel Design: Achieving both Researchers' and Practitioners' Goals in the Design of an Interactive Learning System
Meta-Theoretic Competence for Computational Agent-Based Modeling
Proceedings of the Symposium on Learning, Design and Technology, LDT 2024, Delft, The Netherlands, 21 June 2024
Programming Representations: Uncovering the Process of Constructing Data Visualizations in a Block-based Programming Environment
How Co-Designing Computational Modeling Activities Helped Teachers Implement Responsive Teaching Strategies
Potentials of Extended Reality Technologies Applied to K-12 Scientific Inquiry Education
What Happened to the Geometry? Examining Spatial and Mathematical Concepts in Computational Toys and Kits for Young Children
Design Forms and Games
Designing a Technology-enhanced Play Environment for Young Children's Science Modeling Practice
Switch Mode: Building a middle ground between Block-based and Text-based programming
Tingets 2.0: Computer Vision-Powered Interactive Social and Emotional Learning Tool
Proceedings of the 2023 Symposium on Learning, Design and Technology, LDT 2023, Evanston, IL, USA, 23 June 2023
Enhancing the vocabulary learning skills of autistic children using augmented reality: a participatory design perspective
Tools to empower learners in Challenge-Based and Design-Based Learning projects
Experiverse: Exploring an experiment-based gamification application for motivating children to science learning in an informal setting
Supporting high school students' self-directed learning experiences through documentation tool design
When Literacies Collide: The Role of Translation in Music+Coding Activities
The Role of Generative AI in Qualitative Research: GPT-4's Contributions to a Grounded Theory Analysis
Gathering as Design Process: Physical Prototyping for Culturally Sustaining Computational Technologies
Fostering children?s critical literacy in computing education
Carry-Forward Effect: Early scaffolding learning processes
Guiding Children?s Choice Making in an Intelligent Tutoring System
Nurturing Eco-Consciousness: The Journey of the EcoMorph Guardian in Shaping Tomorrow's Stewards
When Athletes Play Around Technology - A Sporting Approach to Computing Inquiry
Using Participatory Design to Gain Insight into How Students Make Sense of Data in Their Lives
From Embodied Doing to Computational Thinking in Kindergarten: A Punctuated Motor Control Model
Friendly Monsters or Children: A Character Design Process Which Considers Representation and Inclusive Design for Young Children
Promoting Critical Consciousness in Students through Artifacts Co-creation with GAI
An Activity a Week, Teachers and Students Speak: Embedding Videos for Hands-On Activities in Primary School Teachers' Weekly Planners
Journey of Migrating Millions of Queries on The Cloud
Proceedings of the Tenth International Workshop on Testing Database Systems, DBTest 2024, Santiago, Chile, 9 June 2024
DBTest@SIGMOD '22: Proceedings of the 9th International Workshop of Testing Database Systems, Philadelphia, PA, USA, 17 June 2022
FuzzyData: A Scalable Workload Generator for Testing Dataframe Workflow Systems
DeepBench: Benchmarking JSON Document Stores
Benchmarking Learned and LSM Indexes for Data Sortedness
Performance Truthfulness of Differential Privacy for DB Testing
Anatomy of the LSM Memory Buffer: Insights & Implications
KVBench: A Key-Value Benchmarking Suite
Surprise Benchmarking: The Why, What, and How
Analysis of Geospatial Data Loading
Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2004, Dublin, Ireland, July 22-23, 2004
Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2002, Galway, Ireland, July 18-19, 2002
First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2000, Cork, Ireland, July 20-21, 2000
Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2006, Cork, Ireland, August 1-5, 2006
From Evidence to Insights: GraphRAG as a Dynamic Knowledge Layer for the Collaboration for Environmental Evidence's Database of Evidence Reviews
Proceedings of the The 2nd International Workshop on Knowledge Graphs for Sustainability (KG4S 2024) colocated with the 21st Extended Semantic Web Conference (ESWC 2024), Hersonissos, Greece, May 27th, 2024
Optimizing Carbon Footprint & Energy Performance for the Sustainability of Historic Buildings using Knowledge Graphs & Digital Twins
An Ontology for the Reuse and Tracking of Prefabricated Building Components
Proceedings of The 3rd International Workshop on Knowledge Graphs for Sustainability (KG4S 2025) co-located with the 22nd Extended Semantic Web Conference (ESWC 2025), Portoroz, Slovenia, June 1st, 2025
Semantic Asset Administration Shell for Circular Economy
Communication in Design-for-Circularity: Requirements to a Knowledge Graph
A Roadmap to Create a Knowledge Graph for the Circular Factory for the Perpetual Product
FAIR and Quality-Aware Air Quality Data Management: A Knowledge Graph-Based Approach
Digital Product Passport: Initial System Architecture with Knowledge Graphs and Data Spaces
The Open Circularity Platform: a Decentralized Data Sharing Platform for Circular Value Networks
Modelling Digital Product Passports for the Circular Economy
Initial and Experimental Ontology Alignment Results in the Circular Economy Domain
Supporting Companion Planting with the CoPla Ontology
A Knowledge Graph Framework for Impact Calculation in Life-Cycle Assessment
Knowledge Graph aided LLM based ESG Question-Answering from News
Results and Discussions from Aligning Ontologies in the Circular Economy Domain
Towards Connecting General DPP Ontology Frameworks with Domain-specific Information Sources
Hierarchical Specification of System Behavior
Adaptive Testing of Nondeterministic Systems with FSM
The synthesis of real-time systems from processing graphs
Towards an Efficient Cyber-Physical System for First-Mile Taxi Transit in Urban Complex
Predictable Safety in the Control of High Consequence Systems
Security Evaluation of a VM-Based Intrusion-Tolerant System with Pull-Type Patch Management
A high-assurance measurement repository system
Modeling and Verification for Probabilistic Properties in Software Product Lines
Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples
12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010
Proving Critical Properties of Simulink Models
Parallel Verification of Software Architecture Design
Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models
A Security Modelling Framework for Systems of Embedded Components
A Calculus for Wireless Sensor Networks from Quality Perspective
Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic
8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA
Development of Custom Selling System Using Ad Hoc Networks
MidSecThings: Assurance Solution for Security Smart Homes in IoT
EM Algorithm for Discrete Software Reliability Models: A Unified Parameter Estimation Method
Investigating the Performance of Genetic Algorithm-Based Software Test Case Generation
Characterization of Cyberattacks Aimed at Integrated Industrial Control and Enterprise Systems: A Case Study
Modeling and Verifying Spark on YARN Using Process Algebra
Acquisition of Virtual Machines for Tiered Applications with Availability Constraints
Optimal Discrimination between Transient and Permanent Faults
Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach
Safety analysis of an evolving software architecture
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML
Verification of Interoperability Security Policies by Model Checking
Runtime Adjustment of Configuration Models for Consistency Preservation
Top-down development of real-time software specification
On how symposia can be structured to benefit academia and industry
Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models
Formal specification techniques as a catalyst in validation
Bug Signature Minimization and Fusion
Automating Techniques for Inspecting High Assurance Systems
At What Level of Granularity Should We be Componentizing for Software Reliability?
ROAFTS: A Middleware Architecture for Real-Time Object-Oriented Adaptive Fault Tolerance Support
The Application of Fuzzy Enhanced Case-Based Reasoning for Identifying Fault-Prone Modules
Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability Model
Resource-Sensitive Intrusion Detection Models for Network Traffic
Towards Reliable Smart Microgrid Behavior Using Runtime Model Synthesis
KEEL Technology Applied to Highly Distributed Loosely Coupled Systems
Statistical Model Checking for SystemC Models
Model Checking for the Fault Tolerance of Collaborative AUVs
An Investigation into the Response of a Water Treatment System to Cyber Attacks
Automotive Safety Case A Qualitative Case Study of Drivers, Usages, and Issues
Model Checking UML Statechart Diagrams Using JACK
High Assurance GPS Integrity Monitoring System Using Particle Filtering Approach
Checking Inconsistency of Rule Sets in Active Real-Time Databases
Applying Safety Case Pattern to Generate Assurance Cases for Safety-Critical Systems
Identifying Domain Axioms Using Binary Decision Diagrams
Empirical Techniques to Detect and Mitigate the Effects of Irrevocably Evolving User Profiles in Touch-Based Authentication Systems
On the sensitivity of NMR unreliability to non-exponential repair distributions
Verifying Fault-Tolerant Behavior of State Machines
Asymmetric Key-Based Secure ECU Replacement Without PKI
EBAWA: Efficient Byzantine Agreement for Wide-Area Networks
A Lightweight Framework for Regular Expression Verification
Experience of Using COTS Components for Deep Space Missions
Fidelity and Complexity in Passive Radar Simulations
The Concept and Practice of Software Quality Assurance in Japan in the Global Era
System Survivability through Security Bug Tolerance
COTS-Based Fault Tolerance in Deep Space: Qualitative and Quantitative Analyses of a Bus Network Architecture
Modelica-Supported Attack Impact Evaluation in Cyber Physical Energy System
Towards Adaptive Networking
Verification of Interlocking Systems Using Statistical Model Checking
An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems
Fast Antirandom (FAR) Test Generation
Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded Software
GSU middleware architecture design
Analytical Partition of Software Components for Evolvable and Reliable MEMS Design Tools
Formal Analysis of Railway Signalling Data
The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing
Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems
A Nonparametric Cusum Algorithm for Timeslot Sequences with Applications to Network Surveillance
Verification of SGAC Access Control Policies Using Alloy and ProB
Reducing State Explosion with Context Modeling for Model-Checking
High Assurance Technologies for Autonomous Decentralized Train Control System
What are the Most Critical Challenges to Integrating High Assurance Systems?
Knowledge-Centric and Language Independent Framework for Safety Analysis Tools
Quantitative Validation of Formal Domain Models
Research on Cloud Performance Testing Model
Executable Models to Support Automated Software FMEA
Verification in Concurrent Programming with Petri Nets Structural Techniques
Requirements formalization and validation for a telecommunication equipment protection switcher
Automated Verification of AADL-Specifications Using UPPAAL
Assurance-Based Y2K Testing
Testing of Memory Leak in Android Applications
A tree-based classification model for analysis of a military software system
Model-Checker-Based Testing of LTL Specifications
High Assurance Life and Death
Real-Time Atomic Transaction Processing Using Multi-Invariant Data Structure
Finance Sector: Requirements for High Assurance within Spatial SOA Based Grid Infrastructures
Mutation-Based Testing of Format String Bugs
Modeling Negative User Stories is Risky Business
Quantification of the Effectiveness of Medium Voltage Control Policies in Smart Grids
Providing guaranteed assurance to connection-oriented group communications using disjoint routing
Study of Trust at Device Level of the Internet of Things Architecture
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems
Using Automated Control Charts for the Runtime Evaluation of QoS Attributes