yusuke1997/dblp-id-title huggingface dataset:
Efficient Wireless MPT(Microwave Power Transfer) System to the Multiple IoT Devices
A Home Security Camera System with Container-based Resource Allocation on Raspberry Pi
Spatial Frequency Modulation for Display-Camera Communication
Colpitts-based Folded Self-oscillating Mixer
Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks
The Smallest Multistationary Mass-Preserving Chemical Reaction Network
Algebraic Systems Biology: Theses and Hypotheses
Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods
Protein Structure Prediction Using Residual Dipolar Couplings
Membrane Computing as a Framework for Bio-modeling (An Informal Glimpse)
The Geometry of the Neighbor-Joining Algorithm for Small Trees
Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks
Algorithms for Inference, Analysis and Control of Boolean Networks
Cascaded Games
Efficient Haplotype Inference with Pseudo-boolean Optimization
Process Algebra Models of Population Dynamics
Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits
On Differential Algebraic Decision Methods for the Estimation of Anaerobic Digestion Models
Modeling Static Biological Compartments with Beta-binders
An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions
On Proving the Absence of Oscillations in Models of Genetic Circuits
Prefix Reversals on Binary and Ternary Strings
Toric Ideals of Phylogenetic Invariants for the General Group-Based Model on Claw Trees K 1, n
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction
A Stochastic Pi Calculus for Concurrent Objects
Differential Algebra and System Modeling in Cellular Biology
Inference of Protein-Protein Interactions by Using Co-evolutionary Information
A Short Survey of Automated Reasoning
Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets
An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors
Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries
Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
Attenuation Regulation as a Term Rewriting System
Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems
Glucose-Insulin Control of Type1 Diabetic Patients in H 2 /H infinity Space Via Computer Algebra
Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach
Hybrid Semantics for Stochastic pi-Calculus
Local Structure and Behavior of Boolean Bioregulatory Networks
On the Computational Power of Biochemistry
Algebraic Biology, Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings
An Improved Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes
Tutorial on Model Checking: Modelling and Verification in Computer Science
Deducing Interactions in Partially Unspecified Biological Systems
Property Preservation along Embedding of Biological Regulatory Networks
Inference of Complex Regulatory Network for the Cell Cycle System in Saccharomyces Cerevisiae
Analyzing Pathways Using SAT-Based Approaches
Discrete Models of Biochemical Networks: The Toric Variety of Nested Canalyzing Functions
On a Low Cost Fault Injection Framework for Security Assessment of Cyber-Physical Systems: Clock Glitch Attacks
Simulation-based verification of large-integer arithmetic circuits
A Two-Flights Mutual Authentication for Energy-Constrained IoT Devices
Hardware Trojan Detection and Functionality Determination for Soft IPs
On the Mitigation of Hardware Trojan Attacks in Embedded Processors by Exploiting a Hardware-Based Obfuscator
In-situ slack monitors: taking up the challenge of on-die monitoring of variability and reliability
Verification of Physical Chip Layouts Using GDSII Design Data
Software-only Reverse Engineering of Physical DRAM Mappings for Rowhammer Attacks
Learning lemma support graphs in Quip and IC3
Provable secure dual-server public key encryption with keyword search
Nonlinear Product Codes for Reliability and Security
RRAM based cell for hardware security applications
Lightweight PUF-Based Authentication Protocol for IoT Devices
Reverse Engineering of Cryptographic Cores by Structural Interpretation Through Graph Analysis
Dynamic Adjustment of Test-Sequence Duration for Increasing the Functional Coverage
Estimating Target Distribution in security assessment models
Asserting causal properties in High Level Synthesis
Hardware performance counters for system reliability monitoring
Lightweight obfuscation techniques for modeling attacks resistant PUFs
New architecture of the object-oriented functional coverage mechanism for digital verification
A New Secure Stream Cipher for Scan Chain Encryption
On fault injections for early security evaluation vs. laser-based attacks
Authentication of Microcontroller Board Using Non-Invasive EM Emission Technique
Detecting Cache-Timing Vulnerabilities in Post-Quantum Cryptography Algorithms
SNIFFER: A high-accuracy malware detector for enterprise-based systems
Protecting partial regions in FPGA bitstreams
A look at the dark side of hardware reverse engineering - a case study
Two-Stage Architectures for Resilient Lightweight PUFs
Opening pandora's box: Implication of RLUT on secure FPGA applications and IP security
1st IEEE International Verification and Security Workshop, IVSW 2016, Sant Feliu de Guixols, Spain, July 4-6, 2016
3rd IEEE International Verification and Security Workshop, IVSW 2018, Costa Brava, Spain, July 2-4, 2018
Zero bit-error-rate weak PUF based on Spin-Transfer-Torque MRAM memories
Maximizing the throughput of threshold-protected AES-GCM implementations on FPGA
Hacking the Control Flow error detection mechanism
Robust secure design by increasing the resilience of Attack Protection Blocks
Security Analysis of Chaotic Baker Maps
Experimentations on scan chain encryption with PRESENT
Secure authentication of electronic systems with autonomous optical nano-devices
Architectural Diversity: Bio-Inspired Hardware Security for FPGAs
A red team blue team approach towards a secure processor design with hardware shadow stack
4th IEEE International Verification and Security Workshop, IVSW 2019, Rhodes Island, Greece, July 1-3, 2019
Counterexample-guided diagnosis
Practical evaluation of masking software countermeasures on an IoT processor
Physical Inspection & Attacks: New Frontier in Hardware Security
Electroforming-free Memristors for Hardware Security Primitives
Property Based Formal Security Verification for Hardware Trojan Detection
Hardware reverse engineering: Overview and open challenges
Efficient design of Oscillator based Physical Unclonable Functions on Flash FPGAs
Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation
Towards mixed structural-functional models for algebraic fault attacks on ciphers
Revision debug with non-linear version history in regression verification
Secure Path Verification
Restricting Switching Activity Using Logic Locking to Improve Power Analysis-Based Trojan Detection
Using Physical and Functional Comparisons to Assure 3rd-Party IP for Modern FPGAs
Hardware Security Evaluation Platform for MCU-Based Connected Devices: Application to Healthcare IoT
A Comprehensive Approach to a Trusted Test Infrastructure
Challenges and trends in SOC Electromagnetic (EM) Crosstalk
Using outliers to detect stealthy hardware trojan triggering?
Pre-silicon Embedded System Evaluation as New EDA Tool for Security Verification
IEEE 2nd International Verification and Security Workshop, IVSW 2017, Thessaloniki, Greece, July 3-5, 2017
Keynotes: Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation
On the Reliability of the Ring Oscillator Physically Unclonable Functions
A Digital Memristor Emulator for FPGA-Based Artificial Neural Networks
Using Hardware Performance Counters to Detect Control Hijacking Attacks
Secure Design Flow of FPGA Based RISC-V Implementation
Entropy justification for metastability based nondeterministic random bit generator
Self-timed Ring based True Random Number Generator: Threat model and countermeasures
A Machine Learning Attacks Resistant Two Stage Physical Unclonable Functions Design
Security of FPGAs in data centers
MaskVer: a tool helping designers detect flawed masking implementations
PolyMigrate: Dynamic Schema Evolution and Data Migration in a Distributed Polystore
Parameter Sensitivity Analysis for the Progressive Sampling-Based Bayesian Optimization Method for Automated Machine Learning Model Selection
Administrative Health Data Representation for Mortality and High Utilization Prediction
Enhancing Medical Word Sense Inventories Using Word Sense Induction: A Preliminary Study
Persona Model Transfer for User Activity Prediction Across Heterogeneous Domains
Heterogeneous Data Management, Polystores, and Analytics for Healthcare - VLDB Workshops, Poly 2022 and DMAH 2022, Virtual Event, September 9, 2022, Revised Selected Papers
Heterogeneous Data Management, Polystores, and Analytics for Healthcare - VLDB Workshops, Poly 2021 and DMAH 2021, Virtual Event, August 20, 2021, Revised Selected Papers
Ad-hoc Searches on Image Databases
Data Governance in a Database Operating System (DBOS)
Polypheny-DB: Towards Bridging the Gap Between Polystores and HTAP Systems
Multiple Interpretations Improve Deep Learning Transparency for Prostate Lesion Detection
Towards Data Discovery by Example
Clinical Synthetic Data Generation to Predict and Identify Risk Factors for Cardiovascular Diseases
WIP: Pods: Privacy Compliant Scalable Decentralized Data Services
Generating Longitudinal Synthetic EHR Data with Recurrent Autoencoders and Generative Adversarial Networks
A Polystore Based Database Operating System (DBOS)
TRACE: Early Detection of Chronic Kidney Disease Onset with Transformer-Enhanced Feature Embedding
An Architecture for the Development of Distributed Analytics Based on Polystore Events
Towards Assessing Data Bias in Clinical Trials
A Formal Category Theoretical Framework for Multi-model Data Transformations
CDRGen: A Clinical Data Registry Generator (Formal and/or Technical Paper)
Towards Generic Fine-Grained Transaction Isolation in Polystores
Polystore Systems and DBMSs: Love Marriage or Marriage of Convenience?
Data Virtual Machines: Enabling Data Virtualization
Heterogeneous Data Management, Polystores, and Analytics for Healthcare - VLDB Workshops, Poly 2020 and DMAH 2020, Virtual Event, August 31 and September 4, 2020, Revised Selected Papers
Privacy-Preserving Knowledge Transfer with Bootstrap Aggregation of Teacher Ensembles
The Transformers for Polystores - The Next Frontier for Polystore Research
Enabling Real-World Medicine with Data Lake Federation: A Research Perspective
Prediction of lncRNA-Disease Associations from Tripartite Graphs
ACID-V: Towards a New Class of DBMSs for Data Sharing
An Intelligent and Efficient Rehabilitation Status Evaluation Method: A Case Study on Stroke Patients
Tracing State-Level Obesity Prevalence from Sentence Embeddings of Tweets: A Feasibility Study
A Survey of Data Challenges Across a Modernizing Bureaucracy: A New Perspective on Examining Old Government Problems
Privacy-Preserving Distributed Support Vector Machines
Purpose Scan: A Purpose-Aware Access Method
Teaching Analytics Medical-Data Common Sense
Open-World COVID-19 Data Visualization [Extended Abstract]
A Cloud-Native NGS Data Processing and Annotation Platform
Benchmarking Multi-instance Learning for Multivariate Time Series Analysis
Hybrid cognitive model for semantic discovery and selection of services
Identifying Consensus in Heterogeneous Multidisciplinary Professional Teams
Multimodal Interactions In Multi-Display Semi-Immersive Environments
A complex adaptive model of information foraging and preferential attachment dynamics in Global Participatory Science
Enhancing land subsidence awareness via InSAR data and Deep Transformers
Keep it Clear and Simple; Using Levels of Tactile Alerts for Manned-UnManned Teaming (MUM-T)
Service-based situational awareness on the Semantic Web
Digital Cognitive Aids to Support Adaptation of Surgical Processes to COVID-19 Protective Policies
An infrastructure for distributed rule-based situation management
Task models for human-computer collaboration in supervisory control of teams of autonomous systems
Model-driven estimation of operators' workload for usage centred design of interactive systems
Conceptualizing the Integration of Cognitive and Physical Models to Enable Continuous Human-Robot Interaction
Mapping the Information Flows for the Architecture of a Nationwide Situation Awareness System : (Poster)
Online learning for an individualized lane-change situation recognition system applied to driving assistance
idsNETS: An experimental platform to study situation awareness for intrusion detection analysts
BARRACUDA: An augmented reality display for increased motorcyclist en route hazard awareness
Hard and Soft Data Fusion for Maritime Traffic Monitoring Using the Integrated Ornstein-Uhlenbeck Process
Effects of Urban Landscape and Soundscape on Driving Behavior
A rule-based platform for situation management
Will passengers trust driverless vehicles? Removing the steering wheel and pedals
Enhancing applications interoperability in context management for practice tasks
Developing a feedback system to augment monitoring performance of aircraft pilots
Adventurous robots equipped with basic emotions
Extending situation modeling with inference of plausible future cyber situations
Automation bias with a conversational interface: User confirmation of misparsed information
Benefits of Multisensory Cues in a Realistic Target Discrimination Task
Applying the Scenario Planning approach to support multicriterial strategic assessment
Spatio-temporal situation recognition for groups in caregiving services
Prioritizing Policy Objectives in Polarized Groups using Artificial Swarm Intelligence
Near Real-time Situation Awareness and Anomaly Detection for Complex Railway Environment
Using Artificial Immune System to Prioritize Swarm Strategies for Environmental Monitoring
Situational Decision Making Using Situation Modeling and Deep Learning
Automated recognition of firearms in surveillance video
Injury Prediction for Canadian Mineral Exploration Using Machine Learning
Modeling Decisions in Collective Risk Social Dilemma Games for Climate Change Using Reinforcement Learning
Living in a Sensor Limited World
Inferring relations and individuals relevant to a situation: An example
The Impact of Covid-19 Pandemic on Undergraduate Students: the Role of an Adaptive Situation-Aware Learning System
Degrees of Information Relevance in Situation Assessment
Situation awareness in eco-driving
Situation Granularity
An Exploration of Optimizing Kidney Exchanges with Graph Machine Learning
Designing Human-Robot Collaboration for Semi-Automated Liquid Cargo Handling
Simulating situated work
Reinforcement Learning Meets Cognitive Situation Management: A Review of Recent Learning Approaches from the Cognitive Situation Management Perspective
Tactical management in near real-time systems
Preparation Times: An Experimental-Based Discussion About Limits for Takeover in Highly Automated Systems
Quantitative methods for ranking critical events
A model-driven approach to the a priori estimation of operator workload
A cognitive group hierarchy game theoretic framework for bandwidth management
Risk-driven intent assessment and response generation in maritime surveillance operations
Using Memory Contents of a Cognitive Model for Prompt Augmentation of a Large Language Model
Using Game-Theoretic Value of Information for Sequential Allocation of Human Resources in Human-in-the-Loop
Training and Verbal Communications in Human-Autonomy Teaming Under Degraded Conditions
Towards a connected bicycle to communicate with vehicles and infrastructure : Multimodel alerting interface with Networked Short-Range Transmissions (MAIN-ST)
A collaborative distributed multi-agent reinforcement learning technique for dynamic agent shortest path planning via selected sub-goals in complex cluttered environments
A systematic approach to developing near real-time performance predictions based on physiological measures
Situations and policies
Multi-organizational distributed decision making in the power grid industry
Assessing Team Situational Awareness in the Operating Room via Computer Vision
The system dynamics architecture of UTASiMo: A simulation-based task analysis tool to predict human error probability
Knowledge Complacency and Decision Support Systems
Belief-based hybrid argumentation for threat assessment
The new environment model building method of penetration mission based on the artificial potential field approach
IEEE Conference on Cognitive and Computational Aspects of Situation Management, CogSIMA 2024, Montreal, QC, Canada, May 7-10, 2024
Uncertainty reasoning for service-based situational awareness information on the Semantic Web
A framework for cognitive situation control
IEEE Conference on Cognitive and Computational Aspects of Situation Management, CogSIMA 2022, Salerno, Italy, June 6-10, 2022
IEEE Conference on Cognitive and Computational Aspects of Situation Management, CogSIMA 2021, Tallinn, Estonia, May 14-22, 2021
Towards reducing the reaction time of emergency services through improved situation assessment
Conceptual and computational insights from a holistic framework for infrastructure management
Heuristic methods for automating event detection on sensor data in near real-time
The effect of 2-dimensional and 3-dimensional perspective view displays on situation awareness during command and control
Pandemic Situation Awareness Must Support Both Individualized Medicine and Public Health Invited Paper
A model based on rough sets for situation comprehension and projection
Cyber-physical-human system for connected car-based e-tourism : Approach and case study scenario
Ghost Injection Attack on Automatic Dependent Surveillance-Broadcast Equipped Drones Impact on Human Behaviour
Effective Team Interaction for Adaptive Training and Situation Awareness in Human-Autonomy Teaming
Capacitive Swipe Gesture Based Smartphone User Authentication and Identification
Decision Infrastructure for Counterinsurgency Operational Planning (DICOP)
Data to decision: pushing situational information needs to the edge of the network
An Artificial Intelligence Algorithm to Automate Situation Management for Operators of Unmanned Aerial Vehicles
Coherence-driven Reflective Equilibrium model of ethical decision-making
Using iBeacon for intelligent in-room presence detection
CrowdSA - towards adaptive and situation-driven crowd-sensing for disaster situation awareness
Situations in Simulations: An Initial Appraisal
A framework of data processing for decision making in railway intelligent infrastructure
Brain lattice: Concept lattice based causal analysis of changes in mental workload
Measurement of situation awareness among diverse agents in cyber security
Textual risk mining for maritime situational awareness
Reducing bandwidth requirements and optimizing data flow in distributed data acquisition and processing
A Situation Awareness Computational Intelligent Model for Metabolic Syndrome Management
Artificial Swarms find Social Optima : (Late Breaking Report)
Uncovering Age Progression in Wireless Signal Propagation Modeling Using Decisions of Machine Learning Classifiers : (Poster)
Distributed spectrum sensing using belief propagation framework
A network science approach to future human-robot interaction
Situation awareness and control errors of cyber weapons
Supporting common ground across multiple operator perspectives - Creating collaborative solutions for distributed processing, exploitation, and dissemination (PED)
Keynote: Multi-User Activity Recognition: State-of-the-art and Research Challenges
Trusting smartphone Apps? To install or not to install, that is the question
Analysis of Driver Workload on Risk Perception in Non-Safety-Critical Situations with Partial Automation
Digital policy management requirements and architecture
Data exchange for shared situation awareness
Strands of Memory
Identity and an Extended Situation Theory
Behavior modeling in physical and adaptive intelligent services
Feedback generation using Fuzzy Cognitive Maps to reduce dropout in situation-aware e-Learning systems
Exploiting Vehicle-to-Vehicle Communications for Enhanced Situational Awareness
Shared UAV enterprise operator pooling framework (SUAVE) chance constrained pooled fan-out queueing analysis
Simulating situational awareness with User-Defined Operating Picture (UDOP) devices using rules
Safe and Explainable AI in 6G Telecommunication Systems: The Way Forward
Ecological display symbology to support pilot situational awareness during shipboard operations
Decision-making involving low probability high consequence events under risk and uncertainty
Effect of personality traits on trust and risk to phishing vulnerability: Modeling and analysis
SSIM: Using social science to model the effects of influence campaigns on attitudes and behaviors
Human online reliability estimation applied to real driving maneuvers
Assessing situation models with a lightweight formal method
A task analysis toward characterizing cyber-cognitive situation awareness (CCSA) in cyber defense analysts
Modeling Drivers' Takeover Behavior Depending on the Criticality of Driving Situations and the Complexity of Secondary Tasks
Enhanced Multi-Source Information Fusion for Advanced Air Mobility Through Aibased Situation Assessment and Incorporating OSINT Data
A practical situation based agent architecture for social simulations
Improving event co-reference by context extraction and dynamic feature weighting
A multi-perspective approach to the evaluation of a portable situation awareness support system in a simulated infantry operation
Comparison of Fuzzy-based Value of Information to Bayesian Inference in a Military Domain
A Theoretical Model for Assessing Information Validity from Multiple Observers
A new signal primitive for monitoring complex information networks
An event-driven multi-agent middleware architecture and protocol design for intelligent geographically distributed battlefield training, modeling and simulation
Quantitative estimation of the strength of agreements in goal-oriented meetings
Heterogeneous UAV Multi-Role Swarming Behaviors for Search and Rescue
Situations, Information, and Evidence (Late Breaking Report)
Computing with Open Dynamical Systems
Stealthy attacks on pheromone swarming
Enhanced Shared Situational Awareness and Decision Support in Maritime Firefighting: Insights from the Overheat Project
Individually Tuned Causal Models of Disease Progression
Managing critical events: Designing an attention allocation system
A distributed behavioral-based technique for multi-agent sensory & event-driven autonomous formation and navigation
Automatic derivation of context descriptions
Enhancing optical networks with cognition: Case-Based Reasoning to estimate the quality of transmission
Situational Hazard Recognition and Risk Assessment Within Safety-Driven Behavior Management in the Context of Automated Driving
Training systems thinking and adaptability for complex decision making in defence and security
Dynamic bandwidth provisioning using Markov chain based RSVP for unmanned ground networks
Experience-based cyber situation recognition using relaxable logic patterns
IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, CogSIMA 2013, San Diego, CA, USA, February 25-28, 2013
Dynamic emergency response communication: The Intelligent Deployable Augmented Wireless Gateway (iDAWG)
Integrating GSO and SAW ontologies to enable Situation Awareness in Green Fleet Management
Designing a Pragmatic Graphical Grammar