yusuke1997/dblp-id-title huggingface dataset:
Completeness and cocompleteness of the categories of basic pairs and concrete spaces
Preface for the special issue in homage to Martin Hofmann Part 1
Garside monoids vs divisibility monoids
Coherence in monoidal track categories
Semi-pullbacks and bisimulation in categories of Markov processes
Spatiality of countably presentable locales (proved with the Baire category theorem)
Extensions of valuations
Semantical Observations on the Embedding of Intuitionistic Logic into Intuitionistic Linear Logic
Operations and equations for coalgebras
From Kruskal's theorem to Friedman's gap condition
On The Expressiveness Of Pure Safe Ambients
Applications and extensions of Alloy: past, present and future
top-top-closed relations and admissibility
On Outward and Inward Productions in the Categorical Graph-Grammar Approach and Delta-Grammars
Behavioural equivalences for continuous-time Markov processes
Computable analysis with applications to dynamic systems
Ordinal computations
Constructive decidability of classical continuity
Observing the superposition of a single particle with the vacuum
Preserving cardinals and weak forms of Zorn's lemma in realizability models
On generalized algebraic theories and categories with families
Multi-amalgamation of rules with application conditions in ℳ-adhesive categories
A separation between divergence and Holevo information for ensembles
On the Semantics of Place/Transition Petri Nets
Formal proofs for theoretical properties of Newton's method
Type-based analysis of logarithmic amortised complexity
Bicategorical type theory: semantics and syntax
! and ? - Storage as Tensorial Strength
Restricted jump interpolation in the d.c.e. degrees
Universal algebra in UniMath
Higher dimensional automata revisited
Coherence for monoidal endofunctors
A general framework for the semantics of type theory
An Approach to Object Semantics based on Terminal Co-Algebras
Effective lambda-models versus recursively enumerable lambda-theories
Model structure on the universe of all types in interval type theory
On computability and disintegration
Properties of domain representations of spaces through dyadic subbases
Kolmogorov on the role of randomness in probability theory
Complexity Of Weak Bisimilarity And Regularity For Bpa And Bpp
The Theory of Semi-Functors
Demonic Operators and Monotype Factors
Type assignment and termination of interaction nets
Turing universality of the Biochemical Ground Form
A Cateogry-Theoretic Account of Program Modules
A constructive interpretation of Ramsey's theorem via the product of selection functions
Realizability algebras III: some examples
Preface to special issue: LINEARITY 2014
Petri nets based on Lawvere theories
Implementing Collection Classes with Monads
Positive predicate structures for continuous data
An Enrichment Theorem for an Axiomatisation of Categories of Domains and Continuous Functions
Nilpotent types and fracture squares in homotopy type theory
Synchrony versus causality in distributed systems
Smooth coalgebra: testing vector analysis
Choquet-Kendall-Matheron theorems for non-Hausdorff spaces
Domain representations of spaces of compact subsets
A general method for proving the normalization theorem for first and second order typed lambda-calculi
A quantum algorithm to approximate the linear structures of Boolean functions
Processes as Terms: Non-Well-Founded Models for Bisimulation
Full abstraction, totality and PCF
On permuting cut with contraction
Normalization and the Yoneda Embedding
TQL: a query language for semistructured data based on the ambient logic
Bisimulation as a logical relation
Bounded minimalisation and bounded counting in argument-bounded idc's
A relational model of non-deterministic dataflow
Effective Riemann mappings of multiply connected domains and Riemann surfaces
HOL-λσ: an intentional first-order expression of higher-order logic
Properties of co-operations: diagrammatic proofs
Termination of processes
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
Rigidity is undecidable
A 2-categorical proof of Frobenius for fibrations defined from a generic point
Domains of commutative C*-subalgebras
Varieties Generated by Languages with Poset Operations
Linear logic propositions as session types
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
Order algebras: a quantitative model of interaction
Quantifying opacity
Principal types as partial involutions
Simply typed fixpoint calculus and collapsible pushdown automata
Operational aspects of untyped Normalisation by Evaluation
Universal properties for universal types in bifibrational parametricity
A solution of the uniform word problem for ortholattices
On naturally continuous non-dcpo domains
Learning quantum finite automata with queries
A certified lightweight non-interference Java bytecode verifier
Limits to measurement in experiments governed by algorithms
Order-Enrichment for Categories of Partial Maps
Unary automatic graphs: an algorithmic perspective
The parametric continuation monad
An Axiomatization of Partial n-Place Operations
String and Graph Reduction Systems for Gene Assembly in Ciliates
Toward a fundamental theorem of quantal measure theory
Equational presentations of functors and monads
RPO semantics for mobile ambients
Substitution Principle and semidirect products
Universal Homogeneous Graph-Like Structures And Domains
A categorical view of varieties of ordered algebras
The order-K-ification monads
Structural subtyping for inductive types with functorial equality rules
On the elimination of some higher type quantifiers
Step Bisimulation is Pomset Equivalence on a Parallel Language Without Explicit Internal Choice
Logical relations for monadic types
Discrete-continuous and classical-quantum
Fast circular dictionary-matching algorithm
Characterizing co-NL by a group action
Abstract delta modelling
Noetherian orders
Concurrency and Loose Semantics of Open Graph Transformation Systems
On universal computably enumerable prefix codes
Preface - Special Issue on Logical Frameworks and Meta-Languages 2015
The category of iterative sets in homotopy type theory and univalent foundations
Continuous Domains as Formal Spaces
Quantales, Observational Logic and Process Semantics
Free compact 2-categories
Coherence for monoidal monads and comonads
Stochastic linearized generalized alternating direction method of multipliers: Expected convergence rates and large deviation properties
Confluence of algebraic rewriting systems
On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi
Wadge hardness in Scott spaces and its effectivization
On higher-order communication in ambient calculi
The longest common substring problem
Recognizable Sets of Graphs: Equivalent Definitions and Closure Properties
Reflexive Objects in Topological Categories
Transcendental syntax I: deterministic case
*-Autonomous Categories and Linear Logic
An explicit formula for the free exponential modality of linear logic
Quotients of countably based spaces are not closed under sobrification
A Computational Formalization for Partial Evaluation
A New Approach to Abstract Data Types, I: Informal Development
On quasi-interpretations, blind abstractions and implicit complexity
Non-uniform (hyper/multi)coherence spaces
Polygraphs of finite derivation type
Phase transition of multivariate polynomial systems
Dimension in team semantics
On Köthe Sequence Spaces and Linear Logic
Extensions of unification modulo ACUI
On asynchronous eventful session semantics
Entanglement and Hilbert space geometry for systems with a few qubits
Redexes are stable in the λ-calculus
Linear Time Computable Problems and First-Order Descriptions
Metric monads
Equivalent Definitions of Recognizability for Sets of Graphs of Bounded Tree-Width
Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras
Convolution and concurrency
Attribute-based transactions in service oriented computing
A duality between exceptions and states
Coherence for bicategorical cartesian closed structure
The Temporal Logic of Coalgebras via Galois Algebras
Domain theory and differential calculus (functions of one variable)
Domains occur among spaces as strict algebras among lax
Foreword: programming language interference and dependence
Formalization of real analysis: a survey of proof assistants and libraries
Some hierarchies of QCB 0 -spaces
The category of implicative algebras and realizability
Incomputability in Physics and Biology
Least squares approach for initial data recovery in dynamic data-driven applications simulations
Scalable shape optimization methods for structured inverse modeling in 3D diffusive processes
On the robustness and optimality of algebraic multilevel methods for reaction-diffusion type problems
From Computer Aided Design to wavelet BEM
Erratum to: Substructuring of a Signorini-type problem and Robin's method for the Richards equation in heterogeneous soil
Investigation of the potential of asymptotic homogenization for elastic composites via a three-dimensional computational study
Fast numerical upscaling of heat equation for fibrous materials
Editorial: Algorithmic requirements for HPC
An active-contour based algorithm for the automated segmentation of dense yeast populations on transmission microscopy images
Enabling advanced environmental management via remote and distributed visual data exploration and analysis
A model for transport of hydrogen sulfide in oil- and water-saturated porous media
Numerical investigation of homogenized Stokes-Nernst-Planck-Poisson systems
A curved-element unstructured discontinuous Galerkin method on GPUs for the Euler equations
Computational fluid dynamics of nanoparticle disposition in the airways: mucus interactions and mucociliary clearance
Partial evaluation of the discrete solution of elliptic boundary value problems
Reservoir description using a binary level set model
Substructuring of a Signorini-type problem and Robin's method for the Richards equation in heterogeneous soil
Algebraic multigrid for the finite pointset method
A note on tensor chain approximation
Finding and classifying critical points of 2D vector fields: a cell-oriented approach using group theory
The influence of partitioning on Domain Decomposition convergence rates
Homogenized out-of-plane shear response of three-scale fiber-reinforced composites
A balanced accumulation scheme for parallel PDE solvers
A POD framework to determine robust controls in PDE optimization
A multigrid scheme for solving convection-diffusion-integral optimal control problems
Discrete adjoint gradient evaluations for linear stress and vibration analysis
Lossy data compression reduces communication time in hybrid time-parallel integrators
Mesh-free canonical tensor products for six-dimensional density matrix: computation of kinetic energy
Automated methods for the comparison of natural languages
Two-grid optimality for Galerkin linear systems based on B-splines
Efficient multi-scale computation of products of orbitals in electronic structure calculations
GPU implementations of a relaxation scheme for image partitioning: GLSL versus CUDA
Higher-order schemes for the Laplace transformation method for parabolic problems
Improving bandwidth and time consumption in remote visualization scenarios through approximated Diff-Map calculation
Analysis of multipatch discontinuous Galerkin IgA approximations to elliptic boundary value problems
On the influence of the wall shear stress vector form on hemodynamic indicators
NeuroBox: computational mathematics in multiscale neuroscience
A time-adaptive fluid-structure interaction method for thermal coupling
Optimization problems in contracted tensor networks
Numerical solution of a phase field model for polycrystallization processes in binary mixtures
Numerical simulation of skin transport using Parareal
A three-dimensional mathematical model of active signal processing in axons
hp Adaptive finite elements based on derivative recovery and superconvergence
A semi-Lagrangian scheme with radial basis approximation for surface reconstruction
Convergence of goal-oriented adaptive finite element methods for semilinear problems
Photorealistic visualization and fluid animation: coupling of Maya with a two-phase Navier-Stokes fluid solver
Computational modeling of fluorescence loss in photobleaching
The least squares AMG Solver for the one-dimensional Helmholtz operator
ND 2 AV: N-dimensional data analysis and visualization analysis for the National Ignition Campaign
Numerical simulation of contaminant transport in groundwater using software tools of \(r^3t\)
Numerical methods for fractional diffusion
Parallel tensor sampling in the hierarchical Tucker format
Barodiffusion effects in bifurcating capillaries
A massively parallel geometric multigrid solver on hierarchically distributed grids
Solution of linear systems in high spatial dimensions
An error analysis of some higher order space-time moving finite elements
Performance comparisons of geometric multigrid solvers and balancing domain decomposition solvers
Solving an elliptic PDE eigenvalue problem via automated multi-level substructuring and hierarchical matrices
Formulation and multigrid solution of Cauchy-Riemann optimal control problems
Convergence analysis of multigrid methods with collective point smoothers for optimal control problems
A numerical study of a semi-Lagrangian Parareal method applied to the viscous Burgers equation
An improved force-directed graph layout algorithm based on aesthetic criteria
Influence of the phase accuracy of the coarse solver calculation on the convergence of the parareal method iteration for hyperbolic PDEs
Computation of best L ∞ exponential sums for 1 / x by Remez' algorithm
Parallel H-matrix arithmetic on distributed-memory systems
Comparison of two local discontinuous Galerkin formulations for the subjective surfaces problem
Numerical simulation of the motion of red blood cells and vesicles in microfluidic flows
Modelling of tunnel inflow with combination of discrete fractures and continuum
Domain decomposition and model reduction for the numerical solution of PDE constrained optimization problems with localized optimization variables
Preparation of grids for simulations of groundwater flow in fractured porous media
Architecture for modeling and simulation of technical systems along their lifecycle
Calculating ellipse overlap areas
UG 4: A novel flexible software system for simulating PDE based models on high performance computers
Interactive projection images generation for swept-based 3D display
Exploiting multilevel Toeplitz structures in high dimensional nonlocal diffusion
A geometric data structure for parallel finite elements and the application to multigrid methods with block smoothing
Evaluation of per-pixel linked lists for distributed rendering and comparative analysis
A non-intrusive parallel-in-time adjoint solver with the XBraid library
Parallelizing spectral deferred corrections across the method
Iterant recombination with one-norm minimization for multilevel Markov chain algorithms via the ellipsoid method
Robust multigrid preconditioners for cell-centered finite volume discretization of the high-contrast diffusion equation
Parallel algebraic multilevel Schwarz preconditioners for a class of elliptic PDE systems
Tensor structured evaluation of singular volume integrals
A nonlinear eigenmode solver for linear viscoelastic structures
Brain extracellular space as a diffusion barrier
Towards an efficient numerical simulation of complex 3D knee joint motion
Computational analysis of transport in three-dimensional heterogeneous materials
Three-dimensional simulation of the thermohaline-driven buoyancy of a brine parcel
Towards practical anisotropic adaptive FEM on triangular meshes: a new refinement paradigm
On the convergence of adaptive feedback loops
A 2589 line topology optimization code written for the graphics card
Mesh generation for thin layered domains and its application to parallel multigrid simulation of groundwater flow
Visualization of flow past a marine turbine: the information-assisted search for sustainable energy
Characterizing groundwater flow in the fractured rock at Äspö, Sweden
Saturation estimates for hp -finite element methods
A multigrid finite element method for reaction-diffusion systems on surfaces
A generalized Suzuki-Trotter type method in optimal control of coupled Schrödinger equations
Generalized cross approximation for 3d-tensors
Inertia based filtering of high resolution images using a GPU cluster
Visual reflection library: a framework for declarative GUI programming on the Java platform
Multigrid method for nonlinear poroelasticity equations
Adventures in adaptivity
Simulation and visualization of the Saint-Venant system using GPUs
A two level solver for h-p adaptive finite element equations
An error-resilient redundant subspace correction method
Virtual reality in advanced medical immersive imaging: a workflow for introducing virtual reality as a supporting tool in medical imaging
Boundary element methods for magnetostatic field problems: a critical view
Efficient arithmetic operations for rank-structured matrices based on hierarchical low-rank updates
Qualifying a computer program for simulating fracture flow
An Eulerian approach to transport and diffusion on evolving implicit surfaces
Developing a modelling tool for density-driven flow in complex hydrogeological structures
Non-standard bone simulation: interactive numerical analysis by computational steering
The spherical design algorithm in the numerical simulation of biological tissues with statistical fibre-reinforcement
Multilevel Monte Carlo methods and applications to elliptic PDEs with random coefficients
On efficient simulation of non-Newtonian flow in saturated porous media with a multigrid adaptive refinement solver
A parallel multigrid method for constrained minimization problems and its application to friction, contact, and obstacle problems
Efficient monolithic simulation techniques for the stationary Lattice Boltzmann equation on general meshes
Uniform tree approximation by global optimization techniques
Stable discretization of poroelasticity problems and efficient preconditioners for arising saddle point type matrices
Simulation of 3D flow and solute transport in fractured rock at Äspö, Sweden
Adaptive large eddy simulation
Hierarchical matrix arithmetic with accumulated updates
Finite dose skin penetration: a comparison of concentration-depth profiles from experiment and simulation
Highly interactive computational steering for coupled 3D flow problems utilizing multiple GPUs
Identification of equivalent topography in an open channel flow using Lagrangian data assimilation
ℋ-LU factorization on many-core systems
Drawing polytopal graphs with polymake
On optimal L 2 - and surface flux convergence in FEM
On the modeling and simulation of non-hydrostatic dam break flows
Wave propagation characteristics of Parareal
Topology optimization of electric machines based on topological sensitivity analysis
Lifting in hybrid lattice Boltzmann and PDE models
Multigrid convergence: a brief trip down memory lane
Realization of an integrated structural design process: analysis-suitable geometric modelling and isogeometric analysis
On surface meshes induced by level set functions
Implementation of a Lattice Boltzmann kernel using the Compute Unified Device Architecture developed by nVIDIA
Error analysis in determining the centroids of circular objects in images
A convection-diffusion-shape model for aberrant colonic crypt morphogenesis
Special issue on Remote visualization
A practical framework for the construction of prolongation operators for multigrid based on canonical basis functions
Flux-based level-set method for two-phase flows on unstructured grids
Special issue in computing and visualization in science (CVS) related to the European Multigrid conference, EMG 2010
Computing the eigenvalues of symmetric (H 2 ) -matrices by slicing the spectrum
Multigrid analysis of spatially resolved hepatitis C virus protein simulations
Partitioned solvers for the fluid-structure interaction problems with a nearly incompressible elasticity model
Multilevel techniques for compression and reduction of scientific data - the univariate case
An efficient approach for calculating default probabilities for cash-flow based project finance with reserve account
Hysteretic upscaled constitutive relationships for vertically integrated porous media flow
Finite elements for scalar convection-dominated equations and incompressible flow problems: a never ending story?
High performance computing of the Darmstadt stratified burner by means of large eddy simulation and a joint ATF-FGM approach
A generalization of the vertex-centered finite volume scheme to arbitrary high order
Preconditioning sparse grad-div/augmented Lagrangian stabilized saddle point systems
Numerical studies of a class of linear solvers for fine-scale petroleum reservoir simulation
Anelastic reorganisation of fibre-reinforced biological tissues
Distance field computation for geological slab surface data sets
Triangular membership function based real-time gesture monitoring system for physical disorder detection
A parallel Newton-Krylov method for optimal control of the monodomain model in cardiac electrophysiology
Preconditioning of wavelet BEM by the incomplete Cholesky factorization
The PSurface library
Utilization of empirically determined energy-optimal CPU-frequencies in a numerical simulation code
Special issue in computing and visualization in science (CVS), related to the European multigrid conference, EMG 2010
Adaptive AMG with coarsening based on compatible weighted matching
Nested multigrid methods for time-periodic, parabolic optimal control problems
Feature lines extraction for remote rendering on point model
Multigrid interpretations of the parareal algorithm leading to an overlapping variant and MGRIT
Forchheimer's correction in modelling flow and transport in fractured porous media
Coupling impedance boundary conditions for absorptive structures with spectral finite elements in room acoustical simulations
Multigrid and sparse-grid schemes for elliptic control problems with random coefficients
3d Modeling and simulation of a harpsichord
A massively parallel Eikonal solver on unstructured meshes
Matrix-free GPU implementation of a preconditioned conjugate gradient solver for anisotropic elliptic PDEs
Advanced expression templates programming
Numerical shape optimization to decrease failure probability of ceramic structures
The fuzzy interface of a drop
Time-parallel simulation of the decay of homogeneous turbulence using Parareal with spatial coarsening
Numerical simulation of gas migration through engineered and geological barriers for a deep repository for radioactive waste
Refinement of flexible space-time finite element meshes and discontinuous Galerkin methods
Multigrid methods with space-time concurrency
Fast multipole preconditioners for sparse matrices arising from elliptic equations
Modeling carbon sequestration in the Illinois Basin using a vertically-integrated approach
Local multilevel preconditioners for elliptic equations with jump coefficients on bisection grids
A network model for the biofilm growth in porous media and its effects on permeability and porosity
ℋ-FAINV: hierarchically factored approximate inverse preconditioners
Visualizing multiple error-sensitivity fields for single camera positioning
Multigrid methods for convergent mixed finite difference scheme for Monge-Ampère equation
Raga identification from Hindustani classical music signal using compositional properties
A model for the effective COVID-19 identification in uncertainty environment using primary symptoms and CT scans
Designing a spoken dialogue interface to an intelligent cognitive assistant for people with dementia
Web-based education of the elderly improves drug utilization literacy: A randomized controlled trial
Sources of variation in primary care clinical workflow: Implications for the design of cognitive support
Using the M/G/∞ queueing model to predict inpatient family medicine service census and resident workload