yusuke1997/dblp-id-title huggingface dataset:
Collocation as a projection method for solving integral and other operator equations
Scalable and Robust Designs of Model - Based Control Strategies for Energy - Efficient Buildings
Fleet management strategies for urban Mobility-on-Demand systems
Well-Posedness of Singularly Perturbed Nash Games
Implicit Modeling for 3D Applications
A Stepped Frequency Continuous Wave Ranging Sensor for Aiding Pedestrian Inertial Navigation
Modeling and simulation of hot-carrier induced device and circuit degradation for VLSI reliability
Soft-Error Tolerant Quasi Delay-insensitive Circuits
A New Framework and Novel Techniques to Multimodal Concept Representation and Fusion
Overparameterization in neural networks: from application to theory
Estimating Generative Models for Statistical Shape Analysis
Smart-grid-enabled distributed reactive power support with conservation of voltage reduction
Nonlinear Response of Plasmas to Electromagnetic Waves and Surface Wave Propagation in Magneto Plasmas
Towards Efficient Federated Learning: Overcoming Challenges in Communication, Heterogeneity, and Data Scarcity
HAWK/KW: An Online System for Studying Dyslexic Children's Reading, Writing, and Programming
From MetroII to Metronomy, Designing Contract-based Function-Architecture Co-simulation Framework for Timing Verification of Cyber-Physical Systems
Middleware and control of cyber-physical systems: temporal guarantees and hybrid system analysis
A principled approach to measuring the IoT ecosystem
Mapping Sub-Saharan African Agriculture in High-Resolution Satellite Imagery with Computer Vision & Machine Learning
Collaboration And Politeness In The Conversations Of Friends And Strangers In Computer-Mediated Text-Based Chat Over Time
Implementation of NCHEMS(+ national centre of higher education and management systems) and other planning and management systems: small college level
Trustworthy Knowledge Planes for Federated Distributed Systems
Hardware-Software Co-design for Practical Memory Safety
Federated Learning for Mobile Data Privacy
A Framework for the Simulation of Complex Real-Time Systems
Fluidically Driven Systems for Tangible and Interactive Media
On Deniable Computation and Sublinear Graph Algorithms
The Association of American Library Schools: An Analytical History
Computer Techniques in Analysing Human Adventitious Lung Sounds
A Computer Simulation Model Of Attack-learning Behavior In The Octopus
A Study of Visual Shape Perception
Designing Multimodal Alternatives for Nonvisual Computer Interaction
A concurrent composite computational model for stochastic simulation
Learning to rank from implicit feedback
Reliable Real-Time Data Upload for Wireless Networks
New frontiers in THz quantum cascade lasers
Partial evaluation of concurrent programs
Multiple-Element Contingency Screening
A study of grammatical inference
Surface Web Semantics for Structured Natural Language Processing
Computational analyses of small silencing RNAs
Using x-parameters for signal integrity applications
Non-parametric Models of Distortion in Imaging Systems
Deep Anomaly Detection and Distribution Shifts
The Globally Personalized Forum: An Exploration of Community Driven Participatory Media
Hardware verification
Simple Partial Models for Complex Dynamical Systems
Learning to See by Moving: Self-supervising 3D Scene Representations for Perception, Control, and Visual Reasoning
Deconstructing Models and Methods in Deep Learning
Reduction in Main Memory Traffic Through the Efficient Use of Local Memory
The Electrochemical Cell as a Binary Memory Element
The Role of the Underground Economy in Social Network Spam and Abuse
Expressive models in online learning
An extendible interactive debugging system
Concurrency control and scheduling for hard real-time systems
Challenges in Climate Change Communication on Social Media
Cognitively appropriate and readily accessible computing education for young learners
Practical Type and Memory Safety Violation Detection Mechanisms
Research on Print Defect Visibility and Evaluation
Soft Inflatable Robots for Safe Physical Human Interaction
Leveraging user interaction to improve search experience with difficult and exploratory queries
Safe, Efficient, and Robust Predictive Control of Constrained Nonlinear Systems
Resource efficient information integration in cyber-physical systems
Learning Feature Hierarchies for Object Recognition
Computational aspects of linear logic
Accelerating Data Transfer for Throughput Processors
Robust Path Back-Tracing Guidance System for Blind People
Understanding the Real World through the Analysis of User Behavior and Topics in Online Social Media
Policy Tree Based Reinforcement Learning Approaches for Medium Access Control
Chaos, observability and symplectic structure in optimal estimation
Precision geodesy and astrometry via very-long-baseline interferometry
Towards Efficient and Effective Deep Model-based Reinforcement Learning
Performance Modeling of Multiprocessor Systems With Paging
Spotting Icebergs by the Tips: Rumor and Persuasion Campaign Detection in Social Media
Computational modeling of transport and growth-related processes of novel gallium-v materials for temperature-resilient and high-power electronics
Data management and query processing for semistructured data
Multiphase Simulation Using Material Point Method
Parallelizing compilers: implementation and effectiveness
Automatic Design of Efficient Application-centric Architectures
Energy-efficient systems for information transfer and processing
Explainable and efficient knowledge acquisition from text
Managing Provenance for Knowledge Discovery and Reuse
The Role of The Information Specialist as an Active Team Member in Academic Research
Text-based Spatial and Temporal Visualizations and their Applications in Visual Analytics
Geometric planning for VLSI routing and robot motion
Fast and generic concurrent message-passing
Infrastructure Support for Datacenter Applications
Energy-Efficient Sensor Networks for Detection Applications
Automated stereo perception
Real time detection and prediction of link level characteristics of computer networks
Deep Learning for Sequence-Based Gene Expression Prediction
Logic Design Methods for Irredundant Mos Networks
Interactive Machine Learning with Applications in Health Informatics
Learning to Predict and Make Decisions under Distribution Shift
An Approach to the General Synthesis of a Threshold Element Network
Correctness and error detection in a partial order model of distributed program executions
Gadgets and Gaussians in Lattice-Based Cryptography
Syntax-Directed Error Recovery for Compilers
Surface 1/f Noise on Oxidized Silicon
Disk-Adaptive Redundancy: Tailoring Data Redundancy to Disk-Reliability Heterogeneity in Cluster Storage Systems
Deep Learning-Enabled Computational Imaging in Optical Microscopy and Air Quality Monitoring
The Path of the Blind Watchmaker: A Model of Evolution
Blackbox equivalence checking of program optimizations
Topics on Machine Learning under Imperfect Supervision
Usable Security for Wireless Body-Area Networks
New strategies for PCB routing
A Mixed-Methods Exploration of Color Encodings for Two-Dimensional Scalar Fields
Topic modeling in scientometrics: Community, connectivity, and change
Rights assessment for discrete digital data
Network Structures, Concurrency, and Interpretability: Lessons from the Development of an AI Enabled Graph Database System
Empirical studies of factors affecting opinion dynamics
Robust, Automatic Structural Analysis of Difficult Face Images: A New Approach
The Design of Totally Self-Checking Systems
Performance analysis and optimization of asynchronous circuits
Interpretation of User Comments for Detection of Malicious Websites
Incremental Constraint Satisfaction & its Application to Graphical Interface
An Interactive Analysis System for Execution-Time Errors
Essays on Information Economy: Analysis of Social, Digital, and Mobile Platforms
Combining cryptography and game theory in distributed algorithms
The role of spatial context in rat vision
Deep learning and probabilistic methods for robotic perception from streaming data
Techniques to speedup test generation for VLSI circuits
Second-derivative sequential quadratic programming methods for nonlinear optimization
Accelerating Numerical Methods for Optimal Control
Simulating Land Use Land Cover Change Using Data Mining and Machine Learning Algorithms
Design format transformations
Portable EIS and SERS sensing with flexible sensors
Isomorphism Problems Involving Planar Graphs
Practical Implementation and Application of Geodesic Regression in Diffeomorphisms to Brain Image Time Series
A policy-based architecture for virtual network embedding
Thematic research collections: Libraries and the evolution of alternative scholarly publishing in the humanities
Towards a Computational Theory of the Brain: The Simplest Neural Models, and a Hypothesis for Language
Multichannel Wireless Networks: Capacity and Protocols
Analysis and Synthesis of High-Gain and Variable Structure Feedback Systems
System-Level Security Analysis of IoTs
Dosimetric Optimization Method for CyberKnife Robotic RadioSurgery System Using a Memetic Algorithm
A New Method for Air-Blast-Structure Interaction Based on an Immersed Approach
Understanding the functional consequences of genetic variation on gene regulation
Advantages and Risks of Sensing for Cyber-Physical Security
Type reconstruction algorithms for object-oriented languages
An Integrated Framework for Face Modeling, Facial Motion Analysis and Synthesis
Exploring the Spectrum of Autism: Machine Learning and Dynamical Analysis Approaches
Towards Methods to Exploit Concurrent Data Structures on Heterogeneous CPU/iGPU Processors
Learning and Optimization for Mixed Autonomy Systems - A Mobility Context
Statistical Performance Characterization and Analysis of Nano-Scale VLSI Circuits
Two Novel Primitives Availing Contrast for Time Series Data
Uniform and Adaptive (Re)Meshing of Surfaces
Leveraging Network Information for Data-Driven Scientific Discovery
Digitally enhanced CMOS RF transmitter with integrated power amplifier
Large-scale methods for multiple sequence alignment and phylogeny estimation
Forces Which Drive an Electrostatic Jet
Glass Box Software Model Checking
A computational approach to mitigate visualization design barriers
Hardware security design from circuits to systems
Applications of Convexity in Computational Geometry
Multi-Agent Systems: Enhancing Scalability, Task-Agent Adaptiveness and Benchmarking
Fault Simulation and Transistor-Level Test Generation for Physical Failures in Mos Circuits
Language-Guided Vision Models for Perception and Reasoning
Participatory sensing fuel-efficient navigation system GreenGPS
Exploring User Interaction with Modern CAPTCHAs
Spectral Regression: A Regression Framework for Efficient Regularized Subspace Learning
Learning with Limited Supervision for Static and Dynamic Tasks
Theory and Algorithms for Communication- and Computation-Efficient Federated Learning
Robust region extraction: extracting model and domain parameters in the presence of noise and multiple populations
Computation at the edge of chaos: Phase transitions and emergent computation
Toward Practical Inverse Scattering
High Velocity Operating Systems Development
High-density multilevel power converters for use in renewable and transportation applications
Surface and Medial Axis Topology Through Distance Flows Induced by Discrete Samples
Effects of Depth Variation of Substrate Dopant Impurity Concentration on the Interface Trap Density Determination in Mos Devices (Semiconductor)
Text Extraction From Natural Scene: Methodology And Application
Realizing Software Defined Radio - A Study in Designing Mobile Supercomputers
On the evaluation of deep generative models
Data Temporal Consistency in Hard Real-Time Systems
Improving Application QoE with Flow-Level, Interface-Level, and Device-Level Parallelism
Rule-based statistical calculations on a database abstract
Mapping the Druggability of Complement C3 and its Derivatives, and Inhibitor Design
Learning to Remember, Summarize, and Answer Questions about Robot Actions
Computational and pharmacological modeling of membrane proteins
Correctness Results For Lambda Calculus Interpreters
Sharing without Showing: Building Secure Collaborative Systems
Gaining design insight through interaction prototyping tools
Truth finding in databases
Intelligence Through the Lens of Interaction
Acoustic Coherence Imaging Through the Atmosphere
Observability and observer design for switched linear systems
Topological characterizations for logic programming semantics
Automating Resource Management for Distributed Business Processes
Automatic Deduction for Theories of Algebraic Data Types
The Performance of Direct-Sequence Spread-Spectrum Communications With Selective Fading Channels and Rake Reception
Managing trust and reliability for indoor tracking systems
Use of genetic algorithms in information retrieval: Adapting matching functions
A Data-Driven Perspective on Residential Electricity Modeling and Structural Health Monitoring
The mechanics of multitasking: the choreography of perception, action, and cognition over 7.05 orders of magnitude
Learning Geometry, Appearance and Motion in the Wild
1-Gs/s, 12-Bit High-Performance Silicon-Germanium BiCMOS Digital-to-Analog Converter
Anomaly detection and diagnosis in manufacturing processes: a comprehensive framework
Robust Statistical Modeling Based on Moment Classes, With Applications to Admission Control, Large Deviations and Hypothesis Testing
Cryptographic methods in multimedia identification and authentication
Numerical simulation and spectral modal analysis of nonlinear dynamics and acoustics in turbulent jets
Reverse engineering a hidden Markov model for complex social systems
Spintronic device modeling and evaluation using modular approach to spintronics
Learning User Latent Attributes on Social Media
Algorithms and Dynamic Data Structures for Basic Graph Optimization Problems
Optimizing Resource Management in Cloud Analytics Services
Capacitive Tap Weight Network Surface Acoustic Wave Transducers
Interactive, Computation Assisted Design Tools
The mesh of trees architecture for parallel computation
Graphene nano-ribbon and transition metal dichalcogenide field-effect transistor modeling and circuit simulation
Species-separated Gaussian Coefficient Neural Network Potential
Audio Deepfake Detection Based on Differences in Human and Machine Generated Speech
Congestion Control in Highly Variable Networks
Balancing Exploration and Exploitation: Task-Targeted Exploration for Scientific Decision-Making
High speed on-chip interconnect modeling and reliability assessment
The Transformational Approach to the Development and Verification of Programs in a very High Level Language
Economics in E-Commerce Recommendation: Producer, Consumer and Platform
Conformable Ultrasound Face Patch for Cavitation-enhanced Transdermal Cosmeceutical Delivery
Refinements in Syntactic Parsing
Query Optimization in the Era of Big Data Management Systems
Providing flexibility in distributed applications using a mobile component framework
The Farming Community in Crisis: The Information Needs of Cumbrian Farmers During the UK 2001 Foot and Mouth Outbreak and Role of Information and Communication Technologies (Icts)
Privacy preserving data mining over vertically partitioned data
Synchronization: a Formal Approach
Holistic Health Monitoring and Personalized Intervention for Well-being Promotion
Active Illumination for the RealWorld
Measuring and Modeling Applications for Content Distribution in the Internet
Concurrency and Security Verification in Heterogeneous Parallel Systems
Theory, Techniques, and Experiments in Solving Recurrences in Computer Programs
Parallel simulation and state estimation algorithms for dynamic systems on multicomputers
Multicast flow controls in wide -area networks
Architecting Efficient Data Centers
Effective performance analysis and optimizations for memory intensive programs on multicore
Resource-Aware Distributed Particle Filtering for Cluster-Based Object Tracking in Wireless Camera Networks
Efficient Floating-Point Error Testing and Rigorous Mixed Precision Tuning
Learning Generative Models using Transformations
Emile: Software-realized scaffolding for science learners programming in mixed media
Low-rank Compression of Neural Networks: LC Algorithms and Open-source Implementation
Molecular Graph Representation Learning and Generation for Drug Discovery
Applications and Extensions of Quadratic Signal Representations
Efficient Systems for Advanced Data Analytics
Computational Modeling of Evolutionary Learning
Reduced-Cost CEM Problems Through Model Simplification and a-Priori Information
Compiling a Computing Identity: A Byte of Self-Efficacy, Belonging, and Other Predictive Factors
Frameworks for precise program analysis
Building abstractions for fast, secure, reliable computer systems
Time-based control techniques for integrated DC-DC conversion
Hardware/software mechanisms for increasing resource utilization on VLIW/EPIC processors
The development of a digital logic concept inventory
Genus Distributions of Graphs Constructed Through Amalgamations
Visual Hand Tracking and Gesture Analysis
Source and Channel Coding for Wireless Networks
Inferential Learning through Counterexample Construction
Machine Learning Algorithm and System Co-design for Hardware Efficiency
Acoustically driven piezoelectric radiating elements
Thwarting Sophisticated Enterprise Attacks: Data-Driven Methods and Insights
Efficient maintenance and recovery of data warehouses
An Information Theoretic Study on Linear Dispersion Codes and Low -Density Parity -Check Codes
High-Order Markov Random Fields for Low-Level Vision
Stability and Convergence of the Method of Moments Applied to Electromagnetic Problems
Regular Right Part Grammars and Maintained and Constructor Attributes in Language Based Editors
Classification and Regression Methods for Functional Brain Network Analysis
Building interactive distributed processing applications at a global scale
Bridging the Gap from Supervised Learning to Control
Tomographic Image Reconstruction via a Hankel Transform Approach and a Low-Noise Digital Filter Structure (Processing, Fourier-Bussel, Roundoff Errors)
A Study in Programming Techniques
In-Memory Acceleration for General Data Parallel Applications
Efficient Higher-Order Optimization for Machine Learning
A multi-layer approach to designing secure systems: from circuit to software
Empirical assembly planning: A learning approach
Advancing In-hand Dexterous Manipulation via Machine Learning
On the Numerics, Generation, and Scaling of Fluvial Landscapes
Simplicity and Optimality in Algorithmic Economics: Multi-Item Auctions and Social Learning
Transmit Signal Design for MIMO Radar and Massive MIMO Channel Estimation
Microwave characterization of vertical cavity surface emitting diode laser and transistor laser
Unsupervised graph-based relation extraction and validation for knowledge base population
Keeping in Touch: Situating myself amidst the incomprehensible systems of the modern world through intimate, everyday interactions
Minimalist multi-agent filtering and guidance
Preemptable remote execution facilities for loosely-coupled distributed systems
Simple and Bounds-Preserving Discretizations of the Cahn-Hilliard-Navier-Stokes Equations
Computation Improves Interactive Symbolic Execution
Smartphone-based systems for mobile infectious disease detection and epidemiology
Accelerating Approximate Simulation with Deep Learning
Evaluation of Natural Language Processors
A Continuous-Time Pipeline ADC with Reduced Sensitivity to Clock Jitter
System architecture design for high performance solid-state data storage devices
Spatiotemporal Modeling of Anatomical Shape Complexes
A CS1 Pedagogical Approach to Parallel Thinking
Game-theoretic approaches for complex systems optimization
Portable electrochemical and plasmonic biosensors for biomedical application
Dynamic speech imaging with low-rank approximation
Resource allocation and decision making for groups
Transport Transforms and Its Application to Demultiplexing Orbital Angular Momentum Beams
Schwarz splitting and template operators
Robust Computer Vision beyond Lₚ Adversaries
Lifetime Reliability Aware Microprocessors
Mind-Reading and Telepathy for Beginners and Intermediates: What People Think Machines Can Know About the Mind, and Why Their Beliefs Matter
Discovering the Right Things to Design with Artificial Intelligence
Machine Learning Techniques for Code Generation and Optimization
Query Optimizations for Deep Learning Systems
Designing Personal Health Technologies for Translating Population-Level Evidence into Personal Understanding
Bit-by-bit: indexing and querying RDF data using compressed bit-vectors
Analyzing the Learning of Computer Programming Concepts Through the Teaching of PAL
Characterizing Laser Signal Injection and its Impact on the Security of Cyber-Physical Systems
Designing Formally Correct Intermittent Systems
An Examination of Parenting Strategies for Children's Online Safety
A Theory of Active Learning in Dynamic Environments
Locally non-convex contact models and solution methods for accurate physical simulation in robotics
Fast algorithm and surface integral equations for two-dimensional materials modeling
Text Classification: Exploiting the Social Network
Matrix Multiplication is Almost All You Need
Data-Flow Analysis for Interrupt-Driven Microcontroller Software
An Investigation of Boundary-Based Field Analysis Methods for Electric Machines: The Schwarz-Christoffel and Boundary Element Methods
The Inverse Electroencephalography Pipeline
Algorithms in Strategic or Noisy Environments
Enhancing Asynchronous Many-Task Runtime Systems for Next-Generation Architectures and Exascale Supercomputers
Managing uncertain data
Buckling Analysis and Optimum Proportions of Sandwich Cylindrical Shells Under Hydrostatic Pressure
Lazy SETL Debugging with Persistent Data Structures
Matrix factorization and Deep Learning in Scientific Domains: Understanding When and Why It Works
STM Lateral Micropositioning: A Tool for Nanofabrication
Infrastructuring at the Margins: Studies in Community Networking
DeNovo: rethinking the memory hierarchy for disciplined parallelism
Scalable and Efficient Graph Algorithms and Analysis Techniques for Modern Machines
Data Scalable Approach for Identifying Correlation in Large and Multidimensional Data
Contact-Aware Learning in Robotic Grasping, Manipulation and Sensing
Data summaries for scalable, high-cardinality analytics
Towards Better Generalization: Model, Data, and Explicit Knowledge
An Open Pipeline for Generating Executable Neural Circuits from Fruit Fly Brain Data
Optimization techniques for segmenting 3D shapes
Statistical Learning Under Adversarial Distribution Shift
Data Processing Across Continents
Provenance in data-oriented workflows
Neural Interface for Web-Scale Knowledge
The design of a high performance dataflow processor for multiprocessor systems
The Development, Evaluation and Applications of a Neuromechanical Control Model of Human Locomotion
Validating and refining the GOMS model methodology for software user interface design and evaluation
On Systems of Dynamic Graphs: Theory and Applications
Large-scale analyses of functional interactions in the human brain
Where is the Person in Personalized Medicine? The Missing Expert in Adaptive Neurotechnology
Parameter Estimation for Physics-Based Electrochemical Model Parameterization and Degradation Tracking
Zero-Knowledge on the Internet
The Proscriptive Principle and Logics of Analytic Implication
Enhancing Atrial Fibrillation Detection Using Adaptive Template Matching
Matrix Sampling for Global Illumination
Optimization and design of radio frequency piezoelectric MEMS resonators
Predicting Structures and Thermodynamic Properties for Molecular Crystals at Finite Temperatures
Automated Discovery of Social Networks in Online Learning Communities
Understanding Performance Limits in Wireless Sensor Networks
Space-efficient Simulations of Quantum Interactive Proofs
Efficient Program Analysis Using Dependence Flow Graphs
Distributed and decentralized control of the power grid
Dissection of Deep Neural Networks
Studies in authentication