yusuke1997/dblp-id-title huggingface dataset:
Time-Domain Integral-Equation Based Analysis of Complex Structures Loaded With Cables
Holostream: High-accuracy, High-speed 3D Range Video Encoding and Streaming
Multi-Controller Strategies for Systems With Discrete Acquired and Biased Prior Information
Novel methods for manipulating and combining light fields
Towards Collaborative and Situated Procedures: Designing Chatbots as Enablers for Human Procedural Work
Delivering Affordable Fault-tolerance to Commodity Computer Systems
Ring oscillators for high performance clock synthesis and sensor interfaces
Natural Language Direction Following for Robots in Unstructured Unknown Environments
Enhancing the NUPRL Proof Development System and Applying it to Computational Abstract Algebra
Characterization of intended and unintended RF emissions
Dynamic covert channels in finance
Ranking for Scalable Information Extraction
A framework for proving the computational intractability of motion planning problems
A Specialized Computer for Information Retrieval
Graph Construction using the dK-Series Framework
Modular Decomposition of Combinational Switching Networks
Development and Application of the Feti-Dpem Algorithm for Analysis of Three-Dimensional Large-Scale Electromagnetic Problems
Social Role Temporal Dynamics and Interactions in Online Communities: How are leaders and members different?
Rigorous Analog Verification of Asynchronous Circuits
Algebraic operational semantics for Modula 2
Distributed Control for Wind Farm Power Output Stabilization and Regulation
Soft correspondences for consistent collections of shape maps
A Novel Multistage Image Registration Technique with Graph-based Region Descriptors
Compiler Directed Memory Management for Numerical Programs
Verifying Correctness of Persistent Memory Programs
Stability of machine learning algorithms
Statistical Techniques for Biological Motif Discovery
Plasma Diagnostics of Discharges in Nitrogen-Trifluoride (Etching, Semiconductor)
Data Types for Very High Level Programming Languages
Integrating Language Technologies and Social Theories
Parallel Fft-Accelerated Time-Domain Integral Equation Solvers for Electromagnetic Analysis
Reliable Communication for Datacenters
Visible and Infrared Light Detection Using 2D Materials
Controlling Complex Systems and Developing Dynamic Technology
Scalable Approaches to Dubins Vehicle Navigation Problems Under Uncertainty
A model for construction schedule analysis during the design process
Combinatorial Problems in Matrix Computation
Approximation techniques for mixed-integer quadratic programs
Application of Software Analysis in Detecting Vulnerabilities:Testing and Security Assessment
Unconditional Lower Bounds in Complexity Theory
Social Robot Navigation
Uniformly Programmable, Distributed, Reliable, Event-based Systems for Multi-Tier IoT Deployments
Improving Robot Capabilities Through Reconfigurability
Efficient learning of temporal dynamics with first-order methods
Backpack: towards practical mix-in linking in Haskell
Gradual Verification of Recursive Heap Data Structures
Global and Longitudinal Investigation of Network Connection Tampering
Automated Algorithm and Mechanism Configuration
Multiarea System Reliability: The Economic Evaluation of System Security Criteria
Global Methods for Image Motion Analysis
Fault Analysis of Analog Circuits
Object Part Localization Using Exemplar-based Models
Automatics Natural-Language Fault Diagnoses
Bottom-Up High -Level Current Macro-Models for Logic Blocks
Leveraging Large Language Models to Enable Drug Safety Research
Training and Understanding Deep Neural Networks for Robotics, Design, and Visual Perception
The Design, Implementation, and Evaluation of Software and Architectural Support for Nested Virtualization on Modern Architectures
Approximation algorithms for network design problems
The Design of Dynamic Neural Networks for Efficient Learning and Inference
Generalized Data Base Management System Data Structures And Their Mapping to Physical Storage
Learning through Auxiliary Supervision for Multi-modal Low-resource Natural Language Processing
New Multi-Layer Compact High-Order Finite Difference Methods with Spectral-Like Resolution for Compressible Flow Simulations
Part I: On accurate floating-point summation; Part II: Computation of nonlinear spline functions
A new stability method for singularly perturbed convection-diffusion equations
Object recognition from range data
Conformal microstrip antennas
Wavelength Modification by Thermal Annealing and Stripe Geometry Definition by Impurity-Induced Disordering in Quantum-Well Laser Diodes (Diffusion, Gallium-Arsenide, Iii-v Semiconductors)
Coherent Scene Understanding With 3D Geometric Reasoning
Online periodicity mining
Context, Causality, and Information Flow: Implications for Privacy Engineering, Security, and Data Economics
Efficient querying of constantly evolving data
Exploiting phonological constraints for handshape recognition in sign language video
"Developing and Evaluating Computational Tools for the Modeling, Visualization, and Analysis of Brain White Matter with Diffusion MRI"
Motion Paradigm to Detect Pedestrians and Vehicle Collision
Data-driven Techniques for Improving Data Collection in Low-resource Environments
Online Mapping and Perception Algorithms for Multi-robot Teams Operating in Urban Environments
Accessible Foundation Models: Systems, Algorithms, and Science
On Some Optimal Algorithms
Detecting, modeling and rendering complex configurations of curvilinear features
Efficient preference learning for AI-powered group decision-making
Achieving network resiliency using sound theoretical and practical methods
Inter-Document Similiarities, Language Models, and Ad Hoc Information Retrieval
Fulfilling the promise of the personal computer: the development of accessible computer technologies, 1970-1998
Use of and information seeking behaviors on Facebook among Illinois farmers and farm families
Large-Scale Data Management using Permissioned Blockchains
Machine learning for magnetic resonance spectroscopy: modeling in the preclinical development process
Estimation techniques for large-scale turbulent fluid systems
Feasibility of 3D Model-Based Approach For Human Recognition
On increasing reliability and availability in distributed database systems
Towards Large-Scale IoT Management: A Metadata-Oriented Approach
Image restoration from noisy and limited measurements with applications in 3D imaging
Pseudorandom functions with new properties from hard lattice problems
Design of the operating system for the pasm parallel processing system
Generative and discriminative models for person verification and efficient search
Understanding and Improving Privacy Communication
Synthesis process using characteristic modes for multiple in situ antennas for system radiation requirements
Higher-Order Concurrency
Text and Network Mining for Literature-Based Scientific Discovery in Biomedicine
Towards Reliable and Predictable Networks
Parallel computing in structural engineering: a substructure based approach
On-Line Image Recognition Using Radial Profiles
Neural processes underlying cognitive control during language production
Approximate Representation of Unknown Objects with a Single-line Scanning Lidar and a Video Camera
Quarterware: A Middleware Toolkit of Software RISC Components
Rapid Mission Assurance Assessment via Sociotechnical Modeling and Simulation
Proof methodologies for processor verification
Dynamic Security Assessment of Power Systems Using Trajectory Sensitivity Approach
Electron impact ionization cross sections for carbon vapor
Predicting the Market Value of Single-Family Residences
Design of a medium access control protocol that exploits the structures of vehicular networks
Investigation of Uniform Biomaterial-Based Microspheres With Precisely Controlled Size and Size Distribution for Development of Advanced Drug Delivery Systems
Cuts and connectivity in graphs and hypergraphs
Surfaces From Stereo: An Integrated Approach
Comparing and Improving Centralized and Distributed Techniques for Coordinating Massively Parallel Shared-Memory Systems
Specialization as a Candle in the Dark Silicon Regime
Certified Run-Time Code Generation
Novel feeds for microstrip and slot antennas: Theory and experiment
Incentive-Centered Design of Money-Free Mechanisms
Time Scales, Coherency, and Weak Coupling
Reeb graphs for topological connectomics
FPGA-Accelerated Evaluation and Verification of RTL Designs
Longer Time Steps for Molecular Dynamics
Storage and processing systems for power-law graphs
High Definition Map as An Infrastructure for Urban Autonomous Driving
From Contests to Communities of Practice: Designing for Effective Feedback Exchange in Online Innovation Contests
Algorithmic Stability for Responsible Computing
Aggregating probabilistic beliefs: Market mechanisms and graphical representations
Function Space Reasoning in Gaussian Processes and Neural Networks
The Concept of "development Literature" And The Establishment Of Criteria For The Creation Of A Development Data Base (developing Countries-information; Devsis, Undis Retrieval Systems)
Large-Scale Pattern Discovery in Music
New Techniques to Verify Timing Correctness of Integrated Circuits
Geometric model extraction from magnetic resonance volume data
Low-Frequency Subsurface Electromagnetic Modeling
Belief shaping in noncooperative communication and control systems through strategic signaling
The delay performance of adaptive routing and scheduling in communication networks
Energy efficiency in data collection wireless sensor networks
The application of abstract state machines in software engineering
Scalable reliable multicast and its application to web caching
Fast Periodic Steady-State Analysis of Large Signal Electronic Circuits
Learning Computational Models of Non-­Standard Language
A Software Design System
Perspective Switching in Virtual Environments
Interactive modeling using surface splines
Natural Language Interfaces for Procedural Content Generation in Games
On the relationship between prefix-codes, trees, and automata
The application of natural language processing to open source intelligence for ontology development in the advanced persistent threat domain
Optical and Electrical Properties of Novel Quantum Dot Lasers and Amplifiers
Control-theoretic decision support for mitigation of modeled software project cost overruns
Theory, Design and Characterization of Protein Symmetry Combination Materials
Efficient data to decision pipelines for embedded and social sensing
Cryptographic approaches to security and optimization in machine learning
Polynomial methods in statistical inference: Theory and practice
Efficient Synthesis of Physically Valid Human Motion for Computer Animation
Graph Representation Learning for Drug Discovery
Self-aware Memory Management for Emerging Architectures
Towards Scalable Analysis of Images and Videos
Exploiting Program Representation with Shader Applications
Geometric Sampling Theory, Triangulations, and Robust Machine Learning
Deceptive Memory Systems
Data-flow graphs as an intermediate program form
Highly Reliable Communication and Sensing for Battery-free IoT
Computer programming with a dynamic algebra
MURPHY: A neurally-inspired connectionist approach to learning and performance in vision-based robot motion planning
Modeling and rendering appearance of hair and textile fibers
Optimized Network Coding for Wireline and Aref Networks
Some Aspects of Noncommutativity in Polynomial Optimization
Symmetry in Distributed Systems
A Framework for the Perceptual Optimization of Multivalued Multilayered 2D Scientific Visualization Methods
Exploiting wireless broadcast property to improve performance of distributed algorithms and mac protocols in wireless networks
Student Belonging in Teaching Assistant Interactions and Course Policies in Post-Secondary Computer Science
Techniques for Deployed Quantum Networks with Solid-State Defect Centers
Spectral-Domain Iterative Techniques for Analyzing Electromagnetic Scattering From Arbitrary Bodies
Grounded and Consistent Question Answering
Methods for the Expansion of Additive Manufacturing Process Space and the Development of In-Situ Process Monitoring Methodologies
Making Data Storage Efficient in the Era of Cloud Computing
An Algorithm to Compute the Stochastically Stable Distribution of a Perturbed Markov Matrix
Reliable message transport for network communication
Stochastic Analyses of Dynamic Computer Processes
Planning and evaluation of federated queries on the web
Scalable Scientific Computation Acceleration Using Hardware-Accelerated Compression
Ultra-Low Leakage, Energy-Efficient Digital Integrated Circuit and System Design
Reliable data processing enabled by program analysis
Leveraging Mixed Process Three-Dimensional Die Stacking Technology for Cache Hierarchies and Reliability
Mining novel sources of knowledge to identify causal information in text
Counting and localizing targets with a camera network
A Unified Framework for Image Modeling and Estimation Using Measurement Constraints
Integrating multiscale simulations, path-splitting methods and deep learning for enhanced kinetic and thermodynamic predictions and efficiency in biomolecular dynamics
Abstraction Recovery for Scalable Static Binary Analysis
Responsiveness in Narrative Systems
Identifying individual animals using ranking, verification, and connectivity
Deep Neural Networks for Visual Reasoning, Program Induction, and Text-to-Image Synthesis
Localization, Mapmaking, and Distributed Manipulation wiht Flexible, Robust Mobile Robots
Building Efficient Distributed In-memory Systems
Lightweight Cryptographic Mechanisms for Internet of Things and Embedded Systems
Compound Semiconductor Power Heterojunction Bipolar Transistor Technology
Question answering and generation from structured and unstructured data
Abstractions and efficient implementation of automatically reconfigurable network testbeds
An Approach to Motion Planning and Motion Control of Two Robots in a Common Workspace (Straight Line Trajectory, Collision Map, Time Scheduling, Resolved Motion Adaptive)
Assisting Human Motion-Tasks with Minimal, Real-time Feedback
Qduino: a cyber-physical programming platform for multicore Systems-on-Chip
Practical and Flexible Equality Saturation
Specifying, Verifying, and Translating Between Memory Consistency Models
Traffic Conflict Identification and Validation using Deep Unsupervised Learning
Fault-Tolerant Wait-Free Implementations and Robust Wait-Free Hierarchies
Some Models and Measures for Learning on a Budget
Conditional Sampling Distributions for Coalescent Models Incorporating Recombination
Rethinking System Design with Awareness for Cross-layer Aspects of Datacenter Storage
Continuous Learning for Lightweight Machine Learning Inference at the Edge
Executable Operational Semantics of Programming Languages
High-Level Liquid Types
Manipulation of PageRank and Collective Hidden Markov Models
HUMAN(e) EXPERIENCE: Natural Gestures for Natural Interactions
On single and multiple job class queueing network models of computer systems
Efficient query processing for uncertain data
Effective and Efficient Analysis on Internet-based Social Networks
Names to Conjure With: Measuring and Combating Online Adversaries by Examining Their Use of Naming Systems
Analyzing and Defending Against Evolving Web Threats
Resugaring: Lifting Languages through Syntactic Sugar
Lattice Coding for Continuous Channels
Unsupervised Structural Embedding Methods for Efficient Collective Network Mining
Low-area and power-efficient on-chip clock reference generation
Wireless Sensing with Machine Learning: Through-Wall Vision & Contactless Health Monitoring
Elevating Large Language Models to Expert Intelligence
A unified approach for assessing circuit and packaging technologies in a system environment
A Visual Analytic Framework for Graphs
Multicommodity and generalized flow algorithms: theory and practice
Seeing structure: using knowledge to reconstruct and illustrate anatomy
LOOK: Implementation of an Expert System in Information Retrieval for Database Selection
Efficient Deep Learning Computing: From TinyML to LargeLM
Content-based image analysis with applications to the multifunction printer imaging pipeline and image databases
Improving Iterative Analytics in GUI-Based Data-Processing Systems with Visualization, Version Control, and Result Reuse
Abstraction, Imagery, and Control in Cognitive Architecture
Integrable and Integrated Optoelectronic Devices Grown by Metalorganic Chemical Vapor Deposition
Agent-Based Models for Analyzing Strategic Adaptations to Government Regulation
Scalable Computational Methods for Discovering Novel Natural Products
Towards General-purpose Vision via Multiview Contrastive Learning
Knowledge-enhanced Representation Learning for Multiview Context Understanding
Multiple scattering reflection models theory, implementation and experimental analysis
3D Manipulation of Objects in Photographs
Usage-dependent conceptual clustering and the dynamic reorganization of distributed databases
Verification vision within a programmable assembly system
Using types to enforce architectural structure
Knowledge discovery in scientific databases
Reducing communication cost in scalable shared memory systems
Dependability where the mobile world meets the enterprise world
Understanding and Guaranteeing Security, Privacy, and Safety of Smart Homes
Optimization Inspired Neural Networks for Multiview 3D Reconstruction
Mathematical and Computational Models of Fluctuating Vesicles in Time-Varying Flows
Towards Robust and Resilient Machine Learning
Category learning is constrained by training context and prior experience
Indexing Scientific Data
Optimizing the Design of Robot Environments via Interleaved Optimization and White-Box Motion-Planning
Functional design error diagnosis, correction and layout repair of digital circuits
Surface reconstruction in computer vision
Improving Performance for Flash-Based Storage Systems
A Collaborative Framework for Machine Learning-Based Toolmaking for Creative Practices
Molecular Orbitals and Where to Find Them
Embedding Security into Systems After Their Design
Scientific Data Collections: Use in Scholarly Communication and Implications for Data Curation
Exploring the Internal Statistics: Single Image Super-Resolution, Completion and Captioning
End-to-End Joint Image Compression and Deep Learning under Bandwidth Constrained Environments
Cognitive Consequences of Physical Assembly
Improving Information Extraction by Discourse-Guided and Multifaceted Event Recognition
Provably-Good Approximation Algorithms For Optimal Kinodynamic Robot Motion Plans
Investigation of electroforming characteristics of TiO 2 based resistance switching devices
Multifield Volume Rendering
Full-Surface Data Storage
Modelling dynamic propagation of characteristic gases in transformer oil/paper structure and transformer fault diagnostics
Reliability and Security Engine: A Processor-Level Framework for Application -Aware Detection and Recovery
Towards Large Language Models for Everyone: Instruction Following, Knowledge Retrieval and Multilingualism
Scalable and Efficient Material Point Methods on Modern Computational Platforms
A high performance vector rendering pipeline
Bulk Operation and Data Coloring for Multiprocessor Programmability
Practical systems for overcoming processor imperfections
Word spotting in the wild
Behavioral feature extraction for network anomaly detection
Computational Tools for Chemical Reactions: Simulation & Prediction
Development of a multi-physics simulation framework for semiconductor materials and devices
Problem-solving environments for partial differential equation based applications
Training and architecting sequence to sequence language models for applications in varied domains
Fast, Durable, and Safe Data Management Support for Persistent Memory
Learning and Reasoning with Fast Semidefinite Programming and Mixing Methods
On Properties of Random Reductions
A two-view document editor with user-definable document structure
Improved automatic adaptation through the combination of multiple information sources
Telltale Hearts: Encoding Cinematic Choice-based Adventure Games
Energy-efficient Information Collection and Dissemination in Wireless Sensor Networks
Topics in Deep Learning and Data-driven Optimization
Context-Aware Network Security
New Information Inequalities with Applications to Statistics
In-the-wild detection of speech affecting diseases
Lighting and Optical Tools for Image Forensics
From Attack to Defense: Toward Secure In-vehicle Networks
Understanding and Improving Language Models Through a Data-Centric Lens
Automated Scalable Management of Data Center Networks
Efficient Non-Interactive Zero-Knowledge Proofs for Privacy Applications
Market structure and multidimensional auction design for computational economies
Advancements in Combinatorial Optimization and Spectral Graph Theory: Approaches to Permanents, Metric Embeddings, and Geometric Graphs
Pattern Mining and Concept Discovery for Multimodal Content Analysis
Analysis of Plates Continuous Over Flexible Beams
EnviroSuite: An Environmentally-Immersive Programming Framework for Wireless Sensor Networks
Semiconductor Laser Arrays Grown by Metalorganic Chemical Vapor Deposition
Harnessing Simulated Data with Graphs
Simulations of Biological Ion Channels by Using the Shockley-Read-Hall Formalism
Situational Awareness and Mixed Initiative Markup for Human-Robot Team Plans
Reasoning about authorization policies
Methodologies for electromagnetic field modeling for computer aided analysis of multi-domain physical interactions
Morphogenesis and Growth Driven by Selection of Dynamical Properties
Embedded computation and the semantics of programs
Using network knowledge to improve workload performance in virtualized data centers
Error mechanisms for convolutional codes
A method for the specification, composition, and testing of distributed object systems
Lost and Found in Translation: Cross-Lingual Question Answering with Result Translation
Population genetic analysis with PCA informative markers
Efficienty Loop-Level Parallelism in ADA
Empirical studies of default hierarchies and sequences of rules in learning classifier systems
Compiling for NUMA Parallel Machines
Performance enhancement in wireless local area networks
Multithreaded architectures for manycore throughput processors
Quality of Service Provisioning in Wireless and High-Speed Networks
Adaptive Thread Management for Power, Temperature, and Reliability in Future Microprocessors
Semantics-based program verification
Rank aggregation techniques for context-aware database management systems
Xact-casts: Framework, protocols, and applications
Multimodal Fusion With Applications to Audio -Visual Speech Recognition
Bi-Directional Brain-Computer Interfaces: Stimulation Artifact Suppression Design and Walking Exoskeleton Implementation
Trustable Deep Reinforcement Learning with Efficient Data Utilization
Securing Mobile Devices Through Discovery, Mitigation, and Prevention of Vulnerabilities
Supporting Learner Social Relationships with Enculturated Pedagogal Agents
Efficient and Scalable Parallel Functional Programming Through Disentanglement
Network and Load Modeling for Power System Dynamic Analysis
Breathing, Laughing, Sneezing, Coughing: Model and Control of an Anatomically Inspired, Physically-Based Human Torso Simulation
Towards A Theory For Behavioral Studies Of Data Structures
Integrating Visualization Grammars With the Task Language of Data Analysts
Age of Information: From Sensing Networks to Federated Learning
Dynamic and active information fusion for decision making under uncertainty
Learning Language with Multimodal Models
Simple and Approximately Optimal Mechanisms Design
A device independent router model: From measurements to simulations
Improving the Policy Specification for Practical Access Control Systems
Generation and Comparison of Equivalent Equation Sets in a General Purpose Simulation and Modeling Package
One Step towards Autonomous AI Agent: Reasoning, Alignment and Planning
Applications of symbolic and algebraic manipulation software in solving applied mechanics problems
From Controlled Data-Center Environments to Open Distributed Environments: Scalable, Efficient, and Robust Systems with Extended Functionality