yusuke1997/dblp-id-title huggingface dataset:
Design of Multilayer Perceptron Network Based on Metal-Oxide Memristive Devices
Features of Reputed Users in eWOM Using Evolutionary Computation
An Adapted Community of Inquiry (COI) Framework with the Inclusion of Instructor Presence
Soft robot for ankle rehabilitation
Adding a Third Dimension to BPMN as a Means of Representing Cyber Security Requirements
Visualdrives Forensic Tool
Evaluating Few-Shot Prompting Approach Using GPT4 in Comparison to BERT-Variant Language Models in Biomedical Named Entity Recognition
Using Density based Score Fusion for Multimodal Identification Systems under the Missing Data Scenario
Preventing the Privacy Problem via Integration of Users Preferences and Semantic Structure
Optimizing Real-Time Decision-Making in Sensor Networks
International Conference on Developments of E-Systems Engineering, DeSE 2015, Dubai, United Arab Emirates, December 13-14, 2015
Image Registration Techniques and Applications: Comparative Study on Remote Sensing Imagery
Semantic Segmentation and Depth Estimation of Urban Road Scene Images Using Multi-Task Networks
Data Security and Validation Framework for a Scientific Data Processing SOA Based System
ECG Waveform Encryption Using Shifted FFT and DWT
Towards Effective Interactive Teaching and Learning Strategies in Robotics Education
Effect of a Novel Flow Field Design on PEM Fuel Cell Performance
Novel Approach for Blind Source Separation
Barriers in New Health and Social Care Technology Implementation in the United Kingdom, a Case Study
A Roadmap Towards the Smart Factory
The Effect of Incorporation Recycled Concrete Aggregate on the Rheological Properties of SCC Using Taguchi Approach
CG&A with Eye Tracking for Cognitive Behavior Analysis and Psychoanalysis
Medical Evaluative Research and Privacy Protection
Towards a Canonical Particle Swarm Optimized Direct Least Squares Prioritization Method for Ratio Pairwise Comparison: An Application of Mutual Fund Selection
Research on Building Scientific Data Ontology
The Implementation of AI in Health and Medicine: Electronic Health Records Web Based on Integration of Logistic Regression Model for Diabetes Type 2 Prediction
The Development of Individualized Assignment Generator
Solving 8-Queens Problem by Using Genetic Algorithms, Simulated Annealing, and Randomization Method
Effenciency of Waste Plastic Fiber on Behavior of Composite Steel Plate-Concrete Push Out Test
A Knowledge Management Based Approach for Mortality Prediction in the Neonatal Intensive Care Unit
MIMO Channel Simulator Design for Time-Varying Cooperative Networks with Heterogeneous Systems
Interval Approach for Stability Analysis of a Pressurized Water Reactor with Parametric Uncertainty using LMI based H-infinity Controller
Medical Diagnosis: Are Artificial Intelligence Systems Able to Diagnose the Underlying Causes of Specific Headaches?
Artificial Intelligence and Advanced Technologies for Managing Iraqi water Resources
Need for Interpretable Student Performance Prediction
Evaluation of an E-Learning Diabetes Awareness Prototype
BEsafe - Validating URLs and Domains with the aid of Indicator of Compromise
Hardware-in-the-Loop Platform for Testing Autonomous Vehicle Control Algorithms
Stereo Image Super Resolution Reinforced by Non-Local Means Denoising (NLMD) Algorithm
3D-SLAM Implementation on Commercial UAV: Challenges and Future Insights
Design of Smart Garden Watering and Lighting Using Arduino
Botnet as a Service towards National Defense and Security
Microbial Risk Assessment to Estimate the Health Risk in Urban Drinking Water Systems of Al-Hilla City
Wearable Devices and IoT as Enablers of Assistive Technologies
Low-Frequency Capacitive Sensing for Environmental Monitoring of Water Pollution with Residual Antibiotics
Fleet size problem for Secure Food Chain with a certain range of transportation temperature
Multi-class Breast Cancer Classification by a Novel Two-Branch Deep Convolutional Neural Network Architecture
A Conceptual Framework: Point-of-Sales (POS) System Integrated with Business Intelligence (BI) Capability Focused on SME in Indonesia
Optimal Sensor Placement Strategy for Structural Health Monitoring with Application of the Aqueduct El Hnaya of Carthage
Design and Implementation of Algorithmic Stock Trading
Non-destructive Electromagnetic Wave Sensor for Hazardous Biological Materials
Teaching Primary School Children the Concept of Computer Programming
Adaptive Cell Classifier for Remote E-Lab Experiments Based on Adaptive Neuro-Fuzzy Inference System
Sleep Apnea Detecting and Monitoring System(SADMS)
Emotional Factor in Students' Acculturation in a Foreign Language Class
Advanced 3D Simulation Technology for eRobotics: Techniques, Trends, and Chances
Automation of Financial Capital Supply Chain Optimization Industry Based on Time Series LSTM Algorithm
Detecting Vicious Users in Recommendation Systems
The Impact of Data Aggregation Strategy on a Performance of Wireless Sensor Networks (WSNs)
Predicting Medicine Adherence with Precision: An MLP-Based Approach for Personalized Healthcare
Cancer Tumor Detection by Gene Expression Data Exploration Using a Genetic Fuzzy System
The Development of a Charger for the Formula Student Electric Race Car
Improving model of crawler robot Servosila "Engineer" for simulation in ROS/Gazebo
Application of Virtual Reality and Electrodermal Activity for the Detection of Cognitive Impairments
Unified Information Environment Role to Improve the Vehicle Reliability at Life Cycle Stages During the Transition to Industry 4.0
DTC Controller Variable Speed Drive of Induction Motor with Signal Processing Technique
An Investigation into Saudi Online Shoppers' Behaviour Abroad
Alzheimer's Disease Classification Based on Demographic Data and Machine Learning
Semantic Structure for E-Commerce Applications
Flying Najm: Drone-based System for Accident Reporting
Artificial Immune Systems Applications in Cancer Research
A Review of Digital Signal Processing Techniques for Protein-Coding Region Identification in DNA Sequences
Performance Evaluation of SISO-OFDM Channel Equalization Utilizing Deep Learning
Validation of the Snake-Like Robot's Virtual Model: Typical Locomotion Modes Examples
A Survey of Ransomware as a Service (RaaS) and Methods to Mitigate the Attack
Performance Ranking of Diagnostic SARS-CoV-2 IgG Antibody Tests by Using Multi-Criteria Decision-Making Theory
Master Program Students Experiences in Robot Operating System Course
Brush-Style Transfer through Constrained Convolutional Sparse Coding
Monitoring Disease Outbreak through Geographical Representation in Rural Areas
AD-Hoc Routing Protocols in WSN-WiFi based IoT in Smart Home
Hypertension Classification Using Machine Learning Part II
Stability Analysis for Heterogeneous Swarm Robots with Limited Field of View
Distance Learning of Regional Languages: Comparative Analysis (Case Study: Tatarstan, Bashkortostan, Chuvashia, Udmurtia - Russian National Regions)
Identification of the Clusters of Social Network Communities for Users with a Specific Characteristic
Intrusion Detection Mechanism for Large Scale Networks using CNN-LSTM
Autonomic Computing: Applications of Self-Healing Systems
Development of a Medical Social Robot
Education 4.0 in Teaching/Learning Strategies
Using Serious Games to Create Awareness on Visual Impairments
A Review of Screening Heart and Lung Diseases using Auscultation and Artificial Intelligence
Truthful Workflow Scheduling in Cloud Computing Using Hybrid PSO-ACO
A comparative Time Series analysis of the different categories of items based on holidays and other events
Towards a Multidimensional Model to Study a Critical Success Factors Affecting Continuity and Success in E-Learning Systems
Estimation the Design Paramters of Surface Course Asphalt Concrete by Cyclic and Static Loading
Optimizing Power Controller Performance using Genetic Algorithm: A Step-by-Step Approach for Finding Optimal Values and Improving Control Performance
Fuzzy logic progrss to predict of mechnical properties for shotcrete concrete contianing waste plastic
A Novel Block-Based Programming Framework for Non-programmers to Validate PLC Based Machine Tools for Automotive Manufacturing Facilities
Novel Approach for Generating the Key of Stream Cipher System Using Random Forest Data Mining Algorithm
Improving Cardiovascular Prediction Performance Using Machine Learning Based Feature Selection
Considering the Context and Patient's Profile to Support Ubiquitous Healthcare Systems
A Smart Adaptive Lighting System for a Multifunctional Room
Monitoring the Performance of Solar Street Lights in Sahelian Environment: Case Study of Senegal
Synthesis of Nonlinear Control Law of a Group of Tracked Robots
Optimum Content of Waste Fine Plastic Aggregate Using Mini181 Software for Best Performance of Reinforced Concrete
Advances in eRobotics: An Overview of Principles and Applications for Space, Industry, and Environmental Monitoring
Towards Secure IoMT: Attack Detection Using Deep Q-Learning in Healthcare Networks
Intrinsic Plagiarism Detection Using Latent Semantic Indexing and Stylometry
Standard-complaint Gazebo warehouse modelling and validation
A Bayesian Approach for the Classification of Mammographic Masses
The Method of Estimation of Economic Potential of the Industrial Enterprise
Ensemble Learning with optimum Feature Selection for Tweet Fake News Detection using the Dragonfly approach
Evaluating Interdependencies and Cascading Failures Using Distributed Attack Graph Generation Methods for Critical Infrastructure Defence
Non-Random Weight Initialisation in Deep Convolutional Networks Applied to Safety Critical Artificial Intelligence
An Efficient Approach for Resilience and Reliability Against Cascading Failure
In-Field Simulation and Training: Enabling the Use of Electronic Media in Highly Mobile High-End 3D Applications for Viszualization, Simulation, Training, Planning, and Assistance
Cardiologists' Awareness of the Impact of Air Pollution on Cardiovascular Disease in Vietnam and the Philippines - Multiple Logistic Regression Modelling
Generative AI and Deep Learning Based Method Detecting Purchasers from Missing Data Social Media
Vision-Based Fatigue Detection In Drivers Using Multi-Facial Feature Fusion
Restrictions of the Measurement System and a Patient When Using Visually Evoked Potentials
Performance Evaluation of Data Scheduling in IEEE802.16e in VANET Traffic Context
Hierarchical Text Clustering and Categorisation Using a Semi-Supervised Framework
Region-Adaptive Watermarking System and Its Application
A Survey of Current Measurement Methods for eGovernment User-Satisfaction
Regression Model for Context Awareness in Mobile Commerce
Effect of Recycled-Steel Fibers on Compressive Strength and Shrinkage Behavior of Self-Compacting Concrete
Early Prediction of COVID-19 Infection with IoT and Machine Learning
Proposed Security System for Cities Based on Animal Recognition Using IOT and Clouds
Simulation of Area of Interest Management for Massively Multiplayer Online Games Using OPNET
Identifying Diagnostic and Prognostic Targets for Papillary Thyroid Carcinoma Through Mining Gene Expression BIG Datasets Using Adaptive Filtering and Advanced Bioinformatics Algorithms
Google Products as a Source of Students' Autonomy in Content and Language Integrated Learning
Arctic Ice Thickness Prediction using Artificial Neural Networks
Unveiling the Reliability of ChatGPT Answers in the Biomedical Realm: An Assessment in the
Comprehensive Study of Side-Channel Analysis (CyberSecurity)
Measuring the Performance Characteristics of MBSE Techniques with BIM for the Construction Industry
A Critical Evaluation of the Rational Need for an IT Management System for Flash Flood Events in Jeddah, Saudi Arabia
Bromine Addition Improving Activation Energy and Electrical Conductivity of Electrospun Poly Methyl Meth Acrylate (PMMA) Thin Film Nanofibers Conductive Polymers
Reusing Dormant Distributed Legacy Data for Evidence Based Medicine
Implementation of Data Transportation Protocol Depending on the Lightweight Cipher Algorithms
Overview of Financial Fraud Digital Forensic Investigation Framework
Image recognition model integration in Unity and CNN Tester app for image recognition
A Survey of Replacement Policies for Mobile Web Caching
3D GPR models generated from 2D profiles validation through archaeological excavation
Adaptive Neuro-Fuzzy Controller for Synchronous Motor
Multi Sensing Platform for Real time Water Monitoring using Electromagnetic Sensor
Incremental Design: A VHDL based Case Study
Entwurf Global Asynchroner Lokal Synchroner Strukturen auf der Basis einer deklarativen Beschreibung mit XML
Reduzierung der Kommunikation in TTA-Verbindungsnetzen mittels Laufzeitanalyse
Internet-basierte Simulation unter Nutzung des HLA-Ansatzes
A New Process-Algebraic Specification Methodology for Integrated Modular Avionic Systems
Automatische Synthese und Verifikation von RISC-Prozessoren
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010
Modellbasierte Analyse und Multikriterien-Optimierung komplexer Systemszenarien unter Anwendung von Methoden der Künstlichen Intelligenz
Determinierung von Automaten bei der High-Level-Synthese von Operationseigenschaften
Structured English for Model Checking Specification
Flächenplanung für FPGA-Architekturen mit heterogenen Verdrahtungsressourcen
Arithmetic in Formal Synthesis
Using IP Cores in Synchronous Languages
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004
Proof Logging for Computer Algebra based SMT Solving
Generating Deterministic $\omega$-Automata for most LTL Formulas by the Breakpoint Construction
Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems
Effizienzanalyse synthetisierter Hardware-Software-Kommunikation am Beispiel eines hardwarebeschleunigten MPEG-Audio-Dekoders
Ein formales Modell für den Entwurf von flexiblen Kommunikationssystemen
Interactive Optimization of FPGA-based Systems-on-Chips
Grouping Heuristics for Word-Level Decision Diagrams
Using Implications for Optimizing State Set Representations of Linear Hybrid Systems
Redundancy-aware Design Space Exploration for Memory Reliability in Many-cores
Technische Dokumentation von Soft- und Hardware-Systemen: Die vergessene Welt
Arithmetic Constraints in SAT-based Property Checking
Objektorientierte Hardwarebeschreibung und -synthese aufbauend auf SystemC
The PAULA Language for Designing Multi-Dimensional Dataflow-Intensive Applications
A Novel RTL ATPG Model Based on Gate Inherent Faults of Complex Gates
Performance Optimization during Placement by Retiming
QmiraXT - A Multithreaded QBF Solver
Modelling Synchronous Multi-Clock Circuits for Retiming
Deriving AOC C-Models from D&V Languages for Single- or Multi-Threaded Execution Using C or C++
Capturing Neural-Networks as Synchronous Dataflow Graphs
Erzeugung von Operationseigenschaften aus UML Sequenzdiagrammen
Calculating Task Output Event Models to Reduce Distributed System Cost
Effizienter Design Rule Check von 3D Systemaufbauten mit einer hierarchischen XML-basierten Modellierungssprache
Object-Oriented Design of ATM Switch Hardware in a Telecommunication Network Simulation Environment
Modellierung rekonfigurierbarer Systemarchitekturen
Model-Based Representation of Schedules for Dataflow Graphs
Nicht-invasive Simulation des Energieverbrauchs von Hardware-Komponenten auf Systemebene mit SystemC
Holistic Real-Time Analysis with an Expressive Event Model
Combination of Simulation and Formal Verification
STABLE: A new QF-BV SMT Solver for hard Verification Problems combining Boolean Reasoning with Computer Algebra
Ansatz zur Bewertung der HW/SW-Kommunikation in asymmetrischen Multi-Prozessor-Systemen
Ein Ubersetzungsverfahren von Verilog-Kausalspezifikationen in Signalflankengraph-basierte Spezifikationen zum Entwurf asynchroner Schaltwerke
Ein Verfahren zur effizienten Analyse von Schaltungen mit Parametervarianzen
Modeling and Verifying Abstract Multithreaded Systems
Towards Buffers as a Scalable Alternative to Registers for Processor-Local Memory
Ein Metamodell für eingebettete Systeme
Formale Verifikation wird zum Handwerk
Polynomial Formal Verification of Complex Multipliers
Filter Based Diagnosis for Multiple Design Errors
Eine SystemC-basierte Heuristik zur Performanzoptimierung datenflussorientierter Applikationen
Ein orthogonales Schema für die Klassifikation der Modellierungsabstraktion von digitalen Systemen
Increasing the Accuracy of SAT-based Debugging
SystemC AMS based Co-simulation Framework for Cyber Physical Systems
SEMAS - System Engineering Methodology for Automated Systems | The world described in layers
Datapath constrained High-Level Synthesis of Central Memory Architectures
Ein SystemC-AMS nach VHDL-AMS Konverter
Parameter Synthesis for Probabilistic Systems
Going Beyond Assertions
Simulation-based Equivalence Checking between SystemC Models at Different Levels of Abstraction
Effizientes Auswahlverfahren zum Auffinden parametrisierbarer Analogschaltungen in Repository-Werkzeugen
Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2022, 25th Workshop, Virtual Event, Germany, February 17-18, 2022
Formal Hardware/Software Co-Verification by Interval Property Checking with Abstraction
Self-Explaining Digital Systems - Some Technical Steps
Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2021, 24th Workshop, Virtual Event, Germany, March 18-19, 2021
Dynamically Reconfigurable Constant Multiplication on FPGAs
Model-Based Development in Automotive Electronics -- The EAST-ADL
Symbolic Simulation of Algorithms Specified in HDL
OpenCL- Design Flow for High Level Synthesis and Cross-Platform Portability
Bounded Property Checking with Symbolic Simulation
Objektorientierte Beschreibung elektrischer Schaltelemente mit Modelica
SMT-based Counterexample Generation for Markov Chains
Yet a Better Error Explanation Algorithm (Extended Abstract)
Architectural System Modeling for Correct-by-Construction RTL Design
Enhanced VerilogA VCO Model for PLL Lock-in Simulations
Event gesteuerte Modellierung analoger Frontends für die funktionale Verifikation des RF-SoCs
Verifikation von Networked Labs-on-Chip Architekturen
Using Contradiction Analysis for Antecedent Debugging in Bounded Model Checking
Synthese großer Schaltungen
Efficient High Speed Compression Trees on Xilinx FPGAs
Synthesis of Distributed Synchronous Specifications to SysteMoC
An Interface Description Model for Reuse of Algorithmic Hardware Specifications
The Case for 2-POF
BDD-based Analysis of Test Cases for PLC-based Railway Interlocking Systems
Verifikation von Prozessorplattformen -- Probleme und Trends aus Sicht der Chipentwicklung
An Application-Optimized Network on Chip Platform
Platzierverfahren zur effizienten Nutzung der lokalen Verdrahtungsressourcen hierarchischer FPGA-Architekturen
Profilierung von VHDL-Prozessen mit minimierten Aufwand
Dead Code Elimination in Formal Synthesis
Automotive Electronics: European Challenges in Circuit and System Design
High-Level Bewertung sequentieller Schaltungen
Analyse dynamischer Eigenschaften eingebetteter Systeme mit GPSS
Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung
Using Synthesis Techniques in SAT Solvers
Equivalence Checking for Partial Implementations Revisited
Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme
Ein gemeinsamer Ansatz für die formale und simulative Verifikation digitaler Schaltungsdesigns
Formale Verifikation eines funktionalen VHDL Modells der J1850 Busarbitrierung
Simulink-Modell-Übersetzung in synchrone Datenflussgraphen
Portierung der TriCore-Architektur auf QEMU
Symbolic Message Routing for Multi-Objective Optimization of Automotive E/E Architecture Component Platforms
Erfahrungen mit der UML beim Entwurf von Kfz-Steuerungen
Some Common Synthesis-Simulation-Mismatches
Ein XML-basierter Ansatz zur flexiblen Darstellung und Transformation von Schaltungsbeschreibungen
Early Conflict Detection Based SAT Solving
Towards Automatic Property Generation for the Formal Verification of Bus Bridges
Optimization of a novel WLAN Simulation Framework for Prototyping Network Applications and Protocols
Übersetzung von HyCharts in HDFG
Symbolic Verification of PLC Safety-Applications based on PLCopen Automata
Simulation-based Verification of SystemC-based VPs at the ESL
Hadie - Ein portierbarer Mikrokernel für eingebettete Systeme
Challenges in the Design of Micro-Processors and other Integrated Circuits
Symbolic Model Checking by Automata Based Set Representation
HOPE: Hardware Optimized Parallel Execution
Formale Verifikation der Architekturverbesserung eines Viterbi Decoder IP Blocks
Scalable and Extendable Hybrid Verification Platform
Objektorientierte Simulation von heterogenen Kommunikations-Systemen
Eine neue Methode zur Spezifikation von komplexen Steuerwerken unter der Randbedingung der Synthese und eines kurzen Entwurfszyklus
Object-oriented Specification Approach for Synthesis of Hardware-/Software Systems
A Framework for Verifying and Implementing Embedded Systems
Actor-oriented Modeling und Simulation of Cut-through Communication in Network Controllers
Verification of Behavior-Based Control Systems in their Physical Environment
Beschreibungsmittel und Werkzeuge für Spezifikationen heterogener Systeme
Verringerung der Leistungsaufnahme in sequentiellen Schaltungen durch Vorlogik und zweistufige Zustandskodierung
Model Checking for PLC based Railway Interlocking Systems
Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen
Automatic detection of sticky clock gating equations
Model-based Analysis of Sensor-Subsystems Using Scenario-Aware Dataflow Graphs
Designing a RISC CPU in Reversible Logic
From DQBF to QBF by Dependency Elimination
Routing Partial Permutations in General Interconnection Networks based on Radix Sorting
Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions
Register and Instruction Coverage Analysis for Different RISC-V ISA Modules
SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs
Comprehensive modeling and evaluation of Network-on-Chip performability
Speculative disassembly of binary code
Dependable Embedded Systems - Introduction and overview of the DFG SPP-1500
Equivalence Checking of Reversible Circuits
Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013
Extending Verilator to Enable Fault Simulation
A Universal Disassembler using Table Based Formal Architectural Specification
Unreliable Data Transmissions und Limited Hardware Communication Buffers in Automotive E/E Virtual Prototypes
Analyzing k-step induction to compute invariants for SAT-based property checking
Generic Reusable Hardware/Software Co-Design Implementation of a Complete FH-FSK Modem for Robust Multi-User Acoustic Underwater Communication and System Validation on a FPGA
Proving the Correctness of Pipelined Micro-Architectures
An Architecture Description Language for Massively Parallel Processor Architectures
Framework for Varied Sensor Perception in Virtual Prototypes
Erhöhung der Synthesegenauigkeit durch Sprachraumerweiterung synthesefähiger sequentieller VHDL-Beschreibungen
A Logic for Cardinality Constraints (Extended Abstract)
State Traversal guided by Hamming Distance Profiles
Hardwaresynthese von Programmiermodellen
Untersuchung von Methoden zur Hardwarebeschleunigung eines FPGA-basierten Java-Systems mit Soft-IP Prozessor
Eine Fallstudie zur dynamischen Rekonfiguration von Hardware: "Pain or Gain?"
Optimized Static Parameter Assignment for Semiformal Software Verification
Using LISATek for the Design of an ASIP Core including Floating Point Operations
Properties of Invariants and Induction Lemmata
Experimenteller Vergleich verschiedener Entwurfsmethoden für FPGA-basierte Entwurfsabläufe
Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA)