yusuke1997/dblp-id-title huggingface dataset:
Collective leadership for community action: A case-based inquiry into supporting digital literacy initiatives
Adaptation Techniques to Mitigate Impact of Process Variations and Dynamic Thermal Management
Game theory and optimization in boosting
Automated performance attack discovery in distributed system implementations
On Systems and Algorithms for Distributed Machine Learning
A Study on Several Radar Techniques Used for the Estimation of Ionospheric Plasma Drifts
End-to-End Inference Optimization for Deep Learning-based Image Upsampling Networks
Democratizing Self-Service Data Preparation through Example Guided Program Synthesis,
Early Detection of Business Rule Violations
Design, Analysis and Application of System-Level Power Distribution Networks
Modeling-based Optimization for Robotic Manipulation
A Scalable and Cost Effective Architecture for High Gain Beamforming Antennas
Combining Programs to Enhance Security Software
Optimizing Sparse Graph and Tensor Algorithms
Improving the performance of peer-to-peer systems
Efficient interfaces for accurate annotation of 3D point clouds
Rapid Training of Information Extraction with Local and Global Data Views
Information trust, inference and transfer in social and information networks
Adaptive Protocols for Reliable Internet Data Transport
The accurate and efficient timing verification of interacting finite state machines
Trajectory optimization and data-driven modeling for robotic bat flapping flight
Dynamic Orchestration of Massively Data Parallel Execution
A Two-Dimensional Amplitude-Steered Array for Real-Time Volumetric Acoustic Imaging
Handling Data Too Large To Handle: On Multi-pass Streaming and Interactive Coding
Macroprogramming scalable sensor networks
Timing analysis in existing and emerging cyber physical systems
Sampling-based Randomized Algorithms for Big Data Analytics
Worlds as a unifying element of knowledge representation
Formalizing Reference Types in NuPRL
Modeling and analysis of x86-based front -end architectures
Type Determination for very High Level Languages
On the design, use, and integration of data models
Compiler-assisted Adaptive Software Testing
Efficient Data Integration: Automation, Collaboration, and Relaxation
Towards efficient, on-demand and automated deep learning
Architecture and Applications of a Unifield-Type Computer
Effective Modeling in Medical Imaging with Constrained Data
Measuring and Increasing the Reach of Security Information Through Online Media
Runtime Optimizations for Large-Scale Data Analytics
Increasing the Critical Thickness of InGaAs Quantum Wells Using Strain-Relief Technologies
A Study of the Equiangular Spiral Antenna
Design and Automation for High Fidelity Flexible Hybrid Electronics
Architectural and Compiler Support to Hide Coherence Misses in Distributed Shared-Memory Multiprocessors
Equatorial F -Region Plasma Density Estimation With Incoherent Scatter Radar Using a Transverse -Mode Differential -Phase Method
A Microwave Technique for the Study of Deviations From Ohm's Law in High Resistivity Semiconductors
Liberating the Siloed Gateway: Application-Agnostic Connectivity and Interaction for the Internet of Things
Interactions of Microbes in Communities
Designing Conversational Agents to Promote Collaboration and Systems Thinking in High School Science Discussion
Handheld MRI for Point-of-Care and Educational Applications
Mathematical Approaches to Understanding Mammalian Circadian Rhythms
Spectral Temporal LiDAR and Optical Dynamic Range Compression; New Concepts in Photonics
Structured Tensor Recovery and Decomposition
Power network analysis and optimization
Designing Transparent and Factual Text Generation Systems Grounded in Language Structure
Practical Natural Language Processing for Low-Resource Languages
Vision-based 6D object pose estimation for robot manipulation
On Communication Over Correlated Fading Channels With Practical Power Constraints
The Effects of Selfish Pricing and Collusion in Network Routing Games
Tomographic processing of synthetic aperture radar signals for enhanced resolution
Near Data Processing for Efficient and Trusted Systems
Modulation of coherently coupled surface-emitting laser arrays: analysis and applications
Towards ML Models That We Can Deploy Confidently
Managing metadata for distributed information servers
Methods for reformulating dynamic programming algorithms as representatively sampled algorithms
Time-Space Tradeoffs and Query Complexity in Statistics, Coding Theory, and Quantum Computing
Expanding the computational biologist's toolkit: Experimental design and multi-modality in genomics
AI Ethics and Critique for Robotics
Causes, measurement, and mitigation of loss discrepancy
Process Decomposition through Locality of Reference
Measurement Systems for Emerging Networks
Memristive Spiking Neural Network for Neuromorphic Computing
A New CAD Design Framework
Combining type checking with model checking for system verification
RF to Millimeter-wave Linear Power Amplifiers in Nanoscale CMOS SOI Technology
Statistical Techniques for Parsing Messages
Modern Statistical Methods for Large-scale Structure Cosmology
Shared Resources for Multiple Instruction Stream Pipelined Processors
Virtual Human Bodies with Clothing and Hair: From Images to Animation
Designing Accurate and Low-Cost Stochastic Circuits
Multidimensional Multirate Systems: Characterization, Design, and Applications
High-Speed and High-Sensitivity Metal-Semiconductor-Metal Photodetectors for Optoelectronic Integrated Circuit Applications
Systematic optimization of search engines for difficult queries
Techniques for communication optimization of parallel programs in an adaptive runtime system
Fault-Tolerant Distributed Algorithms for Agreement and Election
Ultrasound tissue perfusion imaging
Algorithms for Human Genetics
SWAT: Designing Resilient Hardware by Treating Software Anomalies
Expanding Structural Design through Shape Optimization and Microstructures
Real-time acquisition and rendering of large 3D models
Enhanced power system resiliency to high-impact, low-frequency events with emphasis on geomagnetic disturbances
Markovian Queueing Network Models for Performance Evaluation of Multiple-Bus Multiprocessor Systems
Systematic Computer Architecture Prototyping
Memory-Hard Functions: When Theory Meets Practice
Interactive Analysis Tools for Visualizing the Universe
Autonomic Software Tools that Discover and Quantify GPU Low Level Architectural Features and Machine Behaviors
Scalable Formal Dynamic Verification of MPI Programs Through Distributed Causality Tracking
Dispersion and Tidal Dynamics of Channel-Shoal Estuaries
Waves in Anisotropic and Birefringent Artificial Dielectrics
Multi-tenant Machine Learning Model Serving Systems on GPU Clusters
On Some Most Probable Separations of Complexity Classes
Structure and Complexity in Subrecursive Computation
Broadening the Applicability of Failure Detectors
A Theory of Testing for Asynchronous Concurrent Systems
Session types in practical programming
Design of robust, malleable arithmetic units using lookup tables
Design-technology co-optimization in next generation lithography
A New Control Structure for Serially Organized Memories in an Interactive Computer System
Path Selection for Performance- and Security-Improved Onion Routing
Design Automation of Continuous Flow-Based Microfluidic Biochips
Understanding, Detecting and Exposing Concurrency Bugs
Unbounded Scalable Hardware Verification
Parallel Adaptive Unstructured Computation
Methods for Designing, Manufacturing and Controlling Micro-Scale Swimming Robotic Systems Built with DNA Nanotechnology
Image analysis using visual saliency with applications in hazmat sign detection and recognition
Hardware Architectures for Low-power In-Situ Monitoring of Wireless Embedded Systems
Adaptive Algorithms for Dynamic Decision-Making: Bridging Online Learning and Non-Parametric Regression
Novel Hybrid Resampling Algorithms for Parallel/Distributed Particle Filters
Grounding Language by Seeing, Hearing, and Interacting
Mapping algorithms on regular parallel architectures
A Sparse Learning Approach for Linux Kernel Data Race Prediction
p-adic Integration on Modular Curves and Code-based Cryptography
Abstract analysis and optimization of Scheme
Physical Design Of Database Structures
Techniques and data structures for efficient information access and retrieval in distributed networks
Modeling and Mitigation of Wireless Communications Interference for Spectrum Sharing with Radar
Image-Based Remodeling: A Framework for Creating, Visualizing, and Editing Image-Based Models
Application of Modern Control-Theory to the Design of Man-Machine Systems
Reinforcement Learning by Policy Search
Concurrency abstractions for programming languages using optimistic protocols
A Context-Aware Approach for Automation of End-User Elements in the Smart Grid
Generalizable Dexterity with Reinforcement Learning
Improving failure diagnosis via better design and analysis of log messages
Theoretical description of an access language for a general decision support system
A methodology and system for logical database design
On Resilience to Computable Tampering
Uniform Solution for the Field Diffracted by a Curvature Discontinuity in a Cylinder
A Generalization of the Cut-Set for Application to Communication Nets
Resource allocation in computer networks (scheduling, csma/cd, multiple buses, interconnection)
Modeling and optimization of emerging on-chip cooling technologies via machine learning
Narratives and Networks of Online Hate
Scaling up object detection
Design and Optimization of Networks-on-Chip for Future Heterogeneous Systems-on-Chip
Learning and Recognizing The Hierarchical and Sequential Structure of Human Activities
Development of Direct Ion -Implanted Gallium Arsenide MESFET and Low-Actuation-Voltage RF MEM Switches
Compile -Time Memory Disambiguation for C Programs
Multimodal Reasoning with Fine-grained Knowledge Representation
Accurate Estimation of Occurrences of Performance Events
Efficient Sampling Using Markov Chain Monte Carlo Methods
Assessing and enhancing adversarial robustness in context and applications to speech security
Differentially private data publishing: From histograms to transaction sets
Characterizing internet scams through underground infrastructure infiltration
Energy-constrained microsensor platform: on-board image processing
Algorithms for comparison of DNA sequences
Modeling Purposeful Adaptive Behavior with the Principle of Maximum Causal Entropy
Influence of Electrostatic Fields on the Properties of Acoustically Tunedoptical Filters in Bulk Crystals and in Optical Waveguides
Justice and Equity-Based Approaches for Technology Design with Disabled Communities
Flexible control of downloaded executable content
Understanding and Improving Graph Algorithm Performance
Toward the Systematic Design of Complex Materials from Structural Motifs
Algorithms for satisfiability problems in linear integer arithmetic logic
TEDDI: Tamper Event Detection on Distributed Cyber-Physical Systems
Economical Real-Time Energy Management For Microgrids Via Nilm And With User Decision Support
Runtime Repair and Enhancement of Mobile App Accessibility
Proactive Obfuscation
Informative Features in Vision and Learning
Efficient computation on sparse interconnection networks
Channel Estimation in Single -Carrier and Multi-Carrier Communication Systems
Programming Language Tools and Techniques for Computational Fabrication
Resource allocation in competitive multiagent systems
Preventing Code Reuse Attacks On Modern Operating Systems
Output Characteristics and High-Speed Modulation of Composite-Resonator Vertical-Cavity Lasers
Advances in Hierarchical Probabilistic Multimodal Data Fusion
3D Representations for Learning to Reconstruct and Segment Shapes
A Symbiotic Theory Formation System
Measuring the Feasibility of DNS Privacy and Security
Unclonable Secret Keys
Mobilizing the Citizen Crowd
Providing efficient and reliable end -host multicast services on the Internet
ElectriSense: Single-Point Sensing Using EMI for Electrical Event Detection and Classification in the Home
Appearance Preserving Prefiltering for Rendering Complex Scenes
Geometric symmetry in graphs
Testing Convexity and Acyclicity, and New Constructions for Dense Graph Embeddings
Midlatitude thermospheric wind and temperature: networked Fabry-Perot interferometer observations and radiative transfer modeling
Efficient Algorithms for Optimization and Fixed Points
Computational Design of Ceramic Matrix Composites for Turbine Blade Applications
Dataframe Systems: Theory, Architecture, and Implementation
DNA Methylation Studies in Arabidopsis: Evolution and Tissue Specificity
Towards More Scalable and Robust Machine Learning
Representation Learning for Genome Interpretation
Digital network theory and its application to the analysis and design of digital filters
Integrating genomic data to build networks for proteins and small molecules
The multidimensional multiple balance method for S(N) radiation transport
THINC: A Virtual and Remote Display Architecture for Desktop Computing and Mobile Devices
Practical Parsing Algorithms For Deterministic Context-free Languages
A methodology for domain-specific conceptual data modeling and querying
Structure-Aware Representation Learning and Its Application to Medical Imaging
Convex Optimization Over Integer Points
Shear Deflection of Wide Flange Steel Beams in the Plastic Range
Handheld Micromanipulator for Robot - Assisted Microsurgery
Architectural Support for Reliable Parallel Computing
Scalable and Expressive Spatial Analysis and Modeling
Towards Biologically Plausible Deep Neural Networks
Verification of three-dimensional model parameters from two-dimensional image data
Towards Object Detection in the Real World
Applications of Metric Embeddings in Solving Combinatorial Problems
Learning to super-resolve images using self-similarities
Boolean and brain-inspired computing using spin-transfer torque devices
Building Practical Statistical Relational Learning Systems
Antimonide-Based Type-II Quantum Well Infrared Photodetectors
Theory and Modeling of Molecular Motion out of Equilibrium
Safety and Harm in Social Computing Systems that support Matching Markets
Synthesis of Active Networks With Negative Impedance Converters
Artificial Intelligence Algorithms for Large Economic and Computer Games
Reliable Integration of Terascale Systems with Nanoscale Devices
Non-Black Box Use of Code in Cryptography
Scanning Tunneling Microscopy and Spectroscopy of Carbon Nanotubes Interfaced With Silicon Surfaces
Fundamental study of dc to dc conversion systems
The Effect of Algebraic Structure on the Computational Complexity of Matrix Multiplication
Behind the search box: the political economy of a global Internet industry
Dynamic anomaly detection in sensor networks
Nanosystems: From the Lab to the Fab
Designing Computing Systems Based on Unconventional Technologies for Hardware Acceleration
Parameterized Relaxations for Circuits and Graphs
A unified system of parameterization for programming languages
Lensfree Computational Microscopy Tools and their Biomedical Applications
iSITE: Automatic circuit synthesis for double-metal CMOS VLSI circuits
Essays on social dynamics and application of machine learning
The Automatic Generation of Deterministic Parsing Algorithms
Efficient and versatile three-dimensional scene modeling by sparse-depth dense-viewpoint acquisition
Multi-Tenant Mobile Offloading Systems for Real-Time Computer Vision Applications
Computational Interpretation and Design of Molecular Probe Characterization Techniques for Lewis Acid Zeolites
Identity Fragmentation in Post-Secondary Computing Education
Secure resource management in networks
Improving Sample Efficiency of Imitation and Reinforcement Learning
LiteArch: An Energy-Centric Software Architecture for Wireless Sensor Networks
Redefining the Perception-Action Interface: Visual Action Representations for Contact-Centric Manipulation
A persuasive approach to designing interactive tools around the promises and perils of social platforms
Neural Network Antisymmetries for Quantum Many-Body Simulation
Rational Function Approximation of Polynomials With Equiripple Error
Improved Learning of Structural Support Vector Machines: Training with Latent Variables and Nonlinear Kernels
Opportunistic routing and middleware composition for sensor and actuator networks
Adaptive Communication for Mobile Multi-Robot Systems
Planning under uncertainty in complex structured environments
Transformations on Loop-Free Program Schemata
Towards Flexible, Application-Guided Paging for Far Memory
Learning Models for Multi-Viewpoint Object Detection
Application of generative models in speech processing tasks
Learning program embedding from unlabeled source code
Libraries and the system of information provision in the 1930s' United States: the transformation of technology, access, and policy
Natural language processing for computing the influence of language on perception and behavior
Accuracy Aware Privacy Preserving Decision Support
Static analysis and program transformation for secure computation on the cloud
The Euclidean distance transform
Learning to Adapt: Analyses for Configurable Software
Trust-based service selection and recommendation for online software marketplaces (TruSStReMark)
Connected Quadratic Programs for Autonomy
An evolutionary computation approach for developing and optimizing discrete-time forecasting and classification models
Discovery and Remediation of Vulnerabilities in Monolithic IoT Firmware
A New Methodology for Archaeological Analysis: Using Visualization and Interaction to Explore Spatial Links in Excavation Data
The semantic ehumanities methodology : same but different
Optical Map-Based Genome Scaffolding
Applying a Visual Specification Language to Hardware Protocol Verification
Semantic similarity computation on the web of data
Analyzing, Mining, and Predicting Networked Behaviors
Dreme: for Life in the Net
Sparse Synchronous Programming with Temporal Abstractions
Empowering K-12 Students to Understand and Design Conversational Agents: Concepts, Recommendations and Development Platforms
Wideband direct conversion IQ modulators in indium phosphide DHBT technology
On Scalable Transaction Execution in Partitioned Main Memory Database Management Systems
A Mathematical Analysis of Nonlinear Feedback Amplifiers
Microfabricated Shear-Sensitive Tactile Sensor: Development and Application
Dependable Computing on Inexact Hardware through Anomaly Detection
Unsupervised pretraining for semi-supervised OCR
Learning Gene Networks Underlying Clinical Phenotypes Under SNP Perturbations From Genome-Wide Data
Mathematical Theories of Interaction with Oracles
Unsupervised grammar induction with Combinatory Categorial Grammars
Efficient Dynamic Network Flow Algorithms
Regret Minimization and Related Decision Rules
On the Power of Lasserre SDP Hierarchy
The contribution of scientists to popular literature, their role as expert witnesses and their influence among peers: A case study in the field of acid rain
The architecture and programming of a fine-grain multicomputer
Servomechanisms With Force Feedback
Equalization Using Graphical Models
Object Recognition and Semantic Scene Labeling for RGB-D Data
Theoretical Issues in the Implementation of Programming Languages
Fast Ordered Multicast
Non-Hierarchical Networks for Censorship-Resistant Personal Communication
Message level fault injection in distributed systems
Select Problems at the Intersection of Computer Science and Economics
Metastability and Dynamics of Stem Cells: From Direct Observations to Inference at the Single Cell Level
Cleopatra: A Proposal for Another System Implementation Language
Charting Cellular States, One Cell at a Time: Computational, Inferential and Modeling Perspectives
Exploiting Trade-Offs in the Design of Fault-Tolerant Distributed Databases
Designing Learning Experiences that Enculturate Novices
Query Optimization using Sketches in Relational Database Systems
Parametric Coordination in Hierarchical Computation of Decentralized Controls
Accelerating Electronic Structure Calculations with Machine Learning
On Predictive Linear Gaussian Models
Provenance of Exploratory Tasks in Scientific Visualization: Management and Applications
Next Generation Cloud Computing Architectures: Performance and Pricing
Machine Learning for Gravitational-Wave Astronomy: Methods and Applications for High-Dimensional Laser Interferometry Data
Data-Driven Robotic Grasping in the Wild
Network-based analysis of protein function
Firing Patterns of Cerebellar Purkinje Cells During Locomotion and Sleep
Control of Stochastic Linear Discrete Systems With Random Parameters
Modeling and Hybrid Simulation of on-Chip Power Delivery Network Using an Unconditionally Stable Electromagnetic Field Solver
Identifying DNS Infrastructure Hijacks using Large Scale Measurements
Unconstrained Periocular Face Recognition: From Reconstructive Dictionary Learning to Generative Deep Learning and Beyond
Systems biology approaches to precision medicine
Hierarchies based on computational complexity and irregularities of classdetermining measured sets
Learning and Decision Making from Diverse Forms of Information
An integrated neural network and optimization framework for the inverse design of optical devices
Statistics, computation, and adaptation in high dimensions
Zipf's Law as a necessary condition for mitigating the scaling problem in rule -based agents
Algorithmic studies on PCB routing
Modeling User Engagement on Online Social Platforms - A Context-Aware Machine Learning Approach
Protecting critical infrastructure systems using cyber, physical, and socio-technical models
Perspectives on Policy Learning
Information Dynamics in Social Interactions: Hidden Structure Discovery and Empirical Case Studies
Online Optimization and Learning for Sustainable Cyber-Human-Physical Systems
Non-Silicon MOSFETs and Circuits with Atomic Layer Deposited Higher-k Dielectrics
Enabling Heterogeneous Computing for Software Developers
High-Level Synthesis and Rapid Prototyping of Asynchronous VLSI Systems
Volume illustration
Low-overhead scheduling for improving performance of scientific applications
Mobile platform based point-of-care diagnostics
Model-free Approaches to Robotic Manipulation via Tactile Perception and Tension-driven Control
Data Structure Synthesis
Secure and Efficient Delegation of a Single and Multiple Exponentiations to a Single Malicious Server
Dynamic textures: models and applications
Data-driven Performance Optimization for Data-intensive Applications
On Computer Stereo Vision With Wire Frame Models
Diversity-Promoting and Large-Scale Machine Learning for Healthcare
Physics-based Dynamics with Applications to Facial Animation
Simulated Annealing Based Local Search for Sport Scheduling Problems
Finding and Tolerating Concurrency Bugs
Active Learning and Epistemic Defenses of Fairness
Evaluation of Decentralized Reactive Swing-Leg Controllers on Powered Robotic Legs
On the Equivalence and Stability of Linear Time Varying Networks
Knowledge-Grounded Natural Language Processing
Design of Underwater Mobile Sensor Networks for Real-time Aquatic Applications
Learning from Sparse and Deficient Data and its Applications
Acoustic-phonetic constraints in continuous speech recognition: a case study using the digit vocabulary
Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes
Carbon Nanotubes for Space Electronics: Enabling New Applications with Emerging Technologies
Interactional Slingshots: Providing Support Structure to User Interactions in Hybrid Intelligence Systems
Architectural macro-modeling of processor memory components
Combining Satisfiability Procedures for Automated Deduction and Constraint -Based Reasoning
High-purity epitaxial growth and characterization of III-V compound semiconductors
Achieving Security and Privacy via Encrypted Architectures
Static Networks of Objects as a Tool for Parallel Programming
Defending distributed systems against adversarial attacks: consensus, consensus-based learning, and statistical learning
Resource-Efficient Management of Large-Scale Public Cloud Systems
Tools and Techniques for Rhythmic Synchronization in Networked Musical Performance
Quantum Electrodynamic Theory of Optical High-Order Harmonic Generation