andersonbcdefg/st_specter_train_triples huggingface dataset:
Paper: Cadena: an integrated development, analysis, and verification environment for component-based systems
Related paper: Patterns in Property Specifications for Finite-State Verification
Unrelated paper: Molecular characterization of misidentified Plasmodium ovale imported cases in Singapore
Paper: Cadena: an integrated development, analysis, and verification environment for component-based systems
Related paper: Patterns in Property Specifications for Finite-State Verification
Unrelated paper: Mutations in the PLEKHG5 gene is relevant with autosomal recessive intermediate Charcot-Marie-Tooth disease
Paper: adaQN: An Adaptive Quasi-Newton Algorithm for Training RNNs
Related paper: under review as a conference paper at iclr 2018 .
Unrelated paper: Fast Curvature Matrix-Vector Products for Second-Order Gradient Descent
Paper: adaQN: An Adaptive Quasi-Newton Algorithm for Training RNNs
Related paper: under review as a conference paper at iclr 2018 .
Unrelated paper: A PCell design methodology for automatic layout generation of spiral inductor using skill script
Paper: adaQN: An Adaptive Quasi-Newton Algorithm for Training RNNs
Related paper: under review as a conference paper at iclr 2018 .
Unrelated paper: Modified phase shifted PWM for cascaded H bridge multilevel inverter
Paper: adaQN: An Adaptive Quasi-Newton Algorithm for Training RNNs
Related paper: under review as a conference paper at iclr 2018 .
Unrelated paper: The reliability and construct validity of the Neck Disability Index and patient specific functional scale in patients with cervical radiculopathy.
Paper: adaQN: An Adaptive Quasi-Newton Algorithm for Training RNNs
Related paper: under review as a conference paper at iclr 2018 .
Unrelated paper: Ontologies for Privacy Requirements Engineering: A Systematic Literature Review
Paper: specific recognition and killing of glioblastoma multiforme by interleukin 13 - zetakine redirected cytolytic t cells .
Related paper: the hallmarks of cancer .
Unrelated paper: p53, the Cellular Gatekeeper for Growth and Division
Paper: specific recognition and killing of glioblastoma multiforme by interleukin 13 - zetakine redirected cytolytic t cells .
Related paper: the hallmarks of cancer .
Unrelated paper: Challenging the Public Stigma of Mental Illness: A Meta-Analysis of Outcome Studies
Paper: specific recognition and killing of glioblastoma multiforme by interleukin 13 - zetakine redirected cytolytic t cells .
Related paper: the hallmarks of cancer .
Unrelated paper: Online Machine Learning in Big Data Streams
Paper: specific recognition and killing of glioblastoma multiforme by interleukin 13 - zetakine redirected cytolytic t cells .
Related paper: the hallmarks of cancer .
Unrelated paper: fet journey continues efficient power conversion corporation high power fully regulated eighth - brick dc - dc converter with gan fets .
Paper: specific recognition and killing of glioblastoma multiforme by interleukin 13 - zetakine redirected cytolytic t cells .
Related paper: the hallmarks of cancer .
Unrelated paper: Automatically Generating Personalized User Interfaces with Supple
Paper: Optimal Learning from Multiple Information Sources
Related paper: On the Theory of Dynamic Programming
Unrelated paper: Adaptive Submodular Optimization under Matroid Constraints
Paper: Optimal Learning from Multiple Information Sources
Related paper: On the Theory of Dynamic Programming
Unrelated paper: Fault-Tolerant Interior-Permanent-Magnet Machines for Hybrid Electric Vehicle Applications
Paper: Optimal Learning from Multiple Information Sources
Related paper: Adaptive Submodularity: Theory and Applications in Active Learning and Stochastic Optimization
Unrelated paper: Towards Parallel Spatial Query Processing for Big Spatial Data
Paper: Optimal Learning from Multiple Information Sources
Related paper: Bandit processes and dynamic allocation indices
Unrelated paper: Fixing Resource Leaks in Android Apps with Light-Weight Static Analysis and Low-Overhead Instrumentation
Paper: Optimal Learning from Multiple Information Sources
Related paper: On the Theory of Dynamic Programming
Unrelated paper: SenticNet 5: Discovering Conceptual Primitives for Sentiment Analysis by Means of Context Embeddings
Paper: Migrating a large scale legacy application to SOA: Challenges and lessons learned
Related paper: Developing legacy system migration methods and tools for technology transfer
Unrelated paper: Program slicing: methods and applications
Paper: Migrating a large scale legacy application to SOA: Challenges and lessons learned
Related paper: Developing legacy system migration methods and tools for technology transfer
Unrelated paper: Speeding up k-means Clustering by Bootstrap Averaging
Paper: Migrating a large scale legacy application to SOA: Challenges and lessons learned
Related paper: New Frontiers of Reverse Engineering
Unrelated paper: Relationship of Calcaneal and Iliac Apophyseal Ossification to Peak Height Velocity Timing in Children
Paper: Migrating a large scale legacy application to SOA: Challenges and lessons learned
Related paper: Developing legacy system migration methods and tools for technology transfer
Unrelated paper: Towards Geo-Distributed Machine Learning
Paper: Migrating a large scale legacy application to SOA: Challenges and lessons learned
Related paper: Guidelines for conducting and reporting case study research in software engineering
Unrelated paper: Building Evaluation Functions for Chess and Shogi with Uniformity Regularization Networks
Paper: Scalable Recommendation with Poisson Factorization
Related paper: Stochastic Variational Inference
Unrelated paper: Autotagger: a model for predicting social tags from acoustic features on large music databases
Paper: Scalable Recommendation with Poisson Factorization
Related paper: Online learning for latent dirichlet allocation
Unrelated paper: Investigating Robustness and Interpretability of Link Prediction via Adversarial Attacks
Paper: Scalable Recommendation with Poisson Factorization
Related paper: An Introduction to Variational Methods for Graphical Models
Unrelated paper: evolution of universal grammar .
Paper: Scalable Recommendation with Poisson Factorization
Related paper: Online Learning for Matrix Factorization and Sparse Coding
Unrelated paper: Improved surface quality in 3D printing by optimizing the printing direction
Paper: Scalable Recommendation with Poisson Factorization
Related paper: Stochastic Variational Inference
Unrelated paper: Point-of-Interest Recommendations: Learning Potential Check-ins from Friends
Paper: FlexSC: Flexible System Call Scheduling with Exception-Less System Calls
Related paper: The Native POSIX Thread Library for Linux
Unrelated paper: A Scalable and Explicit Event Delivery Mechanism for UNIX
Paper: FlexSC: Flexible System Call Scheduling with Exception-Less System Calls
Related paper: The Native POSIX Thread Library for Linux
Unrelated paper: Solving optimization problems using black hole algorithm
Paper: FlexSC: Flexible System Call Scheduling with Exception-Less System Calls
Related paper: Comparing the performance of web server architectures
Unrelated paper: Brain Tumor Segmentation Based on Refined Fully Convolutional Neural Networks with A Hierarchical Dice Loss
Paper: FlexSC: Flexible System Call Scheduling with Exception-Less System Calls
Related paper: The Native POSIX Thread Library for Linux
Unrelated paper: A framework for sensitivity analysis of decision trees
Paper: FlexSC: Flexible System Call Scheduling with Exception-Less System Calls
Related paper: The Native POSIX Thread Library for Linux
Unrelated paper: The Research of Internet of Things' Supporting Technologies Which Face the Logistics Industry
Paper: a vision system for horizon tracking and object recognition for micro air vehicles .
Related paper: Image processing with complex wavelets
Unrelated paper: Robust real-time object detection
Paper: a vision system for horizon tracking and object recognition for micro air vehicles .
Related paper: Image processing with complex wavelets
Unrelated paper: Online cognitive behavioral therapy and problem-solving therapy for depressive symptoms: Exploring mechanisms of change
Paper: a vision system for horizon tracking and object recognition for micro air vehicles .
Related paper: Context-based vision system for place and object recognition
Unrelated paper: Causal Interpretations of Black-Box Models
Paper: a vision system for horizon tracking and object recognition for micro air vehicles .
Related paper: Context-based vision system for place and object recognition
Unrelated paper: Embracing Big Data in Complex Educational Systems: The Learning Analytics Imperative and the Policy Challenge
Paper: a vision system for horizon tracking and object recognition for micro air vehicles .
Related paper: Context-based vision system for place and object recognition
Unrelated paper: Crosstalk between Inflammation and ROCK/MLCK Signaling Pathways in Gastrointestinal Disorders with Intestinal Hyperpermeability
Paper: Toward a Unified Model of Information Security Policy Compliance
Related paper: a protection motivation theory approach to home wireless security .
Unrelated paper: Development of an Instrument to Measure the Perceptions of Adopting an Information Technology Innovation
Paper: Toward a Unified Model of Information Security Policy Compliance
Related paper: User Awareness of Security Countermeasures and Its Impact on Information Systems Misuse: A Deterrence Approach
Unrelated paper: What One Intelligence Test Measures: A Theoretical Account of the Processing in the Raven Progressive Matrices Test
Paper: Toward a Unified Model of Information Security Policy Compliance
Related paper: User Awareness of Security Countermeasures and Its Impact on Information Systems Misuse: A Deterrence Approach
Unrelated paper: Quality metrics for optical signals: Eye diagram, Q-factor, OSNR, EVM and BER
Paper: Toward a Unified Model of Information Security Policy Compliance
Related paper: fear appeals and information security behaviors : an empirical study .
Unrelated paper: GISMO: a Graphical Interactive Student Monitoring Tool for Course Management Systems
Paper: Toward a Unified Model of Information Security Policy Compliance
Related paper: fear appeals and information security behaviors : an empirical study .
Unrelated paper: Internal Representations of the Therapeutic Relationship Among Adolescents in Psychodynamic Psychotherapy
Paper: Object Recognition using 3 D SIFT in Complex CT Volumes
Related paper: A performance evaluation of local descriptors
Unrelated paper: Indoor-outdoor image classification
Paper: Object Recognition using 3 D SIFT in Complex CT Volumes
Related paper: Artifacts in CT: recognition and avoidance.
Unrelated paper: Identification and Detection of Phishing Emails Using Natural Language Processing Techniques
Paper: Object Recognition using 3 D SIFT in Complex CT Volumes
Related paper: A performance evaluation of local descriptors
Unrelated paper: remembrance of places you passed : social spatial working memory in rats .
Paper: Object Recognition using 3 D SIFT in Complex CT Volumes
Related paper: A 3-dimensional sift descriptor and its application to action recognition
Unrelated paper: variable property rapid prototyping inspired by nature , where form is characterized by heterogeneous compositions , the paper presents a novel approach to layered manufacturing entitled variable property rapid prototyping .
Paper: Object Recognition using 3 D SIFT in Complex CT Volumes
Related paper: beyond bags of features : spatial pyramid matching for recognizing natural scene categories .
Unrelated paper: IMPACTS OF CORPORATE GOVERNANCE ON EFFICIENCY AND SUSTAINABILITY OF THE BEST RURAL SACCOS IN TANZANIA
Paper: Large-Scale Cross-Document Coreference Using Distributed Inference and Hierarchical Models
Related paper: discriminative training methods for hidden markov models : theory and experiments with perceptron algorithms .
Unrelated paper: New Ranking Algorithms For Parsing And Tagging: Kernels Over Discrete Structures, And The Voted Perceptron
Paper: Large-Scale Cross-Document Coreference Using Distributed Inference and Hierarchical Models
Related paper: discriminative training methods for hidden markov models : theory and experiments with perceptron algorithms .
Unrelated paper: Seeing the Big Picture: Deep Embedding with Contextual Evidences
Paper: Large-Scale Cross-Document Coreference Using Distributed Inference and Hierarchical Models
Related paper: Entity-Based Cross-Document Core f erencing Using the Vector Space Model
Unrelated paper: An Evidence-Based Model of Work Engagement
Paper: Large-Scale Cross-Document Coreference Using Distributed Inference and Hierarchical Models
Related paper: Entity-Based Cross-Document Core f erencing Using the Vector Space Model
Unrelated paper: Safety evaluation of proanthocyanidin-rich extract from grape seeds.
Paper: Large-Scale Cross-Document Coreference Using Distributed Inference and Hierarchical Models
Related paper: discriminative training methods for hidden markov models : theory and experiments with perceptron algorithms .
Unrelated paper: Guidelines for Adult Stroke Rehabilitation and Recovery
Paper: Fog at the Edge: Experiences Building an Edge Computing Platform
Related paper: Developing IoT applications in the Fog: A Distributed Dataflow approach
Unrelated paper: Dynamic service migration and workload scheduling in edge-clouds
Paper: Fog at the Edge: Experiences Building an Edge Computing Platform
Related paper: Mobile fog: a programming model for large-scale applications on the internet of things
Unrelated paper: CLUSTERING TECHNIQUES AND DISCRETE PARTICLE SWARM OPTIMIZATION ALGORITHM FOR MULTI-DOCUMENT SUMMARIZATION
Paper: Fog at the Edge: Experiences Building an Edge Computing Platform
Related paper: A Survey on Internet of Things: Architecture, Enabling Technologies, Security and Privacy, and Applications
Unrelated paper: The urban stream syndrome: current knowledge and the search for a cure
Paper: Fog at the Edge: Experiences Building an Edge Computing Platform
Related paper: Towards QoS-Aware Fog Service Placement
Unrelated paper: Blender: upgrading tenant-based data center networking
Paper: Fog at the Edge: Experiences Building an Edge Computing Platform
Related paper: Towards QoS-Aware Fog Service Placement
Unrelated paper: MicroRNAs: synthesis, mechanism, function, and recent clinical trials.
Paper: Cohn topology-based 1:8 power divider for S-band array antenna feeding network
Related paper: Design method of unequal Wilkinson power divider using LC-ladder circuits for multi-way power dividers
Unrelated paper: A dual-frequency wilkinson power divider
Paper: Cohn topology-based 1:8 power divider for S-band array antenna feeding network
Related paper: Analysis and design of compact two-way Wilkinson power dividers using coupled lines
Unrelated paper: a theoretical framework for electro - acoustic music .
Paper: Cohn topology-based 1:8 power divider for S-band array antenna feeding network
Related paper: Analysis and design of compact two-way Wilkinson power dividers using coupled lines
Unrelated paper: IoT based indoor personal comfort levels monitoring
Paper: Cohn topology-based 1:8 power divider for S-band array antenna feeding network
Related paper: Introduction to radar systems / by Merrill I. Skolnik
Unrelated paper: Rehabilitation of Achilles tendon ruptures: is early functional rehabilitation daily routine?
Paper: Cohn topology-based 1:8 power divider for S-band array antenna feeding network
Related paper: Introduction to radar systems / by Merrill I. Skolnik
Unrelated paper: Automated creation of a forms-based database query interface
Paper: Dialogue Learning with Human Teaching and Feedback in End-to-End Trainable Task-Oriented Dialogue Systems
Related paper: Building End-To-End Dialogue Systems Using Generative Hierarchical Neural Network Models
Unrelated paper: Learning internal representations by error propagation
Paper: Dialogue Learning with Human Teaching and Feedback in End-to-End Trainable Task-Oriented Dialogue Systems
Related paper: Simple statistical gradient-following algorithms for connectionist reinforcement learning
Unrelated paper: A Short-Term Vehicular Density Prediction Scheme for Enhanced Beaconing Control
Paper: Dialogue Learning with Human Teaching and Feedback in End-to-End Trainable Task-Oriented Dialogue Systems
Related paper: Word-Based Dialog State Tracking with Recurrent Neural Networks
Unrelated paper: Prediction of complete uterine rupture by sonographic evaluation of the lower uterine segment.
Paper: Dialogue Learning with Human Teaching and Feedback in End-to-End Trainable Task-Oriented Dialogue Systems
Related paper: Simple statistical gradient-following algorithms for connectionist reinforcement learning
Unrelated paper: Sliding mode methods for fault detection and fault tolerant control
Paper: Dialogue Learning with Human Teaching and Feedback in End-to-End Trainable Task-Oriented Dialogue Systems
Related paper: Word-Based Dialog State Tracking with Recurrent Neural Networks
Unrelated paper: SEGAN: Speech Enhancement Generative Adversarial Network
Paper: On the convergence properties of GAN training
Related paper: Stabilizing Training of Generative Adversarial Networks through Regularization
Unrelated paper: Conditional Image Generation with PixelCNN Decoders
Paper: On the convergence properties of GAN training
Related paper: Stabilizing Training of Generative Adversarial Networks through Regularization
Unrelated paper: A note on maximizing a submodular set function subject to a knapsack constraint
Paper: On the convergence properties of GAN training
Related paper: Improved Training of Wasserstein GANs
Unrelated paper: The cardiovascular disease continuum validated: clinical evidence of improved patient outcomes: part I: Pathophysiology and clinical trial evidence (risk factors through stable coronary artery disease).
Paper: On the convergence properties of GAN training
Related paper: f-GAN: Training Generative Neural Samplers using Variational Divergence Minimization
Unrelated paper: Building Understanding of Smart City Initiatives
Paper: On the convergence properties of GAN training
Related paper: Improved Training of Wasserstein GANs
Unrelated paper: ChunkCast: An Anycast Service for Large Content Distribution
Paper: Lineage tracing for general data warehouse transformations
Related paper: An Overview of Data Warehousing and OLAP Technology
Unrelated paper: Optimization of nested SQL queries revisited
Paper: Lineage tracing for general data warehouse transformations
Related paper: An Overview of Data Warehousing and OLAP Technology
Unrelated paper: Effect of RESET Voltage on Distribution of SET Switching Time of Bipolar Resistive Switching in a Tantalum Oxide Thin Film
Paper: Lineage tracing for general data warehouse transformations
Related paper: An Overview of Data Warehousing and OLAP Technology
Unrelated paper: Online Multi-Object Tracking with Historical Appearance Matching and Scene Adaptive Detection Filtering
Paper: Lineage tracing for general data warehouse transformations
Related paper: An Overview of Data Warehousing and OLAP Technology
Unrelated paper: Knowledge-Management Systems: Converting and Connecting
Paper: Lineage tracing for general data warehouse transformations
Related paper: An Overview of Data Warehousing and OLAP Technology
Unrelated paper: A tail dependence-based dissimilarity measure for financial time series clustering
Paper: Accuracy and Security Evaluation of Multi-Factor Biometric Authentication
Related paper: Handbook of Fingerprint Recognition
Unrelated paper: Attacks on biometric systems: a case study in fingerprints
Paper: Accuracy and Security Evaluation of Multi-Factor Biometric Authentication
Related paper: How iris recognition works
Unrelated paper: performance evaluation of remote access vpn protocols on wireless networks .
Paper: Accuracy and Security Evaluation of Multi-Factor Biometric Authentication
Related paper: Fingerprint Image Reconstruction from Standard Templates
Unrelated paper: Towards Dynamically Crafted Affective Experiences Through Emotional Response Player Modelling
Paper: Accuracy and Security Evaluation of Multi-Factor Biometric Authentication
Related paper: How iris recognition works
Unrelated paper: Prophylaxis against Upper Gastrointestinal Bleeding in Hospitalized Patients
Paper: Accuracy and Security Evaluation of Multi-Factor Biometric Authentication
Related paper: Handbook of Fingerprint Recognition
Unrelated paper: A broadband low profile microstrip filter-antenna with an omni-directional pattern
Paper: A non-projective greedy dependency parser with bidirectional LSTMs
Related paper: Simple and Accurate Dependency Parsing Using Bidirectional LSTM Feature Representations
Unrelated paper: Finite State Automata and Simple Recurrent Networks
Paper: A non-projective greedy dependency parser with bidirectional LSTMs
Related paper: A Fundamental Algorithm for Dependency Parsing
Unrelated paper: Much ado about nothing? The financial impact of physician-owned specialty hospitals
Paper: A non-projective greedy dependency parser with bidirectional LSTMs
Related paper: Adam: A Method for Stochastic Optimization
Unrelated paper: The SAMS: Smartphone Addiction Management System and Verification
Paper: A non-projective greedy dependency parser with bidirectional LSTMs
Related paper: Three New Probabilistic Models For Dependency Parsing: An Exploration
Unrelated paper: Measurement factors model for e-learning systems success
Paper: A non-projective greedy dependency parser with bidirectional LSTMs
Related paper: Syntactic skeleton-based translation
Unrelated paper: Local Network Externalities and Market Segmentation
Paper: Integrating ICTs into the Teaching process : Issues in Pedagogical Practices in Teacher Education
Related paper: Emerging Trends in ICT for Education & Training
Unrelated paper: Problem Based Learning: An instructional model and its constructivist framework
Paper: Integrating ICTs into the Teaching process : Issues in Pedagogical Practices in Teacher Education
Related paper: Systematic Planning for ICT Integration in Topic Learning
Unrelated paper: Deep convolutional neural networks for segmenting 3 D in vivo multiphoton images of vasculature in Alzheimer disease mouse models
Paper: Integrating ICTs into the Teaching process : Issues in Pedagogical Practices in Teacher Education
Related paper: Systematic Planning for ICT Integration in Topic Learning
Unrelated paper: WBCD breast cancer database classification applying artificial metaplasticity neural network
Paper: Integrating ICTs into the Teaching process : Issues in Pedagogical Practices in Teacher Education
Related paper: Systematic Planning for ICT Integration in Topic Learning
Unrelated paper: Non-Smad pathways in TGF-β signaling
Paper: Integrating ICTs into the Teaching process : Issues in Pedagogical Practices in Teacher Education
Related paper: Emerging Trends in ICT for Education & Training
Unrelated paper: Sublingual Misoprostol for the Treatment of Postpartum Hemorrhage
Paper: On-Line Multi-View Video Summarization for Wireless Video Sensor Network
Related paper: Discovering important people and objects for egocentric video summarization
Unrelated paper: A utility framework for the automatic generation of audio-visual skims
Paper: On-Line Multi-View Video Summarization for Wireless Video Sensor Network
Related paper: Video summarization and scene detection by graph modeling
Unrelated paper: Event-Based Mobile Social Networks: Services, Technologies, and Applications
Paper: On-Line Multi-View Video Summarization for Wireless Video Sensor Network
Related paper: Discovering important people and objects for egocentric video summarization
Unrelated paper: Processing IoT Data with Cloud Computing for Smart Cities
Paper: On-Line Multi-View Video Summarization for Wireless Video Sensor Network
Related paper: Video Summarization by Curve Simplification
Unrelated paper: Skeleton-Based Action Recognition Using Spatio-Temporal LSTM Network with Trust Gates