yusuke1997/dblp-id-title huggingface dataset:
Constrained Surface Parameterization Methods with Guarantees
Robust Adaptive Control of Deterministic and Stochastic Strict -Feedback Systems
Solving systems of polynomial equations, with applications to computational algebraic geometry
Exact and Approximate Algorithms for Markov Decision Processes
Automatic Application-Level Checkpointing for High Performance Computing Systems
Modeling, Design, Identification, Drive, and Control of a Rotary Actuator with Magnetic Restoration
Analysis of Neural Activity in Human Motor Cortex - towards Brain Machine Interface System
A finite difference numerical model for the propagation of finite amplitude acoustical blast waves outdoors over hard and porous surfaces
Statistical Learning: Generative Model for Dimensionality Reduction, Clustering, and Shape Analysis
Data-Efficient Machine Learning with Applications to Cardiology
An Improvement to Generalized - Minimum - Distance Decoding
A kinetic scheme for gas dynamics on arbitrary grids
Surface passivation of infrared laser diode and photodiode
Topics in computational geometry
A Consensus on the Definition and Knowledge Base for Computer Graphics
Symbolic approximations for verifying real-time systems
Storage Capacity of the Linear Associator: Beginnings of a Theory of Computational Memory
On the Realization of Linear Automata
Metasearch: Data Fusion for Document Retrieval
Two-dimensional electronics and optoelectronics: From materials syntheses to device applications
Machine Learning Based Porcine Respiratory and Reproductive Syndrome Forecasting
Deep Learning Approaches for Scene Understanding
Engineering Principles to Design and Analyze Patterned Neuronal Cultures Using Multielectrode Arrays
Temperature and Spatial Hole Burning Effects in Semiconductor Lasers and Integrated Optical Devices
Large-Scale Machine Learning over Streaming Data
Design and Fabrication of Long -Wavelength Vertical -Cavity Surface -Emitting Lasers Using Wafer Bonding Technologies
Optogenetic stimulation, and control or promotion of epileptiform activity, in a mean field model of the human cortex
Vision and Language Understanding Through Generative Modeling
Interpretable Artificial Intelligence and Algorithmic Decision Making Processes to Analyze User Behaviors and Their Socio-Economic Impacts
Fault-tolerant computation on hypercubes
Knowledge-enhanced Large Language Models and Human-AI Collaboration Frameworks for Creativity Support
Using Second-Order Information in Training Deep Neural Networks
Navigating Video Using Structured Text
Synthesis of Logic Networks With Mos Complex Cells
Leveraging Context for Multi-Label Action Recognition and Detection in Video
Similarity learning in the era of big data
Robust structured multigrid at extreme scales
Spatiotemporal Signal Characteristics and Processing During Natural Vision
Symbolic reachability analysis for rewrite theories
Geometric and Game-Theoretic Control of Energy Assets in Small-Scale Power Systems
Novel Pricing Strategies to Improve Quality of Experience in Non-Orthogonal Multiple Access Wireless Communication Networks
Semantic Comparisons for Natural Language Processing Applications
Design automation for high performance complementary metal oxide-semiconductor VLSI circuits
Intelligent agent development using unstructured text corpora and multiple choice questions
Generation and Optimization of High Quality Multi-GeV Electron Beams in Plasma Wakefield Accelerators
Modeling and Optimizing Smartphone Energy Consumption
Formal Methods for a Robust Domain Name System
Intrusion detection and prevention in advanced metering networks
The Evaluation of Information Policy: A Case Study Using the SATCOM Report
Decision Making And Inference Under Limited Information And High Dimensionality
Educational Systems for Maximizing Learning Online and in the Classroom
Quantum Simulation: Upper and Lower Bounds
Building a Bidirectional Bridge Between the Digital and Physical Worlds
Ranking and sparsifying edges of a graph
Cis-regulatory module analysis: inferring regulatory networks and underlying mechanisms
A methodology for developing real-time control software for efficient and dependable manufacturing systems
Verified Separate Compilation for C
What Controls Shallow Landslide Size Across Landscapes?
The Molecule Problem: Combinatorial Ideas in a Continuous Setting
Improving the Performance and Scalability of Algebraic Multigrid
Search and optimization with randomness in computational economics: equilibria, pricing, and decisions
The design and implementation of a workbench for application specific message-passing parallel reconfigurable architectures
A Calculus for Network Delay and a Note on Topologies of Interconnection Networks
Control-Flow Security
Large scale phylogenomic estimation
Remote sensing of mesospheric ozone
Improved kernel security through code validation, diversification, and minimization
Processor modeling and evaluation techniques for early design stage performance comparison
Better Robustness Testing for Autonomy Systems
Natural language image description: data, models, and evaluation
Syntactic distributional information in the lexicon: Systematicity, functional pressures, and grammatical implications
Contextual text mining
Descriptive Aspects of Locally Ckecable LAbelling and Constraint Satisfaction Problems
Set-theoretic estimation of distributed parameter systems
Circuit simulation models and optical switch structure for interconnection networks
Quantum circuit design methods and applications
Languages and Compilers for Rendering and Image Processing
Scalable Asynchronous Many-Task Runtime Solutions to Globally Coupled Problems
Privacy preserving access control for third-party data management systems
Automatic Storage Optimization
Computational Models for Scheduling in Online Advertising
Multilevel Multipole -Free Fast Algorithm for Electromagnetic Scattering Problems in Layered Media
Know Thy cells: inferring phenotype from genotype
Light and Water Drops
An equational approach to decision support systems (knowledge, problem-processing, language, temporal semantics)
Synthesis of Multiple-Loop Feedback Switched-Capacitor Structures (Active Filters)
Sensor Analytics for Healthcare Improvement
Data quality in the deep learning era: Active semi-supervised learning and text normalization for natural language understanding
Some Generalizations in System Theory and Their Applications to Control Systems
Empowering Large Language Models with Efficient and Automated Systems
Do You See What I See? Perception and Navigation in Online Deliberation
Design and ESD Protection of Wideband, Radio Frequency Integrated Circuits in CMOS Technologies
Improving Multicore Resource Efficiency and Performance
Instance-Optimized Data Structures for Membership Queries
Supervised learning-based explicit nonlinear model predictive control and unknown input estimation in biomedical systems
Combinatorial structures and filter design in information spaces
System and Circuit Design of the Transformatrix Coefficient Processor Andoutput Data Channel
An Investigation of Modal Characteristics and Discontinuities in Printed Circuit Transmission Lines (Microstrip, Galerkin, Singular, Integral, Coupled-Mode)
Nonparametric Learning in High Dimensions
Interpretable machine learning for scientific discovery in regulatory genomics
Making and Keeping Probabilistic Commitments for Trustworthy Multiagent Coordination
Data-Driven Modeling and Algorithmic Trading in Electricity Market
Learning and Smooth Simultaneous Estimation of Errors Based on Empirical Data
Improving Systems Dependability Through Private Distributed Computation and Analysis of Anomalies
An Efficient, Unifying Approach to Simulation Using Virtual Machines
Syntactic Agreement in Bilingual Corpora
Reengineering laboratory information processing system
Extending the language and applications of Maude-NPA through rewriting semantics
Mobility modeling of mobile users
Exploring Design Configurations of System Models: From Simultaneous Simulation to Search Heuristics
Preventing Multiple Comparisons Problems in Data Exploration and Machine Learning
Physically based geometry and reflectance recovery from images
Specification of concurrent systems using graph grammars
Subtree-elimination algorithms in deductive databases
Human-Centered Natural Language Processing for Countering Misinformation
Temperature-Insensitive CMOS Quantum Controller With >99% Fidelity for Universal Single-Qubit Gates
An Experimental Comparison of the Efficiency of Parsing Techniques
Information overload in structured data
Stochastic adaptive system theory for identification, filtering, prediction and control
Cross-layer resource allocation in wireless and optical networks
Automatic Optimization of System Design for 3D Mapping of Archaeological Sites
Computational Studies of Pantetheine-Containing Ligands (PCLs) and Advancements of the Polarizable Gaussian Multipole (pGM) Model
Harnessing Simulation Acceleration to Solve the Digital Design Verification Challenge
Data-driven Analysis of Engineering Drawings Using Component-based Graphs
Lidar Simulation for Robotic Application Development: Modeling and Evaluation
Actively exploiting propagation delay for acoustic systems
The optimal distribution of device-dependent graphics functions
Noising and denoising natural language
High-speed Volumetric Functional Imaging with Light Field Microscopy
Explainable Machine Learning for Science and Medicine
Evanescently Coupled Vertical Cavity Laser Arrays
Generalized Data-Aided Equalizers for Digital Communication Channels
Learning to Plan by Learning Rules
Computational Brain Connectivity Using Diffusion MRI
On Matching Problems in Large Settings
A Search for Better Linear Multistep Methods for Stiff Problems
Exploratory and Explanatory Tools for ML Application Development
Text-to-Speech Synthesis Using Found Data for Low-Resource Languages
Integrating secure hardware into modern security systems: Authentication, secure storage, and secure bootstrap
A computational biologically-plausible model of working memory for serial order, repetition and binding
Design automation for circuit reliability and energy efficiency
Automatic Design of Relational Databases
Design guidelines for developing scaffolded, handheld software to support learners during science inquiry
Building Trusted Execution Environments
A computational framework for social valuation inference
Context-sensitive web search
Grounding natural language phrases in images and video
Probabilistic and Topological methods in Computational Geometry
3D Object Modeling and Recognition in Photographs and Video
Logic programming semantics: techniques and applications
Towards a psychologically plausible comprehensive computational theory of emotion
Local, Semi-Local and Global Models for Texture, Object and Scene Recognition
Decision Procedures for some Classes of Unquantified Set Theoretic Formulae
Theory and Applications of Outsider Anonymity in Broadcast Encryption
Ion Bunching at High Energies
Improving Fruit Harvesting Speed with Multi-Armed Robots
Understanding and Mitigating Biases in Evaluation
Algorithms for data stream systems
The testability of regular logic structures
Developmental model of sensorimotor map acquisition for a humanoid robot
Numerical Study and Improvement of the Methods in Uintah Framework: The Material Point Method and the Implicit Continuous-Fluid Eulerian Method
Opinion driven decision support system
Understanding Social Media: Misinformation, Attention, and Digital Advertising
Efficient Geometric Algorithms for Robot Sensing and Control
Dialogue Systems Specialized in Social Influence: Systems, Methods, and Ethics
Resonant Binary Shifting Register
The Analysis and Synthesis of a Learning Teaching System
Statistical Inference and the Sum of Squares Method
Technology-organization tradeoffs in the architecture of a high-performance processor
Learning to Understand People via Local, Global and Temporal Reasoning
Theory of Mind in Situated Communication for Collaborative Tasks
Scalable and Robust Statistical Inference Algorithms for Linking Genotypes to Phenotypes
Data-Centric Machine Learning for Speech and Audio
Enabling Wide-Scale Computer Science Education through Improved Automated Assessment Tools
Uncovering and Managing the Impact of Methodological Choices for the Computational Construction of Socio-Technical Networks from Texts
Structure-aware Approaches for Deciphering Sequence-specific Protein-DNA Interactions
Exploring Context-Specific Expression Variation and Distal Gene Regulation via Latent Variable Models
Instance Segmentation of RGBD Scenes
Dynamic Control of Software-Defined Networks
Structure-driven algorithms for equivalence verification and infeasibility checking
Visual Action Search and Recognition
Exact and Parameterized Algorithms for Subset Sum Problems
Nonsystematic backtracking search
Deep Learning of Neuromuscular and Sensorimotor Control with Biomimetic Perception for Realistic Biomechanical Human Animation
Modeling of weak scatterers in a transducer beam
Automated Privacy Policy Analysis for Auditing Data Collection
Self-presentation, Interpersonal Perception, and Partner Selection in Computer-mediated Relationship Formation
Robust Optimal Control of Step Motors by Lead Angle Selection (Incremental Motion)
Rational Function Interpolation of Electromagnetic Transfer Functions of High-Speed Interconnect Systems from Discrete Time-Domain and Frequency-Domain Data
A methodology for the analysis of auxiliary storage systems
Entity recommendation and search in heterogeneous information networks
Heuristics That Dynamically Alter Data Structures to Reduce Their Access Time
Bridging Theory and Practice in Parallel Clustering
Dynamic Difficulty Adjustment for Combat Systems in Role-Playing Genre Video Games
Integrating statistical and machine learning approaches to identify receptive field structure in neural populations
Learning Latent Structures Via Bayesian Nonparametrics: New Models and Efficient Interference
Machine Learning-Enabled Optical Sensors and Devices
A Probablistic Framework for Mapping Audio-Visual Features to High-Level Semantics in Terms of Concepts and Context
Forwarding and Routing Algorithms for Information Centric and Mobile Ad Hoc Networks
Algorithms for Smooth and Deformable Surfaces in Three Dimensions
Tree-based techniques for query evaluation
Geometry of Random Graphs
Performance Prediction In An Operating System Design Methodology
Physics-Based Electromigration and Time Dependent Dielectric Breakdown Modeling and Reliability Analysis for Nanometer VLSI Circuits
A Decision-model For Restart And Recovery From Errors In Information Processing Systems
Resilient Cyber-Physical Systems
Computer Understanding of Designs
The Role of Collagen in The Ultrasonic Properties of Tissue
Development and validation of compressible mixture viscous fluid algorithm applied to predict the evolution of inertial fusion energy chamber gas and the impact of gas on direct-drive target survival
Simulating Molecular Encounter Processes: Assessment of Environmental Factors in Bioengineered and Natural Systems
High-Resolution Nyquist -Rate Analog -to -Digital Converter
Modern Interactive Proofs
Towards a general conceptual model for bibliographic aggregates: Four case studies from our bibliographic standards
Parallel Programming: Operational Model and Detection of Parallelism
Maximal Code Construction for Communications Channels With Symmetric or Asymmetric Noise
A Graph-Structure Transformation Model for Picture-Parsing
Advancing Differentially Private Optimization: Efficiency, Utility, and Applications
GRACE-Os: An Energy -Efficient Mobile Multimedia Operating System
Information Structuring and Prioritization for Knowledge Collaboration in Online Communities
An Optimal Method for DNA Sequencing by Hybridization
Timing verification and synthesis of circuits for delay fault testability
Data-Driven Synthesis and Evaluation of Syntactic Facial Expressions in American Sign Language Animation
Compiling Fast Partial Derivatives of Functions Given by Algorithms
Towards Practical Data-Driven Network Design
Agency in Augmentative and Alternative Communication (AAC)
Pssst...or Boo! Assessing the Predictability of Notification Delivery Preferences
Time Series Matching: A Multi-Filter Approach
Data-driven systems engineering for bioinspired integrative design
Building flexible real-time systems
Novel Data Summaries for Join Query Optimization
An examination of the employment of the pair programming methodology as a collaborative instructional scaffold on college student procedural learning and programming self-beliefs
Modelling Parallel Systems With Dynamic Structure
Bit-parallel and SIMD alignment algorithms for biological sequence analysis
Failure recovery in wireless computing environments
Prediction of cancer phenotypes through the integration of multi-omic data and prior information
Image editing and interaction tools for visual expression
Online Learning and Planning for Crowd-aware Service Robot Navigation
A Logic for the Russell Programming Language
Building Reliable Software for Persistent Memory
Computer Edge Extraction from Photographs of Curved Objects
A mathematical foundation for software process control
Accurate, Fair, and Explainable: Building Human-Centered AI
Deep Models for Image Analysis, Synthesis and Scene Perception
Arbitrage-Free Forward Rate Curves and Applications
Operating Systems Abstractions for Software Packet Processing in Datacenters
Adaptive Distributed Architectures for Future Semiconductor Technologies
Structural and functional diversity of densely reconstructed cells in the mouse visual system
Methods for Cell Compilation With Constraints (Vlsi, Pla, Routing, Silicon)
Hierarchical Temporal Structure and Deep Learning Methods of Speech and Music
Two-step ODETLAP and induced terrain for improved geographical data reconstruction
Topics in Information Theory of Wireless Networks
Active design process management
Through the Eyes of a Painter: Re-visioning Eighteenth-century Traditional Korean Paintings by Jeong Seon in Virtual Environments
Design and analysis of privacy policies
Novel CAD Techniques for New Challenges in Deep Sub-Micron VLSI Design
Modeling and Optimization of Accelerator-Rich Architectures for Near Data Processing
Analysis of associative retrieval algorithms
Expectation Maximization Algorithm for Optimization of Piecewise-constant Models and Their Applications
Physics-based Refinement of Proteins in Model Systems
Enhancing Quality of Life for People who are Blind or Low Vision Using Computing Technology
Efficient Neural Network Verification Using Branch and Bound
Ambiguities in range-based system identification
Query Processing for Data Analytics on Modern Multicore Systems
A Middleware Independent Service Modeling and a Model Transformation Framework
Identifying, Addressing, and Understanding Challenging Cases in Machine Learning
Managing change in heterogeneous autonomous databases
Reducing the Usability Barrier to Specification and Verification
Just Listen: Prototyping with TinyML to Augment Everyday Sound
A numerical investigation of the simplex method
Linear Iterative Strategies for Information Dissemination and Processing in Distributed Systems
Concentration of measure, negative association, and machine learning
Invariant inference via quantified separation
Fluid-Structure Interaction Analysis of Wind Turbines
Ic-Rest(2): A Time-to-Market Driven IC Reliability Statistics Tool
Design and Optimization of Mobile Cloud Computing Systems with Networked Virtual Platforms
JTP, an energy-aware transport protocol for mobile ad hoc networks
Algorithms for Interactive Machine Learning
Extracting and learning structures from data
Learning to Reason with a Scalable Probabilistic Logic
Verifiable COTS-based cyber-physical systems
Hallucinated Humans: Learning Latent Factors to Model 3D Enviornments
The on-line graphical specification of computer procedures
Investigation of tapered multiple microstrip lines for VLSI circuits
Byzantine Computability and Combinatorial Topology
A Topological Approach to the Stability of Time-Varying and Nonlinear Networks
Improved Algorithms and Upper Bounds in Differential Privacy
Analytical, computational, and reduced-order modeling of vortical and turbulent flows
Automatic Parallel Input/output Performance Optimization in Panda
Collusion Preserving Computation
Data-Driven 3D Scene Understanding
SafeReturn: An Integrated Indoor Backtracking System for Visually Impaired People
Algorithms for Understanding and Fighting Infectious Disease
The Point Contact, Electric-Tunneling, Submillimeter Wavelength Detector
Specifications from Demonstrations: Learning, Teaching, and Control
Multiprocessor sparse SVD algorithms and applications
Biologically Inspired Delay-Doppler Neighborhood Processing of Radar Waveforms for Enhanced Delay-Doppler Resolution
AI-Based Speech Assessment of Cognitive Impairment Disorders
Software debugging with dynamic instrumentation and test-based knowledge
Smoothness-Increasing Accuracy-Conserving Filters (SIAC) for Discontinuous Galerkin Solutions
Automated refactoring for Java concurrency
At the interface of experiment and computation: explorations of heme protein redox partner interactions, water behavior on organic surfaces and other systems
Growth and Characterization of Lattice-Mismatched In(x)ga(1-X)p Yellow Light Emitting Diodes on GaP
A satisfiability algorithm for constant depth boolean circuits with unbounded fan-in gates
Decentralized and partially decentralized Multi-Agent Reinforcement Learning
Attacking and securing Network Time Protocol
Correct-by-Construction Control Adaptation against Sensing, Model, and Information Uncertainty
Governance of Cloud-hosted Web Applications
A General Framework for Model Adaptation to Meet Practical Constraints in Computer Vision
Reconstructing and Rendering People from Photos and Videos in the Wild
A study on computational electromagnetics problems with applications to casimir force calculations
Recognition and Manipulation of Deformable Objects Using Predictive Thin Shell Modeling
A Manufacturing Methodology for Carbon Nanotube-based Digital Systems: from Devices, to Doping, to System Demonstrations
Combinatorial problems in analysis of algorithms and coding theory
Applications of the ham sandwich theorem to multiconstraint load balancing problems
Domain Specific Machine Learning - A No-Free-Lunch Perspective
Data-Driven Solutions for Blood Glucose Management
Natural Language as a Scaffold for Visual Recognition
The Policy Consequences of Information: Three Essays on Being (Un)Informed
Type-Aware Programming Models for Distributed Applications
Scalable Computational Frameworks for Next-Generation Sequencing Analysis and Gene Set Integration
A Self -Tuning Disk Striping System for Parallel Input /Output
Efficient and Secure Network Services in Wireless Sensor Networks
On Optimizing LSM-based Storage for Big Data Management Systems
Robust Methods for the Automatic Quantification and Prediction of Affect in Spoken Interactions
Optimization and Testing of Nmos Arithmetic Structures (Vlsi, Mos)
Interactive Query Formulation and Feedback Experiments in Information Retrieval
High Performance Multiscale Image Processing Framework on Multi-GPUs (Graphics Processing Units) with Applications to Unbiased Diffeomorphic Atlas Construction
Improving effectiveness of automated software testing in the absence of specifications
Causal Robot Learning for Manipulation
Online Data Cleaning
Grammar induction and parsing with dependency-and-boundary models
Towards Causally-Aware Dynamical System Prediction
Perception of spectrally rotated speech
Technology mapping for field-programmable gate arrays
Improving matrix product state methods for long-range interactions
The MNL-Bandit Problem: Theory and Applications
Neuromorphic Nanowire Networks as a Physical Substrate for In-Materio Reservoir Computing
On Markov Processes in Control Systems
Optimization of In-Vehicle Network Design
Decision procedures for bit-vectors, arrays and integers
Representing Time: Towards Pragmatic Multivariate Time Series Modeling
Analyzing Infeasible Constraint Systems
Hierarchical modeling and test generation for digital circuits
Efficient methods for solving the multiagent plan coordination problem
On User Privacy in Personalized Mobile Services