yusuke1997/dblp-id-title huggingface dataset:
Database Theory for Users Unexpert: A Strategy for Learning Computer Science and Information Technology
Organizing Committee / Preface
Explanation-aware Computing, Papers from the 2010 ECAI Workshop, Lisbon, Portugal, August 16, 2010
Expert Evaluation of Probabilistic Explanations
Integrating Probabilistic and Knowledge-Based Systems for Explanation Generation
Dialogical Models of Explanation
Some Properties of Most Relevant Explanation
Providing Explanations for the Intelligent Monitoring of Business Workflows Using Case-Based Reasoning
A Discourse Approach to Explanation Aware Knowledge Representation
Because Men Don't Bite Dogs: A Logical Framework for Identifying and Explaining Unexpected News
Explaining for Contextualizing and Contextualizing for Explaining: A role in collaborative work
Explanation of Semantic Search Results of Medical Images in MEDICO
Explanations in Dialogue Systems through Uncertain RDF Knowledge Bases
An Explanation Oriented Dialogue Approach for Solving Wicked Planning Problems
Explanations and Arguments Based on Practical Reasoning
Towards the Explanation of Workflows
A High-Level Categorization of Explanation A Case Study with a Tutoring System
Interactive Natural Language Explanations of Cyc Inferences
Using Symbolic Similarity to Explain Case-based Reasoning in Classification Tasks
Explaining recommendations generated by MDPs
Towards Reasoning and Explanations for Social Tagging
Solving the Minimum Number of Open Stacks Problem with Explanation-based Techniques
Explaining a Result to the End-User: A Geometric Approach for Classification Problems
Knowledge Lite Explanation Oriented Retrieval
Explanation and Corrective Feedback in Grammar Checking Systems
An MDP Approach for Explanation Generation
Explanation-Aware Software Design of the Semantic Search Engine KOIOS
Answer Set Programming ? a Domain in Need of Explanation: A Position Paper
Linked and Convergent Structures in Discourse-Based Reasoning
PML 2: A Modular Explanation Interlingua
Exploitation of Argumentation Models for Mission Analysis
Consistent Explanations of Answers to Queries in Inconsistent Knowledge Bases
Deriving Explanations From Partial Temporal Information
Explanation-aware Computing, Papers from the 2011 IJCAI Workshop, Barcelona, Spain, July 16-17, 2011
Explanation-Aware Computing, Papers from the 2005 AAAI Fall Symposium, November 4-6, 2005, Arlington, Virginia, USA
Towards Explanation-Aware Social Software: Applying the Mining and Analysis Continuum of Explaining
Computational Explanations for Report Generation in Intelligence Analysis
Identifying and Explaining Map Quality Through Provenance: A User Study
Explanation-Aware Computing, Papers from the 2007 AAAI Workshop, Vancouver, British Columbia, Canada, July 22-23, 2007
Explaining Ontology-Based Information Extraction in the NEPOMUK Semantic Desktop
Collaborative Construction and Structuring of Explanations in Knowledge-Based Systems: A Discursive Framework
Improving User and Decision Support System Teamwork: An Approach Based on Shared Mental Models
Designing Explanation Aware Systems: The Quest for Explanation Patterns
Monitoring and explaining reasoning processes in a dialogue system's input interpretation step
Learning Models from Temporal-Logic Properties via Explanations
Explanation-aware Computing, Papers from the 2009 IJCAI Workshop, Pasadena, California , USA, July 11-12, 2009
What Just Happened? Explaining the Past in Planning and Execution
Explaining Why Something is Warranted in Defeasible Logic Programming
Explanations and Proof Trees
Explanation-aware Computing, Papers from the 2008 ECAI Workshop, Patras, Greece, July 21-22, 2008. University of Patras
Explaining Results from Information Retrieval and Integration
Learning Event Models that Explain Anomalies
A Cognitive Model for the Generation and Explanation of Behaviour in Virtual Training Systems
Explanation Support for OWL Authoring
Generating Explanations using an Automated Planner and Modeling Reasoning Processes, Skills and Knowledge
Scientific Explanation and Computation
Explanations in Context-Aware Systems
Explanations and Privacy in Intelligent Social Awareness Applications
A Categorization of Explanation Questions for Task Processing Systems
A Temporal Abductive Diagnostic Process for Runtime Properties Violations
Learning to Explain with ABML
A Framework for Explaining Reasoning in Description Logics
An Automated Explanation Approach for a Decision Support System based on MCDA
Minimal Sufficient Explanations for MDPs
Explanation Styles in iDocumen
How to Build Explanations of Automated Proofs: A Methodology and Requirements on Domain Representations
Justifying Semantic Search Results By Means Of Semantic Frequency Classes
Inclusive by Design: Enhancing Easy-to-Read Content through User-Centric Approaches
Report on the 2nd Symposium on NLP for Social Good
Proceedings of the 2nd Symposium on NLP for Social Good (NSG 2024), Liverpool, United Kingdom, April 25-26, 2024
SDGi Corpus: A Comprehensive Multilingual Dataset for Text Classification by Sustainable Development Goals
Digital Twins in Healthcare: A forefront for knowledge representation techniques
MADS: A Multi-modal Academic Document Segmentation Dataset for Smart Question Bank Management
Exploring Collective Identity, Efficacy Beliefs, Sentiment and Emotions in German Environmental Movements: A Natural Language Processing Approach
Using C-XSC for High Performance Verified Computing
Parallel Electronic Structure Calculations Using Multiple Graphics Processing Units (GPUs)
Distributed Simulation of a Set of Elastic Macro Objects
A Case Study in High-Performance Mixed-Language Programming
On Efficiency of Tightening Bounds in Interval Global Optimization
Distributed Evolutionary Computing System Based on Web Browsers with JavaScript
Applied Parallel Computing, Computations in Physics, Chemistry and Engineering Science, Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995, Proceedings
Design, Construction and Use of the FISH Server
The Design, Implementation, and Evaluation of a Banded Linear Solver for Distributed-Memory Parallel Computers
ALPS: A Software Framework for Parallel Space-Time Adaptive Processing
Porting Production Level Quantum Chromodynamics Code to Graphics Processing Units - A Case Study
Simulation of Fluid Dynamical Flow Problems
New Parallel Architecture for Modular Multiplication and Squaring Based on Cellular Automata
Fast and Reliable Random Number Generators for Scientific Computing
A Model for Efficient Onboard Actualization of an Instrumental Cyclogram for the Mars MetNet Mission on a Public Cloud Infrastructure
Parallel Two-Sided Sylvester-Type Matrix Equation Solvers for SMP Systems Using Recursive Blocking
Wave Propagation in Urban Microcells: a Massively Parallel Approach Using the TLM Method
A High Parallel Procedure to Initialize the Output Weights of a Radial Basis Function or BP Neural Network
Deploying Fault-Tolerance and Task Migration with NetSolve
Rapid Development of High-Performance Out-of-Core Solvers
Visualizing Katrina - Merging Computer Simulations with Observations
Applied Parallel Computing, State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers
Statistical Properties of Dissipative MHD Accelerators
Automated Fitting and Rational Modeling Algorithm for EM-Based S-Parameter Data
A Technique for Parallel Loop Execution
An Overview of an Architecture Proposal for a High Energy Physics Grid
COMODI: Architecture for a Component-Based Scientific Computing System
Visualization of CFD Computations
Seismic Data Processing: Parallel and Conservative Computations on the Multitransputer System
Parallel Wavelet Transforms
Algebraic Multigrid Solver on Clusters of CPUs and GPUs
Applications of HPCN in Manufacturing Industry
Preconditioning for Large Scale Micro Finite Element Analyses of 3D Poroelasticity
Multi-Target Vectorization with MTPS C++ Generic Library
Blocked Schur Algorithms for Computing the Matrix Square Root
Automatic Performance Analysis of OpenMP Codes on a Scalable Shared Memory System Using Periscope
Trends in Large Scale Computing: An Introduction
Making Hybrid Tsunami Simulators in a Parallel Software Framework
Improving the Performance of Large-Scale Unstructured PDE Applications
Comparison of Two Image-Space Subdivision Algorithms for Direct Volume Rendering on Distributed-Memory Multicomputers
Rapid Development of High-Performance Linear Algebra Libraries
Parallel Triangular Sylvester-Type Matrix Equation Solvers for SMP Systems Using Recursive Blocking
A ScaLAPACK-Style Algorithm for Reducing a Regular Matrix Pair to Block Hessenberg-Triangular Form
High-Performance Simulation of Evolutionary Aspects of Epidemics
Epitaxial Surface Growth with Local Interaction, Parallel and Non-parallel Simulations
Streaming Model Computation of the FDTD Problem
High-Level User Interfaces for the DOE ACTS Collection
Computational Chemistry Studies of LIGNOLs
Parallel Programming in Morpho
Communications Latency Hiding Techniques for a Reconfigurable Optical Interconnect: Benchmark Studies
Scheduling of a Parallel Workload: Implementation and Use of the Argonne Easy Scheduler at PDC
From First Principles to Industrial Applications
Memory-Efficient Sierpinski-Order Traversals on Dynamically Adaptive, Recursively Structured Triangular Grids
Implementation and Evaluation of Quadruple Precision BLAS Functions on GPUs
Performance Analysis for Parallel Adaptive FEM on SMP Clusters
Specialized Spectral Division Algorithms for Generalized Eigenproblems Via the Inverse-Free Iteration
Evaluation of MPI's One-Sided Communication Mechanism for Short-Range Molecular Dynamics on the Origin2000
Parallel Inner Product-Free Algorithm for Least Squares Problems
Enhanced Services for Remote Model Reduction of Large-Scale Dense Linear Systems
Superscalar GEMM-based Level 3 BLAS - The On-going Evolution of a Portable and High-Performance Library
Optimization of Parallel Algorithms on Cluster of SMP's
Parallel Information Retrieval with Query Expansion
Portable Implementation of Real-Time Signal Processing Benchmarks on HPC Platforms
A Simulation Model for Forest Fires
Advanced Optimizations for Parallel Irregular Out-of-Core Programs
Parallel Computation of the Eigenstructure of Toeplitz-plus-Hankel Matrices on Multicomputers
CoMPI- Configuration of Collective Operations in LAM/MPI Using the Scheme Programming Language
Grid Data Management: Minisymposium Abstract
Parallel Detection of Interval Overlapping
High-Performance Computers: Yesterday, Today, and Tomorrow
Bioinformatics and Computational Biology: Minisymposium Abstract
An Algorithm to Evaluate Spectral Densities of High-Dimensional Stationary Diffusion Stochastic Processes with Non-linear Coefficients: The General Scheme and Issues on Implementation with PVM
A Framework for Modeling Organization Structure in Role Engineering
Direct and Large Eddy Simulations of Thermo-Convective Flows
Parallel Discrete Event Simulations of Grid-Based Models: Asynchronous Electromagnetic Hybrid Code
Improving the Performance of Scientific Parallel Applications in a Cluster of Workstations
HPC - What Might the Future Hold?
Performance of Taylor Model Methods for Validated Integration of ODEs
An Interval Finite Difference Method of Crank-Nicolson Type for Solving the One-Dimensional Heat Conduction Equation with Mixed Boundary Conditions
Parallel Methods for Fluid-Structure Interaction
Load Balancing in a Network Flow Optimization Code
Shared Memory and Message Passing Implementations of Parallel Algorithms for Numerical Integration
Performance Evaluation and Design of Hardware-Aware PDE Solvers: An Introduction
Implementing Linear Algebra Routines on Multi-core Processors with Pipelining and a Look Ahead
Distributed and Parallel Computing of Short-Range Molecular Dynamics
Performance Tuning on Parallel Systems: All Problems Solved?
Grid Computing: Enabling a Vision for Collaborative Research
InterCell: A Software Suite for Rapid Prototyping and Parallel Execution of Fine Grained Applications
Automatic Parallelization of the AVL FIRE Benchmark for a Distributed-Memory System
New Graph Model and Its Routing Algorithm for Rearrangeable Networks
LAPACK-Style Codes for Pivoted Cholesky and QR Updating
Software Engineering and Problem Solving Environments for Scientific Computing: An Introduction
A Quasi-Parallel Realization of the Investment Frontier in Computer Resource Allocation Using Simple Genetic Algorithm on a Single Computer
Cellular Automata Modeling of Snow Transport by Wind
A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems
Modernization of Legacy Application Software
A Cache-Aware Algorithm for PDEs on Hierarchical Data Structures
New Algorithms for Statistical Analysis of Interval Data
Preliminary Experiences with Extrapolation Methods for Parallel Solution of Differential Algebraic Equations
Automatic Derivation of Linear Algebra Algorithms with Application to Control Theory
Fair Metacomputer - FMC
Efficiently Implementing Monte Carlo Electrostatics Simulations on Multicore Accelerators
A Self-Adaptable Distributed Evolutionary Algorithm to Tackle Space Planning Problems
Parallel Algorithms for Balanced Truncation Model Reduction of Sparse Systems
TreeP : A Self-reconfigurable Topology for Unstructured P2P Systems
Grid Application Development on the Basis of Web Portal Technology
Load Balancing for the Numerical Solution of the Navier-Stokes Equations
Object-Oriented Approach to Finite Element Modeling on Clusters
Interval Methods: An Introduction
Partitioning an Array onto a Mesh of Processors
Three Algorithms for Cholesky Factorization on Distributed Memory Using Packed Storage
Numerical Algorithms for the Cray T3D
Grid Data Integration Based on Schema Mapping
Applying Parallel Direct Solver Techniques to Build Robust High Performance Preconditioners
A Quantitative Approach for Architecture-Invariant Parallel Workload Characterization
Program Generation Techniques for the Development and Maintenance of Numerical Weather Forecast Grid Models
A Parallel Grid Based PSE for EHL Problems
Multi-threaded Nested Filtering Factorization Preconditioner
A Parallel Version of the Quasi-Minimal Residual Method, Based on Coupled Two-Term Recurrences
Spatial Genetic Algorithm and Its Parallel Implementation
A Combined Linear and Nonlinear Preconditioning Technique for Incompressible Navier-Stokes Equations
Partial Approximation of the Master Equation by the Fokker-Planck Equation
Free Energy Monte Carlo Simulations on a Distributed Network
Multifrontal Solvers Within the PARASOL Environment
The Full Quantum Mechanical Three Body Problem of H 2 +
Feedback Guided Scheduling of Nested Loops
High Performance Computational Chemistry: NWChem and Fully Distributed Parallel Applications
Topology Aware Process Mapping
Parallel Solution of Sparse Problems by Using a Sequence of Large Dense Blocks
Interval-Based Markov Decision Processes for Regulating Interactions Between Two Agents in Multi-agent Systems
Parallelization Techniques for Tabu Search
Parallel Operating System for MPP System: Design and Implementations
Adaptive Polynominal Preconditioners for the Conjugate Gradient Algorithm
Heterogeneous Processing: A Combined Approach
Simulations in Geophysics and Space Physics: Minisymposium Abstract
Evaluating Parallel Algorithms for Solving Sylvester-Type Matrix Equations: Direct Transformation-Based Versus Iterative Matrix-Sign-Function-Based Methods
Reliable Computation of Equilibrium States and Bifurcations in Nonlinear Dynamics
Cluster Computing: The Wave of the Future?
Parallelization of the Mesh Refinement Algorithm of the FDEM Program Package
Model Order Reduction for Large Scale Engineering Models Developed in ANSYS
Efficient Parallel Solution to Calculate All Cycles in Graphs
Dynamic Domain Decomposition and Load Balancing for Parallel Simulations of Long-Chained Molecules
Parallel Variants of the Multishift QZ Algorithm with Advanced Deflation Techniques
Introduction to the "HPC Interval Methods" Minisymposium
Restructuring Irregular Computations for Distributed Systems Using Mobile Agents
PIT: A Library for the Parallelization of Irregular Problems
A Scalable Parallel Assembly for Irregular Meshes Based on a Block Distribution for a Parallel Block Direct Solver
The Distributed Interval Geometric Machine Model
HPC-MW: A Problem Solving Environment for Developing Parallel FEM Applications
A Neural Classifier for Radar Images
Supporting SLA Negotiation for QoS-Enabled Simulation Services in a Medical Grid Environment
Parallelization Strategies for the VMEC Program
Parallelization Strategies for Tree N-body Codes
On the Use of Intervals in Scientific Computing: What Is the Best Transition from Linear to Quadratic Approximation?
Some Experiences on the Accuracy and Parallel Performance of OpenFOAM for CFD in Water Turbines
Constructing Flexible, Yet Run Time Efficient PDE Solvers
PCJ - New Approach for Parallel Computations in Java
Towards Cache-Optimized Multigrid Using Patch-Adaptive Relaxation
A Python Module for PDE-Based Numerical Modelling
An Environment for the Parallel Solution of Coupled Problems on Structured Grids
Automatic Performance Tuning for the Multi-section with Multiple Eigenvalues Method for Symmetric Tridiagonal Eigenproblems
Grid Enabling Your Data Resources with OGSA-DAI
Advanced Algorithms and Software Components for Scientific Computing: An Introduction
Parallel Algorithms for Triangular Sylvester Equations: Design, Scheduling and Saclability Issues
Performance Optimization of 3D Multigrid on Hierarchical Memory Architectures
Using the Second-Order Information in Pareto-set Computations of a Multi-criteria Problem
Modified Dorn's Algorithm with Improved Speed-Up
The IBM Parallel Engineering and Scientific Subroutine Library
Analysis of Gravitational Wave Signals on Heterogeneous Architectures
Fast Wavelet Transform Utilizing a Multicore-Aware Framework
Impact of Asynchronism on GPU Accelerated Parallel Iterative Computations
Wavelet Transforms Computing on PVM
Atomistic Simulation Studies of Polymers and Water
Data-Parallel Molecular Dynamics with Neighbor-Lists
Cache Blocking
Parallel and Blocked Algorithms for Reduction of a Regular Matrix Pair to Hessenberg-Triangular and Generalized Schur Forms
Development of a Stencil Compiler for One-Dimensional Convolution Operators on the CM-5
Agent-Based Societies for the Sharing, Brokerage and Allocation of Grid Resources
Implementing a Particle-Fluid Model of Auroral Electrons
Counting the Number of Connected Components of a Set and Its Application to Robotics
Parallel Tight-Binding Molecular Dynamics Code Based on Integration of HPF and Optimized Parallel Libraries
Monitoring of Performance of PVM Applications on Virtual Network Computer
PAS2P Tool, Parallel Application Signature for Performance Prediction
Implementation of a Black-Box Global Optimization Algorithm with a Parallel Branch and Bound Template
A Vectorization Technique for a Family of Finite Difference Formulae and Its Performance Evaluation
Parallel Methods for Real-Time Visualization of Snow
Linear Algebra Computation on Parallel Machines
A General Architecture for Grid-Based PSE Toolkits
Software Architecture Issues in Scientific Component Development
A Parallel Sparse QR -Factorization Algorithm
Parallel Scientific Computing, First International Workshop, PARA '94, Lyngby, Denmark, June 20-23, 1994, Proceedings
Parallelizing an Adaptive Dynamical Grid Generator in a Climatological Trace Gas Transport Application
Workload Characterization Using the TAU Performance System
A "Single-Box" Re-routing Architecture for a 3-Stage Rearrangeable CLOS Interconnection Networks
Path Optimization with Application to Tunneling
A PAPI Implementation for BlueGene
Performance Analysis of Two Parallel Game-Tree Search Applications
NetLink: A Modern Data Distribution Approach Applied to Transparent Access of High Performance Software Libraries
Stretching Time and Length Scales in Biomolecular Modelling: Minisymposium Abstract
A Flexible Privilege Management Scheme for Role Graph Model
Scientific Visualization and HPC Applications: Minisymposium Abstract
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach
A New Monte Carlo Method for the Titration of Molecules and Minerals
Concurrency in Feature Analysis
Parallelization of a Local Area Ocean Model
A Master-Worker Type Eigensolver for Molecular Orbital Computations
Monte Carlo Simulations of Spin Systems on Multi-core Processors
Adapting Distributed Scientific Applications to Run-Time Network Conditions
Multicore and Accelerator Development for a Leadership-Class Stellar Astrophysics Code
Optimal Scheduling, Decomposition, and Parallelisation
Cache Oblivious Matrix Operations Using Peano Curves
An Approach for Semiautomatic Locality Optimizations Using OpenMP
Solving Linear Recurrence Systems on a Cray Y-MP
Coarse Graining Biomolecular Systems
Ship Hull Hydrodynamic Analysis Using Distributed Shared Memory
Parallel Computation of Spectral Portrait of Large Matrices
Dynamic Clusters Available Under Clusterix Grid
Parallel Adaptive Mesh Refinement for Large Eddy Simulation Using the Finite Element Method
Efficient Key Distribution Protocol for Electronic Commerce in Mobile Communications
High-Performance Graph Algorithms from Parallel Sparse Matrices
A Proposal for Parallel Sparse BLAS
P_ARPACK: An Efficient Portable Large Scale Eigenvalue Package for Distributed Memory Parallel Architectures
A Block Fourier Decomposition Method
Partitioning Sparse Rectangular Matrices for Parallel Computations of Ax and A T v
Performance of an IBM Pwr4 Node for the GEMS TD Codes and Parallacs
A Local Refinement Algorithm for Data Partitioning
Formal Specification of Multicomputers
The EFFECT System for Parallel Programming
Parallel Feature Selection for Regularized Least-Squares
Improvements of a Fast Parallel Poisson Solver on Irregular Domains
Forward Dependence Folding as a Method of Communication Optimization in SPMD Programs
A Parallel Algorithm for Computing the Extremal Eigenvalues of Very Large Sparse Matrices
Grids for Scientific Computing: Minisymposium Abstract
Automated Performance Analysis Using ASL Performance Properties
Cache-Oblivious Algorithms and Matrix Formats for Computations on Interval Matrices
Performance Tuning IBM RS/6000 POWER2 Systems
Quantum Mechanical Treatment of Reactive Scattering Problems
Benchmarking the Cache Memory Effect
Hybrid Parallelization of CFD Applications with Dynamic Thread Balancing
Direct Sparse Factorization of Blocked Saddle Point Matrices
Parallelising Large Applications
Minimal Data Copy for Dense Linear Algebra Factorization
Scientific Software Libraries for Scalable
Semi-automatic Generation of Grid Computing Interfaces for Numerical Software Libraries
Limits to Nonlinear Inversion
Study of Load Balancing Strategies for Finite Element Computations on Heterogeneous Clusters
Data Management for the World's Largest Machine
Hyper-Rectangle Selection Strategy for Parallel Adaptive Numerical Integration
On the Efficient Generation of Taylor Expansions for DAE Solutions by Automatic Differentiation
Multi-level mu -Finite Element Analysis for Human Bone Structures
Parallelization of a Lattice Boltzmann Suspension Flow Solver
Towards an Automatic Portation of Programs from nCUBE2 to KSR1
Efficient Implementation of Interval Matrix Multiplication
An Efficient Pointer Protection Scheme to Defend Buffer Overflow Attacks
Applied Parallel Computing Advanced Scientific Computing, 6th International Conference, PARA 2002, Espoo, Finland, June 15-18, 2002, Proceedings
Experiences in Numerical Software on IBM Distributed Memory Architectures
A Practical Method for On-the-Fly Data Race Detection
Applied Parallel Computing, Industrial Computation and Optimization, Third International Workshop, PARA 96, Lyngby, Denmark, August 18-21, 1996, Proceedings
Applying High Performance Computing Techniques in Astrophysics
The Finite Element Method Applied to the Exterior Helmholtz Problem on the IBM SP-1
Iterative Moment Method for Electromagnetic Transients in Grounding Systems on CRAY T3D
Lattice Field Theory in a Parallel Environment
Towards a Parallel Multilevel Preconditioned Maxwell Eigensolver