yusuke1997/dblp-id-title huggingface dataset:
Tailoring OWL for Data Intensive Ontologies
Implementing OWL 2 RL and OWL 2 QL Rule-Sets for OWLIM
SPARQL-DL: SPARQL Query for OWL-DL
Opening, Closing Worlds - On Integrity Constraints
Using OWL Ontologies for Selective Waste Sorting and Recycling
CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL
Describing Chemical Functional Groups in OWL-DL for the Classification of Chemical Compounds
Towards Query Formulation, Query-Driven Ontology Extensions in OBDA Systems
Literate, Active OWL Ontologies
Judging Amy: Automated Legal Assessment using OWL 2
Lege Feliciter: Using Structured English to represent a Topographic Hydrology Ontology
A Comparison of three Controlled Natural Languages for OWL 1.1
Completing Description Logic Knowledge Bases using Formal Concept Analysis
What OWL Has Done for Geography and Why We Don't Need it to Map Read
Calculations in OWL
The SWRLAPI: A Development Environment for Working with SWRL Rules
Reasoning with OWL-DL in Inductive Logic Programming
Use of OWL in the Legal Domain (Statement of Interest)
Semanticizing Syntactic Patterns in NLP Processing Using SPARQL-DL Queries
ONTOSEARCH2: Searching Ontologies Semantically
Owlgres: A Scalable OWL Reasoner
OWL SAIQL - An OWL DL Query Language for Ontology Extraction
Leverage of OWL-DL axioms in a Contact Centre for Technical Product Support
An Extension of DIG 2.0 for Handling Bulk Data
Extracting Modules from Ontologies: A Logic-based Approach
Improving OWL RL Reasoning in N3 by Using Specialized Rules
Snap-SPARQL: A Java Framework for Working with SPARQL and OWL
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Athens, Georgia, USA, November 10-11, 2006
Annotated Literals for Standard Units of Measurement
OWL: PAX of Mind or the AX that Caused the Split?
Ontologies in OWL for Rapid Enterprise Integration
Mining Ontologies for Analogy Questions: A Similarity-based Approach
A T-Box Generator for Testing Scalability of OWL Mereotopological Patterns
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, October 26-27, 2008
Pellint - A Performance Lint Tool for Pellet
An Ontology for Supporting the Evolution of Virtual Reality Scenarios
A Case for Abductive Reasoning over Ontologies
A Simplified Agile Methodology for Ontology Development
OntoKBEval: DL-based Evaluation of OWL Ontologies
Benchmarking DL Reasoners Using Realistic Ontologies
VIVO Development Roadmap: Enhancing an Ontology-Based University Research Portal with OWL and Rules
Use of OWL 2 to Facilitate a Biomedical Knowledge Base Extracted from the GENIA Corpus
Mother, May I? OWL-based Policy Management at NASA
Problems with OWL Syntax
Rule-Based Reasoning With A Multi-Scale Neuroanatomical Ontology
Suite of Tools for Pattern-Based Transformation of OWL Ontologies
GRID-DL - Semantic GRID Information Service
The OBO to OWL Mapping, GO to OWL 1.1!
Role Based Access Control and OWL
On Querying Ontologies with Contextual Logic Programming
Exporting Knowledge Bases into OWL
How to Keep a Reference Ontology Relevant to the Industry: A Case Study from the Smart Home
Ontology-Based Management of the Telehealth Smart Home, Dedicated to Elderly in Loss of Cognitive Autonomy
M 2 : A Language for Mapping Spreadsheets to OWL
Owl2vcs: Tools for Distributed Ontology Development
OWLGrEd: a UML Style Graphical Notation and Editor for OWL 2
Building Applications and Tools for OWL - Experiences and Suggestions
OBOWLMorph: Starting Ontology Development from PURO Background Models
Towards an Open Framework for Ontology Based Data Access with Protégé and DIG 1.1
Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, Washington, DC, USA, 1-2 April 2008
Understanding Entailments in OWL
Can OWL Model Football Leagues?
Transforming the Axiomisation of Ontologies: The Ontology Pre-Processor Language
Graphical Schema Editing for Stardog OWL/RDF Databases using OWLGrEd/S
Querying Multiple Sources with OWL Ontologies: an Exploratory Study in an Automotive Company
Characterizing and Detecting Integrity Issues in OWL Instance Data
Barriers to the use of OWL in Knowledge Driven Applications
Open vs Closed world, Rules vs Queries: Use Cases from Industry
Ontology Engineering - 12th International Experiences and Directions Workshop on OWL, OWLED 2015, co-located with ISWC 2015, Bethlehem, PA, USA, October 9-10, 2015, Revised Selected Papers
The Semantic Web takes Wing: Programming Ontologies with Tawny-OWL
Web-Protege: A Lightweight OWL Ontology Editor for the Web
An Application Ontology to Help Users of a Geo-decision Software Understanding Their Data
What Have Ontologies Ever Done For Us - Potential Applications at a National Mapping Agency
Logical Reconstruction of Normative RDF
Modeling Ontologies using OWL, Description Graphs, and Rules
Safe Rules for OWL 1.1 (Statement of Interest)
Development of a Complex Ontology of Optics
Classifying Chemicals Using Description Graphs and Logic Programming
Defining a Benchmark Suite for Evaluating the Import of OWLLite Ontologies
A Business Case of the Use of Ontologies for Knowledge Capitalization and Exploitation
Use of OWL within the Gene Ontology
Extracting Usage Patterns of Ontologies on the Web: a Case Study on GoodRelations Vocabulary in RDFa
Requirements for the Treatment of Multilinguality in Ontologies within FAO
Terp: Syntax for OWL-friendly SPARQL Queries
Design Principles and Realization Techniques for User Friendly, Interactive, and Scalable Ontology Browsing and Inspection Tools
Constructions for Modeling Product Structure
Ontop at Work
Lifting EMMeT to OWL Getting the Most from SKOS
Metamodeling-Based Coherence Checking of OWL Vocabulary Background Models
Experience Using OWL DL for the Exchange of Biological Pathway Information
The Irresistible SRIQ
InfixOWL: An Idiomatic Interface for OWL
Use Case: Ontology to Support System Verification Process
The Justificatory Structure of OWL Ontologies
Use Cases and Suitability Metrics for Unit Ontologies
Belief Base Revision for Expressive Description Logics
Common Modelling Slips in SKOS Vocabularies
Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012
Representing Social Reality in OWL 2
A Family History Knowledge Base Using OWL 2
Versions and Applicability of Concept Definitions in Legal Ontologies
Learning Formal Definitions for Biomedical Concepts
Proceedings of the Second Workshop on Technology Enhanced Learning Environments for Blended Education - The Italian E-Learning Conference 2021, Foggia, Italy, October 5-6, 2021
Gifted students: from identification to the use of educational technologies
Teaching and learning Russian using WhatsApp Messenger in the Croatian-speaking language environment
Improving undergraduate students' performance through a Situation Aware e-learning system
Feeling Dice: a game-based methodology to develop emotional competence in preschooler
Enhancing students' cultural competences through embodied knowing
Learning design of blended learning at university
The impact of digital technologies in Italian university teaching. The ANVUR surveys: a research in progress
Hybrid teaching in the experience of the University of Foggia: analysis, implementation and perspectives
Proceedings of Third Workshop of Technology Enhanced Learning Environments for Blended Education - The Italian e-Learning Conference 2022, Vieste, Italy, June 10-11, 2022
Proceedings of the First Workshop on Technology Enhanced Learning Environments for Blended Education - The Italian e-Learning Conference, teleXbe 2021, Foggia, Italy, January 21-22, 2021
Rotation stations for a blended approach
Online quantitative research methods: A scoping review on education, psychological factors in e-learning, and working from home
Advanced teachers training in the remote mode
Improve ICT teaching in Italian teachers' education. A proposal
UDL and technology: teacher training for inclusive curriculum design
Badging system and "competence-based" models
Develop OERs for technology enhanced learning
Asperger's and virtual reality
Voicing the unvoiced: potential of offline MOOCs e-content to cater for non-digitally-fluent students
Framing automatic grading techniques for open-ended questionnaires responses. A short survey
A latent class approach for advising in learning statistics: implementation in the ALEAS system
What cultural institutions can learn from social networks? The University of Foggia experience in social media strategies
Design of a MOOC for teaching and research: the innovative experience of the MERGO project
Blended learning and emergency distance learning. How to rethink learning environments at school
Teaching environment mediated by robot-assisted autism therapy (RAAT) to improve soft skills
Neurofeedback video games in the rehabilitative treatment of hyperactivity and attention deficit disorder for attention enhancement and hyperactivity reduction
teleXbe 2021 - The role of technologies in education and new trajectories of blended learning
Soft Skills Enhancement through MOOCs courses: a Scoping Review
SlAide2Voice: a new educational tool for students with visual disabilities
Challenge of the Podcast: An investigation into the e-didactic potential of adult education
Digital technologies and learning: from medical science to Action Video Games for enhancing attention and reading in Dyslexia
Digital creative learning: a proposal for distance learning
Using of augmented reality technology in the process of training future teachers during the study of mathematical disciplines
Evaluation Of Traditional and Online Learning in Artificial Intelligence
Teachers as key players: from professional development to the design and use of digital resources and backward
The development of students' academic skills from the aspect of a pandemic Covid-19
Teachers' emotions, technostress, and burnout in distance learning during the COVID-19 pandemic
Digital Creativity through Design Thinking in teacher training
From the "pedagogy of innovation" to 3D technologies: Mechanical models for technical-scientific training
Towards a hybrid ecosystem of blended learning within university contexts
User interface design for e-learning platform and institutional portal of University of Foggia
Online teaching methodology in the speciality of sanitary area of the master's degree in teacher training at UNIR, the University on the Internet
The Importance of Mentalization Skills for Job Success
E-Methodology toolbox: didactic methods for tutorial e-teaching on the example of students of a higher education institution in Austria
The classroom as a research community: an innovative methodological approach for e-learning
Towards the Usage of Learning Assessment Goals in Consideration of Qualifications-Based Learning Using Didactical Structural Templates
Learning analytics and governance of the digital learning process
Signs, mechanisms and consequences of Videogame addictions: Educational strategies and Rehabilitation
Technology: tool or learning object? Travels through two school-work alternation courses
A rapid review on Tangible User Interfaces-augmented storytelling in inclusive education
Deep learning for knowledge tracing in learning analytics: an overview
Effectiveness of a WebGIS-based project on high school students' spatial thinking skills
Artificial Intelligence in the secondary education: the paradigm of Edu4AI
Web accessibility and usability: limits and perspectives
Two (complementary) ways to develop professional digital competences among pre-service teachers
teleXbe-2021 - The balance distance and face-to-face learning: a field for the discussion of scientific evidences
Assessing the learning behavioral intention of commuters in mobility practices
Emotional virtual agents: how do young people decode synthetic facial expressions?
Face-to-face and online learning: the role of technology in students' metacognition
Using semantics to interpret learning needs by organizational climate surveys
ARtis: how AR supports the guided experience in museums for people with autism
Develop educational technology tailored for people with autism: a children's observation grid to build better tools
Students' perception of the impact of teaching approaches on acquiring soft skills: an example of research in the context of Italian and German language teaching at the university level
Blended and hybrid learning: what kind of integration is possible?
Digital and analogue memory: a theoretical and historical framework for e-learning
Diligo 2.0: a digital assessment tool for geometric and emotional skills in preschoolers
Blended learning in online teaching. Design strategies and future developments
Online teaching methodology for adaptation to the new COVID-19 pandemic situation in the master's degree in teacher training at the Francisco de Vitoria University
Design-based research and planning of training courses: the application model of Future Education Modena
The use of group work and exercises in teaching for the training of support teachers
Ontology of backgrounds in distance learning. Correlations between virtual backgrounds and educational relationship
Cultural capital during pandemic emergency: Preliminary data on how pandemic changed adults' attitude towards reading for pleasure
Multisensorial tangible user interface for immersive storytelling: a usability pilot study with a visually impaired child
Use of digital instruments during processing of results of pedagogical research
Student engagement in distance learning environment: the experience of language certification preparation courses during the coronavirus pandemic
Technology enhanced active and collaborative learning in distance higher education: students' perception
Digital Storytelling as teaching methodology for special needs teachers: A case study
An innovative tool for olfactive learning with tangible user interfaces in MOOC learning for viticulture and enology learning
Facial coding as a mean to enable continuous monitoring of student's behavior in e-Learning
Time to blend: why and how education should adopt the blended approach
The World on a Screen. Streaming platforms and teaching
Models of teaching and learning: digital evolution during the Covid-19 pandemic
Perceptions and effects of distance learning detected during an online course on ICT for aspiring nursery and primary school support teachers
The process of determining an educational research in the technological field understood as a complex and adaptive system: D-BOX as a case study
Signature metrics for accurate and automated worm detection
Self-stopping worms
Proceedings of the 2004 ACM Workshop on Rapid Malcode, WORM 2004, Washington, DC, USA, October 29, 2004
Using engine signature to detect metamorphic malware
A taxonomy of computer worms
Preliminary results using scale-down to explore worm dynamics
Access for sale: a new class of worm
Scalable internet threat monitoring
Exploiting temporal consistency to reduce false positives in host-based, collaborative detection of worms
The impact of stochastic variance on worm propagation and detection
An analysis of the witty outbreak: exploiting underlying structure for detailed reconstruction of an internet-scale event
The limits of global scanning worm detectors in the presence of background noise
A self-learning worm using importance scanning
A preliminary investigation of worm infections in a bluetooth environment
Cryptographic hashing for virus localization
A study of mass-mailing worms
Detection of injected, dynamically generated, and obfuscated malicious code
Worm anatomy and model
A hybrid quarantine defense
Where the worms aren't
Review and analysis of synthetic diversity for breaking monocultures
Experiences with worm propagation simulations
Host-based detection of worms through peer-to-peer cooperation
Defending against hitlist worms using network address space randomization
Proceedings of the 2005 ACM Workshop on Rapid Malcode, WORM 2005, Fairfax, VA, USA, November 11, 2005
On the effectiveness of automatic patching
ACT: attachment chain tracing scheme for email virus detection and control
Recent worms: a survey and trends
WORM vs. WORM: preliminary study of an active counter-attack mechanism
Worm evolution tracking via timing analysis
Search worms
Profiling self-propagating worms via behavioral footprinting
Proceedings of the 2006 ACM Workshop on Rapid Malcode, WORM 2006, Alexandria, VA, USA, November 3, 2006
Simulating realistic network worm traffic for worm warning system design and testing
Modeling the effects of timing parameters on virus propagation
Internet-scale malware mitigation: combining intelligence of the control and data plane
Epidemic profiles and defense of scale-free networks
Proceedings of the 2003 ACM Workshop on Rapid Malcode, WORM 2003, Washington, DC, USA, October 27, 2003
On the impact of dynamic addressing on malware propagation
Toward understanding distributed blackhole placement
Worm propagation modeling and analysis under dynamic quarantine defense
The top speed of flash worms
A behavioral approach to worm detection
The detection of RCS worm epidemics
Emerging threats
On instant messaging worms, analysis and countermeasures
Space-Efficient Block Storage Integrity
Machine Learning Classification over Encrypted Data
Towards Understanding and Detecting Cyberbullying in Real-world Images
HYPER-CUBE: High-Dimensional Hypervisor Fuzzing
AppSealer: Automatic Generation of Vulnerability-Specific Patches for Preventing Component Hijacking Attacks in Android Applications
Good Neighbor: Ad hoc Pairing of Nearby Wireless Devices by Multiple Antennas
EnclaveFuzz: Finding Vulnerabilities in SGX Applications
Leakage-Resilient Layout Randomization for Mobile Devices
SyzBridge: Bridging the Gap in Exploitability Assessment of Linux Kernel Bugs in the Linux Ecosystem
Brokenwire : Wireless Disruption of CCS Electric Vehicle Charging
1995 Symposium on Network and Distributed System Security, (S)NDSS '95, San Diego, California, USA, February 16-17, 1995
Revisiting Physical-World Adversarial Attack on Traffic Sign Recognition: A Commercial Systems Perspective
A Revocation, Validation and Authentication Protocol for SPKI Based Delegation Systems
JBomAudit: Assessing the Landscape, Compliance, and Security Implications of Java SBOMs
Power Attack: An Increasing Threat to Data Centers
You Can't Do Today's Security With Yesterday's Methods
KinWrite: Handwriting-Based Authentication Using Kinect
The Crux of Voice (In)Security: A Brain Study of Speaker Legitimacy Detection
OBFUSCURO: A Commodity Obfuscation Engine on Intel SGX
BliMe: Verifiably Secure Outsourced Computation with Hardware-Enforced Taint Tracking
Duumviri: Detecting Trackers and Mixed Trackers with a Breakage Detector
Proceedings of the Network and Distributed System Security Symposium, NDSS 2010, San Diego, California, USA, 28th February - 3rd March 2010
Heimdall: Towards Risk-Aware Network Management Outsourcing
Implementation of Crossrealm Referral Handling in the MIT Kerberos Client
SKEE: A lightweight Secure Kernel-level Execution Environment for ARM
K-Tracer: A System for Extracting Kernel Malware Behavior
Efficient Detection of Split Personalities in Malware
DNS-based Detection of Scanning Worms in an Enterprise Network
Kruiser: Semi-synchronized Non-blocking Concurrent Kernel Heap Buffer Overflow Monitoring
Trojaning Attack on Neural Networks
Extrapolating Formal Analysis to Uncover Attacks in Bluetooth Passkey Entry Pairing
Preventing Lunchtime Attacks: Fighting Insider Threats With Eye Movement Biometrics
Defending Against Membership Inference Attacks on Iteratively Pruned Deep Neural Networks
Secure Data Analytics in Apache Spark with Fine-grained Policy Enforcement and Isolated Execution
A Multifaceted Study on the Use of TLS and Auto-detect in Email Ecosystems
Proceedings of the Network and Distributed System Security Symposium, NDSS 2004, San Diego, California, USA
Uncovering the iceberg from the tip: Generating API Specifications for Bug Detection via Specification Propagation Analysis
Why Do We Need More Research?
File Hijacking Vulnerability: The Elephant in the Room
Preventing and Detecting State Inference Attacks on Android
FirmWire: Transparent Dynamic Analysis for Cellular Baseband Firmware
Juice: A Longitudinal Study of an SEO Botnet
MCI : Modeling-based Causality Inference in Audit Logging for Attack Investigation
Bloom Cookies: Web Search Personalization without User Tracking
Measuring and Detecting Fast-Flux Service Networks
TASE: Reducing Latency of Symbolic Execution with Transactional Memory
Practical Issues with TLS Client Certificate Authentication
Fooling the Eyes of Autonomous Vehicles: Robust Physical Adversarial Examples Against Traffic Sign Recognition Systems
FP-Fed: Privacy-Preserving Federated Detection of Browser Fingerprinting
Hello from the Other Side: SSH over Robust Cache Covert Channels in the Cloud
Amplification Hell: Revisiting Network Protocols for DDoS Abuse
FLAX: Systematic Discovery of Client-side Validation Vulnerabilities in Rich Web Applications
The Sniper Attack: Anonymously Deanonymizing and Disabling the Tor Network
Cross Site Scripting Prevention with Dynamic Data Tainting and Static Analysis
Decentralized Control: A Case Study of Russia
PeriScope: An Effective Probing and Fuzzing Framework for the Hardware-OS Boundary
Cryptology As a Network Service
Access Pattern disclosure on Searchable Encryption: Ramification, Attack and Mitigation
Certificate Transparency Revisited: The Public Inspections on Third-party Monitors
Accountable Javascript Code Delivery
Protecting Browsers from Extension Vulnerabilities
DefRec: Establishing Physical Function Virtualization to Disrupt Reconnaissance of Power Grids' Cyber-Physical Infrastructures
IoTSafe: Enforcing Safety and Security Policy with Real IoT Physical Interaction Discovery
ORL-AUDITOR: Dataset Auditing in Offline Deep Reinforcement Learning
Advanced Client/Server Authentication in TLS
Breaking and Fixing Virtual Channels: Domino Attack and Donner
Privacy through Pseudonymity in Mobile Telephony Systems
Ghost Domain Reloaded: Vulnerable Links in Domain Name Delegation and Revocation
Location Privacy via Private Proximity Testing
Favocado: Fuzzing the Binding Code of JavaScript Engines Using Semantically Correct Test Cases
IDA: Hybrid Attestation with Support for Interrupts and TOCTOU
Let's Stride Blindfolded in a Forest: Sublinear Multi-Client Decision Trees Evaluation
Testability Tarpits: the Impact of Code Patterns on the Security Testing of Web Applications
Newton Meets Vivaldi: Using Physical Laws to Secure Virtual Coordinate Systems
Selling off User Privacy at Auction
Automated Cross-Platform Reverse Engineering of CAN Bus Commands From Mobile Apps
PHYjacking: Physical Input Hijacking for Zero-Permission Authorization Attacks on Android
FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications
Dynamic Searchable Encryption in Very-Large Databases: Data Structures and Implementation
Custos: Practical Tamper-Evident Auditing of Operating Systems Using Trusted Execution
Cache, Trigger, Impersonate: Enabling Context-Sensitive Honeyclient Analysis On-the-Wire
Pushing the Communication Barrier in Secure Computation using Lookup Tables
Manipulating the Byzantine: Optimizing Model Poisoning Attacks and Defenses for Federated Learning
On the Realism of LiDAR Spoofing Attacks against Autonomous Driving Vehicle at High Speed and Long Distance
Making argument systems for outsourced computation practical (sometimes)
Crosstalk-induced Side Channel Threats in Multi-Tenant NISQ Computers
YuraScanner: Leveraging LLMs for Task-driven Web App Scanning
Revealing the Black Box of Device Search Engine: Scanning Assets, Strategies, and Ethical Consideration
Upgrading HTTPS in mid-air: An empirical study of strict transport security and key pinning
The Perils of Unauthenticated Encryption: Kerberos Version 4
DNS Cache-Based User Tracking
Flexsealing BGP Against Route Leaks: Peerlock Active Measurement and Analysis
Forwarding-Loop Attacks in Content Delivery Networks
EarArray: Defending against DolphinAttack via Acoustic Attenuation
Broken Metre: Attacking Resource Metering in EVM
CFInsight: A Comprehensive Metric for CFI Policies