yusuke1997/dblp-id-title huggingface dataset:
Relational Learning for Spatial Relation Extraction from Natural Language
Learning from Interpretation Transition using Feed-Forward Neural Networks
Analyzing and Learning ECG Waveforms
From Shell Logs to Shell Scripts
Online Bayesian Inference for the Parameters of PRISM Programs
Learning of Primitive Formal Systems Defining Labelled Ordered Tree Languages via Queries
Processing Markov Logic Networks with GPUs: Accelerating Network Grounding
Discovering New Knowledge from Graph Data Using Inductive Logic Programming
Repeat Learning Using Predicate Invention
Scaling Up ILP: Experiences with Extracting Relations from Biomedical Text
Information-Gain Computation
Inductive Logic Programming in Answer Set Programming
Towards Learning in CARIN-ALN
Approximate ILP Rules by Backpropagation Neural Network: A Result on Thai Character Recognition
Realizing Progol by Forward Reasoning
An Empirical Evaluation of Bagging in Inductive Logic Programming
Transformation-Based Learning Using Multirelational Aggregation
Learning User Behaviours in Real Mobile Domains
Bounded Least General Generalization
Stochastic Refinement
A Proposal for Inductive Learning Agent Using First-Order Logic
Injecting Life with Computers
Theory Completion Using Inverse Entailment
A Comparison of ILP and Propositional Systems on Propositional Traffic Data
Learning Dishonesty
Expressive Power of Safe First-Order Logical Decision Trees
Combining Statistical and Relational Methods for Learning in Hypertext Domains
Information Overload and FP7 Funding Opportunities in 2009-10
Combining Divide-and-Conquer and Separate-and-Conquer for Efficient and Effective Rule Induction
A Note on Two Simple Transformations for Improving the Efficiency of an ILP System
Synthetic Datasets and Evaluation Tools for Inductive Neural Reasoning
Inductive Learning Using Constraint-Driven Bias
Empirical Comparison of "Hard" and "Soft" Label Propagation for Relational Classification
Structural Statistical Software Testing with Active Learning in a Graph
IBC: A First-Order Bayesian Classifier
Navigable Atom-Rule Interactions in PSL Models Enhanced by Rule Verbalizations, with an Application to Etymological Inference
Learning Expressive Models of Gene Regulation
Composition of Biasses of Inductive Logic Programming
A Model to Study Phase Transition and Plateaus in Relational Learning
Probabilistic Constraint Logic Theories
Inductive Logic Programming - 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
Polynomial Time Pattern Matching Algorithm for Ordered Graph Patterns
Learning and Revising Dynamic Temporal Theories in the Full Discrete Event Calculus
Analogical Prediction
A Problog Model for Analyzing Gene Regulatory Networks
Relational Networks of Conditional Preferences - (Extended Abstract)
Towards an Automated Pattern Selection Procedure in Software Models
Model of Double-Strand Break of DNA in Logic-Based Hypothesis Finding
Pruning Search Space for Weighted First Order Horn Clause Satisfiability
Inductive Learning from State Transitions over Continuous Domains
Efficient Evaluation of Candidate Hypotheses in AL-log
SecureMR: secure mapreduce computation using homomorphic encryption and program partitioning
Text analytics for security: tutorial
An expert-based bibliometric for a science of security: poster
Cyber defense matrix: a new model for optimal composition of cybersecurity controls to construct resilient risk mitigation
Effectiveness of a phishing warning in field settings
Personalized password guessing: a new security threat
Preemptive intrusion detection: theoretical framework and real-world measurements
Measuring the security impacts of password policies using cognitive behavioral agent-based modeling
Systematic analysis of qualitative data in security
A copland attestation manager
Toward just-in-time patching for containerized applications
Toward extraction of security requirements from text: poster
Characterizing the power of moving target defense via cyber epidemic dynamics
Log your CRUD: design principles for software logging mechanisms
Human factors in webserver log file analysis: a controlled experiment on investigating malicious activity
Channel correlation modeling for link signature security assessment
All signals go: investigating how individual differences affect performance on a medical diagnosis task designed to parallel a signals intelligence analyst task
Detecting insider threats in software systems using graph models of behavioral paths
Challenges and approaches of performing canonical action research in software security: research paper
Game theory for cyber deception: a tutorial
Approaches to ethical hacking: expanding conceptual frameworks for research
Proving abstractions of dynamical systems through numerical simulations
Understanding sanction under variable observability in a secure, collaborative environment
Measures and metrics for the enforcement of critical security controls: a case study of boundary defense
An analysis of Fedora security profile
Towards quantification of firewall policy complexity
Using object capabilities and effects to build an authority-safe module system: poster
Integrated data space randomization and control reconfiguration for securing cyber-physical systems
Operation-level traffic analyzer framework for smart grid
Diversity-based detection of security anomalies
PREDICT: an important resource for the science of security
Open vs. closed systems for accountability
Game theory for adaptive defensive cyber deception
The more the merrier: adding hidden measurements to secure industrial control systems
An infrastructure for faithful execution of remote attestation protocols
Challenges with applying vulnerability prediction models
An empirical study of global malware encounters
An uncertain graph-based approach for cyber-security risk assessment
Mismorphism: a semiotic model of computer security circumvention (poster abstract)
Secure-by-construction composable componentry for network processing
HACSAW: a trusted framework for cyber situational awareness
Detecting monitor compromise using evidential reasoning: poster
Limiting recertification in highly configurable systems: analyzing interactions and isolation among configuration options
Optimisation of data collection strategies for model-based evaluation and decision-making: poster
Active cyber defense dynamics exhibiting rich phenomena
Gamifying software security education and training via secure coding duels in code hunt
Decentralized backup and recovery of TOTP secrets
Building a security practices evaluation framework
Cybersecurity dynamics
Expressing and reasoning about conflicting norms in cybersecurity: poster
Access control policy evolution: an empirical study
Security practices in DevOps
Learning APT chains from cyber threat intelligence
Investigating tensorflow for airport facial identification: poster
Building a virtually air-gapped secure environment in AWS: with principles of devops security program and secure software delivery
Taming web views in the detection of Android privacy leaks
Improving architectures for automating network security using specification-based protocols
Securing Hadoop in cloud
Robustness of deep autoencoder in intrusion detection under adversarial contamination
Detecting abnormal user behavior through pattern-mining input device analytics
A synopsis of static analysis alerts on open source software
Use of Phishing Training to Improve Security Warning Compliance: Evidence from a Field Experiment
Decentralization and security in dynamic traffic light control
Towards an understanding of resilience with complex networks
Time series anomaly detection in medical break-the-glass
A new metric to compare anomaly detection algorithms in cyber-physical systems
WOLF: automated machine learning workflow management framework for malware detection and other applications
Safety-critical cyber-physical attacks: analysis, detection, and mitigation
Toward a reliability measurement framework automated using deep learning
How to swap instructions midstream: an embedding algorithm for program steganography
Phishing in international waters: exploring cross-national differences in phishing conceptualizations between Chinese, Indian and American samples
Evidence-based trust reasoning
Abstract runtime structure for reasoning about security: poster
Quantitative security metrics with human in the loop
Designing a Raspberry Pi sensor network for remote observation of wildlife
Efficient solving of string constraints for security analysis
BEEER: distributed record and replay for medical devices in hospital operating rooms
InViz: instant visualization of security attacks
A raspberry Pi sensor network for wildlife conservation
Quantifying the security effectiveness of network diversity: poster
A bird's eye view of knowledge needs related to penetration testing
In-nimbo sandboxing
A new approach to modeling and analyzing security of networked systems
A framework for generation, replay, and analysis of real-world attack variants
Exploring key-level analytics for computational modeling of typing behavior
Controller synthesis for linear dynamical systems with adversaries
A model-based approach to anomaly detection in software architectures
Application of capability-based cyber risk assessment methodology to a space system
Architecture-based self-protection: composing and reasoning about denial-of-service mitigations
TRACTION: an infrastructure for trusted alert sharing and collaborative mitigation
Application of the armament cyber assessment framework: a security assessment methodology for military systems
Integrating historical and real-time anomaly detection to create a more resilient smart grid architecture: poster
@PAD: adversarial training of power systems against denial-of-service attacks
Integrity assurance in resource-bounded systems through stochastic message authentication
Design for an educational cyber range
Building the security behavior observatory: an infrastructure for long-term monitoring of client machines
Exploring hackers assets: topics of interest as indicators of compromise
Toward a normative approach for forensicability
A comparative analysis of manual methods for analyzing security requirements in regulatory documents: POSTER
Visualizing the variational callgraph of the Linux kernel: an approach for reasoning about dependencies [poster]
Proceedings of the 7th Annual Symposium on Hot Topics in the Science of Security, HotSoS 2020, Lawrence, Kansas, USA, September 22-24, 2020
Modeling and sensing risky user behavior on mobile devices
Proceedings of the Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, USA, April 19-21, 2016
Quantitative underpinnings of secure, graceful degradation: poster
Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, HoTSoS 2018, Raleigh, North Carolina, USA, April 10-11, 2018
Exploring the raspberry Pi for data summarization in wireless sensor networks: poster
Packer classifier based on PE header information
Establishing a baseline for measuring advancement in the science of security: an analysis of the 2015 IEEE security & privacy proceedings
Accelerating block propagation in PoW blockchain networks with pipelining and chunking
Modules in wyvern: advanced control over security and privacy
A preliminary taxonomy of techniques used in software fuzzing
What proportion of vulnerabilities can be attributed to ordinary coding errors?: poster
Do configuration management tools make systems more secure?: an empirical research plan
An Approach to Incorporating Uncertainty in Network Security Analysis
Neutralizing manipulation of critical data by enforcing data-instruction dependency
Characterizing cybersecurity jobs: applying the cyber aptitude and talent assessment framework
Global Variation in Attack Encounters and Hosting
Is there value in reasoning about security at the architectural level: a comparative evaluation
Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, HotSoS 2019, Nashville, TN, USA, April 1-3, 2019
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014
Modelling user availability in workflow resiliency analysis
A ransomware research framework: poster
Exploring RNNs for analyzing Zeek HTTP data
An architecture style for Android security analysis: poster
Analyzing an adaptive reputation metric for anonymity systems
Integrated instruction set randomization and control reconfiguration for securing cyber-physical systems
Resilient multi-robot target pursuit
Differences in trust between human and automated decision aids
A curated dataset of security defects in scientific software projects
Exploiting DRAM bank mapping and HugePages for effective denial-of-service attacks on shared cache in multicore
Characterizing complexity of highly-configurable systems with variational call graphs: analyzing configuration options interactions complexity in function calls
Simulation testbed for railway infrastructure security and resilience evaluation
Cyber threat modeling and validation: port scanning and detection
Insecure behaviors on mobile devices under stress
Software and attack centric integrated threat modeling for quantitative risk assessment
Indirect cyber attacks by perturbation of environment control: a data driven attack model: poster
Type-specific languages to fight injection attacks
Intrusion detection in enterprise systems by combining and clustering diverse monitor data
Towards a science of trust
Learning a Privacy Incidents Database
Modeling, analyzing, and consistency checking privacy requirements using eddy
Surveying Security Practice Adherence in Software Development
Systematization of metrics in intrusion detection systems
A formal security analysis of ZigBee (1.0 and 3.0)
Security is about control: insights from cybernetics
ThreatZoom: neural network for automated vulnerability mitigation
Understanding privacy concerns of whatsapp users in India: poster
Examining reliability of wireless multihop network routing with linear systems
Exploring expert and novice mental models of phishing
An analysis method for medical device security
Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster]
Less is more?: investigating the role of examples in security studies using analogical transfer
On the Tradeoff between Privacy and Utility in Collaborative Intrusion Detection Systems-A Game Theoretical Approach
A formal verification of mutation-based moving target defense
Proceedings of the Hot Topics in Science of Security: Symposium and Bootcamp, HoTSoS 2017, Hanover, MD, USA, April 4-5, 2017
Characterizing Scientific Reporting in Security Literature: An analysis of ACM CCS and IEEE S&P Papers
Load forecasting with adversarial attacks in power systems using DeepForge
A rewriting-based forwards semantics for Maude-NPA
The persuasive phish: examining the social psychological principles hidden in phishing emails
Emergent behavior in cybersecurity
An integrated computer-aided cognitive task analysis method for tracing cyber-attack analysis processes
Ghostbusting: mitigating spectre with intraprocess memory isolation
Tokens of interaction: psycho-physiological signals, a potential source of evidence of digital incidents
Cryptography in a post-quantum world: poster
Trustworthy context-dependent services
Formal verification of the W3C web authentication protocol
Situated information flow theory
Towards an unified security testbed and security analytics framework
Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, HotSoS 2015, Urbana, IL, USA, April 21-22, 2015
Preemptive intrusion detection
RUCKUS: a cybersecurity engine for performing autonomous cyber-physical system vulnerability discovery at scale
Automated influence and the challenge of cognitive security
Optimal thresholds for intrusion detection systems
Browser fingerprinting using combinatorial sequence testing
Can we use software bug reports to identify vulnerability discovery strategies?
An seL4-based architecture for layered attestation
Improving mobile application security via bridging user expectations and application behaviors
Reinventing the privilege drop: how principled preservation of programmer intent would prevent security bugs
Risk-based attack surface approximation: poster
Enabling forensics by proposing heuristics to identify mandatory log events
Simulation based evaluation of security and resilience in railway infrastructure
Design and simulation platform for evaluation of grid distribution system and transactive energy
Optimal Security Investments in a Prevention and Detection Game
Leveraging Unique CPS Properties to Design Better Privacy-Enhancing Algorithms
Hourglass-shaped architecture for model-based development of safe and secure cyber-physical systems: poster
How bad is it, really? an analysis of severity scores for vulnerabilities: poster
Understanding challenges to adoption of the Microsoft elevation of privilege game
Quantifying the security effectiveness of firewalls and DMZs
CLIPS/ActiveSDN for automated and safe cybersecurity course-of-actions orchestration
Ethics, values, and personal agents: poster
Combinatorial security testing course
Limitations on observability of effects in cyber-physical systems
Towards automatic problem detection in web navigation based on client-side interaction data
Analyzing Learnability of Common Mobile Gestures used by Down Syndrome Users
Requirement Gathering Templates for Groupware Applications
SEGA-ARM: A Metamodel for the Design of Serious Games to Support Auditory Rehabilitation
Proposing interaction patterns for designing videogames supported in Smartphones
Activity taxonomy [ATx]: roadmap for the development of interactive systems
Do Low Cost Virtual Reality Devices Support Learning Acquisition?: A comparative study of two different VR devices
Definition and Implementation of a Gamification Model for Virtual Teaching Environments
A framework for the design of awareness support in collaborative situations of implicit interaction
Simple interfaces for interactive and generative art installations
Interaction in video games for people with impaired visual function: improving accessibility
Interactive Visualization of Association Rules Model Using SOM
User interaction analysis in a CSCL environment supported by social media technologies
Design and usability evaluation of Virtual Environments created on the 3DGEN platform
The Female Effect: The Case of Gender Parity on User Studies
Testing Open-Source Implementations for Detection Response Tasks
Strategies to gender mainstreaming in Engineering studies: a workshop with teachers
SwiftFace: Real-Time Face Detection: SwitFace
Integrating user stories to inspire the co-design of digital futures for cultural heritage
Interacting with multi-touch handheld devices in augmented reality spaces: effects of marker and screen size
The Thin Red Line Between Usability and User Experiences
An Approach to Make Software Testing for Users with Down Syndrome a little more Pleasant
An investigation into the comprehension of map information presented in audio
User Experience Study using a System for Generating MultiModal Learning Analytics Dashboards
An intelligent etutor-student adaptive interaction framework
Gamification of cognitive training: a crowdsourcing-inspired approach for older adults
Creation of accessible EPUB documents by non-technical users: a long way to go
In dialogue with users: co-designing AlicIA, an application for the adaptation of short stories in Spanish into easier versions
Usability guidelines related to ease of learning and ease of use in the design of interactive digital television applications, considering user profiles
A framework for the development of organizational collaborative systems
Accessibility in Spanish Universities, evaluation through their policies: Communications about accessibility during COVID-19
Product Design and Development Methodologies vs. Multimedia Systems Development Methodologies: an approximation from the foundations of their disciplines
A Machine Learning Based Sign Language Interpretation System for Communication with Deaf-mute People
A Vibrotactile Interface to Motivate Movement for Children with Severe to Profound Disabilities
Expert-based Assessment of an Augmentative and Alternative Communication Tool
LevPet: A Magnetic Levitating Spherical Pet with Affective Reactions
A Case Study on Cross-Platform Development Frameworks for Mobile Applications and UX
Gestural Interaction with Mobile Devices: An analysis based on the user's posture
A computational model for automatic generation of domain-specific dialogues using machine learning
The social dimension of Self-Regulated Learning: Social networks as a means for teaching
Moving towards Accommodating Women with ICT: Paying Attention to Self-inclusion Mechanisms
iProg: development of immersive systems for the learning of programming
WebA Mobile (Web Analysis Mobile): Assistance Tool for the Design and Evaluation of Websites for Mobile Devices
Using Citizen Science Gamification in Agriculture Collaborative Knowledge Production
Social sustainability in interactive learning systems: a systematic review of factors and tensions in vulnerable communities
Bridging the communication gap: a user task vocabulary for multidisciplinary web development team
Evaluating OER Repositories
KAU e-health mobile system
Proceedings of the XXIV International Conference on Human Computer Interaction, Interacción 2024, A Coruña, Spain, June 19-21, 2024
Scientific Production on Web Usability
Comparison of instruments for assessing perceived empathy in Human-Agent Interactions
Analysis of task execution in a data visualisation interface and its influence on individual performance
Age group differences in performance using diverse input modalities: insertion task evaluation
Interacción 2022: XXII International Conference on Human Computer Interaction, Teruel, Spain, September 7 - 9, 2022
Emotional Navigation in nonlinear narratives: a case study on the influence of color
Designing ICT for Agriculture (ICT4A) Innovations for Smallholder Farmers: The Case of Uganda
The SARA Project: An Interactive Sandbox for Research on Autism
Interacción '21: XXI International Conference on Human Computer Interaction, Málaga, Spain, September 22-24, 2021
Measuring the usability of groupware applications with a model-driven method for the user interaction analysis
Moving through the past: design and evaluation of a full-body interaction learning environment for a public space
Facilitation Process Model including elements of the HAMSTERS notation
The inclusion of methodologies user experience in the consulting industry: an approach to the experience of Capgemini
How to classify to experts in usability evaluation
Intelligent Playful Environments for Animals
SUSApp: A Mobile App for Measuring and Comparing Questionnaire-Based Usability Assessments
Proposal of a set of heuristics for evaluation of wearable interfaces usability
A methodology to develop usability / user experience heuristics
Game to develop rhythm and coordination in children with hearing impairments
Knowing Users with Mild Intellectual Impairments in UX Design Processes
Strategies to help Computer Science students develop sensitivity towards the Gender Gap
Participatory design method: Co-Creating user interfaces for an educational interactive system
UP4VED: Development Method based on the Unified Process and Best Practices for Building Virtual Environments
A VRPN server for haptic devices using OpenHaptics 3.0
Metadata for Educational Games in Online Repositories
Customer eXperience: Is This the Ultimate eXperience?
The 4Cs for Young Children's Technology: Create, Connect, Communicate, and Control
Can SME Managers Learn from Games?
Falls and Fainting Detection at Home through Movement-Based Interaction
Beyond the GUI in agriculture: a bibliographic review, challenges and opportunities
Study of the Usability of the Private Social Network SocialNet using Heuristic Evaluation
Automatic evaluation of learning objects based on cross-entropy of eye fixations minimization
Analyzing and Evaluating Collaborative Processes using Case Studies in the Software Development Context