andersonbcdefg/st_specter_train_triples huggingface dataset:
Paper: URSA: A System for Uniform Reduction to SAT
Related paper: A tool for checking ANSI-C programs
Unrelated paper: Sentiment/subjectivity analysis survey for languages other than English
Paper: URSA: A System for Uniform Reduction to SAT
Related paper: pex - white box test generation for . net .
Unrelated paper: Automated analysis of nursing home observations
Paper: URSA: A System for Uniform Reduction to SAT
Related paper: A survey of new trends in symbolic execution for software testing and analysis
Unrelated paper: A Novel Three-phase Three-leg AC/AC Converter Using Nine IGBTs
Paper: 15.7 A 1.65mW 0.16mm2 dynamic zoom-ADC with 107.5dB DR in 20kHz BW
Related paper: A 6.3 µW 20 bit Incremental Zoom-ADC with 6 ppm INL and 1 µV Offset
Unrelated paper: A 140dB-CMRR current-feedback instrumentation amplifier employing ping-pong auto-zeroing and chopping
Paper: 15.7 A 1.65mW 0.16mm2 dynamic zoom-ADC with 107.5dB DR in 20kHz BW
Related paper: 15.4b incremental sigma-delta capacitance-to-digital converter with zoom-in 9b asynchronous SAR
Unrelated paper: The Palmitoylation of Metastasis Suppressor KAI1/CD82 Is Important for Its Motility- and Invasiveness-Inhibitory Activity
Paper: 15.7 A 1.65mW 0.16mm2 dynamic zoom-ADC with 107.5dB DR in 20kHz BW
Related paper: A 6.3 µW 20 bit Incremental Zoom-ADC with 6 ppm INL and 1 µV Offset
Unrelated paper: Constructing a search strategy and searching for evidence. A guide to the literature search for a systematic review.
Paper: 15.7 A 1.65mW 0.16mm2 dynamic zoom-ADC with 107.5dB DR in 20kHz BW
Related paper: A 6.3 µW 20 bit Incremental Zoom-ADC with 6 ppm INL and 1 µV Offset
Unrelated paper: Diffusion Programmable Device : The device to prevent reverse engineering.
Paper: 15.7 A 1.65mW 0.16mm2 dynamic zoom-ADC with 107.5dB DR in 20kHz BW
Related paper: 15.4b incremental sigma-delta capacitance-to-digital converter with zoom-in 9b asynchronous SAR
Unrelated paper: A Finite-State Morphological Analyser for Sindhi.
Paper: CSI Phase Fingerprinting for Indoor Localization With a Deep Learning Approach
Related paper: CSI-Based Fingerprinting for Indoor Localization: A Deep Learning Approach
Unrelated paper: FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem
Paper: CSI Phase Fingerprinting for Indoor Localization With a Deep Learning Approach
Related paper: A survey of indoor positioning systems for wireless personal networks
Unrelated paper: A Fast Implementation of Parallel Discrete-Event Simulation on GPGPU
Paper: CSI Phase Fingerprinting for Indoor Localization With a Deep Learning Approach
Related paper: PADS: Passive detection of moving targets with dynamic speed using PHY layer information
Unrelated paper: Modeling of 120W Monocrystalline Photovoltaic Module using MATLAB Simulink
Paper: CSI Phase Fingerprinting for Indoor Localization With a Deep Learning Approach
Related paper: Locating in fingerprint space: wireless indoor localization with little human intervention
Unrelated paper: Interactive Technologies for Autism
Paper: CSI Phase Fingerprinting for Indoor Localization With a Deep Learning Approach
Related paper: PADS: Passive detection of moving targets with dynamic speed using PHY layer information
Unrelated paper: Physiotherapy for ankylosing spondylitis: evidence and application.
Paper: Stochastic Quasi-Newton Methods for Nonconvex Stochastic Optimization
Related paper: Global Convergence of Online Limited Memory BFGS
Unrelated paper: Compressed sensing
Paper: Stochastic Quasi-Newton Methods for Nonconvex Stochastic Optimization
Related paper: Acceleration of Stochastic Approximation by Averaging
Unrelated paper: Image Processing with Imagej
Paper: Stochastic Quasi-Newton Methods for Nonconvex Stochastic Optimization
Related paper: Understanding Machine Learning: From Theory to Algorithms
Unrelated paper: A survey on decentralized random access MAC protocols for cognitive radio networks
Paper: Stochastic Quasi-Newton Methods for Nonconvex Stochastic Optimization
Related paper: Global Convergence of Online Limited Memory BFGS
Unrelated paper: Hydro-economic models : Concepts , design , applications , and future prospects
Paper: Stochastic Quasi-Newton Methods for Nonconvex Stochastic Optimization
Related paper: Global Convergence of Online Limited Memory BFGS
Unrelated paper: A survey on engineering approaches for self-adaptive systems
Paper: Sequentially Rotated Circular Antenna Array With Curved PIFA and Series Feed Network
Related paper: Broadband Circularly Polarized Slot Antenna Array Using a Compact Sequential-Phase Feeding Network
Unrelated paper: Broadband Circularly Polarized Beam-Steering Antenna Array
Paper: Sequentially Rotated Circular Antenna Array With Curved PIFA and Series Feed Network
Related paper: Compact and Low-Profile Omnidirectional Circularly Polarized Antenna With Four Coupling Arcs for UAV Applications
Unrelated paper: Computer vision and pattern recognition
Paper: Sequentially Rotated Circular Antenna Array With Curved PIFA and Series Feed Network
Related paper: Broadband Circularly Polarized Slot Antenna Array Using a Compact Sequential-Phase Feeding Network
Unrelated paper: 3D tree skeletonization from multiple images based on PyrLK optical flow
Paper: Sequentially Rotated Circular Antenna Array With Curved PIFA and Series Feed Network
Related paper: Phased Array Antenna Handbook
Unrelated paper: The amygdala and ventromedial prefrontal cortex in morality and psychopathy
Paper: Sequentially Rotated Circular Antenna Array With Curved PIFA and Series Feed Network
Related paper: A Low-Profile Omnidirectional Circularly Polarized Antenna Using Planar Sector-Shaped Endfire Elements
Unrelated paper: A novel approach to postoperative bladder care in women after radical hysterectomy
Paper: SPHINCS-Simpira: Fast Stateless Hash-based Signatures with Post-quantum Security
Related paper: haraka - efficient short - input hashing for post - quantum applications .
Unrelated paper: Tight Bounds on Quantum Searching
Paper: SPHINCS-Simpira: Fast Stateless Hash-based Signatures with Post-quantum Security
Related paper: Strengths and Weaknesses of Quantum Computing
Unrelated paper: Results of syndactyly release using a modification of the Flatt technique
Paper: SPHINCS-Simpira: Fast Stateless Hash-based Signatures with Post-quantum Security
Related paper: Cryptanalysis of Haraka
Unrelated paper: Secure FoTA Object for IoT
Paper: SPHINCS-Simpira: Fast Stateless Hash-based Signatures with Post-quantum Security
Related paper: haraka - efficient short - input hashing for post - quantum applications .
Unrelated paper: REVIEW OF PROVEN TECHNOLOGIES AVAILABLE FOR THE REDUCTION OF RAW SUGAR COLOUR
Paper: SPHINCS-Simpira: Fast Stateless Hash-based Signatures with Post-quantum Security
Related paper: A fast quantum mechanical algorithm for database search
Unrelated paper: R 1 2 A Model of Heuristic Judgment
Paper: A Multi-Resolution FPGA-Based Architecture for Real-Time Edge and Corner Detection
Related paper: Using contours to detect and localize junctions in natural images
Unrelated paper: Feature Detection with Automatic Scale Selection
Paper: A Multi-Resolution FPGA-Based Architecture for Real-Time Edge and Corner Detection
Related paper: digital image processing - an algorithmic introduction using java .
Unrelated paper: Specific dynamic action: a review of the postprandial metabolic response
Paper: A Multi-Resolution FPGA-Based Architecture for Real-Time Edge and Corner Detection
Related paper: A combined corner and edge detector
Unrelated paper: Rule-based machine learning classification and knowledge discovery for complex problems
Paper: A Multi-Resolution FPGA-Based Architecture for Real-Time Edge and Corner Detection
Related paper: A Computational Approach toEdgeDetection
Unrelated paper: CurriculumNet: Weakly Supervised Learning from Large-Scale Web Images
Paper: A Multi-Resolution FPGA-Based Architecture for Real-Time Edge and Corner Detection
Related paper: digital image processing - an algorithmic introduction using java .
Unrelated paper: Supervised representation learning: transfer learning with deep autoencoders
Paper: Perspectives and limitations of touchless fingerprints
Related paper: Toward Unconstrained Fingerprint Recognition: A Fully Touchless 3-D System Based on Two Views on the Move
Unrelated paper: A new approach to unwrap a 3-D fingerprint to a 2-D rolled equivalent fingerprint
Paper: Perspectives and limitations of touchless fingerprints
Related paper: Toward Unconstrained Fingerprint Recognition: A Fully Touchless 3-D System Based on Two Views on the Move
Unrelated paper: Design Concept and Realization of the Humanoid Service Robot HERMES
Paper: Perspectives and limitations of touchless fingerprints
Related paper: Toward Unconstrained Fingerprint Recognition: A Fully Touchless 3-D System Based on Two Views on the Move
Unrelated paper: Towards optimal design of solar assisted industrial processes: Case study of a dairy
Paper: Perspectives and limitations of touchless fingerprints
Related paper: Toward Unconstrained Fingerprint Recognition: A Fully Touchless 3-D System Based on Two Views on the Move
Unrelated paper: Transient Stability Analysis of the IEEE 9-Bus Electric Power System
Paper: Perspectives and limitations of touchless fingerprints
Related paper: Toward Unconstrained Fingerprint Recognition: A Fully Touchless 3-D System Based on Two Views on the Move
Unrelated paper: Darnet: a deep learning solution for distracted driving detection
Paper: 5G Network Capacity: Key Elements and Technologies
Related paper: user cooperation diversity . part i . system description .
Unrelated paper: The Art of Signaling: Fifty Years of Coding Theory
Paper: 5G Network Capacity: Key Elements and Technologies
Related paper: user cooperation diversity . part i . system description .
Unrelated paper: Discovering Latent Structure in Task-Oriented Dialogues
Paper: 5G Network Capacity: Key Elements and Technologies
Related paper: System-level performance evaluation of downlink non-orthogonal multiple access (NOMA)
Unrelated paper: Artificial Feeding Birds (AFB): A New Metaheuristic Inspired by the Behavior of Pigeons
Paper: 5G Network Capacity: Key Elements and Technologies
Related paper: capacity theorems for the relay channel .
Unrelated paper: HASC-PAC2016: large scale human pedestrian activity corpus and its baseline recognition
Paper: 5G Network Capacity: Key Elements and Technologies
Related paper: System-level performance evaluation of downlink non-orthogonal multiple access (NOMA)
Unrelated paper: Development of Employee Attendance and Payroll System using Fingerprint Biometrics
Paper: DCT based Plant Leaf Disease Recognition Algorithm using Subtractive Clustering
Related paper: Groundnut leaf disease detection and classification by using back probagation algorithm
Unrelated paper: Efficient iris recognition by characterizing key local variations
Paper: DCT based Plant Leaf Disease Recognition Algorithm using Subtractive Clustering
Related paper: A novel algorithm for detecting bacterial leaf scorch (BLS) of shade trees using image processing
Unrelated paper: Shape matching via quotient spaces
Paper: DCT based Plant Leaf Disease Recognition Algorithm using Subtractive Clustering
Related paper: Groundnut leaf disease detection and classification by using back probagation algorithm
Unrelated paper: Enhanced performance by a hybrid NIRS–EEG brain computer interface
Paper: DCT based Plant Leaf Disease Recognition Algorithm using Subtractive Clustering
Related paper: Groundnut leaf disease detection and classification by using back probagation algorithm
Unrelated paper: causes and mechanisms of common coccydynia : role of body mass index and coccygeal trauma .
Paper: DCT based Plant Leaf Disease Recognition Algorithm using Subtractive Clustering
Related paper: Groundnut leaf disease detection and classification by using back probagation algorithm
Unrelated paper: The Role of the Silicon Germanium (SiGe) Heterojunction Bipolar Transistor (HBT) in Mobile Technology Platforms
Paper: social engineering in the context of cialdini ’ s psychology of persuasion and personality traits bachelor .
Related paper: Social Engineering Toolkit — A systematic approach to social engineering
Unrelated paper: a study of normative and informational social influences upon individual judgement .
Paper: social engineering in the context of cialdini ’ s psychology of persuasion and personality traits bachelor .
Related paper: Linking the Big Five personality constructs to organizational commitment
Unrelated paper: Impact of supply chain integration and selective disintegration on supply chain efficiency and organization performance
Paper: social engineering in the context of cialdini ’ s psychology of persuasion and personality traits bachelor .
Related paper: Social Engineering Toolkit — A systematic approach to social engineering
Unrelated paper: understanding seeking from electronic knowledge repositories : an empirical study .
Paper: social engineering in the context of cialdini ’ s psychology of persuasion and personality traits bachelor .
Related paper: Social Engineering Toolkit — A systematic approach to social engineering
Unrelated paper: Vehicular Trajectory Optimization for Cooperative Collision Avoidance at High Speeds
Paper: social engineering in the context of cialdini ’ s psychology of persuasion and personality traits bachelor .
Related paper: Dissecting social engineering
Unrelated paper: Under-optimized smart contracts devour your money
Paper: A Review on EEG-Based Automatic Sleepiness Detection Systems for Driver
Related paper: A driver fatigue recognition model based on information fusion and dynamic Bayesian network
Unrelated paper: Classifying mental tasks based on features of higher-order statistics from EEG signals in brain-computer interface
Paper: A Review on EEG-Based Automatic Sleepiness Detection Systems for Driver
Related paper: A driver fatigue recognition model based on information fusion and dynamic Bayesian network
Unrelated paper: A Flexible Fabrication Approach Toward the Shape Engineering of Microscale Soft Pneumatic Actuators
Paper: A Review on EEG-Based Automatic Sleepiness Detection Systems for Driver
Related paper: A driver fatigue recognition model based on information fusion and dynamic Bayesian network
Unrelated paper: Grading and Classification of Anthracnose Fungal Disease of Fruits based on Statistical Texture Features
Paper: A Review on EEG-Based Automatic Sleepiness Detection Systems for Driver
Related paper: A driver fatigue recognition model based on information fusion and dynamic Bayesian network
Unrelated paper: Dry electrodes for electrocardiography.
Paper: A Review on EEG-Based Automatic Sleepiness Detection Systems for Driver
Related paper: A driver fatigue recognition model based on information fusion and dynamic Bayesian network
Unrelated paper: Designing with interactive example galleries
Paper: A simple hybrid 3-level buck-boost DC-DC converter with efficient PWM regulation scheme
Related paper: A 82% efficiency 0.5% ripple 16-phase fully integrated capacitive voltage doubler
Unrelated paper: A 0.45-V input on-chip gate boosted (OGB) buck converter in 40-nm CMOS with more than 90% efficiency in load range from 2µW to 50µW
Paper: A simple hybrid 3-level buck-boost DC-DC converter with efficient PWM regulation scheme
Related paper: A 0.15 V Input Energy Harvesting Charge Pump With Dynamic Body Biasing and Adaptive Dead-Time for Efficiency Improvement
Unrelated paper: penetration testing : a duet .
Paper: A simple hybrid 3-level buck-boost DC-DC converter with efficient PWM regulation scheme
Related paper: A Fully-Integrated 3-Level DC-DC Converter for Nanosecond-Scale DVFS
Unrelated paper: font and background color independent text .
Paper: A simple hybrid 3-level buck-boost DC-DC converter with efficient PWM regulation scheme
Related paper: A Fully-Integrated 3-Level DC-DC Converter for Nanosecond-Scale DVFS
Unrelated paper: Human-level concept learning through probabilistic program induction
Paper: A simple hybrid 3-level buck-boost DC-DC converter with efficient PWM regulation scheme
Related paper: A 82% efficiency 0.5% ripple 16-phase fully integrated capacitive voltage doubler
Unrelated paper: Diagnostic score in acute appendicitis. Validation of a diagnostic score (Lintula score) for adults with suspected appendicitis
Paper: scaling memcache at facebook .
Related paper: SILT: a memory-efficient, high-performance key-value store
Unrelated paper: Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems
Paper: scaling memcache at facebook .
Related paper: The part-time parliament
Unrelated paper: Hybrid error correction and de novo assembly of single-molecule sequencing reads
Paper: scaling memcache at facebook .
Related paper: SILT: a memory-efficient, high-performance key-value store
Unrelated paper: A low voltage, dynamic, noninverting, synchronous buck-boost converter for portable applications
Paper: scaling memcache at facebook .
Related paper: The part-time parliament
Unrelated paper: Agnostic Estimation of Mean and Covariance
Paper: scaling memcache at facebook .
Related paper: SILT: a memory-efficient, high-performance key-value store
Unrelated paper: Dark Hazard: Learning-based, Large-Scale Discovery of Hidden Sensitive Operations in Android Apps
Paper: Trusted Click: Overcoming Security issues of NFV in the Cloud
Related paper: S-NFV: Securing NFV states by using SGX
Unrelated paper: Experiences with CoralCDN: A Five-Year Operational View
Paper: Trusted Click: Overcoming Security issues of NFV in the Cloud
Related paper: HomeAlone: Co-residency Detection in the Cloud via Side-Channel Analysis
Unrelated paper: Incorporating Non-Local Information Into Information Extraction Systems By Gibbs Sampling
Paper: Trusted Click: Overcoming Security issues of NFV in the Cloud
Related paper: S-NFV: Securing NFV states by using SGX
Unrelated paper: Visual inspection of metal surfaces
Paper: Trusted Click: Overcoming Security issues of NFV in the Cloud
Related paper: S-NFV: Securing NFV states by using SGX
Unrelated paper: Temperamental basis of sense of humor: Validating the state-trait-cheerfulness-inventory in Mainland China
Paper: Trusted Click: Overcoming Security issues of NFV in the Cloud
Related paper: S-NFV: Securing NFV states by using SGX
Unrelated paper: A Table Detection Method for PDF Documents Based on Convolutional Neural Networks
Paper: A Novel Emotion Elicitation Index Using Frontal Brain Asymmetry for Enhanced EEG-Based Emotion Recognition
Related paper: partial directed coherence : a new concept in neural structure determination .
Unrelated paper: Orthonormal bases of compactly supported wavelets
Paper: A Novel Emotion Elicitation Index Using Frontal Brain Asymmetry for Enhanced EEG-Based Emotion Recognition
Related paper: EEG-based Emotion Recognition The Influence of Visual and Auditory Stimuli
Unrelated paper: Antimesenteric Functional End-to-End Handsewn (Kono-S) Anastomosis
Paper: A Novel Emotion Elicitation Index Using Frontal Brain Asymmetry for Enhanced EEG-Based Emotion Recognition
Related paper: The ten-twenty electrode system of the International Federation. The International Federation of Clinical Neurophysiology.
Unrelated paper: paper : efficient algorithm for intrusion attack classification by analyzing kdd cup .
Paper: A Novel Emotion Elicitation Index Using Frontal Brain Asymmetry for Enhanced EEG-Based Emotion Recognition
Related paper: An Introduction to Support Vector Machines and Other Kernel-based Learning Methods
Unrelated paper: Clustering Algorithm for Mutually Constraining Heterogeneous Features
Paper: A Novel Emotion Elicitation Index Using Frontal Brain Asymmetry for Enhanced EEG-Based Emotion Recognition
Related paper: An Introduction to Support Vector Machines and Other Kernel-based Learning Methods
Unrelated paper: why do some resource - abundant countries succeed while others do not ? .
Paper: Student Privacy and Educational Data Mining: Perspectives from Industry
Related paper: Sentiment Analysis in MOOC Discussion Forums: What does it tell us?
Unrelated paper: Social factors that contribute to attrition in MOOCs
Paper: Student Privacy and Educational Data Mining: Perspectives from Industry
Related paper: Sentiment Analysis in MOOC Discussion Forums: What does it tell us?
Unrelated paper: Another Look at Forecast-Accuracy Metrics for Intermittent Demand
Paper: Student Privacy and Educational Data Mining: Perspectives from Industry
Related paper: More Accurate Student Modeling Through Contextual Estimation of Slip and Guess Probabilities in Bayesian Knowledge Tracing
Unrelated paper: Smart farming using IOT
Paper: Student Privacy and Educational Data Mining: Perspectives from Industry
Related paper: Sentiment Analysis in MOOC Discussion Forums: What does it tell us?
Unrelated paper: Cu/adhesive hybrid bonding through a Cu-first bonding approach by using H-containing HCOOH vapor surface treatment
Paper: Student Privacy and Educational Data Mining: Perspectives from Industry
Related paper: Sentiment Analysis in MOOC Discussion Forums: What does it tell us?
Unrelated paper: TCAD simulation of single event effects induced by pulsed laser
Paper: Evolutionary Synthesis of Deep Neural Networks via Synaptic Cluster-driven Genetic Encoding
Related paper: Deep Learning with Darwin: Evolutionary Synthesis of Deep Neural Networks
Unrelated paper: Going deeper with convolutions
Paper: Evolutionary Synthesis of Deep Neural Networks via Synaptic Cluster-driven Genetic Encoding
Related paper: Optimal Brain Damage
Unrelated paper: Open Platform Strategies and Innovation: Granting Access vs. Devolving Control
Paper: Evolutionary Synthesis of Deep Neural Networks via Synaptic Cluster-driven Genetic Encoding
Related paper: Optimal Brain Damage
Unrelated paper: Steelix: program-state based binary fuzzing
Paper: Evolutionary Synthesis of Deep Neural Networks via Synaptic Cluster-driven Genetic Encoding
Related paper: Learning the Structure of Deep Convolutional Networks
Unrelated paper: Gearing resource-poor mobile devices with powerful clouds: architectures, challenges, and applications
Paper: Evolutionary Synthesis of Deep Neural Networks via Synaptic Cluster-driven Genetic Encoding
Related paper: Sparse Convolutional Neural Networks
Unrelated paper: Spectral Transfer Learning Using Information Geometry for a User-Independent Brain-Computer Interface
Paper: A low cost ultra-wideband pulse transceiver
Related paper: Coupled-slotline-hybrid sampling mixer integrated with step-recovery-diode pulse generator for UWB applications
Unrelated paper: A new ultra-wideband, ultra-short monocycle pulse generator with reduced ringing
Paper: A low cost ultra-wideband pulse transceiver
Related paper: Coupled-slotline-hybrid sampling mixer integrated with step-recovery-diode pulse generator for UWB applications
Unrelated paper: Compact broadband amplifiers with up to 105 GHz bandwidth in SiGe BiCMOS
Paper: A low cost ultra-wideband pulse transceiver
Related paper: Coupled-slotline-hybrid sampling mixer integrated with step-recovery-diode pulse generator for UWB applications
Unrelated paper: Benchmarking multidisciplinary design optimization algorithms
Paper: A low cost ultra-wideband pulse transceiver
Related paper: Coupled-slotline-hybrid sampling mixer integrated with step-recovery-diode pulse generator for UWB applications
Unrelated paper: A RESEARCH AGENDA ON MANAGERIAL INTENTION TO GREEN IT ADOPTION: FROM NORM ACTIVATION PERSPECTIVE
Paper: A low cost ultra-wideband pulse transceiver
Related paper: Coupled-slotline-hybrid sampling mixer integrated with step-recovery-diode pulse generator for UWB applications
Unrelated paper: Monolithically Integrated 4H-SiC MOSFET and JBS Diode (JBSFET) Using a Single Ohmic/Schottky Process Scheme
Paper: Designing Animated Characters for Children of Different Ages
Related paper: Overcoming the Uncanny Valley
Unrelated paper: The Uncanny Valley: Effect of Realism on the Impression of Artificial Human Faces