andersonbcdefg/st_specter_train_triples huggingface dataset:
Paper: learning heuristics for automated reasoning through deep reinforcement learning .
Related paper: GamePad: A Learning Environment for Theorem Proving
Unrelated paper: Diagnosis and classi fi cation of granulomatosis with polyangiitis ( aka Wegener ’ s granulomatosis )
Paper: learning heuristics for automated reasoning through deep reinforcement learning .
Related paper: GamePad: A Learning Environment for Theorem Proving
Unrelated paper: Digital Phased Arrays: Challenges and Opportunities
Paper: learning heuristics for automated reasoning through deep reinforcement learning .
Related paper: Reinforcement Learning of Theorem Proving
Unrelated paper: Gender differences in food preferences of school-aged children and adolescents.
Paper: learning heuristics for automated reasoning through deep reinforcement learning .
Related paper: GamePad: A Learning Environment for Theorem Proving
Unrelated paper: High-Pressure Open-Channel On-Chip Electroosmotic Pump for Nanoflow High Performance Liquid Chromatography
Paper: A case study of using HCI methods to improve tools for programmers
Related paper: debugging reinvented .
Unrelated paper: Parseweb: a programmer assistant for reusing open source code on the web
Paper: A case study of using HCI methods to improve tools for programmers
Related paper: Architectural Styles and the Design of Network-based Software Architectures
Unrelated paper: Electromyograph data acquisition and application using Cypress Programmable System on Chip
Paper: A case study of using HCI methods to improve tools for programmers
Related paper: debugging reinvented .
Unrelated paper: A design of a drug driver system for controlling an insulin pump and microcontroller hardware implementation using two-point calibration algorithm
Paper: A case study of using HCI methods to improve tools for programmers
Related paper: debugging reinvented .
Unrelated paper: Predicting penile size during erection
Paper: A case study of using HCI methods to improve tools for programmers
Related paper: debugging reinvented .
Unrelated paper: English Cognate Object Construction: A Usage-based, Construction Grammar Approach ∗
Paper: Latent semantic sparse hashing for cross-modal similarity search
Related paper: Sparse Representation for Color Image Restoration
Unrelated paper: An information-maximization approach to blind separation and blind deconvolution
Paper: Latent semantic sparse hashing for cross-modal similarity search
Related paper: Similarity Search in High Dimensions via Hashing
Unrelated paper: Summarizing wearable video
Paper: Latent semantic sparse hashing for cross-modal similarity search
Related paper: Sparse coding with an overcomplete basis set: A strategy employed by V1?
Unrelated paper: Direct answers for search queries in the long tail
Paper: Latent semantic sparse hashing for cross-modal similarity search
Related paper: Supervised hashing with kernels
Unrelated paper: Implications of Antisocial Parents
Paper: Latent semantic sparse hashing for cross-modal similarity search
Related paper: Similarity Search in High Dimensions via Hashing
Unrelated paper: Regulatory non-coding RNA: new instruments in the orchestration of cell death
Paper: Challenges for Database Management in the Internet of Things
Related paper: Models and issues in data stream systems
Unrelated paper: Efficient Filtering of XML Documents for Selective Dissemination of Information
Paper: Challenges for Database Management in the Internet of Things
Related paper: A Data Privacy Taxonomy
Unrelated paper: Pose Invariant Activity Classification for Multi-floor Indoor Localization
Paper: Challenges for Database Management in the Internet of Things
Related paper: Models and issues in data stream systems
Unrelated paper: Bandwidth Enhancement of Printed E-Shaped Slot Antennas Fed by CPW and Microstrip Line
Paper: Challenges for Database Management in the Internet of Things
Related paper: The Internet of Things in an Enterprise Context
Unrelated paper: A −80dBm BLE-compliant, FSK wake-up receiver with system and within-bit dutycycling for scalable power and latency
Paper: Challenges for Database Management in the Internet of Things
Related paper: The Internet of Things in an Enterprise Context
Unrelated paper: Comparison Between K-Mean and Hierarchical Algorithm Using Query Redirection
Paper: Hunting ELFs : An investigation into Android malware detection
Related paper: Classification of Packed Executables for Accurate Computer Virus Detection
Unrelated paper: Using an Ensemble of One-Class SVM Classifiers to Harden Payload-based Anomaly Detection Systems
Paper: Hunting ELFs : An investigation into Android malware detection
Related paper: FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps
Unrelated paper: Comparing design and code metrics for software quality prediction
Paper: Hunting ELFs : An investigation into Android malware detection
Related paper: Extremely randomized trees
Unrelated paper: Electrically conductive lines on cellulose nanopaper for flexible electrical devices
Paper: Hunting ELFs : An investigation into Android malware detection
Related paper: Extremely randomized trees
Unrelated paper: chinese religion and the challenge of modernity in malaysia and singapore : syncretism , hybridisation and .
Paper: Hunting ELFs : An investigation into Android malware detection
Related paper: DroidSieve: Fast and Accurate Classification of Obfuscated Android Malware
Unrelated paper: Successful microsurgical replantation of an amputated penis
Paper: A New Scheme for Scoring Phrases in Unsupervised Keyphrase Extraction
Related paper: Corpus-independent Generic Keyphrase Extraction Using Word Embedding Vectors
Unrelated paper: TextRank: Bringing Order Into Texts
Paper: A New Scheme for Scoring Phrases in Unsupervised Keyphrase Extraction
Related paper: Single document keyphrase extraction using neighborhood knowledge
Unrelated paper: Efficient Multi-User Computation Offloading for Mobile-Edge Cloud Computing
Paper: A New Scheme for Scoring Phrases in Unsupervised Keyphrase Extraction
Related paper: Automatic keyphrase extraction from scientific articles
Unrelated paper: Oral Iron Absorption Test (OIAT): A Forgotten Screening Test for Iron Absorption from the Gastrointestinal Tract. A Case Series of 14 Iron Deficiency Anemia (IDA) Patients Treated with FERALGINE®
Paper: A New Scheme for Scoring Phrases in Unsupervised Keyphrase Extraction
Related paper: Keyphrase extraction in scientific publications
Unrelated paper: Combined Pulmonary Fibrosis and Emphysema Syndrome: A New Phenotype within the Spectrum of Smoking-Related Interstitial Lung Disease
Paper: A New Scheme for Scoring Phrases in Unsupervised Keyphrase Extraction
Related paper: Single document keyphrase extraction using neighborhood knowledge
Unrelated paper: Diagnosing Advanced Persistent Threats: A Position Paper
Paper: The Future of Big Data Is ... JavaScript?
Related paper: TinyDB: an acquisitional query processing system for sensor networks
Unrelated paper: The Cricket location-support system
Paper: The Future of Big Data Is ... JavaScript?
Related paper: TinyDB: an acquisitional query processing system for sensor networks
Unrelated paper: The problems with hybrids: setting conservation guidelines
Paper: The Future of Big Data Is ... JavaScript?
Related paper: TinyDB: an acquisitional query processing system for sensor networks
Unrelated paper: A Hierarchical Extreme Learning Machine Algorithm for Advertisement Click-Through Rate Prediction
Paper: The Future of Big Data Is ... JavaScript?
Related paper: TinyDB: an acquisitional query processing system for sensor networks
Unrelated paper: Performance analysis of least mean square and recursive least square channel estimation techniques under multipath fading environmental conditions
Paper: The Future of Big Data Is ... JavaScript?
Related paper: TinyDB: an acquisitional query processing system for sensor networks
Unrelated paper: Speech-Driven 3D Facial Animation with Implicit Emotional Awareness: A Deep Learning Approach
Paper: Abnormal detection using interaction energy potentials
Related paper: Event Detection and Analysis from Video Streams
Unrelated paper: Robust Real-Time Unusual Event Detection using Multiple Fixed-Location Monitors
Paper: Abnormal detection using interaction energy potentials
Related paper: Event Detection and Analysis from Video Streams
Unrelated paper: Cyber military strategy for cyberspace superiority in cyber warfare
Paper: Abnormal detection using interaction energy potentials
Related paper: Chaotic invariants of Lagrangian particle trajectories for anomaly detection in crowded scenes
Unrelated paper: Analyzing (social media) networks with NodeXL
Paper: Abnormal detection using interaction energy potentials
Related paper: Event Detection and Analysis from Video Streams
Unrelated paper: Path Problems in Temporal Graphs
Paper: Abnormal detection using interaction energy potentials
Related paper: Event Detection and Analysis from Video Streams
Unrelated paper: Internet Addiction Symptoms, Disordered Eating, and Body Image Avoidance
Paper: Analytical Tools for Blockchain: Review, Taxonomy and Open Challenges
Related paper: A Quantitative Analysis of the Impact of Arbitrary Blockchain Content on Bitcoin
Unrelated paper: The Bitcoin Backbone Protocol: Analysis and Applications
Paper: Analytical Tools for Blockchain: Review, Taxonomy and Open Challenges
Related paper: Zerocoin: Anonymous Distributed E-Cash from Bitcoin
Unrelated paper: Super-resolution from image sequences-a review
Paper: Analytical Tools for Blockchain: Review, Taxonomy and Open Challenges
Related paper: An analysis of Bitcoin OP_RETURN metadata
Unrelated paper: a survey on device - to - device ( d2d ) communication : architecture and security issues .
Paper: Analytical Tools for Blockchain: Review, Taxonomy and Open Challenges
Related paper: Trends, Tips, Tolls: A Longitudinal Study of Bitcoin Transaction Fees
Unrelated paper: False Negative Problem of Counting Bloom Filter
Paper: Analytical Tools for Blockchain: Review, Taxonomy and Open Challenges
Related paper: A Quantitative Analysis of the Impact of Arbitrary Blockchain Content on Bitcoin
Unrelated paper: Vector Field Metrics Based on Distance Measures of First Order Critical Points
Paper: analysis of social networks using the techniques of web mining .
Related paper: The Ties that Blog: Examining the Relationship between Social Ties and Continued Participation in the Wallop Weblogging System
Unrelated paper: Normalized cuts and image segmentation
Paper: analysis of social networks using the techniques of web mining .
Related paper: Studying Online Social Networks
Unrelated paper: Passive video forgery detection techniques: A survey
Paper: analysis of social networks using the techniques of web mining .
Related paper: Web mining: information and pattern discovery on the World Wide Web
Unrelated paper: Stacked Conditional Generative Adversarial Networks for Jointly Learning Shadow Detection and Shadow Removal
Paper: analysis of social networks using the techniques of web mining .
Related paper: Web mining: information and pattern discovery on the World Wide Web
Unrelated paper: Estimation of Confidence Measures for Machine Translation
Paper: analysis of social networks using the techniques of web mining .
Related paper: Web mining: information and pattern discovery on the World Wide Web
Unrelated paper: Internet of Things
Paper: Discriminative Transfer Subspace Learning via Low-Rank and Sparse Representation
Related paper: Cross-domain video concept detection using adaptive svms
Unrelated paper: Domain Adaptation Problems: A DASVM Classification Technique and a Circular Validation Strategy
Paper: Discriminative Transfer Subspace Learning via Low-Rank and Sparse Representation
Related paper: Domain adaptation for object recognition: An unsupervised approach
Unrelated paper: Detecting readers with dyslexia using machine learning with eye tracking measures
Paper: Discriminative Transfer Subspace Learning via Low-Rank and Sparse Representation
Related paper: Generalized Transfer Subspace Learning Through Low-Rank Constraint
Unrelated paper: Study on high performance and productivity of TSV's with new filling method and alloy for advanced 3D-SiP
Paper: Discriminative Transfer Subspace Learning via Low-Rank and Sparse Representation
Related paper: Exploiting web images for event recognition in consumer videos: A multiple source domain adaptation approach
Unrelated paper: A CONTINOUS ROTARY ACTUATION MECHANISM FOR A POWERED HIP EXOSKELETON
Paper: Discriminative Transfer Subspace Learning via Low-Rank and Sparse Representation
Related paper: Cross-domain video concept detection using adaptive svms
Unrelated paper: Design concepts for a 3-phase axial peg style electrostatic rotating machine utilizing variable elastance
Paper: Advocating for Action Design Research on IT Value Creation in Healthcare
Related paper: Information technology and economic performance: A critical review of the empirical evidence
Unrelated paper: Beyond the Productivity Paradox: Computers are the Catalyst for Bigger Changes
Paper: Advocating for Action Design Research on IT Value Creation in Healthcare
Related paper: Productivity, business profitability, and consumer surplus: three different measures of information technology value
Unrelated paper: Design procedure of class-E amplifier for off-nominal operation at 50% duty ratio
Paper: Advocating for Action Design Research on IT Value Creation in Healthcare
Related paper: Productivity, business profitability, and consumer surplus: three different measures of information technology value
Unrelated paper: Motion detection based on the combining of the background subtraction and spatial color information
Paper: Advocating for Action Design Research on IT Value Creation in Healthcare
Related paper: Productivity, business profitability, and consumer surplus: three different measures of information technology value
Unrelated paper: Early Improvements in Individual Symptoms to Predict Later Remission in Major Depressive Disorder Treated With Mirtazapine
Paper: Advocating for Action Design Research on IT Value Creation in Healthcare
Related paper: Information technology and economic performance: A critical review of the empirical evidence
Unrelated paper: Reptile Hematology
Paper: ACIQ: Analytical Clipping for Integer Quantization of neural networks
Related paper: UNIQ: Uniform Noise Injection for the Quantization of Neural Networks.
Unrelated paper: An integrated GPU power and performance model
Paper: ACIQ: Analytical Clipping for Integer Quantization of neural networks
Related paper: Quantizing deep convolutional networks for efficient inference: A whitepaper
Unrelated paper: Fringing Field Formulas and Winding Loss Due to an Air Gap
Paper: ACIQ: Analytical Clipping for Integer Quantization of neural networks
Related paper: UNIQ: Uniform Noise Injection for the Quantization of Neural Networks.
Unrelated paper: Adaptive Classification for Brain Computer Interfaces
Paper: ACIQ: Analytical Clipping for Integer Quantization of neural networks
Related paper: Quantizing deep convolutional networks for efficient inference: A whitepaper
Unrelated paper: Consumer Wearable Devices for Activity Monitoring Among Individuals After a Stroke: A Prospective Comparison
Paper: ACIQ: Analytical Clipping for Integer Quantization of neural networks
Related paper: UNIQ: Uniform Noise Injection for the Quantization of Neural Networks.
Unrelated paper: Bayesian Poisson Tucker Decomposition for Learning the Structure of International Relations
Paper: Multidimensional Dirichlet Process-Based Non-Parametric Signal Classification for Autonomous Self-Learning Cognitive Radios
Related paper: Cyclostationary Approaches to Signal Detection and Classification in Cognitive Radio
Unrelated paper: Introduction to probability models
Paper: Multidimensional Dirichlet Process-Based Non-Parametric Signal Classification for Autonomous Self-Learning Cognitive Radios
Related paper: Blind cyclostationary feature detection based spectrum sensing for autonomous self-learning cognitive radios
Unrelated paper: A Cryptographic Analysis of the TLS 1.3 draft-10 Full and Pre-shared Key Handshake Protocol
Paper: Multidimensional Dirichlet Process-Based Non-Parametric Signal Classification for Autonomous Self-Learning Cognitive Radios
Related paper: Blind cyclostationary feature detection based spectrum sensing for autonomous self-learning cognitive radios
Unrelated paper: Learning Context Flexible Attention Model for Long-Term Visual Place Recognition
Paper: Multidimensional Dirichlet Process-Based Non-Parametric Signal Classification for Autonomous Self-Learning Cognitive Radios
Related paper: Blind cyclostationary feature detection based spectrum sensing for autonomous self-learning cognitive radios
Unrelated paper: Improved Part-of-Speech Tagging for Online Conversational Text with Word Clusters
Paper: Multidimensional Dirichlet Process-Based Non-Parametric Signal Classification for Autonomous Self-Learning Cognitive Radios
Related paper: Blind cyclostationary feature detection based spectrum sensing for autonomous self-learning cognitive radios
Unrelated paper: Abandoned Object Detection Using Pixel-Based Finite State Machine and Single Shot Multibox Detector
Paper: Human Tracking With Wireless Distributed Pyroelectric Sensors
Related paper: Marginalized particle filters for mixed linear/nonlinear state-space models
Unrelated paper: A Bayesian computer vision system for modeling human interactions
Paper: Human Tracking With Wireless Distributed Pyroelectric Sensors
Related paper: Sensor networks: evolution, opportunities, and challenges
Unrelated paper: Reward, Motivation, and Reinforcement Learning
Paper: Human Tracking With Wireless Distributed Pyroelectric Sensors
Related paper: Marginalized particle filters for mixed linear/nonlinear state-space models
Unrelated paper: Small-objectness sensitive detection based on shifted single shot detector
Paper: Human Tracking With Wireless Distributed Pyroelectric Sensors
Related paper: Sensor networks: evolution, opportunities, and challenges
Unrelated paper: classification and phylogenetic analysis of african ternary rhythm timelines .
Paper: Human Tracking With Wireless Distributed Pyroelectric Sensors
Related paper: Sensor networks: evolution, opportunities, and challenges
Unrelated paper: Multi-scale approach from mechatronic to Cyber-Physical Systems for the design of manufacturing systems
Paper: Sznajd2: A Community-Aware Opinion Dynamics Model
Related paper: Sky: Opinion Dynamics Based Consensus for P2P Network with Trust Relationships
Unrelated paper: All your contacts are belong to us: automated identity theft attacks on social networks
Paper: Sznajd2: A Community-Aware Opinion Dynamics Model
Related paper: Sky: Opinion Dynamics Based Consensus for P2P Network with Trust Relationships
Unrelated paper: Profession of neuropsychology in Latin America
Paper: Sznajd2: A Community-Aware Opinion Dynamics Model
Related paper: SoK: The Evolution of Sybil Defense via Social Networks
Unrelated paper: Novel pathogenetic mechanisms and structural adaptations in ischemic mitral regurgitation.
Paper: Sznajd2: A Community-Aware Opinion Dynamics Model
Related paper: SoK: The Evolution of Sybil Defense via Social Networks
Unrelated paper: Evaluating a nursing erasmus exchange experience: Reflections on the use and value of the Nominal Group Technique for evaluation
Paper: Sznajd2: A Community-Aware Opinion Dynamics Model
Related paper: SoK: The Evolution of Sybil Defense via Social Networks
Unrelated paper: NEZHA: Efficient Domain-Independent Differential Testing
Paper: Device-to-Device Discovery for Proximity-Based Service in LTE-Advanced System
Related paper: resource allocation for device - to - device communications underlaying lte - advanced networks .
Unrelated paper: Efficient resource allocation for device-to-device communication underlaying LTE network
Paper: Device-to-Device Discovery for Proximity-Based Service in LTE-Advanced System
Related paper: resource allocation for device - to - device communications underlaying lte - advanced networks .
Unrelated paper: The Case For Heterogeneous HTAP
Paper: Device-to-Device Discovery for Proximity-Based Service in LTE-Advanced System
Related paper: resource allocation for device - to - device communications underlaying lte - advanced networks .
Unrelated paper: Ozonation of drinking water: part II. Disinfection and by-product formation in presence of bromide, iodide or chlorine.
Paper: Device-to-Device Discovery for Proximity-Based Service in LTE-Advanced System
Related paper: resource allocation for device - to - device communications underlaying lte - advanced networks .
Unrelated paper: Broadband suspended plate antenna for WiFi/WiMAX applications
Paper: Device-to-Device Discovery for Proximity-Based Service in LTE-Advanced System
Related paper: resource allocation for device - to - device communications underlaying lte - advanced networks .
Unrelated paper: Bullous acral lichen sclerosus with milia
Paper: Point cloud databases
Related paper: C-Store: A Column-oriented DBMS
Unrelated paper: Distributed data clustering can be efficient and exact
Paper: Point cloud databases
Related paper: C-Store: A Column-oriented DBMS
Unrelated paper: Hybrid Forest: A Concept Drift Aware Data Stream Mining Algorithm
Paper: Point cloud databases
Related paper: C-Store: A Column-oriented DBMS
Unrelated paper: 2D time-frequency interference modelling using stochastic geometry for performance evaluation in Low-Power Wide-Area Networks
Paper: Point cloud databases
Related paper: C-Store: A Column-oriented DBMS
Unrelated paper: Permanent magnet linear generator for renewable energy applications: Tubular vs. four-sided structures
Paper: Point cloud databases
Related paper: DBDC : Density Based Distributed Clustering
Unrelated paper: Learning to Juggle in an Interactive Virtual Reality Environment
Paper: A survey on privacy issues in digital forensics
Related paper: Forensics investigation challenges in cloud computing environments
Unrelated paper: Forensic investigations in Cloud environments
Paper: A survey on privacy issues in digital forensics
Related paper: Forensics investigation challenges in cloud computing environments
Unrelated paper: Metabolic Reprogramming of Stem Cell Epigenetics
Paper: A survey on privacy issues in digital forensics
Related paper: Forensics investigation challenges in cloud computing environments
Unrelated paper: The Road to Immersive Communication
Paper: A survey on privacy issues in digital forensics
Related paper: Forensics investigation challenges in cloud computing environments
Unrelated paper: RIOT: One OS to Rule Them All in the IoT
Paper: A survey on privacy issues in digital forensics
Related paper: Forensics investigation challenges in cloud computing environments
Unrelated paper: Using Software Non-Functional Assessment Process to Complement Function Points for Software Maintenance
Paper: Latent-Space Variational Bayes
Related paper: An Introduction to Variational Methods for Graphical Models
Unrelated paper: Mean Field Theory for Sigmoid Belief Networks
Paper: Latent-Space Variational Bayes
Related paper: An Introduction to Variational Methods for Graphical Models
Unrelated paper: Analysis of Techniques of Sentiment and Topic Detection
Paper: Latent-Space Variational Bayes
Related paper: Variational message passing
Unrelated paper: 4-QAM gray coding for deep neural network based decoder training
Paper: Latent-Space Variational Bayes
Related paper: Variational message passing
Unrelated paper: LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code
Paper: Latent-Space Variational Bayes
Related paper: An Introduction to Variational Methods for Graphical Models
Unrelated paper: A Survey of Vision-Based Traffic Monitoring of Road Intersections
Paper: Regularized clustering for documents
Related paper: Normalized cuts and image segmentation
Unrelated paper: matrix computations ( 3 . ed . ) .
Paper: Regularized clustering for documents
Related paper: Self-Tuning Spectral Clustering
Unrelated paper: Dicer Promotes Transcription Termination at Sites of Replication Stress to Maintain Genome Stability