andersonbcdefg/st_specter_train_triples huggingface dataset:
Paper: Defining the Ethereum Virtual Machine for Interactive Theorem Provers
Related paper: ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER
Unrelated paper: Tree-to-tree Neural Networks for Program Translation
Paper: semeval 2015 task 18 : broad - coverage semantic dependency parsing .
Related paper: Shift-Reduce Dependency DAG Parsing
Unrelated paper: Accurate Unlexicalized Parsing
Paper: semeval 2015 task 18 : broad - coverage semantic dependency parsing .
Related paper: Shift-Reduce Dependency DAG Parsing
Unrelated paper: Design optimization of reinforced concrete structures
Paper: semeval 2015 task 18 : broad - coverage semantic dependency parsing .
Related paper: Generating Typed Dependency Parses from Phrase Structure Parses
Unrelated paper: Long-Term Mobile Traffic Forecasting Using Deep Spatio-Temporal Neural Networks
Paper: semeval 2015 task 18 : broad - coverage semantic dependency parsing .
Related paper: Shift-Reduce Dependency DAG Parsing
Unrelated paper: Ultra-Processed Food Products and Obesity in Brazilian Households (2008–2009)
Paper: semeval 2015 task 18 : broad - coverage semantic dependency parsing .
Related paper: Shift-Reduce Dependency DAG Parsing
Unrelated paper: defining reference conditions for ca ’ s perennial wadeable streams .
Paper: Online variance minimization
Related paper: Online Convex Programming and Generalized Infinitesimal Gradient Ascent
Unrelated paper: Competitive on-Line Statistics
Paper: Online variance minimization
Related paper: Averaging Expert Predictions
Unrelated paper: Opportunities and challenges of interbasin water transfers: a literature review with bibliometric analysis
Paper: Online variance minimization
Related paper: Logarithmic regret algorithms for online convex optimization
Unrelated paper: Digital Beamforming-Based Massive MIMO Transceiver for 5G Millimeter-Wave Communications
Paper: Online variance minimization
Related paper: Averaging Expert Predictions
Unrelated paper: Detection of small objects from high-resolution panchromatic satellite imagery based on supervised image segmentation
Paper: Online variance minimization
Related paper: Averaging Expert Predictions
Unrelated paper: High-Level Synthesis: Past, Present, and Future
Paper: Auditory training improves neural timing in the human brainstem
Related paper: Software for a cascade/parallel formant synthesizer
Unrelated paper: Frequency-following (microphonic-like) neural responses evoked by sound
Paper: Auditory training improves neural timing in the human brainstem
Related paper: Software for a cascade/parallel formant synthesizer
Unrelated paper: Clinical and microbiological features of vulvovaginitis in Mexican girls
Paper: Auditory training improves neural timing in the human brainstem
Related paper: Software for a cascade/parallel formant synthesizer
Unrelated paper: An FPGA-Based Novel Digital PWM Control Scheme for BLDC Motor Drives
Paper: Auditory training improves neural timing in the human brainstem
Related paper: Software for a cascade/parallel formant synthesizer
Unrelated paper: Transactional data structure libraries
Paper: Auditory training improves neural timing in the human brainstem
Related paper: Brainstem responses to speech syllables
Unrelated paper: Echinostome Flukes Receovered from Humans in Khammouane Province, Lao PDR
Paper: A Measurement System for Capacitive PUF-Based Security Enclosures
Related paper: Fringe-Effect Capacitive Proximity Sensors for Tamper Proof Enclosures
Unrelated paper: Modeling attacks on physical unclonable functions
Paper: A Measurement System for Capacitive PUF-Based Security Enclosures
Related paper: Semi-invasive EM attack on FPGA RO PUFs and countermeasures
Unrelated paper: Why are teleworkers stressed? An empirical analysis of the causes of telework-enabled stress
Paper: A Measurement System for Capacitive PUF-Based Security Enclosures
Related paper: BoardPUF: Physical Unclonable Functions for Printed Circuit Board Authentication
Unrelated paper: Treadmill exercise ameliorates motor dysfunction through inhibition of Purkinje cell loss in cerebellum of valproic acid-induced autistic rats
Paper: A Measurement System for Capacitive PUF-Based Security Enclosures
Related paper: An embedded key management system for PUF-based security enclosures
Unrelated paper: Improving Credit Card Fraud Detection using a Meta- Classification Strategy
Paper: A Measurement System for Capacitive PUF-Based Security Enclosures
Related paper: BoardPUF: Physical Unclonable Functions for Printed Circuit Board Authentication
Unrelated paper: Towards a secure data stream management system
Paper: YouTube Science Channel Video Presenters and Comments: Female Friendly or Vestiges of Sexism?
Related paper: Understanding current causes of women's underrepresentation in science.
Unrelated paper: online aggressor / targets , aggressors , and targets : a comparison of associated youth characteristics .
Paper: YouTube Science Channel Video Presenters and Comments: Female Friendly or Vestiges of Sexism?
Related paper: ‘It's just drama’: teen perspectives on conflict and aggression in a networked era
Unrelated paper: PLoS Computational Biology: A New Community Journal
Paper: YouTube Science Channel Video Presenters and Comments: Female Friendly or Vestiges of Sexism?
Related paper: ‘It's just drama’: teen perspectives on conflict and aggression in a networked era
Unrelated paper: Traction control for a rocker-bogie robot with wheel-ground contact angle estimation
Paper: YouTube Science Channel Video Presenters and Comments: Female Friendly or Vestiges of Sexism?
Related paper: Understanding current causes of women's underrepresentation in science.
Unrelated paper: Efficient 3D reflection symmetry detection: A view-based approach
Paper: YouTube Science Channel Video Presenters and Comments: Female Friendly or Vestiges of Sexism?
Related paper: Understanding current causes of women's underrepresentation in science.
Unrelated paper: A Pump FMEA Approach to Improve Reliability Centered Maintenance Procedure : The Case of Centrifugal Pumps in Onshore Industry
Paper: A Wideband Bandpass Filter With Reconfigurable Bandwidth Based on Cross-Shaped Resonator
Related paper: Design of Ultra-Wideband Bandpass Filters With Fixed and Reconfigurable Notch Bands Using Terminated Cross-Shaped Resonators
Unrelated paper: Characterization of liquid crystal polymer (LCP) material and transmission lines on LCP substrates from 30 to 110 GHz
Paper: A Wideband Bandpass Filter With Reconfigurable Bandwidth Based on Cross-Shaped Resonator
Related paper: Tunable Bandpass Filter Design Based on External Quality Factor Tuning and Multiple Mode Resonators for Wideband Applications
Unrelated paper: The evolving concept of health literacy.
Paper: A Wideband Bandpass Filter With Reconfigurable Bandwidth Based on Cross-Shaped Resonator
Related paper: Design of Ultra-Wideband Bandpass Filters With Fixed and Reconfigurable Notch Bands Using Terminated Cross-Shaped Resonators
Unrelated paper: exaggerations and stereotypes of schizophrenia in contemporary films by nikita demare .
Paper: A Wideband Bandpass Filter With Reconfigurable Bandwidth Based on Cross-Shaped Resonator
Related paper: Design of Ultra-Wideband Bandpass Filters With Fixed and Reconfigurable Notch Bands Using Terminated Cross-Shaped Resonators
Unrelated paper: Multiparameter Respiratory Rate Estimation From the Photoplethysmogram
Paper: A Wideband Bandpass Filter With Reconfigurable Bandwidth Based on Cross-Shaped Resonator
Related paper: Cascaded Coupled Line Filter With Reconfigurable Bandwidths Using LCP Multilayer Circuit Technology
Unrelated paper: Grand Challenges and Inductive Methods: Rigor without Rigor Mortis
Paper: An Experimental Analysis of Change Propagation in Dynamic Trees
Related paper: Dynamic Trees as Search Trees via Euler Tours, Applied to the Network Simplex Algorithm
Unrelated paper: A data structure for dynamic trees
Paper: An Experimental Analysis of Change Propagation in Dynamic Trees
Related paper: Dynamic Trees as Search Trees via Euler Tours, Applied to the Network Simplex Algorithm
Unrelated paper: Technical Advances of the Recombinant Antibody Microarray Technology Platform for Clinical Immunoproteomics
Paper: An Experimental Analysis of Change Propagation in Dynamic Trees
Related paper: Dynamic Trees as Search Trees via Euler Tours, Applied to the Network Simplex Algorithm
Unrelated paper: Joining the dots: reconstructing 3D environments and movement paths using animal-borne devices
Paper: An Experimental Analysis of Change Propagation in Dynamic Trees
Related paper: Dynamic Trees as Search Trees via Euler Tours, Applied to the Network Simplex Algorithm
Unrelated paper: Dense RGB-D Semantic Mapping with Pixel-Voxel Neural Network
Paper: An Experimental Analysis of Change Propagation in Dynamic Trees
Related paper: Dynamic Trees as Search Trees via Euler Tours, Applied to the Network Simplex Algorithm
Unrelated paper: Network-based marketing: Identifying likely adopters via consumer networks
Paper: Towards Image Understanding from Deep Compression without Decoding
Related paper: Full Resolution Image Compression with Recurrent Neural Networks
Unrelated paper: Generative Compression
Paper: Towards Image Understanding from Deep Compression without Decoding
Related paper: Soft-to-Hard Vector Quantization for End-to-End Learned Compression of Images and Neural Networks
Unrelated paper: Understanding performance in touch selections: Tap, drag and radial pointing drag with finger, stylus and mouse
Paper: Towards Image Understanding from Deep Compression without Decoding
Related paper: Semantic contours from inverse detectors
Unrelated paper: Oral lesions in leprosy.
Paper: Towards Image Understanding from Deep Compression without Decoding
Related paper: A survey on compressed domain video analysis techniques
Unrelated paper: Neuronal factors determining high intelligence
Paper: Towards Image Understanding from Deep Compression without Decoding
Related paper: Lossy Image Compression with Compressive Autoencoders
Unrelated paper: A 107 GHz 55 dB-Ohm InP Broadband Transimpedance Amplifier IC for High-Speed Optical Communication Links
Paper: on semantic patterns of passwords and their security impact .
Related paper: NLTK: The Natural Language Toolkit
Unrelated paper: Statistical language modeling using the CMU-cambridge toolkit
Paper: on semantic patterns of passwords and their security impact .
Related paper: Effect of grammar on security of long passwords
Unrelated paper: DIAGNOSIS OF LYME DISEASE
Paper: on semantic patterns of passwords and their security impact .
Related paper: Encountering Stronger Password Requirements: User Attitudes and Behaviors
Unrelated paper: wavelet theory and applications a literature study .
Paper: on semantic patterns of passwords and their security impact .
Related paper: Effect of grammar on security of long passwords
Unrelated paper: The design of mobile apps: what and how to teach?
Paper: on semantic patterns of passwords and their security impact .
Related paper: Fast dictionary attacks on passwords using time-space tradeoff
Unrelated paper: Cluster-based adaptive SVM: A latent subdomains discovery method for domain adaptation problems
Paper: Performance Analysis of IEEE 802.15.6 MAC Protocol under Non-Ideal Channel Conditions and Saturated Traffic Regime
Related paper: IEEE 802.11-saturation throughput analysis
Unrelated paper: Contiki - a lightweight and flexible operating system for tiny networked sensors
Paper: Performance Analysis of IEEE 802.15.6 MAC Protocol under Non-Ideal Channel Conditions and Saturated Traffic Regime
Related paper: Wireless Sensor Networks: A Survey
Unrelated paper: Slim Embedding Layers for Recurrent Neural Language Models
Paper: Performance Analysis of IEEE 802.15.6 MAC Protocol under Non-Ideal Channel Conditions and Saturated Traffic Regime
Related paper: Wireless Sensor Networks: A Survey
Unrelated paper: A critical examination of 3D stackable NAND Flash memory architectures by simulation study of the scaling capability
Paper: Performance Analysis of IEEE 802.15.6 MAC Protocol under Non-Ideal Channel Conditions and Saturated Traffic Regime
Related paper: Wireless Sensor Networks for Healthcare
Unrelated paper: Nonlinear solution of linear inverse problems by wavelet-vaguelette decomposition
Paper: Performance Analysis of IEEE 802.15.6 MAC Protocol under Non-Ideal Channel Conditions and Saturated Traffic Regime
Related paper: Wireless Sensor Networks for Healthcare
Unrelated paper: Temporal RDF
Paper: aalborg universitet a compact 3 - dof shoulder mechanism constructed with scissors linkages for exoskeleton applications .
Related paper: Kinematic Design to Improve Ergonomics in Human Machine Interaction
Unrelated paper: Robot-aided neurorehabilitation of the upper extremities
Paper: aalborg universitet a compact 3 - dof shoulder mechanism constructed with scissors linkages for exoskeleton applications .
Related paper: the shape of a set of points in the plane .
Unrelated paper: Texture Based Palmprint Identification Using DCT Features
Paper: aalborg universitet a compact 3 - dof shoulder mechanism constructed with scissors linkages for exoskeleton applications .
Related paper: A brief review on upper extremity robotic exoskeleton systems
Unrelated paper: Comparison and measurement of the amount of anchorage loss of the molars with and without the use of implant anchorage during canine retraction.
Paper: aalborg universitet a compact 3 - dof shoulder mechanism constructed with scissors linkages for exoskeleton applications .
Related paper: Optimization of a spherical mechanism for a minimally invasive surgical robot: theoretical and experimental approaches
Unrelated paper: Attitudes toward genetic testing and personalised nutrition in a representative sample of European consumers
Paper: aalborg universitet a compact 3 - dof shoulder mechanism constructed with scissors linkages for exoskeleton applications .
Related paper: A brief review on upper extremity robotic exoskeleton systems
Unrelated paper: Nonawake vs Awake Placement of Spinal Cord Stimulators: A Prospective, Multicenter Study Comparing Safety and Efficacy
Paper: Recursive teaching dimension, VC-dimension and sample compression
Related paper: On the Uniform Convergence of Relative Frequencies of Events to Their Probabilities
Unrelated paper: How to construct random functions
Paper: Recursive teaching dimension, VC-dimension and sample compression
Related paper: A theory of the learnable
Unrelated paper: A cMUT probe for ultrasound-guided focused ultrasound targeted therapy
Paper: Recursive teaching dimension, VC-dimension and sample compression
Related paper: On the Uniform Convergence of Relative Frequencies of Events to Their Probabilities
Unrelated paper: Multi-Oriented Text Detection and Verification in Video Frames and Scene Images
Paper: Recursive teaching dimension, VC-dimension and sample compression
Related paper: On the Uniform Convergence of Relative Frequencies of Events to Their Probabilities
Unrelated paper: Updating Sets of Probabilities
Paper: Recursive teaching dimension, VC-dimension and sample compression
Related paper: On the Uniform Convergence of Relative Frequencies of Events to Their Probabilities
Unrelated paper: Morphology of the mentalis muscle and its relationship with the orbicularis oris and incisivus labii inferioris muscles.
Paper: Improving the Resolution of CNN Feature Maps Efficiently with Multisampling
Related paper: Improving neural networks by preventing co-adaptation of feature detectors
Unrelated paper: Beyond spatial pyramids: Receptive field learning for pooled image features
Paper: Improving the Resolution of CNN Feature Maps Efficiently with Multisampling
Related paper: Stochastic Pooling for Regularization of Deep Convolutional Neural Networks
Unrelated paper: Word Embeddings , Sense Embeddings and their Application to Word Sense Induction
Paper: Improving the Resolution of CNN Feature Maps Efficiently with Multisampling
Related paper: Fractional Max-Pooling
Unrelated paper: Standardised nomenclature for glucocorticoid dosages and glucocorticoid treatment regimens: current questions and tentative answers in rheumatology.
Paper: Improving the Resolution of CNN Feature Maps Efficiently with Multisampling
Related paper: Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift
Unrelated paper: Magneto-Gyro Wearable Sensor Algorithm for Trunk Sway Estimation During Walking and Running Gait
Paper: Improving the Resolution of CNN Feature Maps Efficiently with Multisampling
Related paper: Fractional Max-Pooling
Unrelated paper: Update on psoriasis immunopathogenesis and targeted immunotherapy
Paper: Vision-Based Positioning for Internet-of-Vehicles
Related paper: Modeling and rendering architecture from photographs: a hybrid geometry- and image-based approach
Unrelated paper: Image mosaicing for tele-reality applications
Paper: Vision-Based Positioning for Internet-of-Vehicles
Related paper: Stereo vision and IMU based real-time ego-motion and depth image computation on a handheld device
Unrelated paper: Imbalanced Data learning Approaches
Paper: Vision-Based Positioning for Internet-of-Vehicles
Related paper: Stereo vision and IMU based real-time ego-motion and depth image computation on a handheld device
Unrelated paper: Structural Deep Embedding for Hyper-Networks
Paper: Vision-Based Positioning for Internet-of-Vehicles
Related paper: Photo tourism: exploring photo collections in 3D
Unrelated paper: Evaluation of off-target and on-target scoring algorithms and integration into the guide RNA selection tool CRISPOR
Paper: Vision-Based Positioning for Internet-of-Vehicles
Related paper: Modeling and rendering architecture from photographs: a hybrid geometry- and image-based approach
Unrelated paper: Inner Attention based Recurrent Neural Networks for Answer Selection
Paper: An Approach To Mode and Anomaly Detection with Spacecraft Telemetry Data
Related paper: A Density-Based Algorithm for Discovering Clusters in Large Spatial Databases with Noise
Unrelated paper: Prototype and Feature Selection by Sampling and Random Mutation Hill Climbing Algorithms
Paper: An Approach To Mode and Anomaly Detection with Spacecraft Telemetry Data
Related paper: A Density-Based Algorithm for Discovering Clusters in Large Spatial Databases with Noise
Unrelated paper: An interface for eddy current displacement sensors with 15-bit resolution and 20 MHz excitation
Paper: An Approach To Mode and Anomaly Detection with Spacecraft Telemetry Data
Related paper: Robust Model-Based Fault Diagnosis for Dynamic Systems
Unrelated paper: Animal cloning applications and issues
Paper: An Approach To Mode and Anomaly Detection with Spacecraft Telemetry Data
Related paper: A Survey of Outlier Detection Methodologies
Unrelated paper: DoSeR - A knowledge-base-agnostic framework for entity disambiguation using semantic embeddings
Paper: An Approach To Mode and Anomaly Detection with Spacecraft Telemetry Data
Related paper: A Density-Based Algorithm for Discovering Clusters in Large Spatial Databases with Noise
Unrelated paper: Occupational therapy students’ self-efficacy, experience of supervision, and perception of meaningfulness of Level II fieldwork
Paper: Variability in action: Contributions of a songbird cortical-basal ganglia circuit to vocal motor learning and control
Related paper: Birdbrains could teach basal ganglia research a new song
Unrelated paper: An Integrative Theory of Prefrontal Cortex Function
Paper: Variability in action: Contributions of a songbird cortical-basal ganglia circuit to vocal motor learning and control
Related paper: Birdbrains could teach basal ganglia research a new song
Unrelated paper: Towards semantic diff of XML documents
Paper: Variability in action: Contributions of a songbird cortical-basal ganglia circuit to vocal motor learning and control
Related paper: Birdbrains could teach basal ganglia research a new song
Unrelated paper: real - time data analytics in sensor networks .
Paper: Variability in action: Contributions of a songbird cortical-basal ganglia circuit to vocal motor learning and control
Related paper: Birdbrains could teach basal ganglia research a new song
Unrelated paper: Pooling Faces: Template Based Face Recognition with Pooled Face Images
Paper: Variability in action: Contributions of a songbird cortical-basal ganglia circuit to vocal motor learning and control
Related paper: Birdbrains could teach basal ganglia research a new song
Unrelated paper: Thinking about intentions
Paper: A security analysis of the OAuth protocol
Related paper: The OAuth 2.0 Authorization Framework
Unrelated paper: the avispa tool for the automated validation of internet security protocols and applications .
Paper: A security analysis of the OAuth protocol
Related paper: Formal analysis of Facebook Connect Single Sign-On authentication protocol ?
Unrelated paper: Accuracy-based Curriculum Learning in Deep Reinforcement Learning
Paper: A security analysis of the OAuth protocol
Related paper: Formal analysis of Facebook Connect Single Sign-On authentication protocol ?
Unrelated paper: Influence of Fluoride Ions Contamination in Front Opening Unified Pod (FOUP) Generating Defective Bonding Pad
Paper: A security analysis of the OAuth protocol
Related paper: Formal analysis of Facebook Connect Single Sign-On authentication protocol ?
Unrelated paper: A Machine Learning Approach To Pronoun Resolution In Spoken Dialogue
Paper: A security analysis of the OAuth protocol
Related paper: The OAuth 2.0 Authorization Framework
Unrelated paper: "This is how I want to learn": High Functioning Autistic Teens Co-Designing a Serious Game
Paper: Q-DNN: A quality-aware deep neural network for blind assessment of enhanced images
Related paper: Making a “Completely Blind” Image Quality Analyzer
Unrelated paper: A fast semi-inverse approach to detect and remove the haze from a single image
Paper: Q-DNN: A quality-aware deep neural network for blind assessment of enhanced images
Related paper: Making a “Completely Blind” Image Quality Analyzer
Unrelated paper: Episodic Exploration for Deep Deterministic Policies: An Application to StarCraft Micromanagement Tasks
Paper: Q-DNN: A quality-aware deep neural network for blind assessment of enhanced images
Related paper: Deblurring Text Images via L0-Regularized Intensity and Gradient Prior
Unrelated paper: An Experience Report at Teaching a Group Based Agile Software Development Project Course
Paper: Q-DNN: A quality-aware deep neural network for blind assessment of enhanced images
Related paper: Efficient Image Dehazing with Boundary Constraint and Contextual Regularization
Unrelated paper: A Maximum Entropy Model For Part-Of-Speech Tagging
Paper: Q-DNN: A quality-aware deep neural network for blind assessment of enhanced images
Related paper: Efficient Image Dehazing with Boundary Constraint and Contextual Regularization
Unrelated paper: CoinShuffle: Practical Decentralized Coin Mixing for Bitcoin
Paper: Feed-Forward Networks with Attention Can Solve Some Long-Term Memory Problems
Related paper: Learning Recurrent Neural Networks with Hessian-Free Optimization
Unrelated paper: A Learning Algorithm for Continually Running Fully Recurrent Neural Networks
Paper: Feed-Forward Networks with Attention Can Solve Some Long-Term Memory Problems
Related paper: Show, Attend and Tell: Neural Image Caption Generation with Visual Attention
Unrelated paper: Socioeconomic Factors and Processes Associated With Domestic Violence in Rural Bangladesh
Paper: Feed-Forward Networks with Attention Can Solve Some Long-Term Memory Problems
Related paper: Rectifier Nonlinearities Improve Neural Network Acoustic Models
Unrelated paper: EMG-based continuous control method for electric wheelchair
Paper: Feed-Forward Networks with Attention Can Solve Some Long-Term Memory Problems
Related paper: Unitary Evolution Recurrent Neural Networks
Unrelated paper: Patterns of Gene Expression in a Scleractinian Coral Undergoing Natural Bleaching
Paper: Feed-Forward Networks with Attention Can Solve Some Long-Term Memory Problems
Related paper: Show, Attend and Tell: Neural Image Caption Generation with Visual Attention
Unrelated paper: Isolation-Based Anomaly Detection