yusuke1997/dblp-id-title huggingface dataset:
Proceedings of the International Workshop on Terminological Logics 1991, Dagstuhl, Germany
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract)
Retrospective on Clio: Schema Mapping and Data Exchange in Practice
A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases
Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies
What have the Romans (and Germans) ever done for us? or There are real applications for Description Logics some of which even take advantage of their reasoning services
Sequoia: A Consequence Based Reasoner for SROIQ
Reducing Global Consistency to Local Consistency in Ontology-based Data Access - Extended Abstract
Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract)
Discrete Tableau Algorithms for FSHI
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies
Classification and Case-Based Reasoning
A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms
Accessing Answers to Conjunctive Queries with Ideal Time Guarantees (Abstract of Invited Talk)
Conjunctive Query Answering in SH using Knots
Planning in Action Formalisms based on DLs: First Results
A Toothful of Concepts: Towards a Theory of Weighted Concept Combination
High Performance Reasoning with Very Large Knowledge Bases
Towards a Legal Reasoning System based on Description Logics: A Position Paper
Towards Reusable Explanation Services in Protege
Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract)
Decidability of Expressive Description Logics with Role Compositions
An Extension of Regularity Conditions for Complex Role Inclusion Axioms
Unification in the Description Logic FL⊥
Experiences with Load Balancing and Caching for Semantic Web Applications
Towards an Expressive Decidable Logical Action Theory
The TDDonto Tool for Test-Driven Development of DL Knowledge bases
The DLRUS Temporal Description Logic
Complexity Sources in Fuzzy Description Logic
Empirical Investigation of Subsumption Test Hardness in Description Logic Classification
Visualization and Management of Mappings in Ontology-based Data Access (Progress Report)
Pointwise Circumscription in Description Logics
Network Flows Heuristics for Complementary Cell Suppression: An Empirical Evaluation and Extensions
Tools and Strategies to Protect Multiples Tables with the GHQUAR Cell Suppression Engine
HiTaS: A Heuristic Approach to Cell Suppression in Hierarchical Tables
The CASC Project
Inference Control in Statistical Databases, From Theory to Practice
Model Based Disclosure Protection
Sensitive Micro Data Protection Using Latin Hypercube Sampling Technique
Integrating File and Record Level Disclosure Risk Assessment
Empirical Evidences on Protecting Population Uniqueness at Idescat
Applications of Statistical Disclosure Control at Statistics Netherlands
LHS-Based Hybrid Microdata vs Rank Swapping and Microaggregation for Numeric Microdata Protection
SDC in the 2000 U.S. Decennial Census
Bounds on Entries in 3-Dimensional Contingency Tables Subject to Given Marginal Totals
Disclosure Risk Assessment in Perturbative Microdata Protection
Advances in Inference Control in Statistical Databases: An Overview
Microdata Protection through Noise Addition
Post-Masking Optimization of the Tradeoff between Information Loss and Disclosure Risk in Masked Microdata Sets
Cell Suppression: Experience and Theory
Extending Cell Suppression to Protect Tabular Data against Several Attackers
Tournament-Based Convection Selection in Evolutionary Algorithms
Optimizing the Shape of an Impeller Using the Differential Ant-Stigmergy Algorithm
Task Scheduling for Look-Ahead Reconfigurable Systems in Presence of Conditional Branches
Some Remarks on Super-Gram Operators for General Bipartite Quantum States
Lazy Stencil Integration in Multigrid Algorithms
TFETI Coarse Space Projectors Parallelization Strategies
Neural Nets with a Newton Conjugate Gradient Method on Multiple GPUs
IEBS Ticketing Protocol as Answer to Synchronization Issue
Mesh Adaptation Based on Discrete Data
Preconditioning of the One-Sided Block-Jacobi SVD Algorithm by Polar Decomposition
Testability of Distributed Objects
SIMD-node Transformations for Non-blocking Data Structures
Parallelization of EULAG Model on Multicore Architectures with GPU Accelerators
On Optimal Strategies of Russia's Behavior on the International Market for Emissions Permits
Efficiency of Interactive Terrain Visualization with a PC-Cluster
Execution and Migration Management of HLA-Based Interactive Simulations on the Grid
An Experimental Comparison of Load Balancing Strategies in a Web Computing Environment
Dimensional Analysis Applied to a Parallel QR Algorithm
Transparency in Object-Oriented Grid Database Systems
Multi-expert Systems
Sparse Matrix Ordering for Fine Grain Parallel Triangular Solve Using SIMD
Efficient Parallel Generation of Many-Nucleon Basis for Large-Scale Ab Initio Nuclear Structure Calculations
A Class of Block Smoothers for Multigrid Solution of Saddle Point Problems with Application to Fluid Flow
Data Transfers on the Fly for Hierarchical Systems of Chip Multi-Processors
Introducing a Performance Model for Bandwidth-Limited Loop Kernels
Fully Polynomial Time Approximation Schemes for Scheduling Divisible Loads
Designing Service-Based Resource Management Tools for a Healthy Grid Ecosystem
Verification of Causality Requirements in Java Memory Model Is Undecidable
A Parallel, Distributed-Memory Framework for Comparative Motif Discovery
Parallel Processing and Applied Mathematics - 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II
New Level-3 BLAS Kernels for Cholesky Factorization
A Shaving Method for Interval Linear Systems of Equations
DDG Task Recovery for Cluster Computing
Numerical Health Check of Industrial Simulation Codes from HPC Environments to New Hardware Technologies
Parallel Algorithms for the Solution of Toeplitz Systems of Linear Equations
Inexact Sparse Matrix Vector Multiplication in Krylov Subspace Methods: An Application-Oriented Reduction Method
Semi-self-testing Quantum Random Number Generator with CMOS Sensors
Advanced Replica Management with Reptor
Social Fragmentation Transitions in Large-Scale Parameter Sweep Simulations of Adaptive Social Networks
GPU-Based Molecular Dynamics of Turbulent Liquid Flows with OpenMM
Performance Evolution and Power Benefits of Cluster System Utilizing Quad-Core and Dual-Core Intel Xeon Processors
A Note on the Numerical Inversion of the Laplace Transform
An Identity Parareal Method for Temporal Parallel Computations
A Scalable Parallel Union-Find Algorithm for Distributed Memory Computers
Reducing the Time to Tune Parallel Dense Linear Algebra Routines with Partial Execution and Performance Modeling
Robust Task-Parallel Solution of the Triangular Sylvester Equation
On Checking the Monotonicity of Parametric Interval Solution of Linear Structural Systems
Structural and Electronic Properties of Small-Diameter Carbon NanoTubes: A DFT Study
P2P Approach to Knowledge-Based Dynamic Virtual Organizations Inception and Management
The Application of Cellular Automata to Simulate Drug Release from Heterogeneous Systems
Parallel Implementation of Cholesky LLT-Algorithm in FPGA-Based Processor
Parallel Implementation of Stochastic Inversion of Seismic Tomography Data
Parallel Processing and Applied Mathematics - 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8-11, 2024, Revised Selected Papers, Part III
Heterogeneous Dynamic Load Balancing with a Scheme Based on the Laplacian Polynomial
Multidimensional Static Block Data Decomposition for Heterogeneous Clusters
Flow Simulations on Overlapping Grids
Aggregation Multilevel Iterative Solver for Analysis of Large-Scale Finite Element Problems of Structural Mechanics: Linear Statics and Natural Vibrations
Service Level Agreement Metrics for Real-Time Application on the Grid
A Hierarchical Model of Parallel Genetic Programming Applied to Bioinformatic Problems
LTF-C - Neural Network for Solving Classification Problems
Shisha: Online Scheduling of CNN Pipelines on Heterogeneous Architectures
Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS
Radix Tree for Binary Sequences on GPU
A New Model of Multi-installment Divisible Loads Processing in Systems with Limited Memory
Astronomical Period Searching on the Cell Broadband Engine
Semantic-Oriented Approach to Performance Monitoring of Distributed Java Applications
Personal Space of People in Movement Under Different Conditions
On Time Constraints of Reliable Broadcast Protocols for Ad Hoc Networks with the Liveness Property
Parallel Programs Scheduling with Architecturally Supported Regions
Scheduling Parallel Programs Based on Architecture-Supported Regions
FEM Computations on Clusters Using Different Models of Parallel Programming
Incomplete WZ Factorization as an Alternative Method of Preconditioning for Solving Markov Chains
Kokkos-Based Implementation of MPCD on Heterogeneous Nodes
Model of Skyscraper Evacuation with the Use of Space Symmetry and Fluid Dynamic Approximation
Distributed Program Execution Control Based on Application Global States Monitoring in PEGASUS DA Framework
Parallel Solution of Band Linear Systems in Model Reduction
Consuming Environment with Transportation Network Modelled Using Graph of Cellular Automata
New Scalable SIMD-Based Ray Caster Implementation for Virtual Machining
Partitioning and Scheduling Workflows across Multiple Sites with Storage Constraints
pARMS: A Package for Solving General Sparse Linear Systems on Parallel Computers
Comparison of Multigrid and Machine Learning-Based Poisson Solvers
Compiler Support for Semi-manual AoS-to-SoA Conversions with Data Views
Partial Inverses of Complex Block Tridiagonal Matrices
On the Weak Convergence of the Recursive Orthogonal Series-Type Kernel Probabilistic Neural Networks in a Time-Varying Environment
Parallel FDFM Approach for Computing GCDs Using the FPGA
Semiautomatic Acceleration of Sparse Matrix-Vector Product Using OpenACC
Knowledge-Based Runtime Prediction of Stateful Web Services for Optimal Workflow Construction
Monitoring of SLA Parameters within VO for the SOA Paradigm
Scalable and Efficient Parallel Selection
Distributed QR Factorization Based on Randomized Algorithms
Parallel Suffix Sorting for Large String Analytics
Software Security in the Model for Service Oriented Architecture Quality
Automatic Software Tuning of Parallel Programs for Energy-Aware Executions
Irregular and Out-of-Core Parallel Computing on Clusters
Universal Grid Client: Grid Operation Invoker
High-Performance Implementation of the Optimized Event Generator for Strong-Field QED Plasma Simulations
Experiences with Implementing Task Pools in Chapel and X10
A Broker Based Architecture for Automated Discovery and Invocation of Stateful Services
Iterative Reconstruction of Tomographic Scans in Dynamic SMP Clusters with Communication on the Fly
Simulating Pedestrians' Motion in Different Scenarios with Modified Social Force Model
Parallel Solution of Nonlinear Parabolic Problems on Logically Rectangular Grids
Segmentation of Aortic Valve Calcium Lesions Using FPGA Accelerators
Distributed Architecture System for Computer Performance Testing
Bridging the Gap Between HPC and Cloud Using HyperFlow and PaaSage
Hardware Implementation of the Exponent Based Computational Core for an Exchange-Correlation Potential Matrix Generation
kappa NUMA: A Model for Clusters of SMP-Machines
A Global Optimization Method for Solving Parametric Linear Systems Whose Input Data Are Rational Functions of Interval Parameters
Mathematical Approach to the Performance Evaluation of Matrix Multiply Algorithm
Dynamic Compatibility Matching of Services for Distributed Workflow Execution
Application of ADMIRE Data Mining and Integration Technologies in Environmental Scenarios
Execution of a Bioinformatics Application in a Joint IRISGrid/EGEE Testbed
A Lightweight Message Logging Scheme for Fault Tolerant MPI
Data Mining on Desktop Grid Platforms
Parallel Minimax Tree Searching on GPU
Messages Scheduling for Data Redistribution between Clusters
Solving Large Systems of Differential Equations with PaViS
Non-perturbative Methods in Phenomenological Simulations of Ring-Shape Molecular Nanomagnets
GEM - A Platform for Advanced Mathematical Geosimulations
A High-Order Discontinuous Galerkin Solver with Dynamic Adaptive Mesh Refinement to Simulate Cloud Formation Processes
A Meta-scheduling Service for Co-allocating Arbitrary Types of Resources
High Performance Optimization of Independent Component Analysis Algorithm for EEG Data
Expression Templates and OpenCL
A Lightweight Approach for Deployment of Scientific Workflows in Cloud Infrastructures
Parallel Resolution of the Satisfiability Problem (SAT) with OpenMP and MPI
Practical Need for Algebraic (Equality-Type) Solutions of Interval Equations and for Extended-Zero Solutions
Hybrid Solver for Quasi Block Diagonal Linear Systems
Practical Experience in Building an Agent System for Semantics-Based Provision and Selection of Grid Services
Algorithm and Software Overhead: A Theoretical Approach to Performance Portability
GRIBB - Branch-and-Bound Methods on the Internet
Parallel Implementation of Conjugate Gradient Method on Graphics Processors
Stochastic Bounds for Markov Chains on Intel Xeon Phi Coprocessor
Toward Parallel Modeling of Solidification Based on the Generalized Finite Difference Method Using Intel Xeon Phi
Parallel Multi-objective Memetic Algorithm for Competitive Facility Location
Strong Convergence of the Parzen-Type Probabilistic Neural Network in a Time-Varying Environment
GPU-Based Interval Optimization in the Context of Optical MIMO Systems
An Automatic Way of Finding Robust Elimination Trees for a Multi-frontal Sparse Solver for Radical 2D Hierarchical Meshes
High Performance Computing Queue Time Prediction Using Clustering and Regression
A Model of Cooperative Solvers for Computational Problems
Parallel Simulated Annealing for Bicriterion Optimization Problems
New Insights on the Revised Definition of the Performance Portability Metric
Juliana: Automated Julia CUDA.jl Code Translation Across Multiple GPU Platforms
Fast Algorithm for the Fourth-Order Elliptic Problem Based on Orthogonal Matrix Decomposition
Dataset Related Experimental Investigation of Chess Position Evaluation Using a Deep Neural Network
The High Performance Internet of Things: Using GVirtuS to Share High-End GPUs with ARM Based Cluster Computing Nodes
Lightweight Information Flow Control for Web Services
A Security-Driven Approach to Online Job Scheduling in IaaS Cloud Computing Systems
Neuro-Fuzzy versus Non-parametric Approach to System Modeling and Classification
Optimization Using Nimrod/O and Its Application to Robust Mechanical Design
Towards a Language for a Satisfaction-Based Selection of Grid Services
ACE: Algorithm-Independent Acceleration and Parallelization of Clustering Implementations
A Framework for Observing Dynamics of Agent-Based Computations
On Checkpoint Overhead in Distributed Systems Providing Session Guarantees
Solving Linear Recurrence Systems Using Level 2 and 3 BLAS Routines
Early Performance Assessment of the ThunderX2 Processor for Lattice Based Simulations
The Grid Portlets Web Application: A Grid Portal Framework
Estimation of Numerical Dynamics Constants of a Weakly Nonlinear Neuron
GPU4SNN: GPU-Based Acceleration for Spiking Neural Network Simulations
From Gauging Accuracy of Quantity Estimates to Gauging Accuracy and Resolution of Measuring Physical Fields
The Influence of Multi-agent Cooperation on the Efficiency of Taxi Dispatching
On Service-Oriented Symbolic Computing
Exploiting Parallelism on Shared Memory in the QED Particle-in-Cell Code PICADOR with Greedy Load Balancing
How to Mitigate Node Failures in Hybrid Parallel Applications
Non-uniform Quantum Spin Chains: Simulations of Static and Dynamic Properties
Parallel Computing in Java: Looking for the Most Effective RMI Implementation for Clusters
Meta-model Assisted Evolutionary Optimization of Cellular Automata: An Application to the SCIARA Model
Learning in Rough-Neuro-Fuzzy System for Data with Missing Values
A Grid Service for Management of Multiple HLA Federate Processes
Efficient Allocation of Image Recognition and LLM Tasks on Multi-GPU System
Testing for Conformance of Parallel Programming Pattern Languages
NPDP Benchmark Suite for Loop Tiling Effectiveness Evaluation
A Parallel Dynamic Programming Algorithm for Unranking t-ary Trees
Multi-version Coherence Protocol for Replicated Shared Objects
Schwarz Preconditioner with Face Based Coarse Space for Multiscale Elliptic Problems in 3D
Benchmarking Tertiary Storage Systems with File Fragmentation
An Experience Report on (Auto-)tuning of Mesh-Based PDE Solvers on Shared Memory Systems
Parallel Event-Driven Simulation Based on Application Global State Monitoring
Implementation and Performance Analysis of 2.5D-PDGEMM on the K Computer
Monitoring Threaded Application with Thread-Enabled OMIS Monitor
Continuous and Discrete Models of Melanoma Progression Simulated in Multi-GPU Environment
Softmax and McFadden's Discrete Choice Under Interval (and Other) Uncertainty
Classification of Partitioning Problems for Networks of Heterogeneous Computers
Multi-GPU Accelerated Rendering of Massive Scenes with Out-of-Core Support for CPU Memory
Cellular Model of Pedestrian Dynamics with Adaptive Time Span
Comparing CUDA, OpenCL and OpenGL Implementations of the Cardiac Monodomain Equations
Numerical Treatment of a Cross-Diffusion Model of Biofilm Exposure to Antimicrobials
The OpenCF: An Open Source Computational Framework Based on Web Services Technologies
Acceptance Rates of Invertible Neural Networks on Electron Spectra from Near-Critical Laser-Plasmas: A Comparison
A Parallel Algorithm for LZW Decompression, with GPU Implementation
Effects of Segmented Finite Difference Time Domain on GPU
Artificial Immune Systems Applied to Multiprocessor Scheduling
Machine Learning Approach for Detecting Potential Anomalous Cosmic Rays Particles Tracks in Earth-Scale Cosmic Ray Extremely Distributed Observatory
Improving Efficiency of Automatic Labeling by Image Transformations on CPU and GPU
A Fortran Evolution of mpC Parallel Programming Language
Additive Average Schwarz with Adaptive Coarse Space for Morley FE
A Formal Model of Multi-agent Computations
GPU-Based Parallel Algorithms for Transformations of Quantum States Expressed as Vectors and Density Matrices
Augmented Symmetry Approach to the DFT Simulations of the Chromium-Based Rings
Introducing Dependencies into Alignment Analysis and Its Use for Local Structure Prediction in Proteins
Deploying AI-Based Environmental Monitoring Applications at the Edge: Two Case Studies
Numerical Solution of the Time and Rigidity Dependent Three Dimensional Second Order Partial Differential Equation
Adaptation of Deep Belief Networks to Modern Multicore Architectures
Parallel Processing and Applied Mathematics - 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II
Error Estimates for BE/FE Method in Elastic Scattering
Compact In-Memory Representation of Decision Trees in GPU-Accelerated Evolutionary Induction
An Iterative Regularization Algorithm for the TV-Stokes in Image Processing
Parallel Seed-Based Approach to Protein Structure Similarity Detection
Security and Storage Issues in Internet of Floating Things Edge-Cloud Data Movement
Parallel Maximal Common Subgraphs with Labels for Molecular Biology
On the Incorrect Use of Application Efficiency to Calculate Performance Portability
Performance Analysis of Parallel Alternating Directions Algorithm for Time Dependent Problems
Exploring the Design Space for Message-Driven Systems for Dynamic Graph Processing Using CCA
Parallel Performance of an Iterative Solver Based on the Golub-Kahan Bidiagonalization
Parallel Processing of Color Digital Images for Linguistic Description of Their Content
Towards Multi-Agent Simulation of the Dynamic Vehicle Routing Problem in MATSim
Auto-tuning Dense Vector and Matrix-Vector Operations for Fermi GPUs
A Self-stabilizing Algorithm for Finding a Spanning Tree in a Polynomial Number of Moves
Remarks on Algorithms Implemented in Some C++ Libraries for Floating-Point Conversions and Interval Arithmetic
Towards the Performance Visualization of Web-Service Based Applications
Optimized Parallel Model of Human Detection Based on the Multi-Scale Covariance Descriptor
Performance and Portability of State-of-Art Molecular Dynamics Software on Modern GPUs
Parallel Longest Increasing Subsequences in Scalable Time and Memory
PDNOC: An Efficient Partially Diagonal Network-on-Chip Design
New Methods for Uncertainty Representations in Neuro-Fuzzy Systems
Using HLA and Grid for Distributed Multiscale Simulations
Early Performance Evaluation of the Hybrid Cluster with Torus Interconnect Aimed at Molecular-Dynamics Simulations
A New Library for Evolutionary Algorithms
MPI and OpenMP Computations for Nuclear Waste Deposition Models
Frustration and Collectivity in Spatial Networks
Application of Mixed MPI OpenMP Programming in a Multi SMP Cluster Computer
Adaptation of Double-Precision Matrix Multiplication to the Cell Broadband Engine Architecture
Parallel Processing and Applied Mathematics - 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8-11, 2024, Revised Selected Papers, Part II
An Interval Calculus Based Approach to Determining the Area of Integration of the Entropy Density Function
Adaptive Computation over Dynamic and Heterogeneous Networks
Modelling of Limitations of BHJ Architecture in Organic Solar Cells
A Cache Oblivious Algorithm for Matrix Multiplication Based on Peano's Space Filling Curve
HPC Large-Scale Pedestrian Simulation Based on Proxemics Rules
Comparison of Large Graphs Using Distance Information
Exploring Graph Analytics with the PCJ Toolbox
Stochastic Control of the Scalable High Performance Distributed Computations
The Performance of Different Communication Mechanisms and Algorithms Used for Parallelization of Molecular Dynamics Code
Fast In-Place Sorting with CUDA Based on Bitonic Sort
Parallel Processing and Applied Mathematics - 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I
Relative Expression Classification Tree. A Preliminary GPU-Based Implementation
Graph Grammar Based Petri Nets Model of Concurrency for Self-adaptive hp -Finite Element Method with Rectangular Elements
Modeling Behavioral Traits of Employees in a Workplace with Cellular Automata
A Container-Iterator Parallel Programming Model
Improving Perfect Parallelism
Examining Performance Portability with Kokkos for an Ewald Sum Coulomb Solver
The Regular Expression Matching Algorithm for the Energy Efficient Reconfigurable SoC
A Flexible Connectionist Fuzzy System
Parallel Implementation of the FETI DDM Constraint Matrix on Top of PETSc for the PermonFLLOP Package
Experience on Vectorizing Lattice Boltzmann Kernels for Multi- and Many-Core Architectures
Exploiting Data Sparsity in Parallel Matrix Powers Computations
On Generalized Moore Digraphs
DFT Study of the Cr $$_8$$ Molecular Magnet Within Chain-Model Approximations
Distributed Segregative Genetic Algorithm for Solving Fuzzy Equations
An Architecture for Reconfigurable Iterative MPI Applications in Dynamic Environments
The Parallel Genetic Algorithm for Designing DNA Randomizations in a Combinatorial Protein Experiment
Mixed Precision Algebraic Multigrid on GPUs
Performance Evaluation of Sparse Matrix Multiplication Kernels on Intel Xeon Phi
Parallel Query Processing and Edge Ranking of Graphs
Parallel Schwarz Methods: Algebraic Construction of Coarse Problems, Implementation and Testing
Interval Nine-Point Finite Difference Method for Solving the Laplace Equation with the Dirichlet Boundary Conditions
Towards Stream Data Parallel Processing in Spatial Aggregating Index
Application of Parallel Computing in the Transfer - Matrix Simulations of the Supramolecules Mn 6 and Ni 12
Comparison of the Use of UWB and BLE as Positioning Methods in Data-Driven Modeling of Pedestrian Dynamics