yusuke1997/dblp-id-title huggingface dataset:
Shading Design For Outdoor Learning in Warm And Hot Climates Using Evolutionary Computation: A Case Study In Houston Tx
A Tutorial on Bayesian Sequential Data Assimilation for Dynamic Data Driven Simulation
Video Analytic Data Reduction Model For Fog Computing
How Many Costly Simulations Do we Need to Create Accurate Metamodels? A Case Study on Predicting HIV Viral Load in Response to Clinically Relevant Intervention Scenarios
Automated Generation of Patient Population for Discrete-Event Simulation Using Process Mining
Simulation and Optimization Techniques for the Mitigation of Disruptions to Supply Chains
Elucidating the Role of the His-Purkinje System During Long QT Mediated Arrhythmias
Automated Model Discovery For Steering Behavior Simulation
Toward A Movement Paradigm For Artificial Human Agents
How The Urban Microclimate And Outdoor Thermal Comfort Can Affect Intra-City Mobility Patterns: Evidence From New York City
Extensive Simulation Of Human-Robot Interaction For Critical Care Telemedicine
TAFE-AI: A Trust-Augmented Fog and Edge AI Enabled Network Integrated with Decentralized Identity
Multi-Modality Breast MRI Segmentation Using NNU-NET For Preoperative Planning Of Robotic Surgery Navigation
Comparing Simulated Autonomous Swarm Systems using Agent-Based Modeling
The Effect of Empathy on Happiness in Social Networks: An Agent-Based Simulation Study
A Syntax for Connection Proofs
Comparison of Proof Methods
nanoCoP-Omega: A Non-Clausal Connection Prover with Arithmetic
Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), Prague, Czech Republic, September 18, 2023
Embedding the Connection Calculus in Satisfiability Modulo Theories
A Curiously Effective Backtracking Strategy for Connection Tableaux
Connections: Markov Decision Processes for Classical, Intuitionistic and Modal Connection Calculi
Connect++: A New Automated Theorem Prover Based on the Connection Calculus
Structure-Generating First-Order Theorem Proving
20 Years of leanCoP - An Overview of the Provers
Estimation of Heart Rate Variability Changes during Different Visual Stimulations Using Non-invasive Continuous ECG Monitoring System
Concordance of Diagnosis Based on Zangfu-Organs Syndrome Differentiation by Clinicians of Traditional Chinese Medicine
Cross-Domain Neurobiology Data Integration and Exploration
Regularized Recurrent Least Squares Support Vector Machines
Framework for Knowledge-Based Integrative Analysis of Microarray Data
A Novel Nonlinear Dimensionality Reduction Method for Robust Wood Image Recognition
Towards a Comprehensive HBV-Human Interaction Map
An Effective Multi-level Immune Algorithm for Graph Bipartitionin
Enhancing Automatic Biological Pathway Generation with GO-Based Gene Similarity
A Combination Approach to Cluster Validation Based on Statistical Quantiles
Kalman Filtering Design Based on Real-Time Updating of Noise Matrix
Constraint Projections for Discriminative Support Vector Machines
A Parallel Algorithm for Three-Profile Alignment Method
A Granular Hierarchical Approach to Biophysical and Biochemical Evaluations of Transgenic Modifications
SVM-Based Approach for Predicting DNA-Binding Residues in Proteins from Amino Acid Sequences
Statistical Analysis of Discrete Dynamical System Models for Biological Networks
Mapping Transcription Factors from a Model to a Non-model Organism
Exploring Systems Biology Approaches to Traditional Chinese Medicine Cancer Research
On the Design of RNA Sequences for Realizing Extended Shapes
Genome Evolution in Malaria Parasites: I. Core Genome Components
A Novel Method of De-noising and Classifying on Mental EEG of Imaging Left-Right Hands Movement
Fingerprint Ridge Distance Estimation Based on Ridge Search
ANN Based Protein Function Prediction Using Integrated Protein-Protein Interaction Data
PTS-RNSA: A Novel Detector Generation Algorithm for Real-Valued Negative Selection Algorithm
Applying Particle Swarm Optimization to Transfer Function Specification for Direct Volume Rendering
Gene Regulatory Network Inference Using Predictive Minimum Description Length Principle and Conditional Mutual Information
A Primer Design Algorithm for Global Analysis of CpG Methylation
A Bayesian Approach for Identifying miRNA Targets by Combining Sequence Prediction and Expression Profiling
A Neural Network Based on Rough Set (RSNN) for Prediction of Solitary Pulmonary Nodules
RFID Dynamic Grouping Anti-collision Algorithm Based on FCM
A Quadratic Time Algorithm for Computing the Quartet Distance between Two General Trees
A Vector Operation Based Fast Association Rules Mining Algorithm
MRI Based Fat Segmentation at 7T with Confidence Image
Integrative Computational Identifications of the Signaling Pathway Network Related to TNF-alpha Stimulus in Vascular Endothelial Cells
Accurate Prediction of Alternatively Spliced Cassette Exons Using Evolutionary Conservation Information and Logitlinear Model
A Collaborative Car Auto-Navigation Framework Based on Intelligent Trajectory Mining
Modeling Confidentiality in a Simplified Database Access
EasyEnsemble and Feature Selection for Imbalance Data Sets
Security Data Mining in an Ontology for Vulnerability Management
An Artificial Immune System for Temporal Anomaly Detection Using Cell Activation Thresholds and Clonal Size Regulation with Homeostasis
Assessing the Most Effective Depth for PPI Analysis
Discovery of Motif Pairs from Protein-Protein Interaction Networks
Using Mutual Information and Models of Evolution for Improved Pattern Petection
An Improved Algorithm for the Location of Heaviest Segments in Genomic Sequences
GO Semantic Similarity-Based False Positive Reduction of Protein-Protein Interactions
Genomic Comparison of Bacterial Species Based on Metabolic Characteristics
Multiclass Gene Selection on Microarray Data Using l1-norm Least Square Regression
Biological Features for Sequence-Based Prediction of Protein Stability Changes upon Amino Acid Substitutions
A TCM Platform for Maters' Experience Sharing
Design of Obstacle Modal Discrimination System Based on the Neural Network
Discovery of Biomarker Genes from Earthworm Microarray Data by Discriminant Analysis and Clustering
Feature Extraction and Classification of EEG Signals Using Wavelet Transform, SVM and Artificial Neural Networks for Brain Computer Interfaces
Two Dimensional Modeling and Fractal Characterization of Tumor Vascular Network
Prediction of Peptides Binding to MHC Class I Alleles by Partial Periodic Pattern Mining
Optimal Overlay of Ligands with Flexible Bonds Using Differential Evolution
Variation in the Predicted Biosynthetic Capabilities of Seven Vibrionaceae
Using Frequent Co-expression Network to Identify Gene Clusters for Breast Cancer Prognosis
Putative Cell Cycle Related Genes in Plasmodium Falciparum
The Application of Improved Immunogenetic Algorithm in Signal Timing
Probabilistic Model Based Hough Transform for Detection of Co-expression Patterns in Three-Color cDNA Microarray Data
Parameterized Complexity of Finding Elementary Modes in Metabolic Networks
GO Semantic Similarity Based Analysis for Huaman Protein Interactions
Similarity Learning via Optimizing the Data-Dependent Kernel
Molecular Cloning and Expression of Ppdc-ldhL Fusion Gene in Zymomonas Mobilis ATCC 10988
Clustering of SNPs by a Structural EM Algorithm
Mapping miRNA Regulation to Functional Gene Sets
Global Stochastic Contact Modeling of Infectious Diseases
Accelerating Genome-Wide Association Studies Using CUDA Compatible Graphics Processing Units
Practical and Efficient Algorithms for Degenerate and Weighted Sequences Derived from High Throughput Sequencing Technologies
Semi-supervised Learning of Text Classification on Bacterial Protein-Protein Interaction Documents
Global Network Features of Cancer Genes in the Human Interactome
Proteogenomic Mapping for Structural Annotation of Prokaryote Genomes
Designing the Self-Adaptive Fuzzy Neural Networks
Protein Remote Homology Detection Using Order Profiles
Redundant Gene Selection Based on Particle Swarm Optimization
YinYang Bipolar Relativity - A Unifying Theory of Nature, Agents and Life Science
Estimation of Kinetic Rates of MAP Kinase Activation from Experimental Data
International Joint Conferences on Bioinformatics, Systems Biology and Intelligent Computing, IJCBS 2009, Shanghai, China, 3-5 August 2009
Feature Mining and Intelligent Computing for MP3 Steganalysis
Study DNA Microarray Gene Expression Data of Alzheimer's Disease by Independent Component Analysis
Connecting Biological Themes Using a Single Human Network of Gene Associations
Semantic Role Labeling Based on Dependency Tree with Multi-features
A Computational Framework to Study Public Health Epidemiology
GeneIndex: An Open Source Parallel Program for Enumerating and Locating Words in a Genome
Network Approaches for Shotgun Proteomics Data Analysis
Layout and Post-Processing of Transcriptional Modules
Genomic Imaging: A Modern Environment for TCM Research
In-Silico Effects of Mg2+ Diffusion Rates on Stochastic Event Based Simulation of the PhoPQ System
A Classification System for Predicting RNA Hairpin Loops
Facial Complexion Acquisition and Recognition System for Clinical Diagnosis in Traditional Chinese Medicine
New Descriptors of Evolutionary Information for Accurate Prediction of DNA and RNA-Binding Residues in Protein Sequences
A Study on Prognosis of Brain Tumors Using Fuzzy Logic and Genetic Algorithm Based Techniques
Improving Prediction of the Contact Numbers of Residues in Proteins from Primary Sequences
Collision Description of Clustering
Notice of Violation of IEEE Publication PrinciplesSystematically Identifying Genes and Pathways in Multiple Cancer Types Using HGD & PSO-SVM
Genetic Algorithm Based Semi-feature Selection Method
Next Generation Sequence Analysis Using Genetic Algorithms on Multi-core Technology
An Improved Asymmetric Link Bandwidth Measurement Algorithm
Combination Forecasting Model for Mid-long Term Load Based on Least Squares Support Vector Machines and a Mended Particle Swarm Optimization Algorithm
A Numerical Study of Pulsatile Flow Through a Hollow Fiber Cartridge: Growth Factor-Receptor Binding and Dissociation Analysis
Investigating Gene and MicroRNA Expression in Glioblastoma
Dynamic Propagation Properties of Virus-Host Protein Interaction Network
TCM in Innate Immunity: A YinYang-N-Element Hypothesis of the Innate Immunological System
An Improved EM-Based Semi-supervised Learning Method
Structural Domain Based Multiple Instance Learning for Predicting Gram-Positive Bacterial Protein Subcellular Localization
A Comparative Study of Ensemble Learning Approaches in the Classification of Breast Cancer Metastasis
Gene Selection for Microarray Expression Data with Imbalanced Sample Distributions
PBC: A Software Framework Facilitating Pattern-Based Clustering for Microarray Data Analysis
Pathway and Network Analysis of Schizophrenia Candidate Genes under Meta-Analysis Linkage Peaks
Automaton Models of Computational Genetic Regulatory Networks with Combinatorial Gene-Protein Logical Interactions
Analyzing Response Feasibility for Bioemergencies
An Adaptive Suffix Tree Based Algorithm for Repeats Recognition in a DNA Sequence
Identifying New Methylated Arginines via Granular Decision Fusion with SVM Modeling
A Systems Biology Approach to Identify Affected Regulatory and Signaling Circuits in Protein Interaction Networks
The Core and Pan-Genome of the Vibrionaceae
3D-interologs: A Protein-Protein Interacting Evolution Database across Multiple Species
Proceedings of the Third European Workshop on System Security, EUROSEC 2010, Paris, France, April 13, 2010
A study on data de-pseudonymization in the smart grid
Privilege separation made easy: trusting small libraries not big processes
Mobile device fingerprinting considered harmful for risk-based authentication
Improving the accuracy of network intrusion detection systems under load using selective packet discarding
Deployment challenges in log-based PKI enhancements
CUDA, Woulda, Shoulda: Returning Exploits in a SASS-y World
Enhancing IoT Defenses Against Radio Jamming: Insights from a Thread Testbed Case Study
Fine-grained Program Partitioning for Security
Enhancing Graphical Authentication with EEG: A Study on Neural Responses and AI-Driven Security
Simulating the Network Environment of Sandboxes to Hide Virtual Machine Introspection Pauses
PANDAcap: a framework for streamlining collection of full-system traces
A methodology for the repeatable forensic analysis of encrypted drives
Proceedings of the 17th European Workshop on Systems Security, EuroSec 2024, Athens, Greece, 22 April 2024
Look Ma, no constants: practical constant blinding in GraalVM
Aim low, shoot high: evading aimbot detectors by mimicking user behavior
Tiered trust for useful embedded systems security
EuroSec@EUROSYS 2022: Proceedings of the 15th European Workshop on Systems Security, Rennes, France, April 5-8, 2022
EuroSec '21: Proceedings of the 14th European Workshop on Systems Security, Virtual Event / Edinburgh, Scotland, UK, April 26, 2021
Forward and Backward Private Searchable Encryption with SGX
On passive inference attacks against physical-layer key extraction?
Pythia: Identifying Dangerous Data-flows in Django-based Applications
TrustJS: Trusted Client-side Execution of JavaScript
Managing intrusion detection rule sets
Exploring reverse engineering symptoms in Android apps
CollabFuzz: A Framework for Collaborative Fuzzing
Pitfalls of open architecture: How friends can exploit your cryptocurrency wallet
Application-based TCP hijacking
On measuring the impact of DDoS botnets
Breaking the memory secrecy assumption
Combining static and dynamic analysis for the detection of malicious documents
SoftBound+CETS Revisited: More Than a Decade Later
Light-Weight Synthesis of Security Logs for Evaluation of Anomaly Detection and Security Related Experiments
Memory deduplication as a threat to the guest OS
hwdbg: Debugging Hardware Like Software
Differential privacy for collaborative security
Two-factor authentication: is the world ready?: quantifying 2FA adoption
Thwarting real-time dynamic unpacking
Preventing identity theft with electronic identity cards and the trusted platform module
Deep packet anonymization
Fast and Generic Metadata Management with Mid-Fat Pointers
Towards securely migrating webassembly enclaves
T-IBE-T: Identity-Based Encryption for Inter-Tile Communication
What's all that noise: analysis and detection of propaganda on Twitter
A practical approach for generic bootkit detection and prevention
Proceedings of the 18th European Workshop on Systems Security, EuroSec 2025, Rotterdam, The Netherlands, 30 March 2025 - 3 April 2025
A systematic analysis of the event-stream incident
Protecting Suspended Devices from Memory Attacks
Talking About My Generation: Targeted DOM-based XSS Exploit Generation using Dynamic Data Flow Analysis
dMVX: Secure and Efficient Multi-Variant Execution in a Distributed Setting
Proceedings of the 16th European Workshop on System Security, EUROSEC 2023, Rome, Italy, 8 May 2023
Collaborative filtering under a sybil attack: analysis of a privacy threat
Why allowing profile name reuse is a bad idea
Rage against the virtual machine: hindering dynamic analysis of Android malware
Mazu: A Zero Trust Architecture for Service Mesh Control Planes
Abusing locality in shared web hosting
LockDown: an operating system for achieving service continuity by quarantining principals
RevAnC: A Framework for Reverse Engineering Hardware Page Table Caches
Secure 3D graphics for virtual machines
Towards a framework for security analysis of multiple password schemes
Energy Attacks in the Battery-less Internet of Things: Directions for the Future
DeFIRED: decentralized authorization with receiver-revocable and refutable delegations
Case study: automated security testing on the trusted computing platform
A connection pattern-based approach to detect network traffic anomalies in critical infrastructures
Detecting Wikipedia vandalism via spatio-temporal analysis of revision metadata?
Proceedings of the 13th European Workshop on Systems Security, EuroSec@EuroSys 2020, Heraklion, Greece, April 27, 2020
QuanTM: a quantitative trust management system
Proceedings of the 9th European Workshop on System Security, EUROSEC 2016, London, UK, April 18-21, 2016
Automated data race bugs addition
Off-the-shelf Embedded Devices as Platforms for Security Research
OUTOPIA: private user discovery on the internet
The Case of the Poisoned Event Handler: Weaknesses in the Node.js Event-Driven Architecture
Data integrity protection for data spaces
RetTag: hardware-assisted return address integrity on RISC-V
Internet Kill Switches Demystified
Proceedings of the Fourth European Workshop on System Security, EUROSEC'11, April 10, 2011, Salzburg, Austria
Breaking BLE Beacons For Fun But Mostly Profit
nEther: in-guest detection of out-of-the-guest malware analyzers
Provable Co-Owned Data Deletion with Zero-Residuals and Verifiability in Multi-Cloud Environment
The robustness of a new CAPTCHA
The Price of Meltdown and Spectre: Energy Overhead of Mitigations at Operating System Level
Proceedings of the 12th European Workshop on Systems Security, EuroSec@EuroSys 2019, Dresden, Germany, March 25, 2019
Proceedings of the Seventh European Workshop on System Security, EuroSec 2014, April 13, 2014, Amsterdam, The Netherlands
Logging based IP Traceback in switched ethernets
Diagnosing and Neutralizing Address-Sensitive Behavior in Multi-Variant Execution Systems
Secure and efficient in-process monitor (and library) protection with Intel MPK
Resilient and Secure System on Chip with Rejuvenation in the Wake of Persistent Attacks
Improving Mac OS X security through gray box fuzzing technique
Is Privacy possible without Anonymity?: The case for microblogging services
Of Ahead Time: Evaluating Disassembly of Android Apps Compiled to Binary OATs Through the ART
Validating Memory Safety in Rust Binaries
TagVet: Vetting Malware Tags using Explainable Machine Learning
Microservices made attack-resilient using unsupervised service fissioning
An empirical study on the security of cross-domain policies in rich internet applications
WISDOM: security-aware fibres
Reproducing Spectre Attack with gem5: How To Do It Right?
rustc++: Facilitating Advanced Analysis of Rust Code
Proceedings of the Second European Workshop on System Security, EUROSEC 2009, Nuremburg, Germany, March 31, 2009
SGXPecial: Specializing SGX Interfaces against Code Reuse Attacks
CRESTS: Chronology-based Reconstruction for Side-Channel Trace Segmentation for XTS-AES on Complex Targets
AESSE: a cold-boot resistant implementation of AES
Can Neural Decompilation Assist Vulnerability Prediction on Binary Code?
Cherifying Linux: A Practical View on using CHERI
Security Analysis of Devolo HomePIug Devices
Proceedings of the First European Workshop on System Security, EUROSEC 2008, Glasgow, Scotland, UK, March 31, 2008
Snort Meets Transformers: Accelerating Transformer-Based Network Traffic Classification for Real-Time Performance
TOFU for OpenPGP
Proceedings of the 10th European Workshop on Systems Security, EUROSEC 2017, Belgrade, Serbia, April 23, 2017
Market Manipulation as a Security Problem: Attacks and Defenses
Fox in the trap: thwarting masqueraders via automated decoy document deployment
Where the sidewalk ends: privacy of opportunistic backhaul
Secure storage using a sealing proxy
The best of both worlds: a framework for the synergistic operation of host and cloud anomaly-based IDS for smartphones
A Comparative Analysis of Linux Mandatory Access Control Policy Enforcement Mechanisms
Looking Back on Three Years of Flash-based Malware
Configuration-Driven Software Debloating
Site Attestation: Browser-based Remote Attestation
Enviral: Fuzzing the Environment for Evasive Malware Analysis
DCSP: performant certificate revocation a DNS-based approach
Proceedings of the Eighth European Workshop on System Security, EuroSec 2015, Bordeaux, France, April 21, 2015
Browser-in-the-Middle - Evaluation of a modern approach to phishing
X-AFL: a kernel fuzzer combining passive and active fuzzing
Examining the Suitability of Stream Ciphers for Modbus-TCP Encryption on Resource Constrained Devices
Practical protection for personal storage in the cloud
Static Analysis of ROP Code
On the effectiveness of same-domain memory deduplication
A transparent defense against USB eavesdropping attacks
METAlloc: efficient and comprehensive metadata management for software security hardening
SGXoMeter: Open and Modular Benchmarking for Intel SGX
Attack surface reduction for commodity OS kernels: trimmed garden plants may attract less bugs
Scheduling to the Rescue; Improving ML-Based Intrusion Detection for IoT
SC@CCO: a Graphic-Based Authentication System
A text-mining approach to explain unwanted behaviours
Cache Attacks on Intel SGX
Policy Implementation in the Era of Responsible Artificial Intelligence (AI) use in K-12 Education
Applying CAPE to Assess Equitable CS Education
The Effects of Native Language on Block-Based Programming Introduction: A Work in Progress with Hispanic Population
Through the Looking-Glass: Barriers, Motivations, and Desires of Non-Traditional Students Learning Programming in an Online CS1 Course
Learning Computing through Transformative Works: A Case Study of Game Modding
A Framework for Designing Contextualized Computing Curriculum
Honoring Black Women's Work: Creating a Parent and Caring Adult Community to Support Youth STEAM Engagement
Retaining Vulnerable Students in CS Across School Transitions: The role of Cross-Sector Collaborations
Strengthening Computational Thinking within Upper Elementary Classrooms: A Strategy for Broadening Participation in Computer Science
High School Girls' Experiences in a Project-Based Learning Computer Science Course
Belonging, Engagement, and Wellbeing: Latine Youth Experiences in Informal, Resource Pedagogy Based Computer Science Education Programs
"Those don't work for us": An Assets-Based Approach to Incorporating Emerging Technologies in Viable Hawaiian Teacher Support Tools for Culturally Relevant CS Education
Disidentifying with Broadening Participation
Teaching Computational Thinking to Multilingual Students through Inquiry-based Learning
Liberatory Computing Education for African American Students
Supporting Mutually Beneficial Near-Peer Mentoring Relationships Within Computing Education Programs
Proceedings of the RESPECT Annual Conference, RESPECT 2024, Atlanta, GA, USA, May 16-17, 2024
A Shift To Praxis- Towards a More Inclusive Research Agenda about Belonging in Computer Science
Your Voice is Power: Integrating Computing, Music, Entrepreneurship, and Social Justice Learning
Shall We Play a Game? : Building Capture the Flag Games for Non-Traditional Players
Can a Student Organization Decrease Introductory CS Course Withdrawals among Students of Color?
Conference on Research in Equitable and Sustained Participation in Engineering, Computing, and Technology, RESPECT 2022, Baltimore, MD, USA, May 23-24, 2022
Scaling Professional Learning for Equitable and Inclusive Computer Science Teaching
2021 Conference on Research in Equitable and Sustained Participation in Engineering, Computing, and Technology, RESPECT 2021, Philadelphia, PA, USA, May 23-27, 2021
NYC CS4All: An Early Look at Teacher Implementation in One Districtwide Initiative
What Predicts Community in Virtual Computing Classrooms? A Machine Learning-Based Approach
Unblock Me: An Educational Model to Increase the Computer Science Workforce
Does the Advanced Placement Computer Science (CS) Principles course drive equitable and inclusive CS pedagogy, curriculum, and policy as a means to broaden participation in computing?
Ready to Work: Evaluating the Role of Community Cultural Wealth during the Hiring Process in Computing
A Lightweight Intervention to Decrease Gender Bias in Student Evaluations of Teaching
The Role of 'Intersectional Capital' in Undergraduate Women's Engagement in Research-Focused Computing Workshops
Ramping Up To CS For All: Broadening Participation Through Equity-Focused Leadership
How Do We Do CS on Top of Everything Else? A Coaching Cycle Approach in Elementary School