yusuke1997/dblp-id-title huggingface dataset:
Graph-Theoretic Techniques for Web Content Mining
Potential Fields as an External force and Algorithmic Improvements in Deformable Models
Self-Supervised Adaptation for on-Line Script Text Recognition
Decomposition Methodology for Knowledge Discovery and Data Mining - Theory and Applications
Signature Analysis, Verification and Synthesis in Pervasive Environments
A Statistical Model for Biometric Verification
An Appearance-Based Method for parametric Video Registration
Combining Particle filter and Population-Based Metaheuristics for Visual Articulated Motion Tracking
Genetic Programming for Object Detection: a Two-phase Approach with an Improved Fitness Function
A Novel Approach to Sparse Histogram Image Lossless Compression using JPEG2000
Multimodal Interactive Handwritten Text Transcription
Graph Classification and Clustering Based on Vector Space Embedding
Using Data Mining Technology for Terrorist Detection on the Web
Hand Tracking and Gesture Recognition for Human-Computer Interaction
Using Restricted Random Walks for Library Recommendations and Knowledge Space Exploration
Ear Biometrics Based on Geometrical Feature Extraction
A Comparison Framework for walking performances using aSpaces
Kernels for Structured Data
Relevance of multifractal Textures in Static Images
Fighting Terror in Cyberspace
Identifying and Analyzing User Model Information from Collaborative Filtering Datasets
A PDE Method to Segment Image Linear Objects with Application to Lens distortion Removal
The lattice of flow diagrams
Symposium on Semantics of Algorithmic Languages
Examples of formal semantics
Procedures and parameters: An axiomatic approach
Structure and meaning of elementary programs
Axiom systems for simple assignment statements
Algebraic theories and program schemes
Towards automatic program synthesis
A property of linear conditionals
Proving correctness of implementation techniques
Mathematical theory of partial correctness
Experience with inductive assertions for proving programs correct
Program schemes, programs and logic
Semantics of algol-like statements
Formalization of storage properties
TFETI Scalable Solvers for Transient Contact Problems
Computational Partial Differential Equations - Numerical Methods and Diffpack Programming
Non-intrusive Uncertainty Propagation with Error Bounds for Conservation Laws Containing Discontinuities
Implementation of Intrusive Polynomial Chaos in CFD Codes and Application to 3D Navier-Stokes
Time Domain Maxwell Equations Solved with Schwarz Waveform Relaxation Methods
MYX: Runtime Correctness Analysis for Multi-Level Parallel Programming Paradigms
Discretization Methods and Iterative Solvers Based on Domain Decomposition
TerraNeo - Mantle Convection Beyond a Trillion Degrees of Freedom
A Two-Level Schwarz Preconditioner for Heterogeneous Problems
Parallel Adaptive Deflated GMRES
Adaptive Uncertainty Quantification for Computational Fluid Dynamics
EXAHD: A Massively Parallel Fault Tolerant Sparse Grid Approach for High-Dimensional Turbulent Plasma Simulations
Hardware-Based Efficiency Advances in the EXA-DUNE Project
ESSEX: Equipping Sparse Solvers For Exascale
Towards an Exascale Enabled Sparse Solver Repository
Hybrid Parallel Multigrid Methods for Geodynamical Simulations
Coupling Geometrically Exact Cosserat Rods and Linear Elastic Continua
Monotone Multigrid Methods Based on Parametric Finite Elements
Performance Prediction of Multigrid-Solver Configurations
Optimal Control of the Convergence Rate of Schwarz Waveform Relaxation Algorithms
Wavelets in Numerical Simulation - Problem Adapted Construction and Applications
Partitioned Fluid-Structure-Acoustics Interaction on Distributed Data: Numerical Results and Visualization
A DG Space-Time Domain Decomposition Method
Essentially Non-oscillatory Stencil Selection and Subcell Resolution in Uncertainty Quantification
A Non-overlapping Quasi-optimal Optimized Schwarz Domain Decomposition Algorithm for the Helmholtz Equation
A Two-Level Additive Schwarz Preconditioner for C 0 Interior Penalty Methods for Cahn-Hilliard Equations
Sparse Grid Quadrature in High Dimensions with Applications in Finance and Insurance
A Continuous Approach to FETI-DP Mortar Methods: Application to Dirichlet and Stokes Problem
Multi-level Decompositions of Electronic Wave Functions
A Subspace Correction Method for Nearly Singular Linear Elasticity Problems
Adaptive Atmospheric Modeling - Key Techniques in Grid Generation, Data Structures, and Numerical Operations with Applications
Multigrid Preconditioner for Nonconforming Discretization of Elliptic Problems with Jump Coefficients
Scalable Algorithms for the Solution of Higher-Dimensional PDEs
Expressing and Exploiting Multi-Dimensional Locality in DASH
Augmented Interface Systems for the Darcy-Stokes Problem
A Parallel Monolithic Domain Decomposition Method for Blood Flow Simulations in 3D
On Block Preconditioners for Generalized Saddle Point Problems
Optimized Schwarz Waveform Relaxation for Porous Media Applications
Advances Concerning Multiscale Methods and Uncertainty Quantification in EXA-DUNE
An Algebraic Multigrid Method Based on Matching in Graphs
Overlapping Domain Decomposition: Convergence Proofs
Penalty Robin-Robin Domain Decomposition Schemes for Contact Problems of Nonlinear Elasticity
Mortar Coupling for Heterogeneous Partial Differential Equations
Robust Uncertainty Propagation in Systems of Conservation Laws with the Entropy Closure Method
Robust Parameter-Free Multilevel Methods for Neumann Boundary Control Problems
A Robust FEM-BEM Solver for Time-Harmonic Eddy Current Problems
Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations
Multiscale Domain Decomposition Preconditioners for Anisotropic High-Contrast Problems
FETI-DP for Elasticity with Almost Incompressible Material Components
Stability Analysis of the Matrix-Free Linearly Implicit Euler Method
AIMES: Advanced Computation and I/O Methods for Earth-System Simulations
Hybrid Domain Decomposition Solvers for the Helmholtz and the Time Harmonic Maxwell's Equation
Software for Exascale Computing - SPPEXA 2016-2019
EXASTEEL: Towards a Virtual Laboratory for the Multiscale Simulation of Dual-Phase Steel Using High-Performance Computing
Shifted Laplacian RAS Solvers for the Helmholtz Equation
Mesh Regularization in Bank-Holst Parallel hp-Adaptive Meshing
An Overlapping Domain Decomposition Method for a 3D PEMFC Model
Space and Time Parallel Multigrid for Optimization and Uncertainty Quantification in PDE Simulations
A Nonoverlapping DD Preconditioner for a Weakly Over-Penalized Symmetric Interior Penalty Method
Stable BETI Methods in Electromagnetics
Automatic Performance Modeling of HPC Applications
A Fully Implicit Compressible Euler Solver for Atmospheric Flows
Accelerating an FMM-Based Coulomb Solver with GPUs
Multiresolution Methods in Scattered Data Modelling
BEM-based Finite Element Approaches on Polytopal Meshes
Numerical Methods for General and Structured Eigenvalue Problems
Heterogeneous Domain Decomposition Methods for Eddy Current Problems
Adaptive Multiscale Schemes for Conservation Laws
Equidistribution and Optimal Approximation Class
ExtraPeak: Advanced Automatic Performance Modeling for HPC Applications
Fast Summation Techniques for Sparse Shape Functions in Tetrahedral hp-FEM
Spectral Elements for Transport-Dominated Equations
Sharp Condition Number Estimates for the Symmetric 2-Lagrange Multiplier Method
Tool Support for Developing DASH Applications
A Perspective on the SPPEXA Collaboration from Japan
Adaptive Multilevel Solution of Nonlinear Parabolic PDE Systems - Theory, Algorithm, and Applications
A Parallel Overlapping Time-Domain Decomposition Method for ODEs
A Hybrid Discontinuous Galerkin Method for Darcy-Stokes Problems
MultiBody System SIMulation - Numerical Methods, Algorithms, and Software
Model of Imperfect Interfaces in Composite Materials and Its Numerical Solution by FETI Method
Partitioned Fluid-Structure-Acoustics Interaction on Distributed Data: Coupling via preCICE
Numerical Methods in Computational Electrodynamics - Linear Systems in Practical Applications
Efficient Solvers for Incompressible Flow Problems - An Algorithmic and Computational Approach
Domain Decomposition Methods for Auxiliary Linear Problems of an Elliptic Variational Inequality
ExaFSA: Parallel Fluid-Structure-Acoustic Simulation
DASH: Distributed Data Structures and Parallel Algorithms in a Global Address Space
Fast In-Memory Checkpointing with POSIX API for Legacy Exascale-Applications
BDDC for Higher-Order Discontinuous Galerkin Discretizations
Domain Decomposition Methods of Stochastic PDEs
On the Applicability of Lions' Energy Estimates in the Analysis of Discrete Optimized Schwarz Methods with Cross Points
A Neumann-Dirichlet Preconditioner for FETI-DP Method for Mortar Discretization of a Fourth Order Problems in 2D
Scalability of Classical Algebraic Multigrid for Elasticity to Half a Million Parallel Tasks
Uncertainty Quantification in Computational Fluid Dynamics
Uncertainty Quantification in Aeroelasticity
Techniques for Locally Adaptive Time Stepping Developed over the Last Two Decades
FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing
ExaStencils: Advanced Multigrid Solver Generation
EXAMAG: Towards Exascale Simulations of the Magnetic Universe
Quasi-optimality of BDDC Methods for MITC Reissner-Mindlin Problems
An Alternative Coarse Space Method for Overlapping Schwarz Preconditioners for Raviart-Thomas Vector Fields
Exa-Dune - Flexible PDE Solvers, Numerical Methods and Applications
Comparison of a One and Two Parameter Family of Transmission Conditions for Maxwell's Equations with Damping
Adaptive Finite Element Methods with Inexact Solvers for the Nonlinear Poisson-Boltzmann Equation
Symbolic Techniques for Domain Decomposition Methods
Some Recent Tools and a BDDC Algorithm for 3D Problems in H(curl)
Preconditioning High-Order Discontinuous Galerkin Discretizations of Elliptic Problems
Heterogeneous Substructuring Methods for Coupled Surface and Subsurface Flow
A Block Solver for the Exponentially Fitted IIPG-0 Method
Software for Exascale Computing - SPPEXA 2013-2015
A Domain Decomposition Solver for the Discontinuous Enrichment Method for the Helmholtz Equation
Multigrid Methods for the Biharmonic Problem with Cahn-Hilliard Boundary Conditions
ExaDG: High-Order Discontinuous Galerkin for the Exa-Scale
A Schur Complement Method for Compressible Navier-Stokes Equations
Robust Coarsening in Multiscale PDEs
Automated Performance Modeling of the UG4 Simulation Framework
Numerical Study of the Almost Nested Case in a Multilevel Method Based on Non-nested Meshes
A Parallel Multilevel Partition of Unity Method for Elliptic Partial Differential Equations
Large Eddy Simulation of Turbulent Incompressible Flows - Analytical and Numerical Results for a Class of LES Models
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Simulating Turbulence Using the Astrophysical Discontinuous Galerkin Code TENET
Finite Difference Computing with Exponential Decay Models
Parareal Schwarz Waveform Relaxation Methods
One-Shot Domain Decomposition Methods for Shape Optimization Problems
DUNE - The Distributed and Unified Numerics Environment
Domain Decomposition Methods for the Helmholtz Equation: A Numerical Investigation
Multi-level Monte Carlo Finite Volume Methods for Uncertainty Quantification in Nonlinear Systems of Balance Laws
Domain Overlap for Iterative Sparse Triangular Solves on GPUs
Scalable Domain Decomposition Algorithms for Contact Problems: Theory, Numerical Experiments, and Real World Problems
New Theoretical Coefficient Robustness Results for FETI-DP
Design of Adaptive Finite Element Software - The Finite Element Toolbox ALBERTA
Recent Developments in the Theory and Application of the Sparse Grid Combination Technique
A Substructuring Preconditioner for Three-Dimensional Maxwell's Equations
Improving the Convergence of Schwarz Methods for Helmholtz Equation
A New Distributed Optimization Approach for Solving CFD Design Problems Using Nash Game Coalition and Evolutionary Algorithms
FETI Methods for the Simulation of Biological Tissues
An Asymptotic Approach to Compare Coupling Mechanisms for Different Partial Differential Equations
ARAS2 Preconditioning Technique for CFD Industrial Cases
Systems of Partial Differential Equations in ExaSlang
A Perspective on the SPPEXA Collaboration from France
Asynchronous OpenCL/MPI Numerical Simulations of Conservation Laws
ADA-FS - Advanced Data Placement via Ad hoc File Systems at Extreme Scales
One-Way and Fully-Coupled FE2 Methods for Heterogeneous Elasticity and Plasticity Problems: Parallel Scalability and an Application to Thermo-Elastoplasticity of Dual-Phase Steels
Software for Exascale Computing: Some Remarks on the Priority Program SPPEXA
Two-Grid LNKSz for Distributed Control of Unsteady Incompressible Flows
Preconditioning for Mixed Finite Element Formulations of Elliptic Problems
Newton-Schwarz Optimised Waveform Relaxation Krylov Accelerators for Nonlinear Reactive Transport
A Comparison of TFETI and TBETI for Numerical Solution of Engineering Problems of Contact Mechanics
Handling Silent Data Corruption with the Sparse Grid Combination Technique
Domain Decomposition Methods in Science and Engineering XX
GROMEX: A Scalable and Versatile Fast Multipole Method for Biomolecular Simulation
Performance Engineering and Energy Efficiency of Building Blocks for Large, Sparse Eigenvalue Computations on Heterogeneous Supercomputers
Hierarchical Matrices - A Means to Efficiently Solve Elliptic Boundary Value Problems
A Simultaneous Augmented Lagrange Approach for the Simulation of Soft Biological Tissue
Non Shape Regular Domain Decompositions: An Analysis Using a Stable Decomposition in
Numerical Solution of Elliptic Differential Equations by Reduction to the Interface
Domain Decomposition Method for Stokes Problem with Tresca Friction
Alternating and Linearized Alternating Schwarz Methods for Equidistributing Grids
An Implicit and Parallel Chimera Type Domain Decomposition Method
Using Design to Engage Stakeholders to Explore the Quality of Life of Families Living with Dementia
Usability in Poland
Computers in the Human Interaction Loop
Physical Disabilities
Working With Participants
The Nurse As An Engineer - The theory of knowledge in research in the care sector
Whole Body Interaction
Conversational UX Design: An Introduction
The Enchantments of Technology
The Contribution of Tacit Knowledge to Innovation
Applying the Oows Model-Driven Approach for Developing Web Applications. The Internet Movie Database Case Study
Designing for Work Place Learning
Beyond the Gamepad: HCI and Game Controller Design and Evaluation
Human and Machine Learning - Visible, Explainable, Trustworthy and Transparent
m-YouTube Mobile UI: Video Selection Based on Social Influence
From One to Many Boxes: Mobile Devices as Primary and Secondary Screens
Science, Technology, and Reality in The Matrix Online and Tabula Rasa
Language Technology and 3rd Wave HCI: Towards Phatic Communication and Situated Interaction
Sentiment Analysis in Social Streams
A Non-reductionist Approach to Trust
Social Emotions. A Challenge for Sentiment Analysis and User Models
Using Rest Class and Control Paradigms for Brain Computer Interfacing
Individual and Group Support in Tabletop Interaction Techniques
The RoboCup Mixed Reality League - A Case Study
Next-Generation Migratory Emergency Management Application
Interdisciplinary Insights for Digital Touch Communication
Macrotask Crowdsourcing: An Integrated Definition
Lessons Learned from the Design and Implementation of Distributed Post-WIMP User Interfaces
Interaction on the Tabletop: Bringing the Physical to the Digital
Engagement Design - Designing for Interaction Motivations
Conversational Agents for Physical World Navigation
Acoustic Event Detection and Classification
Awareness in the Home: The Nuances of Relationships, Domestic Coordination and Communication
Exploring Bodily Engaging Artifacts Among Golfers, Skaters and Dancers
Making Sense of Experience
Using Heuristics to Evaluate the Overall User Experience of Video Games and Advanced Interaction Games
Multimedia and Graphics
Precision Fabric Production in Industry
Examining Player Anger in World of Warcraft
Component-Based Approaches to Tailorable Systems
Supporting Family Awareness with the Whereabouts Clock
Integrating User-Centred Design in Agile Development
An Overview Of Model-Driven Web Engineering and the Mda
Affective Music Information Retrieval
HCI and Design in the Context of Dementia
The Interactive Installation ISH: In Search of Resonant Human Product Interaction
Inking Outside the Box: How Context Sensing Affords More Natural Pen (and Touch) Computing
Content for Mobile Television: Issues Regarding a New Mass Medium Within Today's ICT Environment
User Integration in Agile Software Development Processes: Practices and Challenges in Small and Medium Sized Enterprises
EUD as Integration of Components Off-The-Shelf: The Role of Software Professionals Knowledge Artifacts
Enhancing LACOME to Consider Privacy and Security Concerns
Education, Technology and Design: A Much Needed Interdisciplinary Collaboration
Authoring Immersive Mixed Reality Experiences
Materializing Personhood: Design-Led Perspectives
New Directions in Third Wave Human-Computer Interaction: Volume 1 - Technologies
Exploring Distributed User Interfaces in Ambient Intelligent Environments
Building Better Interfaces for Remote Autonomous Systems - An Introduction for Systems Engineers
The Integration of Inking, Touch and Flipping Within the Mathematics Middle School Classroom
Speech and Language
Playing Games in the Emotional Space
Local Groups Online: Political Learning and Participation
Supportive Technologies for People with Dementia: A Closer Look into an Interdisciplinary Field
Family History Digital Libraries
Insights from an Exergame-Based Training System for People with Dementia and Their Caregivers
The Ripple Effect: Change in Trust and Its Impact Over a Social Network
Domain Knowledge in Predictive Maintenance for Water Pipe Failures
Distributed Interactive Surfaces: A Step Towards the Distribution of Tangible and Virtual Objects
Designing a Mixed Reality Intergenerational Entertainment System
Introduction to Smart Textiles
Rethinking the Interaction Architecture
Where from and Where Next? - HCI and Design in the Context of Dementia
Documents and Publications
Designing for Fun: User-Testing Case Studies
Inclusively Designed Authoring Tools
e-Garments: Future as "Second Skin"?
A Standard for Digital Signage Privacy
Distribution Primitives for Distributed User Interfaces
Workshop on the Integration of User-Centred Design and Agile Development: Approach, Findings and Themes
The nature of virtual communities
Mixed-Reality Prototypes to Support Early Creative Design
Enhancing Multisensory Experience and Brand Value: Key Determinants for Extended, Augmented, and Virtual Reality Marketing Applications
Internet-Based Community Networks: Finding the Social in Social Networks
The (Un)Enjoyable User Experience of Online Dating Systems
Tabletops - Horizontal Interactive Displays
On Human-Machine Symbiosis
Towards a General Theory of the Artificial
The Path Tells a Story
Grounding Privacy with Awareness: A Social Approach to Describe Privacy Related Issues in Awareness Systems
A Cyberensemble of Inversion, Immersion, Shared Knowledge Areas, Query, and Digital Media-Making in STEM Classrooms
Knowledge as Embodied Performance
Virtual Worlds for Virtual Organizing
Integration of Collaborative Features in Ubiquitous and Context-Aware Systems Using Distributed User Interfaces
Virtual Taste and Smell Technologies for Multisensory Internet and Virtual Reality
Usability in Thailand
Prospective Memory Failure in Dementia: Understanding and Designing to Support
WIPTTE 2015 High School Contest
Enhancing Health-Care Services with Mixed Reality Systems
Problematic Milieus: Individuating Speculative Designs
Playing with Provocations
Designing Technology for Local Citizen Deliberation
Reversible Contacting for Smart Textiles
Evaluating Exertion Games
Global Usability
Cognitive and Learning Disabilities
Visual Disabilities
A Semiotic Framing for End-User Development
Evaluation of Interactive Machine Learning Systems
Usability in Israel
Mirrored Motion: Augmenting Reality and Implementing Whole Body Gestural Control Using Pervasive Body Motion Capture Based on Wireless Sensors
Perceptual Component Data Models and APIs
Designing Web Applications with Webml and Webratio
Seeing and Seeing-AS
Toward Brain-Computer Interaction in Paralysis - A New Approach Based on Visual Evoked Potentials and Depth-of-Field
Investigating Experiences and Attitudes Toward Videogames Using a Semantic Differential Methodology
Web Application Development: Challenges And The Role Of Web Engineering
Textile Integrated Wearable Technologies for Sports and Medical Applications
Fostering Social Engagement and Self-Efficacy in Later Life: Studies with Ubiquitous Computing
Designing for the User Experience in Learning Systems
Fun for All: Promoting Engagement and Participation in Community Programming Projects
Enhancing the Security and Usability of Dui Based Collaboration with Proof Based Access Control
Can Games Be More Than Fun?
Fabrication, 3D Printing, and Making
Automatic Web Accessibility Metrics - Where We Were and Where We Went
Multi-touch Collaborative DUI to Create Mobile Services
Relational Cockpit
The Practice of the Use of Computers - A paradoxical encounter between different traditions of knowledge
Embedded Mixed Reality Environments
Human Activity Modeling: Toward A Pragmatic Integration of Activity Theory and Usage-Centered Design
Design and Development of a Migratory Application Application Based on OPEN OPEN Migration Service Platform
Intercultural User Interface Design
Website Design and Trust Across Cultures
Assistive Technologies
Parameterized Facial Modelling and Animation
Functional Near-Infrared Sensing (fNIR) and Environmental Control Applications
Motion Control for Social Behaviors
Minimalism - Designing Simplicity
XML-Based Tools for Creating, Mapping, and Transforming Usability Engineering Requirements
Knowledge in co-action: social intelligence in collaborative design activity
An Exploration of Exertion in Mixed Reality Systems via the "Table Tennis for Three" Game
Researching Learning in Virtual Worlds
Behavioral Telemetry in Games User Research
Participatory Programming: Developing Programmable Bioinformatics Tools for End-Users
Measuring Emotion: Development and Application of an Instrument to Measure Emotional Responses to Products
End User Development of Web Applications
Uml-Based Web Engineering - An Approach Based on Standards
Task Models and System Models as A Bridge Between Hci and Software Engineering
TwisterSearch: A Distributed User Interface for Collaborative Web Search
Games User Research and Physiological Game Evaluation
Computing with Social Trust
Sustaining a Community Computing Infrastructure for Online Teacher Professional Development: A Case Study of Designing Tapped In
A User-Centered Framework for Deriving A Conceptual Design From User Experiences: Leveraging Personas and Patterns to Create Usable Designs
Usability in Japan
2D Transparency Space - Bring Domain Users and Machine Learning Experts Together
Bridging the Gap: Design for Intergenerational Engagement in Dementia Care
Challenges from Integrating Usability Activities in Scrum: Why Is Scrum so Fashionable?
Migration Opportunities
Web Accessibility - A Foundation for Research, Second Edition
MyCoach: In Situ User Evaluation of a Virtual and Physical Coach for Running
Personalized Body Modeling
Networked Virtual Reality and Enhanced Sensing for Remote Classes and Presentations
Putting Value into E-valu-ation
The Semantic Environment: Heuristics for a Cross-Context Human-Information Interaction Model
Sketching the Polyphonic Design Space of Theme Parks
Different Attitudes Concerning the Usage of Live Mobile TV and Mobile Video
Addressing Context-Awareness in User Interface Software Product Lines (UI-SPL) Approaches
Structural Health Monitoring Using Machine Learning Techniques and Domain Knowledge Based Features
Using Animation to Enrich Learning Experience in Sketch-Based Physics Tutoring Systems