yusuke1997/dblp-id-title huggingface dataset:
Beyond Self-Report: Towards Integrating Behavioral Sensing Methods into Cyberpsychology Research
Dynamic hybrid active -passive replication
Grounding Code-Switching Evaluation to Community Speech Patterns
Support for Scalable Analytics over Databases and Data-Streams
Efficient Tensor Operations via Compression and Parallel Computation
Neurosymbolic Learning for Robust and Reliable Intelligent Systems
Efficient processing of similarity queries with applications
Talking to Robots: Learning to Ground Human Language in Perception and Execution
The Complexity of Resolution Procedures for Theorem Proving in the Propositional Calculus
Development of next-generation near-eye and naked-eye optical display systems
Towards High-Performance, Efficient, and Reliable Quantum Computing System
Utility of agricultural mobile apps among Indian rural farmers
Approximation Techniques for Stochastic Combinatorial Optimization Problems
Scenario Customization for Information Extraction
Metacomputing and Resource Allocation on the World Wide Web
Routing and Transport Layer Protocols for Wireless Networks
Scalable and Secure Data Analysis in Cloud
Scene Rerendering
Visual learning with weakly labeled video
Tackling Key Challenges to Guide Clinical Decisions in Cardiovascular Diseases
Modeling Objects Using Interest Points, Edges, and Regions
Cryptographic multilinear maps and their applications
Representing Control in Parallel Applicative Programming
Declarative Network Path Queries
Learning gene linkage to efficiently solve problems of bounded difficulty using genetic algorithms
Graph Embeddings, Disentanglement, and Algorithm Maps
Systems for Using Far Memory in Datacenters
Constructions and Applications of Space-Filling Designs
An Academy of Spatial Agents
Human-Centered Circuit Board Design With Flexible Levels of Abstraction and Ambiguity
A contemporary assessment of the lateral silicon-germanium bipolar transistor
Designing Explainable Autonomous Driving System for Trustworthy Interaction
Analyzing Black Box Optimizers for Saddle Point Discovery and Molecular Dynamics
Representational Capabilities of Feed-forward and Sequential Neural Architectures
Mathematical Analysis and Technique for Non Linear Servomechanism Problems
Array-based Spectro-temporal Masking For Automatic Speech Recognition
An artificial intelligence approach to legal reasoning
Optimizing parallel applications
Collaborative power management between operating systems and applications
Painting Pictures with Words - From Theory to System
Program Optimization Strategies for Data-Parallel Many-Core Processors
Weighted sampling sketches for functions of frequencies
Unsampled Digital Synthesis and the Context of Timelab
Computational Methods for Structure-Property Relations in Heterogeneous Materials
Reasoning about shape and kinematic function in mechanical devices
Interference management in wireless networks
Learning Correspondence from Images, Videos and Texts
Resource Allocation In Large-Scale Distributed Systems
Design considerations for interactive, application oriented, transportable subsystems
Improving Healthcare for Populations: Building Smart and Integrated Remote Health Monitoring Systems
Visible-Spectrum Indium-Gallium-Phosphide-Arsenide Lasers and High-Pressure Measurements on Quantum-Well Heterostructure Lasers
Techniques for efficient formal verification using binary decision diagrams
Deduction-Powered Neural Program Synthesis: A Synergistic Perspective
Combining Reasoning and Learning for Multi-stage Inference in Computational Sustainability and Scientific Discovery
Models, analyses, tools, and experiments to characterize human motor control and coordination
Deletion in binary storage trees
Safe and Efficient Cluster Communication in Java using Explicit Memory Management
Application of Tunnel Diodes in Linear Network Synthesis
A magnetoreflection study of arsenic and bismuth
New Design Criteria for Hash Functions and Block Ciphers
Robust Machine Learning in Adversarial Setting with Provable Guarantee
Communication Complexity of Information-Theoretic Multiparty Computation
High-performance Global Routing for Trillion-gate Systems-on-Chips
Trusted enforcement of contextual access control
One Shell, Two Shell, Red Shell, Blue Shell: Numerical Modeling to Characterize the Circumstellar Environments of Type I Supernovae
Architectures of optical interconnection networks for high performance computing
Boundary conditions for the solution of open-region electromagnetic scattering problems
Partial Objects in Type Theory
Optimal Control of Co-Operative Systems-the Rendezvous Problem
Efficient dynamic routing in wide-area networks
Identifying and Preventing Large-scale Internet Abuse
Multi-attribute demand characterization and layered service pricing
Analyzing Activities and Events in Video From Motion Content
Context-driven systems for improved security and awareness on mobile platforms
Supporting Fault Tolerance in the Internet of Things
Convergence bounds for Markov chains and applications to sampling
Data Efficient Reinforcement Learning
Exploiting Laziness for Improving Performance in Data Replication Management
Waveform methods for ordinary differential equations
Design of Multidimensional Large -Tip -Angle Radiofrequency Pulses for Parallel Transmission in Magnetic Resonance Imaging
MalAnalysis: A Systematic Framework for Identifying Weaknesses in Malware Detection and Analysis Tools
Deep Unsupervised & Semi-supervised Methods for Health Applications
A syntactic approach to three-dimensional object representation and recognition (computervision, pattern)
Generative Modeling with Guarantees
Supporting Multi-Paradigm Parallel Programming on an Adaptive Run-Time System
Computational methods using large-scale population whole-genome sequencing data
Artificial Intelligence as a Tool for Understanding Narrative Choices
Cryptographic applications of permutation polynomials
Factors Affecting Appropriate Reliance on Artificial Intelligence Decision Support Systems
Understanding Resource Usage and Performance in Wide-Area Distributed Systems
Evaluation of Symmetric Functions and Boolean Functions over Stochastic Input
Is AI a General Purpose Technology?
Rethinking the Science of Statistical Privacy
SIndex: query optimization and access control in a semi-structured database
Sliver-Free Three Dimensional Delaunay Mesh Generation
Mobile MPI Programs on Heterogeneous Computational Grids
Monitoring and controlling QoS network domains: An edge -to -edge approach
One-vector representations of stochastic signals for pattern recognition
Test Data Analytics: Exploration of Hidden Patterns for Test Cost Reduction and Silicon Characterization
Network Measurement & Security for Substation Networks
Computational user intent modeling
Social Media Use and Media Literacy in Relation to Adolescents' Understanding of the Internet
Large-scale Wireless Local-area Network Measurement and Privacy Analysis
Reasoning about Information Disclosure in Relational Databases
Intelligent alarms : allocating attention among concurrent processes
Patient-Specific Vascular Model Construction and Modification for Blood Flow Simulation and Analysis
Algorithms for VLSI Layout
Liquid Metal Actuators
A Structural Approach to Multi-User Detection
Simulation and Estimation Techniques for Wideband High-Frequency Communication Channels
Learning to surf: multiagent systems for adaptive web page recommendation
Towards provably safe and robust learning-enabled systems
Vector Field Manipulations in Three-Dimensional Time-Varying Flow Data Compression and Image/video Editing
Optimizing search user interfaces and interactions within professional social networks
Post-hoc calibration without distributional assumptions
Expanding our Participatory Democracy Toolkit using Algorithms, Social Choice, and Social Science
Parallel Out-of-Core Sorting: The Third Way
Computational approaches to scaling up experimental science
Comparison of Direct Code Generation and Intermediate Language Generationfor Bootstrapping the Machine-Independent Compiler, Little
Networked Movements Through the Dramaturgical Lens
A Machine Learning Approach to Planning in Complex Real-World Domains
Symmetries of Wave Equations of Statistical Optics
Continuous MapReduce: an architecture for large-scale in-situ data processing
IC Spatial Variation Modeling: Algorithms and Applications
The Design of Multiple-Valued Asynchronous Sequential Circuits
Modeling, assignment and scheduling of tasks in distributed real-time systems
Leveraging Educational Technology to Overcome Social Obstacles to Help Seeking
Semi-Supervised Learning for Scalable and Robust Visual Search
Multimodal Models of Time Series and Text
Post-Industrial Engineering: Computer Science and the Organization of White-Collar Work, 1945-1975
Building Reliable and Robust Natural Language Processing Models: Enhancing Understanding of Semantically Equivalent Texts
A deduction model of belief and its logics
Supporting Large-Scale Engineering Education: the Active Learning Personal Advisor via Course Automation
Energy Harvesting Networked Nodes: Measurements, Algorithms, and Prototyping
On-line Metasearch, Pooling, and System Evaluation
Random Matrix Theory in Numerical Linear Algebra
A Large Scale, Multi Factor Approach to Understanding and Improving Mobile Application Accessibility
Improving SQL Performance Using Middleware-Based Query Rewriting
Machine Learning Parallelism Could Be Adaptive, Composable and Automated
Algorithms on Clustering, Orienteering, and Conflict -Free Coloring
Supporting Software Developers with Activity Event Analyses and a Management Console for Automation
HOLMES: A Hybrid Ontology-Learning Materials Engineering System
Optimal Oblivious RAM and Its Extensions
Risk Aware Planning and Probabilistic Prediction for Autonomous Systems under Uncertain Environments
Democratizing Web Automation: Programming for Social Scientists and Other Domain Experts
A Generic Framework For Network Traffic Analysis
Dynamic management of network systems
On modeling local paging behavior for the vax/vms system
Modeling of photocurrent spectra induced by nonlinear absorption in high-indium-content iii-nitride disk-in-wire photodiode
Machine Learning Framework for Causal Modeling for Process Fault Diagnosis and Mechanistic Explanation Generation
Time-varying networks: Measurement, Modeling, and Computation
Software and architecture support for the bulk multicore
The Taichi High-Performance and Differentiable Programming Language for Sparse and Quantized Visual Computing
A Language And Data Structure For Fact Retrieval
Algorithmic Techniques in Computational Genomics
Algorithmic and System Innovations for Network Data Plane: Efficiency, Scalability, and Flexibility
Adaptive architectures for peak power management
Real-Time Traffic Modeling and Estimation with Streaming Probe Data using Machine Learning
An evaluation of a statistical framework and algorithms for adaptive aggregation
Understanding and Reasoning about Implicit Meaning in Language
Contextualized Conversational Network Dynamics on Social Media
Analyzing modal decomposition data of finite antenna arrays
Towards Cloud-Scale Debugging
Accuracy Tests for High Frequency Asymptotic Solutions
Algorithm-Hardware Co-design for Ultra-Low-Power Machine Learning and Neuromorphic Computing
Interpretation Errors: Extracting Functionality from Generative Models of Language by Understanding Them Better
Methods for computational and statistical estimation with applications
Digital enhancement techniques for fractional-N frequency synthesizers
Incorporating Provenance in Database Systems
Mobile Data Transparency and Control
Purposive visual imitation for learning structured tasks from videos
Seamless Authentication for Ubiquitous Devices
VisionARy: An Open Source 3D Environment Segmentation Toolkit for Augmented Reality
Data Analysis and Visualization Using Basis Selection for Matrix Approximation
Private data outsourcing using anonymization
Krylov Subspace Methods in Power System Studies
Advancements in Algorithms for Approximations of Rank Structured Matrices
Approximation Schemes for Euclidean Vehicle Routing Problems
Circular Waveguides and Horns With Anisotropic and Corrugated Boundaries
A scalable and adaptive discretization for free surface incompressible flow simulation using overlapping Cartesian grids
Compensation for Lithography Induced Process Variations during Physical Design
Advanced Time-Domain Finite-Element Method for Electromagnetic Analysis
Towards Efficient Neural Machine Translation
Regent: a high-productivity programming language for implicit parallelism with logical regions
Terrain Relative Navigation for Lunar Polar Roving: Exploiting Geometry, Shadows, and Planning
Buffer and queue protection in high-speed network routers
Exploring quality-of-service issues in network interface design
Heterogeneous Packet Flows and Goodput Control in the Internet
Stability Methods for Regulated Loads
Widening the Field of View of Information Extraction Through Sentential Event Recognition
Causality inference between time series data and its applications
Pairwise Comparison between Genomic Sequences and Optical-Maps
Exploring Adaptive Job Schedulers for Geographically Distributed Data Centers
Learning Multi-Modal Navigation in Unstructured Environments
A contact model for geometrically accurate treatment of polytopes in simulation
Parallel hybrid sparse system solvers
Study of the Crystallization Dynamics and Threshold Voltage of Phase Change Materials for Use in Reconfigurable RF Switches and Non-volatile Memories
Large Monitoring Systems: Data Analysis, Design and Deployment
THAL: An Actor System for Efficient and Scalable Concurrent Computing
Dynamic amplifiers for analog-to-digital converters
Tradeoffs in Designing Massively Parallel Accelerator Architectures
CADA: Configurable Architecture Design Automation Framework
Recurrent computation in brains and machines
Novel Fast Algorithms For Low Rank Matrix Approximation
Machine Learning Techniques for Rare Failure Detection in Analog and Mixed-Signal Verification and Test
Techniques for improving the scalability of data center networks
Exploring multivariate data through the application of visual analytics
Interactive motion planning with motion capture data
Provably Efficient Reinforcement Learning: From Single-Agent MDPs to Markov Games
Integrative methods for the analysis of genome wide association studies
A Generalized Proceduralization Framework for Urban Models with Applications in Procedural Modeling, Synthesis, and Reconstruction
Approaches to the Design and Implementation of Roadside Units in Vehicular Networks
Dependable Cloud Resources For Big-Data Batch Processing & Streaming Frameworks
Service Learning and Career Development: A Case Study in Library and Information Science
The Transient-Response of Stratified Cold-Plasma to Plane Electromagnetic Waves by Analytical and Numerical Methods
3D modeling with data-driven suggestions
Transparent schema evolution (TSE) using object-oriented view technology: Transparency theory, methodology and system
Applications of Cayley graphs, bilinearity, and higher-order residues to cryptology
Extracting Information from High-Dimensional Data: Probabilistic Modeling, Inference and Evaluation
Co-operative Driving at Intersections using Vehicular Networks and Vehicle-Resident Sensing
Data and Label Efficient Representation Learning
Replicable Learning Algorithms
On-Chip Planar Lens Architectures for Optical Beam Steering
A Methodology for the Distribution of Databases (Functional Dependency, Computer Network, Integer Programming)
Sparse Models for Sparse Data: Methods, Limitations, Visualizations, and Ensembles
Digital communication receiver algorithms and architectures for reduced complexity and high throughput
Relaxing the Implementation of Embedded Sensing Systems through Machine Learning and Statistical Optimization
Machine Learning Towards Large-scale Atomistic Simulation and Materials Discovery
Study of Stochastic and Sparse Neural Network Models with Applications
Differentiable Simulation for Photonic Design: from Semi-Analytical Methods to Ray Tracing
Allocation and Management Issues in Multiple-Transaction Open Access Transmission Networks
Efficient Resource Utilization for Parallel I /O in Cluster Environments
Enabling Fairness in Cloud Computing Infrastructures
Smoothed Particle Hydrodynamics and Its Application Towards Extrusion Based Additive Manufacturing
Divergent Beam Ultrasound Computed Tomography for Differential Thermography
Topics in combinatorics and combinatorial algorithms
Are They Present?: Homebound Children with Chronic Illness in Our Schools and the Use of Telepresence Robots to Reach Them
Design Of Dbms-processable Logical Database Structures
Surface Processing on Graphics Hardware
Modeling Nondieffeomorphic Motion Via Composite Deformation Models
Sequential composition of dynamically dexterous robot behaviors
The dynamics in opinion and global risk networks : modeling, discovering and control
Impact evaluation of cyber-physical uncertainty on power systems
Toward Trustworthy Scientific Inquiry and Design with Machine Learning
An Assumptions Management Framework for Systems Software
Models for Privacy in Ubiquitous Computing Environments
Planning and Execution using Inaccurate Models with Provable Guarantees on Task Completeness
Large-Scale Analysis of Modern Code Review Practices and Software Security in Open Source Software
Scalable low-latency indexes for a key-value store
Universal Transfer Learning
The Devil is in the Details: Example-based Image Restoration and Detail Synthesis
Design and Analysis of Decoy Systems for Computer Security
Computer Science for Middle School (CS4MS): How Middle School Administrators and Teachers Implement Computer Science Curricula
Computational agents that learn about agents: Algorithms for their design and a predictive theory of their behavior
Control of a Dexterous Robot Hand: Theory, Implementation, and Experiments
Cyber-Physical Systems Optimization with Reinforcement Learning: Methods and Applications
Type-Safe Operating System Abstractions
Machine Perception of Objects With Curved Surfaces
Protein function, diveristy and functional interplay
CacheCash: A Cryptocurrency-based Decentralized Content Delivery Network
A Framework for Access Control and Resource Allocation for Federations
Making augmented human intelligence in medicine practical: A case study of treating major depressive disorder
Building Secure Systems Across All Layers
IT-Enabled Coordination In Electronic Markets: An Experimental Investigation Of The Effects Of Social Communication On Group Buyers
Augmented Reality Interfaces for Procedural Tasks
Obtaining practical variants of LL (k) and LR (k) for k greater than 1 by splitting the atomic k-tuple
An explicit semantics for coordinated multiagent plan execution
Bridging the Gap Between Application Logic and Auto-optimization in Modern Data Analytics
Advances in Prior-Driven Machine Learning Techniques for Health Applications with Limited Data
Sperner Properties of the Ideals of a Boolean Lattice
Explanation-Based Approach to Incorporating Domain Knowledge Into Support Vector Machine: Theory and Applications
Towards Learning the Foundations of Manipulation Actions with Unguided Exploration
A Parametrization-Based Surface Reconstruction System for Triangular Mesh Simplification with Application to Large Scale Scenes
Interactive Sketching Framework for Static and Dynamic 3D Content Creation
Co-existence and cooperation in dynamic shared spectrum networks
Black silicon and its applications in photovoltaics and biosensing
Manifold Learning From Time Series
Control of uncertain systems with a set-membership description of the uncertainty
Exploiting constraints in design synthesis
Sustainable approaches to ad-hoc information sharing for virtual organizations
Low-Cost and Low-Power Phased Array Architectures for Wireless Communication and Sensing
Quick Evaluation of Small Body Gravitation
Probabilistic Modeling of Structure in Science: Statistical Physics to Recommender Systems
Advancing Structural and Textual Guidance in Medical Image Segmentation: A Journey from Fully Supervised to Weakly Supervised Learning
Complementing Scale: Novel Guidance Methods for Improving Language Models
Reinforcement Learning Agents that Discover Structured Representations
Designing New Memory Systems for Next-Generation Data Centers
Deep Learning Performance Optimization via Model Parallelization
Zero-Knowledge and Obfuscation
Searching Within and Across Games
Software of the Oppressed: Reprogramming the Invisible Discipline
Real-time performance guarantees in manufacturing systems
Quality of Service Support for Heterogeneous Traffic Across Hybrid Wired and Wireless Networks
Deep Learning with Estimation and Complexity Guarantees for Signal Processing
The Document Representation Problem: An Analysis of LSI and Iterative Residual Rescaling
The Role of a Mediating Information Structure in a Contextualized System
Interactive Learning for Sequential Decisions and Predictions
Advancing Visual Analytics Using Dimensionality Reduction
Designing for User-facing Uncertainty in Everyday Sensing and Prediction
ZotCare: A Novel mHealth Service Provider
Gradient-Based Shape Optimization for Engineering Using Machine Learning
Learning procedural planning knowledge in complex environments
Topological Mapping and Navigation in Real-World Environments
Information Behavior in Aviation: Distributed Practice on the Flightdeck
Automated Fault-Injection-Based Dependability Analysis of Distributed Computer Systems
Addressing Data Explosion Issue in Emerging Deep Learning Applications
Resilient Design Techniques for Improving Cache Energy Efficiency
Decoding the sequence basis of gene regulation
A Numerical Conformal Mapping Method and the Poisson Equation on Irregular Domains
Digital Control Techniques for Switching Power Converters
Phase Transitions in Inference
A Parallel Tensor Network Contraction Algorithm and Its Applications in Quantum Computation
Stochastic Methods for Machine Learning and their Applications
Human-Centered Machine Learning: A Statistical and Algorithmic Perspective
Two-level adaptive branch prediction and instruction fetch mechanisms for high performance superscalar processors
Building Assistive Sensorimotor Interfaces through Human-in-the-Loop Machine Learning
A probabilistic reasoning-based approach to machine learning
Refactoring design models for compositional verification, conformance testing, and inductive verification
Model-Regularized Machine Learning for Decision-Making
Enabling the reuse of World Wide Web documents in tutorials
Abstractions and Strategies for Adaptive Programming
A Study of Methods for Selection of Quotient Digits During Digital Division
Modeling 3D Laplace-Fourier domain acoustic wave equation with free-surface topography using finite-difference
Solving Nonlinear Constrained Optimization Problems Through Constraint Partitioning
Ion Dynamics in a Spherical Reflex Diode
Computational Models of Human Learning: Applications for Tutor Development, Behavior Prediction, and Theory Testing
Towards Fair and Interpretable AI Healthcare predictive Models: from wearable sensors to causal graphs
Scalable Machine Learning for Visual Data
Deterministic, Mutable, and Distributed Record-Replay for Operating Systems and Database Systems
A Configurable Parallel Computing System
Heterogeneous Feature Fusion for Visual Recognition
Challenges in Managing Information Extraction
Singularity Detection, Dataflow Analysis of Logic Programs Using Typed Domains
Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic
Studies in Surface Acoustic Wave Reflectors and Resonators
Unstructured Geometric Data Processing on the GPU: Data Structures & Programming Models
Querying multiple document collections across the internet
Privacy Controls for Always-Listening Devices
Neurosymbolic Learning and Reasoning for Trustworthy AI
Techniques for determining hidden properties of large-scale power systems
Improving performance and energy consumption in region-based caching architectures
Three-dimensional medical image analysis using local dynamic algorithm selection on a multiple-instruction, multiple-data architecture
On the Design of Diagnosable Combinational Networks