yusuke1997/dblp-id-title huggingface dataset:
Prediction and Classification Models for Hashimoto's Thyroiditis Risk Using Clinical and Paraclinical Data
Handwriting Feature Extraction via Legendre-Sobolev Matrix Representation
An Automatic Updating Perceptron-Based System for Malware Detection
Implementing Powerlists with Bulk Synchronous Parallel ML
Numerical Results for the Coupling of a Simple Neutronics Diffusion Model and a Simple Hydrodynamics Low Mach Number Model without Coupling Codes
Performance and Compliance Anomaly Detection
Rational Householder Transformations
Finding the Optimal Read Buffer Size for Grid Applications
Measuring and Comparing the Scaling Behaviour of a High-Performance CFD Code on Different Supercomputing Infrastructures
An SDP-based Method for the Real Radical Ideal Membership Test
A Hierarchical Clustering-Based Approach for Software Restructuring at the Package Level
Efficient Converting of Large Sparse Matrices to Quadtree Format
A Bio-inspired Method for Generating Healthy Meals for Seniors
MODIS Image Based Computation of Vegetation Indices in MedioGRID Architecture
Overrepresentations in Neutral Genotype-Phenotype Mappings and their Applications
Ensuring Domain Consistency in an Adaptive Framework with Distributed Topology for Fluid Flow Simulations
Solving Robust Glucose-Insulin Control by Dixon Resultant Computations
Coverability Problems for Jumping Petri Nets
A Worklow Management Platform for Scientific Applications in Grid Environments
Unsupervised and Fully Autonomous 3D Medical Image Segmentation Based on Grow Cut
Hierarchical Reasoning in Local Theory Extensions and Applications
Label-Based Programming Language Semantics in K Framework with SDF
Cryptanalysis of an Authentication Protocol
m-Hilbert Polynomial and Arbitrariness of the General Solution of Partial Differential Equations
Deciding and Interpolating Algebraic Data Types by Reduction
Parallel Multiple Polynomial Quadratic Sieve on Multi-Core Architectures
A Model Reference Type Algorithm Using Importance Resampling
On Herbrand-like Theorems for Cut-free Modal Sequent Logics
On the Mathematics of Mathematical Handwriting Recognition
Identifying Socio-Cognitive Structures in Online Knowledge Building Communities Using Cohesion Network Analysis
Bandwidths Optimization on Sparse Matrices Using Brain Storm Optimization
Speculative Genetic Scheduling Method for Hadoop Environments
Dynamic Programming on Tree Decompositions in Practice - Some Lessons Learned
The Role of the Multiresolution Textural Features in Improving the Characterization and Recognition of the Liver Tumors, Based on Ultrasound Images
Implementing a Brokered Notification System for Grid Middleware
An Approach to Performance Evaluation Programming
Application of Mixed Time Partitioning Methods to Raise the Efficiency of Solidification Modeling
Conceptual Architecture of a Multi-Agent System for News Syndication
Multiple 1D Data Parallel Wavelet Transform
Convolutional Neural Networks For Eye Detection Trained With Manually And Automatically Generated Ground Truth Data
From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms
Fast Matrix Operations in Computer Algebra
A Comparative Study of Machine Learning Methods for Traffic Sign Recognition
Empirical evaluation of LZW-Compressed Multiple Pattern Matching Algorithms
Non-Well-Founded Probabilities and Coinductive Probability Logic
Automatic Language Identification for Romance Languages Using Stop Words and Diacritics
Density Based Clustering with Crowding Differential Evolution
An Approach to Support Automated Deployment of Applications on Heterogeneous Cloud-HPC Infrastructures
Rational Gram-Schmidt-Searching vs. Computing
Monte Carlo Variance Reduction. Importance Sampling Techniques
Tree $T$ and Lambert $W$
Solar Flare Classification using Modified Metaheuristic Optimized XGBoost
The Arithmetic of Even-Odd Trees
Simple Relation between the Lowest-Order Element of Ideal 〈G, H〉 and the Last Element of Polynomial Remainder Sequence
Survey of Covering Arrays
Fairness and QoS Enhancement Models and Techniques for Peer-to-Peer Content Sharing Systems
So the problem has poor complexity: what next?
Should We Beware the Exceptions? An Empirical Study on the Eclipse Project
An Extension of the Interpreter Pattern to Define Domain-Parametric Rewriting Systems
A Combined Analytical Modeling Machine Learning Approach for Performance Prediction of MapReduce Jobs in Cloud Environment
The Impact of Convolutional Neural Network Parameters in the Binary Classification of Mammograms
CYBERH: Cyber-Physical Systems in Health for Personalized Assistance
Extensions over OpenCL for Latency Reduction and Critical Applications
Static Segregative Genetic Algorithm for Optimizing Variable Ordering of ROBDDs
Helpful Behavior Based on Trust for Web Services
Prediction of Malignancy in Lung Cancer using several strategies for the fusion of Multi-Channel Pyradiomics Images
Results on graceful chromatic number for particular graphs
A Reflective PN-Based Approach to Dynamic Workflow Change
Detecting Java Compiled Malware using Machine Learning Techniques
Fully-adaptive Model for Broadcasting with Universal Lists
Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices
Homotopy Techniques for Analytic Combinatorics in Several Variables
Structural vs. Cyclic Induction: A Report on Some Experiments with Coq
Classes of Szilard Languages in NC 1
Non-interleaving Operational Semantics for Geographically Replicated Databases
On the bases of Z n lattice
A Purely Logical Approach to the Termination of Imperative Loops
Identification of Discrete Non-Linear Dynamics of a Radio-Frequency Power Amplifier Circuit using Symbolic Regression
Integrating Deep Learning for NLP in Romanian Psychology
Mathematical and Computational Mistakes and Failures as a Source of Creativity
Benchmarks in the Cloud: The mOSAIC Benchmarking Framework
A Reinforcement Learning Algorithm for Spiking Neural Networks
Grouping of Customer Opinions Written in Natural Language Using Unsupervised Machine Learning
Towards a Real-Time Scheduling Framework for Data Transfers in Tree Networks
AgriSen - A Dataset for Crop Classification
Order Relations Over Finitely Supported Structures
Towards Performance Evaluation Programming
E-timed Workflow Nets
A Visual Solution in Asteroids Detection
Investigating Differences between Ancient and Modern Bacterial DNA in Dental Calculus via Autoencoders
Mobile Agents in a Multi-Agent E-Commerce System
A Special Case of Schematic Syntactic Unification
Towards Multi-tenant and Interoperable Monitoring of Virtual Machines in Cloud
Dynamics of a Utility Based Distributed Video Proxy-Cache
Self-adaptive forecast models in predictive maintenance systems
The Flexiformalist Manifesto
AdaGEP - An Adaptive Gene Expression Programming Algorithm
Data Compression Using Surrounding Contexts
Increasing Protection Against Internet Attacks through Contextual Feature Pairing
A Study on the Topic of Crossing Minimisation
Building a Textual Entailment System for the RTE3 Competition. Application to a QA System
Software Framework for Agent-Based Games and Simulations
Optimizing Cold Start Performance in Serverless Computing Environments
Part of Speech Tagging for Romanian Text-to-Speech System
Methods for Securing Routing Protocols in Ad-Hoc Networks
Grid Service for Environmental Data Retrieval and Disasters Detection Based on Satellite Image Analysis
A Review of Algorithms for Symbolic Domains
The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion Detection
Identification of Relational Discrepancies between Database Schemas and Source-Code in Enterprise Applications
Structural Properties and Observability in Membrane Systems
A Practical Approach on Cleaning-Up Large Data Sets
Using Recommender Systems to Support Navigation in Concept Lattices
VirtualDive - A VR-Based Educational Virtual Environment
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012
Expansions and Equivalence of Queries Using Views with Parameters and Negation
Computing with Free Algebras
Using Exploratory Data Analysis for Fraud Elicitation through Supervised Learning
Load Scheduling in a Cloud Based Massive Video-Storage Environment
Using the Executable Semantics for CFG Extraction and Unfolding
Models of Computation for Origami
Ubiquitous Multi-agent Environmental Hazard Management
Learning networks hyper-parameter using multi-objective optimization of statistical performance metrics
Convergence Acceleration of Iterative Methods for Inverting Real Matrices Using Frobenius Norm Minimization
Improving the Nested Markov Chain Hyper-Heuristic (NMHH) Framework Efficiency Through Sequential Probability Ratio Testing
A "Piano Movers" Problem Reformulated
On the Complexity of Szilard Languages of Matrix Grammars
Improving the Performances of Machine Learning Algorithms by Using Assembly Language
Machine Learning based Malware Detection. How to Balance Memory Footprint with Model Accuracy
Membrane Computing as a Framework for Modeling Economic Processes
A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo
Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior
A Software Engineering Approach into Analyzing Microsoft Office-Based Email Attacks
Applying a Symbolic Approach for SWN Enabling Test to Workflow Models
An Image Inpainting Technique Based on Parallel Projection Methods
Defect Detection in Porcelain Industry Based on Deep Learning Techniques
IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation
Short Text Categorization via Coherence Constraints
Rewriting-based Check of Chase Termination
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries
Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, Buenos Aires, Argentina, May 17-20, 2010
Ontology Based Data Access: Where do the Ontologies and Mappings Come From?
Efficient Dependency Analysis for Existential Rules (short paper)
Logic Programs for Repairing Inconsistent Dimensions in Data Warehouses
Findings from Two Decades of Research on Schema Discovery using a Systematic Literature Review
Inference-Based Semantics in Data Exchange
Unique Solutions in Data Exchange under STS Mappings
A Comparison between a Relational Database, a Graph Database in the Context of a Personalized Cancer Treatment Application
Certain Answers for SPARQL?
Relative Expressiveness of Nested Regular Expressions
Methods and Techniques for Information Extraction by Text Segmentation
Monadic Datalog Containment on Trees Using the Descendant-Axis
Tractable Counting of the Answers to Conjunctive Queries
Semantics for Querying Paths in Graph Databases: No-repeated-node or No-repeated-edge?
Querying APIs With SPARQL
On Incomplete XML Documents with Integrity Constraints
Answering Aggregate Queries with Ordered Direct Access (short paper)
Querying Semantic Web Data Cubes
Effective Team Formation in Expert Networks
Checking Containment of Schema Mappings (Preliminary Report)
An Operational Approach to Consistent Query Answering
Dependencies: Making Ontology Based Data Access Work
Semi-Automatic Mapping and Extraction of RDF Triples From Wikipedia Tables
SNQL: A Social Networks Query and Transformation Language
Proceedings of the 16th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2024), Mexico City, Mexico, October 2-4, 2024
Exploiting Semantics to Predict Potential Novel Links from Dense Subgraphs
T3: On Mapping Text To Time Series
Towards SHACL Validation of Evolving Graphs
The Query Containment Problem: Set Semantics vs. Bag Semantics
Turning The Partial-Closed World Assumption Upside Down
Tie Strength Persistence and Transformation
Three Easy Pieces on Schema Mappings for Tree-structured Data
Finding Similar Products in E-commerce Sites Based on Attributes
Enabling Search by Experience
What Should Entity Linking link?
Query Optimization by Quantifier Elimination
Keyword Search in Workflow Repositories with Access Control
On the Tractability of Certain Answers for SQL Nulls in Relational Algebra with Inequalities
A Practical Query Language for Graph DBs
Symmetry in Probabilistic Databases
Semantic Web Research Inspired by W3C Standards, or the Hell of the Practice without Theory
A Data-Driven Graph Schema
General and Fractional Hypertree Decompositions: Hard and Easy Cases (extended abstract)
On Separability of Ontological Constraints
Towards Temporal Graph Databases
Trajectory Patterns Based on Segment-Cutting Clustering
Random-Walk Closeness Centrality Satisfies Boldi-Vigna Axioms
Enriching Query Routing Processes in PDMS with Semantic Information and Information Quality
Semantics of Constraints in RDFS
Foundations of RDF⋆ and SPARQL⋆ (An Alternative Approach to Statement-Level Metadata in RDF)
Factorized Databases: Past and Future Past
Tractable Query Answering and Optimization for Extensions of Weakly-Sticky Datalog+-
Unified Algorithm to Solve Several Graph Problems with Relational Queries
AI is Reducing to Data Curation (Abstract)
Data Expiration and Aggregate Queries
Big Data and Enterprise Analytics
Trajectory Sequential Patterns with Regular Expression Constraints Including Spatial Queries
Challenges for View-Based Query Answering over Probabilistic XML
A Database Framework for Classifier Engineering
Ontology-based Automatic Reclassication of Tissues and Organs in Histological Images
Data and AI Inequalities: A Systemic, Multidimensional, and Intersectional Approach (Abstract)
Big Data or Right Data?
On the Undecidability of the Equivalence of Second-Order Tuple Generating Dependencies
Semantic Loss in Query Reformulation in Dynamic Distributed Environments
Parallel Computation of Generalized Hypertree Decompositions
Guarded Ontology-Mediated Queries Distributing Over Components
Compiling Neural Network Classifiers into Boolean Circuits for Efficient Shap-Score Computation (short paper)
Alleviating the Sparsity Problem in Recommender Systems by Exploring Underlying User Communities
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings
Semantic Answer Validation in Question Answering Systems for Reading Comprehension Tests
The Ontological Multidimensional Data Model
The R3 Metric: Measuring Performance of Link Prioritization During Traversal-based Query Processing
Logical Approaches to Query Optimization over Web-Based Sources
Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla/Cholula, Mexico, May 21-23, 2013
An Empirical Analysis of GraphQL API Schemas in Open Code Repositories and Package Registries
Enhancing the Updatability of Projective Views
Interfaces to Data, Beyond Views
A First Approach to Belief Dynamics in Complex Social Networks
Searching Sexual Predators in Social Network Dialogues
Datalog in Time and Space, Synchronously
Towards Reconciling SPARQL and Certain Answers (Extended Abstract)
Making Ontology Relationships Explicit in a Ontology Network
Diversity of Answers to Conjunctive Queries (short paper)
Semantic Acyclicity Under Constraints
Minimising RDF Graphs under Rules and Constraints Revisited
Relational to RDF Data Exchange in Presence of a Shape Expression Schema
The Excitement of Research and Advanced Technology Development: A Personal Journey
A Datalog-Based Language for Querying RDF Graphs
On the CALM Principle for BSP Computation
Analysis of Data-Centric Workfows
SQL/PGQ: A Systems Perspective (Abstract)
How Standard is the SQL Standard?
Mining the Web 2.0 for Better Search
An Initial Analysis of Facebook's GraphQL Language
Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), Santiago de Chile, Chile, May 22-26, 2023
A Non-Uniform Tuning Method for SQL-on-Hadoop Systems
Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability
The Two Views on Ontological Query Answering
Disentangling the Notion of Dataset in SPARQL
Bi-Level Mapping: Combining Schema and Data Level Heterogeneity in Peer Data Sharing Systems
OBDA Over Non-Relational Databases
A Comparison between Cypher and Conjunctive Queries
A Nested Graph Model for Visualizing RDF Data
On Conditional Chase Termination
Stop the Chase: Short Contribution
A Direct Translation from XPath to Nondeterministic Automata
IMGpedia: Enriching the Web of Data with Image Content Analysis
Chasing Polarized Order Dependencies
Data Posting: a New Frontier for Data Exchange in the Big Data Era
PPDL: Probabilistic Programming with Datalog
Temporal Support in Sequential Pattern Mining
On Low Treewidth Approximations of Conjunctive Queries
The Magic of Pushing Extrema into Recursion: Simple, Powerful Datalog Programs
Computing Approximate Certain Answers over Incomplete Databases
On the Logic of SQL Nulls
Intuitionistic Data Exchange
Ontology Contraction: Beyond the Propositional Paradise
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract
Spanish Word Embeddings Learned on Word Association Norms
Bag Equivalence of Bounded Symmetry-Degree Conjunctive Queries with Inequalities
Entity Matching: A Case Study in the Medical Domain
On the Enumeration of Tree Decompositions
Semantic Width Revisited (Extended Abstract)
Oceanographic Data Management: Towards the Publishing of Argentine Oceanographic Campaigns as Linked Data
SQL Nested Queries in SPARQL
A Taxonomy of Basic Graph Pattern Motifs for Understanding SPARQL Query Logs
On the Translatability of View Updates
Querying the Deep Web: Back to the Foundations
From Complete to Incomplete Data and Back in Ontology-Enriched Databases
WoolNet: Finding and Visualising Paths in Knowledge Graphs
Spherical Randomized Gravitational Clustering
Monadic Datalog Containment on Trees
Towards a Robust Semantics for SHACL: Preliminary Discussion
Dynamic Pipelining of Multidimensional Range Queries
Integrated Matching and Evaluation of Large Real-World Ontologies
Integrating Semantics with Symbolic AI: The Path to Interpretable Hybrid AI Systems (Abstract)
Negation in SPARQL
Knowledge Graphs in Action: from Theory to Systems and Real-world Applications (Abstract)
Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results
GDE: General Data Exchange with Schema and Data Level Mappings
SwarmGuide: Towards Multiple-Query Optimization in Graph Databases
Keyword Search in the Deep Web
Lossless Selection Views under Constraints
Towards Equivalences for Federated SPARQL Queries
Towards Reconciling Certain Answers and SPARQL: Bag Semantics to the Rescue?
Implementing Data-Centric Dynamic Systems over a Relational DBMS
Schema Design for Uncertain Databases
Querying Incomplete Graphs with Data
Identifying Algebraic Properties to Support Optimization of Unary Similarity Queries
Exploiting Semantic Treewidth for Graph Queries Evaluation (short paper)
Anomaly Detection in Public Procurements using the Open Contracting Data Standard
Chasing after Secrets in Relational Databases
Counting Triangles in Parallel An Application of Pipelining
Schemas for Graphs and Other Forms of Semi-Structured Data
Using Genetic Programming to Evaluate the Impact of Social Network Analysis in Author Name Disambiguation
An RDF Vocabulary for Meta-Programming with SPARQL Algebra
Data-graph repairs: the preferred approach
Multiresolution Cube Estimators for Sensor Network Aggregate Queries
A Preliminary Investigation into SPARQL Query Complexity and Federation in Bio2RDF
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016
Towards In-Memory RDFS Entailment
Efficient Updates of Uncertain Databases
Implementing Graph Query Languages over Compressed Data Structures: A Progress Report
Information Integration: a Vision for Integration Independence and Linking Open Data
Learning in Query Optimization over Knowledge Graphs: From Adaptive Techniques to Neuro-Symbolic Optimizers ... And Back? (Abstract)
LDQL: A Language for Linked Data Queries
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, Cali, Colombia, May 21-25, 2018
On the Hardness of Counting the Solutions of SPARQL Queries
A Monotonic Extension for Horn-Clauses and its Significance in Datalog's Renaissance
On the Codd Semantics of SQL Nulls
Causality in Databases, Database Repairs, and Consistency-Based Diagnosis (extended abstract)
Extending Datalog with Analytics in LogicBlox
Augmented Visualization of Association Rules for Data Mining
The Property Graph Database Model
Linear Recursion in G-CORE
Subqueries in SPARQL
Simplified Access Control Policies for XML Databases
Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011
On the Decidability of Consistent Query Answering
RDF Data Descriptions
In-Database Factorized Learning
Automatic Filling of Web Forms
Raising the Efficiency of Knowledge Graph Embeddings While Respecting Logical Rules
Evaluation of SPARQL Property Paths via Recursive SQL
Towards Analytical Data Management for Numerical Simulations
Consistent Query Answering in Data Warehouses
Multi-Granular Schemas for Data Integration
WIREFRAME: Two-phase, Cost-based Optimization for Conjunctive Regular Path Queries
Towards Updating Wikipedia via DBpedia Mappings, SPARQL
Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunción, Paraguay, June 3-7, 2019
From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract)
Nested Constructs vs. Sub-Selects in SPARQL
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014
Affiliation Influence on Recommendation in Academic Social Networks
Vertically Acyclic Conjunctive Queries over Trees
Puzzling over Subsequence-Query Extensions: Disjunction and Generalised Gaps
A Query-Driven, Incremental Process for Entity Resolution
Chase Termination for Guarded Existential Rules
Multi-Sorted Inverse Frequent Itemsets Mining: On-Going Research
On the Difference between Complex Event Processing and Dynamic Query Evaluation
Towards Efficient Annotation Databases (short paper)
Multidimensional Contexts for Data Quality Assessment
On Axiomatization and Inference Complexity over a Hierarchy of Functional Dependencies
Generating XML/GML Schemas from Geographic Conceptual Schemas
In Search of Truth (on the Deep Web)
Ontology Functional Dependencies
Semantic Search in RealFoodTrade
Ontology-Based Data Management
The Vadalog System: Swift Logic for Big Data and Enterprise Knowledge Graphs
Semantic Integrity Constraints for Spatial Databases
A Preliminary Analysis of the Scientific Production of Latin American Computer Science Research Groups
Axiomatic System for Order Dependencies
Closed Predicates in Description Logics: Results on Combined Complexity
Data integration with Many Heterogeneous Sources and Dynamic Target Schemas (Extended Abstract)
Temporal SOLAP: Query Language, Implementation, and a Use Case
Map-Elites Algorithm for Features Selection Problem
cKdtree: a Compact Kdtree for Spatial Data
Time Complexity and Parallel Speedup to Compute the Gamma Summarization Matrix
Opportunities for Shape-based Optimization of Link Traversal Queries
An Operational Framework to Reason about Policies Behavior in Trust Management System
From Strings to Things and Back: Putting Logic-based Reasoning into Action in a Central Bank (Abstract)
Strength of Co-authorship Ties in Clusters: A Comparative Analysis
Characterizing Community Changing Users using Text Mining and Graph Machine Learning on Twitter
Meaningful Keyword Search over Databases with Complex Schema
Having a ChuQL at XML on the Cloud
The Quest for Schemas in Graph Databases (Abstract)
Structural Repairs of Multidimensional Databases
Causality in Databases: Answer-Set Programs and Integrity Constraints
Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, Arequipa, Peru, May 12-15, 2009
On the Complexity of Query Answering under Access Limitations: A Computational Formalism