andersonbcdefg/st_specter_train_triples huggingface dataset:
Paper: Probably approximately correct learning in stochastic games with temporal logic specifications
Related paper: Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints
Unrelated paper: Skeletal and dentoalveolar changes after miniscrew-assisted rapid palatal expansion in young adults: A cone-beam computed tomography study
Paper: Probably approximately correct learning in stochastic games with temporal logic specifications
Related paper: Synthesis for multi-objective stochastic games: an application to autonomous urban driving
Unrelated paper: A propositional modal logic of time intervals
Paper: Probably approximately correct learning in stochastic games with temporal logic specifications
Related paper: Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints
Unrelated paper: Algorithmic Aspects of Inverse Problems Using Generative Models
Paper: Dual Layer Secured Password Manager using Blowfish and LSB
Related paper: A secure triple level encryption method using cryptography and steganography
Unrelated paper: A study of DES and Blowfish encryption algorithm
Paper: Dual Layer Secured Password Manager using Blowfish and LSB
Related paper: IMAGE ENCRYPTION AND DECRYPTION USING BLOWFISH ALGORITHM IN MATLAB
Unrelated paper: Cloud-based emerging services systems
Paper: Dual Layer Secured Password Manager using Blowfish and LSB
Related paper: IMAGE ENCRYPTION AND DECRYPTION USING BLOWFISH ALGORITHM IN MATLAB
Unrelated paper: Privacy Preserving Data Mining: Techniques, Classification and Implications - A Survey
Paper: Dual Layer Secured Password Manager using Blowfish and LSB
Related paper: A secure triple level encryption method using cryptography and steganography
Unrelated paper: A GPS/GIS method for travel mode detection in New York City
Paper: Dual Layer Secured Password Manager using Blowfish and LSB
Related paper: Designing of Robust Image Steganography Technique Based on LSB Insertion and Encryption
Unrelated paper: Fast K-means for Large Scale Clustering
Paper: Optimization of sparse matrix-vector multiplication on emerging multicore platforms
Related paper: Sparsity: Optimization Framework for Sparse Matrix Kernels
Unrelated paper: Using Linear Algebra for Intelligent Information Retrieval
Paper: Optimization of sparse matrix-vector multiplication on emerging multicore platforms
Related paper: Sparsity: Optimization Framework for Sparse Matrix Kernels
Unrelated paper: Sample size determination for bioequivalence assessment by means of confidence intervals.
Paper: Optimization of sparse matrix-vector multiplication on emerging multicore platforms
Related paper: Sparsity: Optimization Framework for Sparse Matrix Kernels
Unrelated paper: QMaxSAT: A Partial Max-SAT Solver
Paper: Optimization of sparse matrix-vector multiplication on emerging multicore platforms
Related paper: Sparsity: Optimization Framework for Sparse Matrix Kernels
Unrelated paper: Cyclodextrin-based pharmaceutics: past, present and future
Paper: Optimization of sparse matrix-vector multiplication on emerging multicore platforms
Related paper: Sparsity: Optimization Framework for Sparse Matrix Kernels
Unrelated paper: Weakly Supervised Cyberbullying Detection Using Co-Trained Ensembles of Embedding Models
Paper: Robust support vector regression networks for function approximation with outliers
Related paper: Support Vector Regression Machines
Unrelated paper: Bagging Predictors
Paper: Robust support vector regression networks for function approximation with outliers
Related paper: Support Vector Regression Machines
Unrelated paper: Automatic keyphrase extraction: An overview of the state of the art
Paper: Robust support vector regression networks for function approximation with outliers
Related paper: The Nature of Statistical Learning Theory
Unrelated paper: Human intention inference and motion modeling using approximate E-M with online learning
Paper: Robust support vector regression networks for function approximation with outliers
Related paper: Support Vector Regression Machines
Unrelated paper: On the Use of Deep Learning for Blind Image Quality Assessment
Paper: Robust support vector regression networks for function approximation with outliers
Related paper: Support Vector Regression Machines
Unrelated paper: Transcend: Detecting Concept Drift in Malware Classification Models
Paper: A Submicrowatt 1.1-MHz CMOS Relaxation Oscillator With Temperature Compensation
Related paper: Analysis and Design of an Ultralow-Power CMOS Relaxation Oscillator
Unrelated paper: Low-Voltage Low-Power CMOS Oscillator with Low Temperature and Process Sensitivity
Paper: A Submicrowatt 1.1-MHz CMOS Relaxation Oscillator With Temperature Compensation
Related paper: A 63,000 Q-factor relaxation oscillator with switched-capacitor integrated error feedback
Unrelated paper: EPIC: Efficient Private Image Classification (or: Learning from the Masters)
Paper: A Submicrowatt 1.1-MHz CMOS Relaxation Oscillator With Temperature Compensation
Related paper: A 280nW, 100kHz, 1-cycle start-up time, on-chip CMOS relaxation oscillator employing a feedforward period control scheme
Unrelated paper: Cognitive systems based on adaptive algorithms
Paper: A Submicrowatt 1.1-MHz CMOS Relaxation Oscillator With Temperature Compensation
Related paper: a 300 nw , 15 ppm / c , 20 ppm / v cmos voltage reference circuit consisting of subthreshold mosfets .
Unrelated paper: Convex optimization
Paper: A Submicrowatt 1.1-MHz CMOS Relaxation Oscillator With Temperature Compensation
Related paper: A 63,000 Q-factor relaxation oscillator with switched-capacitor integrated error feedback
Unrelated paper: Discriminating rapeseed varieties using computer vision and machine learning
Paper: A Discrete Model for Inelastic Deformation of Thin Shells
Related paper: Discrete Differential-Geometry Operators for Triangulated 2-Manifolds
Unrelated paper: particle systems - a technique for modeling a class of fuzzy objects .
Paper: A Discrete Model for Inelastic Deformation of Thin Shells
Related paper: Animation of fracture by physical modeling
Unrelated paper: Visualizing the Loss Landscape of Neural Nets
Paper: A Discrete Model for Inelastic Deformation of Thin Shells
Related paper: Discrete Differential-Geometry Operators for Triangulated 2-Manifolds
Unrelated paper: Context Sensitive Spoken Language Understanding Using Role Dependent LSTM Layers
Paper: A Discrete Model for Inelastic Deformation of Thin Shells
Related paper: Animation of fracture by physical modeling
Unrelated paper: Youth texting: Help or hindrance to literacy?
Paper: A Discrete Model for Inelastic Deformation of Thin Shells
Related paper: Discrete Differential-Geometry Operators for Triangulated 2-Manifolds
Unrelated paper: stepper motor control using pulse width modulation .
Paper: Overview and open issues on penetration test
Related paper: Topological analysis of network attack vulnerability
Unrelated paper: Scalable, graph-based network vulnerability analysis
Paper: Overview and open issues on penetration test
Related paper: Topological analysis of network attack vulnerability
Unrelated paper: Weakly Supervised Cyberbullying Detection Using Co-Trained Ensembles of Embedding Models
Paper: Overview and open issues on penetration test
Related paper: Topological analysis of network attack vulnerability
Unrelated paper: Accurate Singular Values of Bidiagonal Matrices
Paper: Overview and open issues on penetration test
Related paper: Topological analysis of network attack vulnerability
Unrelated paper: Active and passive distraction using a head-mounted display helmet: effects on cold pressor pain in children.
Paper: Overview and open issues on penetration test
Related paper: Topological analysis of network attack vulnerability
Unrelated paper: Affective commitment to the organization : The contribution of perceived organizational support
Paper: Prescribed performance control of quadruped robot
Related paper: Development of the quadruped walking robot, TITAN-IX -- mechanical design concept and application for the humanitarian de-mining robot
Unrelated paper: Developing Nomad for Robotic Exploration of the Atacama Desert
Paper: Prescribed performance control of quadruped robot
Related paper: Adaptive Dynamic Walking of a Quadruped Robot on Irregular Terrain Based on Biological Concepts
Unrelated paper: Optogenetic stimulation of a hippocampal engram activates fear memory recall
Paper: Prescribed performance control of quadruped robot
Related paper: Development of the quadruped walking robot, TITAN-IX -- mechanical design concept and application for the humanitarian de-mining robot
Unrelated paper: Find, Remind, and Bind: The Functions of Gratitude in Everyday Relationships
Paper: Prescribed performance control of quadruped robot
Related paper: Dante II: Technical Description, Results, and Lessons Learned
Unrelated paper: Intelligent sleep stage mining service with smartphones
Paper: Prescribed performance control of quadruped robot
Related paper: Development of the quadruped walking robot, TITAN-IX -- mechanical design concept and application for the humanitarian de-mining robot
Unrelated paper: Inverse kinematics of a 3 DOF parallel manipulator: A conformal geometric algebra approach
Paper: Comparative study of two 3-CRU translational parallel manipulators
Related paper: Architecture Optimization of a 3-DOF Translational Parallel Mechanism for Machining Applications, the Orthoglide
Unrelated paper: Development and Active Disturbance Rejection Control of a Compliant Micro-/Nanopositioning Piezostage With Dual Mode
Paper: Comparative study of two 3-CRU translational parallel manipulators
Related paper: Kinematic Analysis and Design of a New 3-DOF Translational Parallel Manipulator
Unrelated paper: Understanding the Blockchain Using Enterprise Ontology
Paper: Comparative study of two 3-CRU translational parallel manipulators
Related paper: Kinematics and workspace analysis for a novel 6-PSS parallel manipulator
Unrelated paper: Context Sensitive Spoken Language Understanding Using Role Dependent LSTM Layers
Paper: Comparative study of two 3-CRU translational parallel manipulators
Related paper: Kinematic Analysis and Design of a New 3-DOF Translational Parallel Manipulator
Unrelated paper: Fermented kimchi reduces body weight and improves metabolic parameters in overweight and obese patients
Paper: Comparative study of two 3-CRU translational parallel manipulators
Related paper: Kinematics and workspace analysis for a novel 6-PSS parallel manipulator
Unrelated paper: An 8 b / 10 b Encoding Serializer / Deserializer ( SerDes ) Circuit for High Speed Communication Applications Using a DC Balanced , Partitioned-Block , 8 b / 10 b Transmission Code
Paper: what and where : a bayesian inference theory of visual attention .
Related paper: ‘What’ and ‘where’ in the human brain
Unrelated paper: Short-term conceptual memory for pictures
Paper: what and where : a bayesian inference theory of visual attention .
Related paper: Receptive fields of single neurones in the cat's striate cortex
Unrelated paper: Open Information Extraction via Contextual Sentence Decomposition
Paper: what and where : a bayesian inference theory of visual attention .
Related paper: ‘What’ and ‘where’ in the human brain
Unrelated paper: Single channel brain-computer interface control system based on TGAM module
Paper: what and where : a bayesian inference theory of visual attention .
Related paper: SEEMORE: Combining Color, Shape, and Texture Histogramming in a Neurally Inspired Approach to Visual Object Recognition
Unrelated paper: CRISPR/Cas system and its role in phage-bacteria interactions.
Paper: what and where : a bayesian inference theory of visual attention .
Related paper: Receptive fields of single neurones in the cat's striate cortex
Unrelated paper: Robust Model Predictive Control for Autonomous Vehicles/Self Driving Cars
Paper: Adaptive Digital Predistortion of Wireless Power Amplifiers/Transmitters Using Dynamic Real-Valued Focused Time-Delay Line Neural Networks
Related paper: A Scaled Conjugate Gradient Algorithm for Fast Supervised Learning
Unrelated paper: Introduction to Linear and Nonlinear Programming
Paper: Adaptive Digital Predistortion of Wireless Power Amplifiers/Transmitters Using Dynamic Real-Valued Focused Time-Delay Line Neural Networks
Related paper: A Scaled Conjugate Gradient Algorithm for Fast Supervised Learning
Unrelated paper: Exploiting Depth From Single Monocular Images for Object Detection and Semantic Segmentation.
Paper: Adaptive Digital Predistortion of Wireless Power Amplifiers/Transmitters Using Dynamic Real-Valued Focused Time-Delay Line Neural Networks
Related paper: Dynamic behavioral modeling of 3G power amplifiers using real-valued time-delay neural networks
Unrelated paper: Principles of cosmetic dentistry in orthodontics: Part 1. Shape and proportionality of anterior teeth.
Paper: Adaptive Digital Predistortion of Wireless Power Amplifiers/Transmitters Using Dynamic Real-Valued Focused Time-Delay Line Neural Networks
Related paper: A Scaled Conjugate Gradient Algorithm for Fast Supervised Learning
Unrelated paper: FFDNet: Toward a Fast and Flexible Solution for CNN based Image Denoising
Paper: Adaptive Digital Predistortion of Wireless Power Amplifiers/Transmitters Using Dynamic Real-Valued Focused Time-Delay Line Neural Networks
Related paper: A Scaled Conjugate Gradient Algorithm for Fast Supervised Learning
Unrelated paper: (n, k, p)-Gray code for image systems
Paper: Older Adolescents' Motivations for Social Network Site Use: The Influence of Gender, Group Identity, and Collective Self-Esteem
Related paper: the benefits of facebook " friends : " social capital and college students ' use of online social network sites .
Unrelated paper: Information revelation and privacy in online social networks
Paper: Older Adolescents' Motivations for Social Network Site Use: The Influence of Gender, Group Identity, and Collective Self-Esteem
Related paper: Preadolescents' and adolescents' online communication and their closeness to friends
Unrelated paper: The Challenge of Big Data in Public Health: An Opportunity for Visual Analytics
Paper: Older Adolescents' Motivations for Social Network Site Use: The Influence of Gender, Group Identity, and Collective Self-Esteem
Related paper: internet use and well - being in adolescence .
Unrelated paper: Predicting Successful Memes using Network and Community Structure
Paper: Older Adolescents' Motivations for Social Network Site Use: The Influence of Gender, Group Identity, and Collective Self-Esteem
Related paper: internet use and well - being in adolescence .
Unrelated paper: Veiling glare and perceived black in high dynamic range displays
Paper: Older Adolescents' Motivations for Social Network Site Use: The Influence of Gender, Group Identity, and Collective Self-Esteem
Related paper: Preadolescents' and adolescents' online communication and their closeness to friends
Unrelated paper: Online Aerial Terrain Mapping for Ground Robot Navigation
Paper: Comparative Study of PEGASIS and PDCH Protocols in Wireless Sensor Network
Related paper: Design Issues, Characteristics and Challenges in Routing Protocols for Wireless Sensor Networks
Unrelated paper: Wireless Sensor Networks: A Survey
Paper: Comparative Study of PEGASIS and PDCH Protocols in Wireless Sensor Network
Related paper: Routing Techniques in Wireless Sensor Networks: A Survey
Unrelated paper: The Seattle Heart Failure Model: Prediction of Survival in Heart Failure
Paper: Comparative Study of PEGASIS and PDCH Protocols in Wireless Sensor Network
Related paper: Design Issues, Characteristics and Challenges in Routing Protocols for Wireless Sensor Networks
Unrelated paper: SafeRNet: Safe Transportation Routing in the era of Internet of Vehicles and Mobile Crowd Sensing
Paper: Comparative Study of PEGASIS and PDCH Protocols in Wireless Sensor Network
Related paper: Routing Techniques in Wireless Sensor Networks: A Survey
Unrelated paper: Compact Pulse Topology for Adjustable High-Voltage Pulse Generation Using an SOS Diode
Paper: Comparative Study of PEGASIS and PDCH Protocols in Wireless Sensor Network
Related paper: data gathering algorithms in sensor networks using energy metrics .
Unrelated paper: An operationalized model for defining computational thinking
Paper: Automatically Composing Representation Transformations as a Means for Generalization
Related paper: Data-Efficient Hierarchical Reinforcement Learning
Unrelated paper: Neuro-Symbolic Program Synthesis
Paper: Automatically Composing Representation Transformations as a Means for Generalization
Related paper: InfoGAN: Interpretable Representation Learning by Information Maximizing Generative Adversarial Nets
Unrelated paper: A modified Artificial Bee Colony (ABC) algorithm for constrained optimization problems
Paper: Automatically Composing Representation Transformations as a Means for Generalization
Related paper: Proximal Policy Optimization Algorithms
Unrelated paper: Implementation and Bit Error Rate analysis of BPSK Modulation and Demodulation Technique using MATLAB
Paper: Automatically Composing Representation Transformations as a Means for Generalization
Related paper: A Simple Neural Attentive Meta-Learner
Unrelated paper: Identifying Text Polarity Using Random Walks
Paper: Automatically Composing Representation Transformations as a Means for Generalization
Related paper: Proximal Policy Optimization Algorithms
Unrelated paper: A Survey of Mobile Cloud Computing Applications : Perspectives and Challenges
Paper: TAJ: effective taint analysis of web applications
Related paper: A Sound Type System For Secure Flow Analysis
Unrelated paper: ML for the Working Programmer
Paper: TAJ: effective taint analysis of web applications
Related paper: Sound and precise analysis of web applications for injection vulnerabilities
Unrelated paper: Advertising in the IoT Era: Vision and Challenges
Paper: TAJ: effective taint analysis of web applications
Related paper: Sound and precise analysis of web applications for injection vulnerabilities
Unrelated paper: ETARM: an efficient top-k association rule mining algorithm
Paper: TAJ: effective taint analysis of web applications
Related paper: Static detection of cross-site scripting vulnerabilities
Unrelated paper: power management strategy for a parallel hybrid electric truck .
Paper: TAJ: effective taint analysis of web applications
Related paper: Static detection of cross-site scripting vulnerabilities
Unrelated paper: The Challenge of Big Data in Public Health: An Opportunity for Visual Analytics
Paper: Suicidal ideation and school bullying experiences after controlling for depression and delinquency.
Related paper: Predictors of bullying and victimization in childhood and adolescence: A meta-analytic investigation.
Unrelated paper: The measurement of observer agreement for categorical data.
Paper: Suicidal ideation and school bullying experiences after controlling for depression and delinquency.
Related paper: Predictors of bullying and victimization in childhood and adolescence: A meta-analytic investigation.
Unrelated paper: Collection of Samples for DNA Analysis
Paper: Suicidal ideation and school bullying experiences after controlling for depression and delinquency.
Related paper: Predictors of bullying and victimization in childhood and adolescence: A meta-analytic investigation.
Unrelated paper: Data profiling revisited
Paper: Suicidal ideation and school bullying experiences after controlling for depression and delinquency.
Related paper: Predictors of bullying and victimization in childhood and adolescence: A meta-analytic investigation.
Unrelated paper: Geneious Basic: An integrated and extendable desktop software platform for the organization and analysis of sequence data
Paper: Suicidal ideation and school bullying experiences after controlling for depression and delinquency.
Related paper: Predictors of bullying and victimization in childhood and adolescence: A meta-analytic investigation.
Unrelated paper: ExFuse: Enhancing Feature Fusion for Semantic Segmentation
Paper: Dewey's Contribution to a Standard of Problem-Based Learning Practice
Related paper: Sorting Things Out - Classification and Its Consequences
Unrelated paper: Augmented Reality through Wearable Computing
Paper: Dewey's Contribution to a Standard of Problem-Based Learning Practice
Related paper: Plans and Situated Actions: The Problem of Human Machine Communication.
Unrelated paper: Process implications of social networking-based requirements negotiation tools
Paper: Dewey's Contribution to a Standard of Problem-Based Learning Practice
Related paper: Sorting Things Out - Classification and Its Consequences
Unrelated paper: Automatically profiling the author of an anonymous text
Paper: Dewey's Contribution to a Standard of Problem-Based Learning Practice
Related paper: paradigm shifts and instructional technology : an introduction .
Unrelated paper: Who Do You Think You Are? Common and Differential Effects of Social Self-Identity on Social Media Usage
Paper: Dewey's Contribution to a Standard of Problem-Based Learning Practice
Related paper: participatory simulations : building collaborative understanding through immersive dynamic modeling .
Unrelated paper: Cellular Plasticity Cascades in the Pathophysiology and Treatment of Bipolar Disorder
Paper: A variable-frequency asymmetrical voltage-cancellation control of series resonant inverters in domestic induction cooking
Related paper: Asymmetrical control with phase lock loop for induction cooking appliances
Unrelated paper: Control system design and small signal analysis of APWM resonant inverter for induction heating
Paper: A variable-frequency asymmetrical voltage-cancellation control of series resonant inverters in domestic induction cooking
Related paper: An Improved $LLC$ Resonant Inverter for Induction-Heating Applications With Asymmetrical Control
Unrelated paper: External reviewers
Paper: A variable-frequency asymmetrical voltage-cancellation control of series resonant inverters in domestic induction cooking
Related paper: A Power-Control Scheme With Constant Switching Frequency in Class-D Inverter for Induction-Heating Jar Application
Unrelated paper: Energy management and control for islanded microgrid using multi-agents
Paper: A variable-frequency asymmetrical voltage-cancellation control of series resonant inverters in domestic induction cooking
Related paper: Asymmetrical control with phase lock loop for induction cooking appliances
Unrelated paper: A local dynamic method for tracking communities and their evolution in dynamic networks
Paper: A variable-frequency asymmetrical voltage-cancellation control of series resonant inverters in domestic induction cooking
Related paper: A Power-Control Scheme With Constant Switching Frequency in Class-D Inverter for Induction-Heating Jar Application
Unrelated paper: SMT-C: A Semantic Mutation Testing Tools for C
Paper: Facial expression editing in video using a temporally-smooth factorization
Related paper: Being John Malkovich
Unrelated paper: Robust and Rapid Generation of Animated Faces from Video Images: A Model-Based Modeling Approach
Paper: Facial expression editing in video using a temporally-smooth factorization
Related paper: Being John Malkovich
Unrelated paper: LSTMs Exploit Linguistic Attributes of Data
Paper: Facial expression editing in video using a temporally-smooth factorization
Related paper: Dynamic programming algorithm optimization for spoken word recognition
Unrelated paper: DDRprog: A CLEVR Differentiable Dynamic Reasoning Programmer
Paper: Facial expression editing in video using a temporally-smooth factorization
Related paper: Dynamic programming algorithm optimization for spoken word recognition
Unrelated paper: Content-based image retrieval by clustering
Paper: Facial expression editing in video using a temporally-smooth factorization
Related paper: Being John Malkovich
Unrelated paper: Label-Free Biomedical Imaging with High Sensitivity by Stimulated Raman Scattering Microscopy
Paper: Detectors and descriptors for photogrammetric applications
Related paper: Feature Detection with Automatic Scale Selection
Unrelated paper: The fundamental matrix: Theory, algorithms, and stability analysis