yusuke1997/dblp-id-title huggingface dataset:
Confluent and Coherent Equational Term Rewriting Systems: Application to Proofs in Abstract Data Types
Graphs and Rational Expressions Denoting Regular Trees
Some Results on Top-Context-Free Tree Languages
On the Decidability of Model Checking for Several µ-calculi and Petri Nets
Patterns in Trees
Equivalence of Finite-Valued Bottom-up Finite State Tree Transducers Is Decidable
A Lower Bound on the Growth of Functions Computed by Tree Transductions
Sur un résultat récent de Laurent Chottin
The Area Determined by Underdiagonal Lattice Paths
Regular Characterizations of Macro Tree Transducers
A # P-Complete Problem over Arithmetical Trees
Compilative Constructive Negation in Constraint Logic Programs
A Tree Pattern Matching Algorithm with Reasonable Space Requirements
Proofs in the Final Algebra
Computable Directory Queries
Prefix and Perfect Languages
Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract)
On the Power of Bounded Concurrency II: The Pushdown Automata Level
L'arbre des cycles d'un graphe
Unification in Primal Algebras
Full Approximatibility of a Class of Problems over Power Sets
Differents Types de Derivations Infinites Dans les Grammaires Algebriques d'Arbres
Algebraic Theory of Parameterized Specifications with Requirements
Denotational, Causal, and Operational Determinism in Event Structures
On the analysis of tree-matching algorithms
Probabilistic Ianov's Schemes
Bottom-Up Recursion in Trees
Nondeterministic Automata with Concurrency Relations and Domains
Proving Systolic Arrays
Yields of Infinite Trees
Superposition in Picture Languages
A Survey of NLC Grammars
Must Preorder in Non-Deterministic Untyped Lambda-Calculus
CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings
Algebraic and Combinatorial Properties of Simple, Coloured Walks
Generalizations of the Periodicity Theorem of Fine and Wilf
Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems
Open Maps, Behavioural Equivalences, and Congruences
Continuite des transducteurs d'états finis d'arbes
Applied Tree Enumerations
A Complete Type Inference Algorithm for Simple Intersection Types
Generalized Heterogeneous Algebras and Partial Interpretations
ML Typability is DEXTIME-Complete
Alternating Finite Automata on omega-Words
Remarks on the Pyramidal Structure
Proofs by Inducting in Equational Theories with Relations Between Constructors
CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings
Full Abstraction for Lambda Calculus with Resources and Convergence Testing
An Algebraic Formalism for Graphs
Probabilistic Domains
Partially Ordered Sorts in Algebraic Specifications
Topological Bandwidth
Séries formelles reconnaissables d'arbres et applications
Proprietes de Cloture d'une Extension de Transducteurs d'Arbres Deterministes
Generation of trees
Unfolding Omega nets into trees (Résumé)
An Application of the Theory of Graphs and Hypergraphs to the Decomposition of Relational Database Schemes
Applicative Information Systems
A Theory of Representable Cpo's
Modulo Counting Quantifiers Over Finite Trees
A Categorical Treatment of Pre- and Post Conditions
La programmaion fonctionnelle de Backus est-elle système de manipulation d'arbres?
Quelques propriétés des arbres penchés récursifs
CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings
On global word definability and constructively definable sets in N n
The data type ent and related operations in a linguistically oriented programming language
Varieties of Increasing Trees
Untyped Lambda-Calculus with Input-Output
Final Semantics for a Higher Order Concurrent Language
Algebraic Specification with Built-in Domain Constructions
Manipulation d'arbres syntaxiques et contruction de programmes (Résumé)
CAAP '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
On Counting and Approximation
Parameter-Reduction of Higher Level Grammars (Extended Abstract)
Probabilistic Analysis of Some Distributed Algorithms
Probabilistic Analysis of an Election Algorithm in a Tree
On the Regular Structure of Prefix Rewriting
A Programming Language for Deriving Hypergraphs
Synthesis of subtree rewriting systems behaviour by solving equations
On Projective and Separable Properties
Decidable Properties of Monadic Recursive Schemas with a Depth Parameter
Lessons Learned from a Performance Analysis and Optimization of a Multiscale Cellular Simulation
An Efficient Compressible Multicomponent Flow Solver for Heterogeneous CPU/GPU Architectures
Parallelized Dimensional Decomposition for Large-Scale Dynamic Stochastic Economic Models
Aphros: High Performance Software for Multiphase Flows with Large Scale Bubble and Drop Clusters
Preconditioning Nonlinear Conjugate Gradient with Diagonalized Quasi-Newton
Distributed-memory simulations of turbulent flows on modern GPU systems using an adaptive pencil decomposition library
Understanding the Computing and Analysis Needs for Resiliency of Power Systems from Severe Weather Impacts
Performance Optimisation of the Parallel CFD Code MGLET across Different HPC Platforms
In-situ assessment of device-side compute work for dynamic load balancing in a GPU-accelerated PIC code
Leveraging Large Language Models for Code Translation and Software Development in Scientific Computing
Tetrahedral and Voxel Finite Elements with Orthogonal Discontinuous Basis Functions for Explicit Scalar Wave Propagation Analysis
MRG8: Random Number Generation for the Exascale Era
A High Performance Computing Framework for Multiphase, Turbulent Flows on Structured Grids
Massive Scaling of MASSIF: Algorithm Development and Analysis for Simulation on GPUs
HiPerRAG: High-Performance Retrieval Augmented Generation for Scientific Insights
Benchmarking of state-of-the-art HPC Clusters with a Production CFD Code
Joint Inverse Medium and Optimal Control Problem for Acoustic Waves
Runtime Steering of Molecular Dynamics Simulations Through In Situ Analysis and Annotation of Collective Variables
Applications of flexible spatial and temporal discretization techniques to a numerical weather prediction model
AI Super-Resolution Subfilter Modeling for Multi-Physics Flows
Proceedings of the Platform for Advanced Scientific Computing Conference, PASC 2024, Zurich, Switzerland, June 3-5, 2024
A Histogram-Free Multicanonical Monte Carlo Algorithm for the Basis Expansion of Density of States
PASC '22: Platform for Advanced Scientific Computing Conference, Basel, Switzerland, June 27 - 29, 2022
A High-Performance Distributed Object-Store for Exascale Numerical Weather Prediction and Climate
PASC '21: Platform for Advanced Scientific Computing Conference, Geneva, Switzerland, July 5-9, 2021
Synthesizing Particle-In-Cell Simulations through Learning and GPU Computing for Hybrid Particle Accelerator Beamlines
Reducing the Impact of I/O Contention in Numerical Weather Prediction Workflows at Scale Using DAOS
Urgent Supercomputing of Earthquakes: Use Case for Civil Protection
Exploiting symmetries for preconditioning Poisson's equation in CFD simulations
Scalable GPU-Enabled Creation of Three Dimensional Weather Fronts
Scaling Resolution of Gigapixel Whole Slide Images Using Spatial Decomposition on Convolutional Neural Networks
Distributed, Shared-Memory Parallel Triangle Counting
Toward More Usable, Reproducible, and Sustainable Scientific Software: The Impact of User-Centered Design in Research Software Development
MINT: a library that conserves vorticity or lateral fluxes when interpolating vector fields
Towards Automated Algebraic Multigrid Preconditioner Design Using Genetic Programming for Large-Scale Laser Beam Welding Simulations
Asynchronous Task-Based Parallelization of Algebraic Multigrid
(μ, λ)-CCMA-ES for Constrained Optimization with an Application in Pharmacodynamics
MultIO: A Framework for Message-Driven Data Routing For Weather and Climate Simulations
Simulation of droplet dispersion in COVID-19 type pandemics on Fugaku
Evaluating the Influence of Hemorheological Parameters on Circulating Tumor Cell Trajectory and Simulation Time
X-composer: enabling cross-environments in-situ workflows between HPC and cloud
Longitudinal Effects on Plant Species Involved in Agriculture and Pandemic Emergence Undergoing Changes in Abiotic Stress
FPGA Acceleration for HPC Supercapacitor Simulations
Stream-AI-MD: streaming AI-driven adaptive molecular simulations for heterogeneous computing platforms
On the Robustness and Prospects of Adaptive BDDC Methods for Finite Element Discretizations of Elliptic PDEs with High-Contrast Coefficients
Progress towards accelerating the unified model on hybrid multi-core systems
Topological Interpretability for Deep Learning
Space-Time Parallel Scaling of Parareal with a Physics-Informed Fourier Neural Operator Coarse Propagator Applied to the Black-Scholes Equation
Performance Evaluation of a Two-Dimensional Flood Model on Heterogeneous High-Performance Computing Architectures
Using Read-After-Read Dependencies to Control Task-Granularity
Data Assimilation for Robust UQ Within Agent-Based Simulation on HPC Systems
Streaming Generalized Canonical Polyadic Tensor Decompositions
Load Balancing in Large Scale Bayesian Inference
Enabling Performance Portability for Shallow Water Equations on CPUs, GPUs, and FPGAs with SYCL
Performance optimization and load-balancing modeling for superparametrization by 3D LES
A Massively Parallel Algorithm for the Approximate Calculation of Inverse p-th Roots of Large Sparse Matrices
Efficient Computation of Large-Scale Statistical Solutions to Incompressible Fluid Flows
Scheduling Finite Difference Approximations for DAG-Modeled Large Scale Applications
Saddle Point Search Algorithms for Variational Density Functional Calculations of Excited Electronic States with Self-Interaction Correction
Prediction of Time-to-Solution in Material Science Simulations Using Deep Learning
Performance Analysis of an Efficient Algorithm for Feature Extraction from Large Scale Meteorological Data Stores
Proceedings of the Platform for Advanced Scientific Computing Conference, PASC 2025, FHNW University of Applied Sciences and Arts Northwestern Switzerland, Brugg-Windisch, Switzerland, June 16-18, 2025
Scalable low-rank factorization using a task-based runtime system with distributed memory
Porting the COSMO Weather Model to Manycore CPUs
SWIFT: Using Task-Based Parallelism, Fully Asynchronous Communication, and Graph Partition-Based Domain Decomposition for Strong Scaling on more than 100, 000 Cores
Proceedings of the Platform for Advanced Scientific Computing Conference, PASC 2023, Davos, Switzerland, June 26-28, 2023
Performance Study of Convolutional Neural Network Architectures for 3D Incompressible Flow Simulations
Analytical PAW Projector Functions for Reduced Bandwidth Requirements
Evaluating the Arm Ecosystem for High Performance Computing
Flow field prediction on large variable sized 2D point clouds with graph convolution
Towards a GPU-Parallelization of the neXtSIM-DG Dynamical Core
Reducing communication in the conjugate gradient method: a case study on high-order finite elements
FourCastNet: Accelerating Global High-Resolution Weather Forecasting Using Adaptive Fourier Neural Operators
PETScML: Second-Order Solvers for Training Regression Problems in Scientific Machine Learning
Pareto Optimal Swimmers
Abstractions and Directives for Adapting Wavefront Algorithms to Future Architectures
iMagine: AI-Powered Image Data Analysis in Aquatic Science
SoftCache: A Software Cache for PCIe-Attached Hardware Accelerators
ABCpy: A User-Friendly, Extensible, and Parallel Library for Approximate Bayesian Computation
Accurate and efficient Jones-Worland spectral transforms for planetary applications
Low-Order Finite Element Solver with Small Matrix-Matrix Multiplication Accelerated by AI-Specific Hardware for Crustal Deformation Computation
Towards Data-Driven Dynamic Surrogate Models for Ocean Flow
PASC '20: Platform for Advanced Scientific Computing Conference, Geneva, Switzerland, June 29 - July 1, 2020
A Multivariate Approach to Ensure Statistical Reproducibility of Climate Model Simulations
Proceedings of the Platform for Advanced Scientific Computing Conference, PASC 2016, Lausanne, Switzerland, June 8-10, 2016
Ensuring statistical reproducibility of ocean model simulations in the age of hybrid computing
Proceedings of the Platform for Advanced Scientific Computing Conference, PASC 2018, Basel, Switzerland, July 02-04, 2018
A Portable and Efficient Lagrangian Particle Capability for Idealized Atmospheric Phenomena
Fast and Scalable Low-Order Implicit Unstructured Finite-Element Solver for Earth's Crust Deformation Problem
Parallel Algorithms for Intersection Computation
Communication bounds for convolutional neural networks
Towards Sobolev Pruning
A Generic C++ Library for Multilevel Quasi-Monte Carlo
Extreme-Scale Task-Based Cholesky Factorization Toward Climate and Weather Prediction Applications
Lockstep-Parallel Dualization of Surface Triangulations
Massively Parallel Hybrid Total FETI (HTFETI) Solver
An effective physics simulation methodology based on a data-driven learning algorithm
Load Balancing and Patch-Based Parallel Adaptive Mesh Refinement for Tsunami Simulation on Heterogeneous Platforms Using Xeon Phi Coprocessors
Proceedings of the Platform for Advanced Scientific Computing Conference, PASC 2019, Zurich, Switzerland, June 12-14, 2019
A Massively Parallel Multi-Scale FE2 Framework for Multi-Trillion Degrees of Freedom Simulations
Balanced Graph Partition Refinement using the Graph p-Laplacian
Memory reduction using a ring abstraction over GPU RDMA for distributed quantum Monte Carlo solver
SweepNet: A Lightweight CNN Architecture for the Classification of Adaptive Genomic Regions
A Scalable Framework for Numerical Simulation of Combustion in Internal Combustion Engines
Toward a big data analysis system for historical newspaper collections research
Scalable Multi-FPGA Design of a Discontinuous Galerkin Shallow-Water Model on Unstructured Meshes
Parallel space-time likelihood optimization for air pollution prediction on large-scale systems
Universal Data Junction: A Transport Layer for Data Driven Workflows
Hardware-Agnostic Interactive Exascale In Situ Visualization of Particle-In-Cell Simulations
A Smoothed Particle Hydrodynamics Mini-App for Exascale
Parallel memory-efficient computation of symmetric higher-order joint moment tensors
Hybrid Multi-GPU Distributed Octrees Construction for Massively Parallel Code Coupling Applications
Hybrid Parallel Tucker Decomposition of Streaming Data
Context Matters: Distributed Graph Algorithms and Runtime Systems: A Case Study of Distributed Graph Traversals
Solving DWF dirac equation using multi-splitting preconditioned conjugate gradient with tensor cores on NVIDIA GPUs
Ab Initio Molecular Dynamics with Sequential Electron Addition as a Tool to Find Initial Reductive Solid Electrolyte Interface Formation Reactions
Model-Based Performance Analysis of the HyTeG Finite Element Framework
Fast scalable implicit solver with convergence of equation-based modeling and data-driven learning: earthquake city simulation on low-order unstructured finite element
Performance Analysis and Optimization of Nonhydrostatic ICosahedral Atmospheric Model (NICAM) on the K Computer and TSUBAME2.5
An Efficient GPU Parallelization Strategy for Binary Collisions in Particle-In-Cell Plasma Simulations
Causal Discovery and Optimal Experimental Design for Genome-Scale Biological Network Recovery
Performance Analysis and Optimizations of ERO2.0 Fusion Code
ChASE: a distributed hybrid CPU-GPU eigensolver for large-scale hermitian eigenvalue problems
A Computational Framework to Assess the Influence of Changes in Vascular Geometry on Blood Flow
In-Silico Predictions of Drug Resistance in Lung Cancers with EGFR Mutation
Hardware Locality-Aware Partitioning and Dynamic Load-Balancing of Unstructured Meshes for Large-Scale Scientific Applications
Towards data-driven inference of stencils for discrete differential operators
OpenACC and OpenMP-Accelerated Fortran/C++ Gyrokinetic Fusion Code GENE-X for Heterogeneous Architectures
Mixed-Precision Random Projection for RandNLA on Tensor Cores
Approximate Bayesian Computation for Granular and Molecular Dynamics Simulations
Selecting Technical Papers for an Interdisciplinary Conference: The PASC Review Process
Evaluation of a Directive-Based GPU Programming Approach for High-Order Unstructured Mesh Computational Fluid Dynamics
Extreme Computing for Extreme Adaptive Optics: The Key to Finding Life Outside our Solar System
Leveraging the High Bandwidth of Last-Level Cache for HPC Seismic Imaging Applications
Proceedings of the Platform for Advanced Scientific Computing Conference, PASC 2017, Lugano, Switzerland, June 26 - 28, 2017
Scalable Riemann Solvers with the Discontinuous Galerkin Method for Hyperbolic Network Simulation
The CLAW DSL: Abstractions for Performance Portable Weather and Climate Models
Arrowhead Factorization of Real Symmetric Matrices and its Applications in Optimized Eigendecomposition
Algorithm-hardware co-design of a discontinuous Galerkin shallow-water model for a dataflow architecture on FPGA
StyleGAN as a Deconvolutional Operator for Large Eddy Simulations
ASiMoV-CCS - A New Solver for Scalable and Extensible CFD & Combustion Simulations
FIST-HOSVD: fused in-place sequentially truncated higher order singular value decomposition
CAFE AU LAIT: Compute-Aware Federated Augmented Low-Rank AI Training
Data-Driven Whole-Genome Clustering to Detect Geospatial, Temporal, and Functional Trends in SARS-CoV-2 Evolution
Automatic Global Multiscale Seismic Inversion: Insights into Model, Data, and Workflow Management
Automatic Generation of Efficient Linear Algebra Programs
Towards the Virtual Rheometer: High Performance Computing for the Red Blood Cell Microstructure
Assembling a High-Productivity DSL for Computational Fluid Dynamics
Graph Contractions for Calculating Correlation Functions in Lattice QCD
Scalable HPC & AI infrastructure for COVID-19 therapeutics
Accelerating parallel CFD codes on modern vector processors using blockettes
Refactoring the MPS/University of Chicago Radiative MHD (MURaM) model for GPU/CPU performance portability using OpenACC directives
Towards Continuous Benchmarking: An Automated Performance Evaluation Framework for High Performance Software
Scalable Genomic Context Analysis with GCsnap2 on HPC Clusters
A Scalable Object Store for Meteorological and Climate Data
A Discontinuous Galerkin Fast Spectral Method for Multi-Species Full Boltzmann on Streaming Multi-Processors
Toward Improving Boussinesq Flow Simulations by Learning with Compressible Flow
A task-based distributed parallel sparsified nested dissection algorithm
Benefits of SMT and of Parallel Transpose Algorithm for the Large-Scale GYSELA Application
Scalable Bayesian Inference of Large Simulations via Asynchronous Prefetching Multilevel Delayed Acceptance
Accelerating High-Resolution Weather Models with Deep-Learning Hardware
k-Dispatch: A Workflow Management System for the Automated Execution of Biomedical Ultrasound Simulations on Remote Computing Resources
A Parallel Solver for Graph Laplacians
Efficient Parallel Strategies For Conjugate Heat Transfer Problems
Cornerstone: Octree Construction Algorithms for Scalable Particle Simulations
Parametric Sensitivities of a Wind-driven Baroclinic Ocean Using Neural Surrogates
Accelerated CNN-based Scans for Traces of Positive Selection
Porting uintah to heterogeneous systems
Eventify: Event-Based Task Parallelism for Strong Scaling
Adaptive Optics Simulation for the World's Largest Telescope on Multicore Architectures with Multiple GPUs
On the construction of AMG prolongation through energy minimization
Towards Lattice QCD+QED Simulations on GPUs
Approximation and Optimization of Global Environmental Simulations with Neural Networks
GAIA-Chem: A Framework for Global AI-Accelerated Atmospheric Chemistry Modelling
Numerical Simulation of the Quantum Cascade Laser Dynamics on Parallel Architectures
Predictive, reactive and replication-based load balancing of tasks in Chameleon and sam(oa) 2
Extreme-Scale Multigrid Components within PETSc
Deploying Scientific Al Networks at Petaflop Scale on Secure Large Scale HPC Production Systems with Containers
A task programming implementation for the particle in cell code smilei
Libyt: A Tool for Parallel In Situ Analysis with yt, Python, and Jupyter
Increasing the Efficiency of Sparse Matrix-Matrix Multiplication with a 2.5D Algorithm and One-Sided MPI
Open Research Questions for Linguistics in Information Access
Reducing Information Variation in Text
Text- and Speech-Triggered Information Access, 8th ELSNET Summer School, Chios Island, Greece, July 15-30, 2000, Revised Lectures
Data Analysis for a Multimedia Library
Text- and Speech-Triggered Information Access: Introduction
Very Large Scale Information Retrieval
Statistical Language Modelling
A Tutorial on Pronunciation Modeling for Large Vocabulary Speech Recognition
On Parameter Selection for an Adaptive Neural Network Fuzzy Inference Controller Using Evolutionary Tuning
Object-oriented image database model
SMILEY: A web-based remote sensed imagery data mining system
Design and implementation of window NT real time email "talk"
A Load Balancing Technique for Some Coarse-Grained Multicomputer Algorithms
Instrumentation-based profiling techniques
Development of Unsupervised and Supervised Learning Systems for Multilingual Text Categorization
Reliability analysis of tree, D-tree, X-tree and DX-tree message passing architectures
Decision Tree Induction for Dynamic, High-Dimensional Data Using P-Trees
The Multi-Purpose Watermarking for Color Halftone Image Based On Wavelet and Zernike Transform
Applying program slicing to software architectures
An Efficient Algorithm for Globally Aligning DNA Sequences
Real-Time Learner Classification Using Cognitive Score
Adaptive admission control for wireless ATM networks
Silicon Prediction Models for Blast Furnace
An object-oriented hardware/software co-design paradigm
P-Tree Singular Value Decomposition Item-Feature Collaborative Filtering Algorithm for Netflix Prize
A Three State Fast Vector Quantization Algorithm Based on Code Vector Activity Detection
The effect of an intercepting cache on performance of fast page and cache DRAM
Proceedings of the ISCA 25th International Conference on Computers and Their Applications, CATA 2010, March 24-26, 2010, Sheraton Waikiki Hotel, Honolulu, Hawaii, USA
Design of New Multiplier/Squarer using Montgomery Algorithm over GF(2 m ) Based on Cellular Automata
Intelligent Model for Avian Influenza Virus Spreading
Mapping and visualization of publication networks of public university faculty in computer science and electrical engineering
A formal study of interactions in multi-agent systems
Software Correctness
A New Searchless Two-Level IFS Fractal Image Encoding Method
Intrusion Detection System for SCADA Networks
A 32-bit Residue Arithmetic Unit for High Performance Embedded Systems
Simulation of Error Control Schemes for Wireless and Satellite ATM
A Neighborhood Dependent Approach (NDA) for a Power-Aware Design of a Real-Time Video Enhancement System
Channel-Matched OFDM (CM-OFDM) for Enhanced Performance of Multiuser Systems Operating in Underwater Acoustic Channels
A Domain Parser for a Generic Models Library
19th International Conference on Computers and Their Applications, CATA 2004, March 18-20, 2004, Red Lion Hotel on Fifth Avenue, Seattle, Washington, USA
A new class of depth-size optimal parallel prefix circuits
A Novel Multi-radio Rendezvous Algorithm for Cognitive Radio Networks
Topological equivalent classes for distributed controleld (2 log2 N-1)-stage interconnection networks
Pattern recognition comparisons with fuzzy clustering algorithms
Reliable High-Speed Communication Module for Linux Cluster File System Using M-VIA
Design Considerations of Implementing a Superscalar CPU in FPGA
First steps in an evaluation of the dow theory
Spatial Proximity of Structural Attributes in Analyzing Remotely Sensed Imagery
Information technology in project-organized electronic and computer technology engineering education
Discrete Shells Origami