yusuke1997/dblp-id-title huggingface dataset:
Robots as language users: a computational model for pragmatic word learning
Implicit Programming and the Logic of Constructible Duality
Credit Network Payment Systems: Security, Privacy and Decentralization
A baseband processor for software defined radio terminals
Optimization over networks: Efficient algorithms and analysis
Instance-Optimized Database Indexes and Storage Layouts
Characterization, Design, and Modeling of on -Chip Electrostatic Discharge Protection Devices
Compiler support for productive message-driven parallel programming
Pattern extraction and clustering for high-dimensional discrete data
High-Dimensional Polynomial Approximation with Applications in Imaging and Recognition
Probabilistic approaches to entity retrieval
Design, control, and simulation strategies for haptic interfaces
Segmented approximation and analysis of stochastic processes
SecureTLC: Secure and Two-level Traffic Signal Control for Intelligent Transportation System
Approximation algorithms for Concave Cost network flow problems
Universal tripartite entanglement in topological phases of matter
In-vivo Microstructural and Anatomical Analysis of Brain White Matter from Diffusion MRI
Stochastic Solutions to the Schroedinger Equation for Fermions
SpiderNet: A Quality -Aware Service Composition Middleware
Body Pressure Image Analyses: Static, Dynamic, and Sensing Strategies for a Pressure Sensitive Bedsheet
Utility-driven optimization and placement framework for Visual IoT analytics over edge-cloud environments
Secure multicast for power grid communications
A framework for reasoning precisely with vague concepts
Obfuscation of Quantum Computation
Physical Design for Multichip Modules
A Syntax-directed Least-errors Recognizer For Context-free Languages
Context in Computer Vision: A Taxonomy, Multi-stage Integration, and a General Framework
V for Venous Pressure
Format Abstractions for the Compilation of Sparse Tensor Algebra
Feature Engineering in Fine-Grained Image Classification
Neural Modeling Across Scales
Crawling the web: discovery and maintenance of large-scale web data
Thread Escape Analysis for a Memory Consistency -Aware Compiler
Advanced Computational Methods for Ground and Excited States to Study Complex Systems
A taxonomy for texture description and identification
Towards collaborative dialogue in Minecraft
Exploiting sparsity for machine learning in big data
Scheduler side-channels in preemptive real-time systems: attack and defense techniques
The Relationship of Indexing Depth to Subject Catalog Retrieval Effectiveness
Microelectromechanical and Microfluidic Systems for Scanning Probe Lithography
Spatio-Temporal Load Deferral Algorithms for Energy Use Optimization
Elastic Processing and Hardware Architectures for Machine Learning
Design Techniques for Frequency Reconfigurability in Multi-Standard RF Transceivers
Enhancing Visual Media Through Reflection and Recomposition
Explainable Mechanism Design
Charisma: A Component Architecture for Parallel Programming
Code-error calibration techniques for two-step flash analog-to-digital converters
Design and Mitigation of Vehicular Botnets in Vehicular Ad Hoc Networks
Demographic-Aware Natural Language Processing
Algorithm-circuit co-design for detecting symptomatic patterns in biological signals
Facilitating the development of Analytical Dashboards on the Web
Data Center Energy Management
Sharing memory in distributed systems : methods and applications
Coding for Frequency-Hopped Spread-Spectrum Channels With Partial-Band Interference
An End User QoS View of Buffer Sizing and Bandwidth Sharing Protocols
Modeling the biological visual system: from static and computational to active and data-driven
Energy Storage on the Grid and the Short-term Variability of Wind
Prediction-Constrained Latent Variable Models
Two Algorithms for Progressive Computation for Accurate Global Illumination
Mechanistic Models of Neural Computation in the Fruit Fly Brain
MR Shuffling: Accelerated Single-Scan Multi-Contrast Magnetic Resonance Imaging
Representation Learning for Efficient Localized Image Retrieval
Practical Black-Box Analysis for Network Functions and Services
Compiler Memory Management and Compound Function Definition for Multiprocessors
High-Fidelity Spatial Signal Processing in Low-Power Mixed-Signal VLSI Arrays
Modeling dual-task performance improvement: Casting executive process knowledge acquisition as strategy refinement
Mobile Service Continuity in a Heterogeneous Wireless Network Environment
Genetic association studies of Alzheimer disease using multi-phenotype tests and gene-based tests
Modeling the Physical World for Data-Centric Robotics
Interactive Latent Space for Mood-Based Music Recommendation
Operational analysis of queueing phenomena
Managing Large Multidimensional Datasets Inside a Database System
Characterization of Extracellular Vesicles from Human Diabetic Retinopathy Retinal Tissue in Vitro and from Urine of Human Patients with Diabetic Retinopathy
Learning and exploring the compositional structure of 3D data
Stable and Semantic Robotic Grasping Using Tactile Feedback
On Automatic Database Management System Tuning Using Machine Learning
Designing Efficient Memory Schedulers for Future Systems
Analyzing Sensitive Data with Local Differential Privacy
Predictive and Generative Models of Protein Sequence and Structure
Four studies of communicative, cognitive, and social factors in extremism and polarization
Reinforcement Learning: New Algorithms and An Application for Integer Programming
Analyses of Pointers, Induction Variables, and Container Objects for Dependence Testing
Parallelizing Irregular Applications for Distributed Memory Scalability: Case Studies from Genomics
Design and implementation of query languages for program databases
A Theory of Model Selection in Reinforcement Learning
Design and Analysis of Wireless Networks: Connectivity, Coverage, and Capacity
Video-Based Animal Behavior Analysis
Optimization Problems in Data Mining
Time-Space and Size-Space Tradeoffs for Oblivious Computations
Sequential resource allocation in communication networks: Guessing games, strategies, and online algorithms
Toward Entity-Aware Search
Practical Run-Time Mitigations Against Data-Oriented Attacks
Describing Function Analysis for Nonlinear Sampled-Data Control Systems
Evaluating Student Politics: A Social Media Approach to Assessing Ideological Skew on College Campuses
Teaching machines to converse
Parallel hybrid sparse linear system solvers with applications
Interactive Test Construction and Administration in the Generative Exam System
Constructing Efficient Extensible Compilers With Incremental Analysis
Theorizing and quantifying organizational and social factors in probabilistic risk assessment of complex systems
Power Electronics Meet Piezoelectrics: Converters, Components, and Miniaturization
Empirical estimates of program entropy
Towards better simplifications in SMT solvers with applications in string solving
Design, Evaluation and Co-optimization of Emerging Devices and Circuits
Experimental investigation of hot electron and related effects in gallium(aluminum)arsenide devices
Optimizing Communication for Massively Parallel Processing
Multiple Fault Diagnosis in Combinational Networks
Workload characterization of real time computing systems
Multi-target pharmacology of small molecule drugs and first-in-class inhibitors discovery
Multichannel Communication and Graph Vertex Labeling Problems
Image Processing, Pattern Recognition and Attentional Algorithms in a Space-Variant Active Vision System
Unsupervised Bayesian Lexicalized Dependency Grammar Induction
Understanding Game Balance with Quantitative Methods
Optimizing the Automated Programming Stack
Ray: A Distributed Execution Engine for the Machine Learning Ecosystem
Improving Fault Tolerance and Performance of Data Center Networks
Dynamic Particles for Adaptive Sampling of Implicit Surfaces
Data Placement for Efficient Main Memory Access
Interpreting natural language database updates
Efficient Access to Knowledge Via Forward Chaining Tactics
High-Performance Computational Genomics
Topics in Optimization and Sparse Linear Systems
Unseen Object Perception for Robots
Kinetic maintenance of proximity structures
Understanding, Formally Characterizing, and Robustly Handling Real-World Distribution Shift
Effective and Efficient Learning at Scale
The building blocks of expertise : examining extreme experts in the video game "Tetris"
Model Abstraction and Temporal Behavior Analysis of Genetic Regulatory Networks
Flexible query facilities for heterogeneous semi-structured data
The Ranges of Life Interests and Reading Interests Among Adult Users of Public Libraries in Communities of Various Sizes
Optimal contour approximation by deformable piecewise cubic splines and nonparametric edge location estimation
Excavating ePortfolios: What Student-Driven Data Reveals about Multimodal Composition and Instruction
Excitation Processes in Dc Discharges in Neon - Argon Mixtures
Alpine sensor network system for high-resolution spatial snow and runoff estimation
Naming and sharing resources across administrative boundaries
Arithmetic integration of decision procedures
Fast Sparse Matrix Reordering on GPU for Cholesky Based Solvers
Interference-Free Regions and Their Application to Compiler Optimization and Data-Race Detection
The p-strategy: An adaptive agent bidding strategy based on stochastic modeling for continuous double auctions
Bridging machine learning and computational photography to bring professional quality into casual photos and videos
Sharp, reliable predictions using supervised mixture models
Quality of Service Provisioning in Integrated Service Networks
Tools and techniques for testing-based software reliability estimation
Asymptotic Complexity of Iterative Computation
A Comprehensive Approach to Undermining Search Result Poisoning
An Implementation for Gyve: a Language for Concurrent Processing
Efficient Neural Information Retrieval for Scalable Text Document Search
Securing emerging IoT systems through systematic analysis and design
Bayesian Computation and Optimal Decision Making in Primate Brains
Sensor-Based Analysis of Object-Use Patterns for the Automatic Assessment of Cognitive Status
Performance benchmarking, analysis, and optimization of deep learning inference
Acceleration of Compute-Intensive Applications on Field Programmable Gate Arrays
Control of Mixed Distributed and Lumped Parameter Systems
Provable Algorithms for Reinforcement Learning: Efficiency, Scalability, and Robustness
Span-based Neural Structured Prediction
Potential-based analysis of social, communication, and distributed networks
Low power high performance interconnect design and optimization
Performance analysis of media access protocols for high-speed local and metropolitan area networks
Ultrasound-based Noninvasive Monitoring Methods for Neurocritical Care
Redefining Digital Archaeology: New Methodologies for 3D Documentation and Preservation of Cultural Heritage
Symbiotic Solid State Drives: Management of Modern NAND Flash Memory
An iterative block Lanczos method for the solution of large sparse symmetric eigenproblems
Topics in the Theory of Learning
Understanding the interaction between reliability and wireless broadcast
Toward Length-Extrapolatable Transformers
A Procedure for Synthesis of Switching Networks
Objects and Actions: Learning Representations for Open-World Robotics
Preventing encrypted traffic analysis
Probabilistic grammars for plan recognition
Matrix Solution of Nonlinear Sampled-Data Control Systems
Learning Fluents for Task Representation
Spatial estimation of the 12-lead electrocardiogram using linear, least-squares modeling techniques
High Order Reverse Mode of Automatic Differentiation
Towards Superclouds
Evidence-based gamification and mnemonics for logographic writing systems
Acoustic-Prosodic Entrainment in Human-Human and Human-Computer Dialogue
Gaussian Process Modeling for Upsampling Algorithms With Applications in Computer Vision and Computational Fluid Dynamics
Distributed Linear Filtering and Prediction of Time-varying Random Fields
Typing Higher-Order Functions with Dynamic Dispatching
Deployment Algorithms for Outdoor IOT Networks Over 2.5D Terrain
Stochastic and statistical computational methods, super resolution imaging and single particle tracking to understand organelles in vivo, in vitro, and in silico
Sparse-view 3D in the Wild
Extending the Scalability of Linkage Learning Genetic Algorithms: Theory and Practice
A Network Surveillance Mechanism to Support Partitioned Operation in Distributed Database Systems
Dynamic weighted data structures
Geometric control and motion planning for three-dimensional bipedal locomotion
Improving the performance of highly reliable storage systems
Beyond Automation: Supporting Human-Computer Collaboration in Designing with Active Materials
Future scaling of datacenter power-efficiency
Vector Map-Based, Non-Markov Localization for Long-Term Deployment of Autonomous Mobile Robots
Graph spectra and isomorphism testing
Learning Long-Range Vision for an Offroad Robot
Algorithms for the Identification of the Parameters of Linear Dynamic Systems
Big Bayesian Phylogenetic Comparative Methods
Information Asymmetries in Data-Driven and Sustainable Operations: Stochastic Models and Adaptive Algorithms for Strategic Agents
Domain Modeling for Knowledge-Based Systems: An Approach Based on Objects, Events, and Rules
Development of Gallium Nitride-Based Power Electronic Devices Using Plasma-Assisted Molecular Beam Epitaxy
NLP Driven Models for Automatically Generating Survey Articles for Scientific Topics
Cellular Automata As Models Of Natural Systems
Multi-Scale Models to Simulate Interactions between Liquid and Thin Structures
A Retargetable Query-based Approach to Scaling Dataframes
Data exploitation and privacy protection in the era of data sharing
Interactive Direct Illumination in Complex Environments
Efficiently Sampling from Underlying Physical Models
Effective statistical models for syntactic and semantic disambiguation
Multimedia Security and Copyright Protection
Phonon and Alloy-Clustering Effects in Aluminum Gallium Arsenide-Gallium Arsenide Quantum-Well Heterostructures
New Techniques for Realization of Transfer Functions
FOLDS, a declarative formal language definition system
Autonomous and Predictive Systems to Enhance the Performance of Resilient Networks
Secure information flow in computer systems
Towards City-Scale Neural Rendering
Efficient Deep Learning
End-to-end Speech Separation with Neural Networks
A Study on Distributed Structures
Measuring and improving the performance of the bitcoin network
Charge-Density-Wave Transport in Quasi - One-Dimensional Conductors
Computer models of the beam-plasma interaction
Systems Analysis of Mechano-Sensitive Signaling Networks Regulating Gene Expression in Cardiomyocytes and Adventitial Fibroblasts
Analysis of genomic data to derive biological conclusions on (1) transcriptional regulation in the human genome and (2) antibody resistance in hepatitis C virus
Scalable location-based security in wireless networks
Geometric and Compositional Semantic Structures in Deep Representations
Incentives and algorithms for reputation systems
Guided randomized search over programs for synthesis and program optimization
Ideology Analysis for Social-Media Users via Multi-Modal Data Mining
Some Analytical Methods for Solving a Class of Boundary Value Problems
The Time Dispersion of Secondary Electron Emission
Program Similarity Techniques and Applications
An Investigation of Directional Deviations of Steeply Downcoming Hf Radiowaves Due to Traveling Ionospheric Disturbances
Scalable Emulation of Heterogeneous Systems
Application of beam shaping in second-harmonic generation microscopy
Pivot-based Statistical Machine Translation for Morphologically Rich Languages
Type-Theoretic Models of Concurrency
Decision tree pruning using expert knowledge: cost-sensitive pruning
Multiagent Learning by Iterative Refinement of Game Models
Ultrasonic Ranging and Indoor Localization for Mobile Devices
Data-Oblivious Algorithms for Privacy-Preserving Access to Cloud Storage
Middleware Approaches to Societal Scale Information Sharing
Principled Optimization of Functional Programs
Computational integration of genome-wide observational and functional data in cancer
Privacy-preserving social network analysis
Practical Considerations For the Deployment of Clinical NLP Systems
Energy-Aware Batch Scheduling
Games meet Concurrency: Algorithms and Hardness
Medial Axis of Region Bounded by B-Spline Curves and Surfaces
Learning Task-sufficient Representation of Video Dynamics
Modeling concept acquisition in the context of a unified theory of cognition
Early Power Estimation for VLSI Circuits
Structuring peer interactions for massive scale learning
Protecting privacy when mining and sharing user data
Data-driven Material Recognition and Photorealistic Image Editing Using Deep Convolutional Neural Networks
A Subexponential Algorithm for Trivalent Graph Isomorphism
Wireless Link Signature: Measurements, Methodologies, and Applications
Reconstruction of scenes containing polyhedra from stereo pair of views
Machine Learning based Attacks and Defenses in Computer Security: Towards Privacy and Utility Balance in Emerging Technology Environments
Decision-making and Motor control: Computational Models of Human Sensorimotor Processing
Fast Power Converters and Rapid Digital Design
Longitudinal Segmentation for Image Sequence with Appearance and Shape Change
A hybrid approach to problems in image processing
Pseudorandom functions with new properties
The State Variable Assignment Problem for Asynchronous Sequential Switching Circuits
Quantitative phase imaging: advances to 3D imaging and applications to neuroscience
Analysis of Situated Interactive Non-Expert Instruction of A Hierarchical Task to a Learning Robot
Redundant Disk Arrays in Transaction Processing Systems
Quadratic Discriminant Analysis Revisited
Type inference and program evaluation in the presence of subtyping
Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures
Testing and Fault-Tolerance Aspects of High-Density VLSI Memory
Domain-Specific Knowledge Exploration with Ontology Hierarchical Re-Ranking and Adaptive Learning and Extension
Process Development for High Speed Transistor Laser Operation
A Learning-Based Framework Incorporating Domain Knowledge for Performance Modeling
Managing Distributed Databases in Partitioned Networks
Economics and Computation in Decentralized Systems
Security threats to the MAC-layer in wireless networks
Automating Animated Transitions in Statistical Graphics
Runtime, Analysis, and Tools for Reliable Management of Mobile App States
Unification of VLSI placement and floorplanning
Deliberative Perception
Vehicle-to-Grid Integration to Power Grids
Quantifying the functional and evolutionary relationships among sequences, transcription factor binding and gene expression
Adaptive Model-Predictive Control and 3D Acoustic Radiation Force Imaging for the Improvement of Magnetic Resonance-Guided Focused Ultrasound Therapies
Building reliable machine learning systems for neuroscience
Forward and Inverse Rendering with Gradient-based Optimization
Life Language Processing: Deep Learning-based Language-agnostic Processing of Proteomics, Genomics/Metagenomics, and Human Languages
Expressing narrative function in adaptive, computer-composed music
Design and applications of novel computational methods for the study of quantum properties of emergent nanomaterials and biomolecules
New methods for branch-and-bound algorithms
Violation management for relational data
Global Full-Waveform Tomography Using the Spectral Element Method: New Constraints on the Structure of Earth's Interior
Visual analysis and synthesis with physically grounded constraints
Residue Number System Recursive Digital Filtering With Error Correction Capabilities
Frequency Analysis and Sheared Filtering for Multidimensional Effects in Rendering
Text and Numerical Input on Mobile and Wearable Devices
Machine learning in health informatics
Security analysis of network protocols : compositional reasoning and complexity-theoretic foundations
Collection-Level Subject Access in Aggregations of Digital Collections: Metadata Application and Use
Reconfiguration and verification of modular discrete event control systems
A Constraint Logic Approach to Automated Modal Deduction
Relational Programming
Selective algorithms for large-scale classification and structured learning
Improving Task Performance in an Affect-mediated Computing System
Compressing terrain elevation datasets
Towards Privacy-Preserving and Regulation-Compliant Data Analysis
Resource Efficient Frameworks for Network and Security Problems
Simulation for Reliability, Hardware Security, and Ising Computing in VLSI Chip Design
Autonomous Vehicle Social Behavior for Highway Driving
Mathematical and Computational Models of Virus Dynamics
Adaptive Protocols for Frequency-Hop Packet Radio Networks
Author Indexing in Mathematics
Information content of visual representations depends on attentional priority and working memory load
Application of Time-Resolved Laser-Excitation Fluorometry to the Study Ofprimary Photosynthetic Processes
Stable Algorithms for Large Sparse Eigenvalue Problems
Automatic Security Assessment of Control Systems for Critical Cyber -Infrastructures
Quasi-Polynomial Time Techniques for Independent Set and Beyond in Hereditary Graph Classes
On the Rational Bounds of Cognitive Control
Towards Clinically Applicable Reinforcement Learning
Mining and Managing Large-Scale Temporal Graphs
Modeling Relevance in Statistical Machine Translation: Scoring Alignment, Context, and Annotations of Translation Instances
Empirical Measurement of Defense in Depth
Fault tolerance and dynamic partitioning in large-scale parallel systems
A Study of Language Representation of Semantic Domains with Applications to Language Design and Definition
Coordination Dynamics in Human-Robot Teams
Development of a minimally invasive molecular biomarker for early detection of lung cancer
Dynamic Data Structures for Two Dimensional Searching
A collaborative monocular visual simultaneous localization and mapping solution to generate a semi-dense 3D map
Towards Interpretable Models of Health
Deformable Object Recognition with Articulations and Occlusions
Understanding user errors in database query
Transformatrix - an Image Processor, Input and Stochastic Processor Sections
Analysis of Power Deposition Patterns and Ultrasonic Phased Arrays for Localized Hyperthermia
Syntactic Error Correction In Programming Languages
Low-rank Based Algorithms for Rectification, Repetition Detection and De-noising in Urban Images
Graphical Models for Video Understanding
Symbols Purely Mechanical: Language, Modernity, and the Rise of the Algorithm, 1605-1862
Hardware solutions to reduce effective memory access time
Communications Behavior of Academic Economists
Model Compression Methods and Their Applications
Reliable Representation Learning: Theory and Practice
On the Scalability and Efficiency of Graph Processing Systems
Evaluating the Effectiveness of Orientation Indicators with an Awareness of Individual Differences
Systems for Challenged Network Environments
Exascalable Communication for Modern Supercomputing
Excitation, Propagation, and Control of Spin Waves in Magnetic Micro- and Nanostructures
Learning Under Random Reshuffling and Distributed Features
Improving Per-Thread Performance on CMPs through Timing Speculation
Understanding User Cognition: From Spatial Ability to Code Writing and Review
Pediatric Asthma Management: System and Algorithms
Automatic Random Logic Layout Synthesis - a Module Generator Approach (VlSI, Silicon Compilation, Design Automation, Cell Synthesis, Grid)
Using Sensor Redundancy in Vehicles and Smartphones for Driving Security and Safety
Higher-Dimensional Types in the Mechanization of Homotopy Theory
Optical imaging with machine learning for the automated characterization of micro- and nanoscale devices
Pronouncing names by a combination of rule-based and case-based reasoning
Silicon Compilation
Design, Fabrication and Characterization of an Autonomous, Sub-millimeter Scale Modular Robot
A Method of Decoding Speech