andersonbcdefg/st_specter_train_triples huggingface dataset:
Paper: model extraction for arinc 653 based avionics software .
Related paper: software model checking : extracting verification models from source code .
Unrelated paper: UWB tracking of mobile robots
Paper: model extraction for arinc 653 based avionics software .
Related paper: software model checking : extracting verification models from source code .
Unrelated paper: Management of the Deviated Nasal Dorsum
Paper: model extraction for arinc 653 based avionics software .
Related paper: Model checking JAVA programs using JAVA PathFinder
Unrelated paper: A two-view based multilayer feature graph for robot navigation
Paper: A reflection on agile requirements engineering: solutions brought and challenges posed
Related paper: Agile requirements engineering practices and challenges: an empirical study
Unrelated paper: Prioritizing Requirements
Paper: A reflection on agile requirements engineering: solutions brought and challenges posed
Related paper: Agile requirements engineering practices and challenges: an empirical study
Unrelated paper: differences in wood properties between juvenile wood and mature wood in 10 species grown in china .
Paper: A reflection on agile requirements engineering: solutions brought and challenges posed
Related paper: Agile requirements engineering practices and challenges: an empirical study
Unrelated paper: A Wideband Low-Power CMOS LNA With Positive–Negative Feedback for Noise, Gain, and Linearity Optimization
Paper: A reflection on agile requirements engineering: solutions brought and challenges posed
Related paper: Agile requirements engineering practices and challenges: an empirical study
Unrelated paper: d.tools: Integrated Prototyping for Physical Interaction Design
Paper: A reflection on agile requirements engineering: solutions brought and challenges posed
Related paper: Agile requirements engineering practices and challenges: an empirical study
Unrelated paper: Perfectionism and Workaholism in Employees: The Role of Work Motivation
Paper: Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for Supply Following
Related paper: Energy efficient building climate control using Stochastic Model Predictive Control and weather predictions
Unrelated paper: Adjustable robust solutions of uncertain linear programs
Paper: Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for Supply Following
Related paper: Energy efficient building climate control using Stochastic Model Predictive Control and weather predictions
Unrelated paper: Analysis and Design of an Electronic On-Load Tap Changer Distribution Transformer for Automatic Voltage Regulation
Paper: Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for Supply Following
Related paper: Energy efficient building climate control using Stochastic Model Predictive Control and weather predictions
Unrelated paper: Teachers as Designers: Integrating Robotics in Early Childhood Education
Paper: Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for Supply Following
Related paper: Energy efficient building climate control using Stochastic Model Predictive Control and weather predictions
Unrelated paper: A recurrent neural network that learns to count
Paper: Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for Supply Following
Related paper: On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming
Unrelated paper: Parallel de bruijn graph construction and traversal for de novo genome assembly
Paper: 3-D Consistent and Robust Segmentation of Cardiac Images by Deep Learning With Spatial Propagation
Related paper: Rectifier Nonlinearities Improve Neural Network Acoustic Models
Unrelated paper: Evaluating Segmentation Error Without Ground Truth
Paper: 3-D Consistent and Robust Segmentation of Cardiac Images by Deep Learning With Spatial Propagation
Related paper: anatomically constrained neural networks ( acnns ) : application to cardiac image enhancement and segmentation .
Unrelated paper: overview of millimeter wave communications for fifth - generation ( 5g ) wireless networks — with a focus on propagation models .
Paper: 3-D Consistent and Robust Segmentation of Cardiac Images by Deep Learning With Spatial Propagation
Related paper: An Exploration of 2D and 3D Deep Learning Techniques for Cardiac MR Image Segmentation
Unrelated paper: Emotional intelligence and academic success: examining the transition from high school to university
Paper: 3-D Consistent and Robust Segmentation of Cardiac Images by Deep Learning With Spatial Propagation
Related paper: U-Net: Convolutional Networks for Biomedical Image Segmentation
Unrelated paper: Just-in-time compilation for SQL query processing
Paper: 3-D Consistent and Robust Segmentation of Cardiac Images by Deep Learning With Spatial Propagation
Related paper: Right ventricle segmentation from cardiac MRI: A collation study
Unrelated paper: Comlex Syntax: Building A Computational Lexicon
Paper: Ray tracing via GPU rasterization
Related paper: Real-time KD-tree construction on graphics hardware
Unrelated paper: Imperfect shadow maps for efficient computation of indirect illumination
Paper: Ray tracing via GPU rasterization
Related paper: Interactive Indirect Illumination Using Voxel Cone Tracing
Unrelated paper: Multiple Criteria Decision Making (MCDM)
Paper: Ray tracing via GPU rasterization
Related paper: Real-time bidirectional path tracing via rasterization
Unrelated paper: Spotting opinion spammers using behavioral footprints
Paper: Ray tracing via GPU rasterization
Related paper: Real-time KD-tree construction on graphics hardware
Unrelated paper: Final Pre-40S Maturation Depends on the Functional Integrity of the 60S Subunit Ribosomal Protein L3
Paper: Ray tracing via GPU rasterization
Related paper: Real-time KD-tree construction on graphics hardware
Unrelated paper: Multi-granularity hierarchical attention fusion networks for reading comprehension and question answering
Paper: Multiview Hessian Regularization for Image Annotation
Related paper: Semi-Supervised Classification by Low Density Separation
Unrelated paper: Gabor Feature Based Classification Using the Enhanced Fisher Linear Discriminant Model for Face Recognition
Paper: Multiview Hessian Regularization for Image Annotation
Related paper: Semi-Supervised Classification by Low Density Separation
Unrelated paper: Support vector machines: Theory and applications
Paper: Multiview Hessian Regularization for Image Annotation
Related paper: Analyzing the effectiveness and applicability of co-training
Unrelated paper: A survey of Metrics for UML Class Diagrams
Paper: Multiview Hessian Regularization for Image Annotation
Related paper: Learning the Kernel Matrix with Semi-Definite Programming
Unrelated paper: Automating Survey Coding for Occupation
Paper: Multiview Hessian Regularization for Image Annotation
Related paper: Laplacian Eigenmaps and Spectral Techniques for Embedding and Clustering
Unrelated paper: Premise Selection for Theorem Proving by Deep Graph Embedding
Paper: Taming the elephants: New TCP slow start
Related paper: A Measurement Study of Internet Delay Asymmetry
Unrelated paper: A Case For EndSystem Multicast
Paper: Taming the elephants: New TCP slow start
Related paper: A Measurement Study of Internet Delay Asymmetry
Unrelated paper: Low Standby Power and Robust FinFET Based SRAM Design
Paper: Taming the elephants: New TCP slow start
Related paper: TCP westwood: Bandwidth estimation for enhanced transport over wireless links
Unrelated paper: LaRED: a large RGB-D extensible hand gesture dataset
Paper: Taming the elephants: New TCP slow start
Related paper: A Measurement Study of Internet Delay Asymmetry
Unrelated paper: PyCRA: Physical Challenge-Response Authentication For Active Sensors Under Spoofing Attacks
Paper: Taming the elephants: New TCP slow start
Related paper: TCP westwood: Bandwidth estimation for enhanced transport over wireless links
Unrelated paper: Evolutionary game theory: cells as players.
Paper: IoT Security : Performance Evaluation of Grain , MICKEY , and Trivium-Lightweight Stream Ciphers
Related paper: A Stream Cipher Proposal: Grain-128
Unrelated paper: Identity Authentication and Capability Based Access Control (IACAC) for the Internet of Things
Paper: IoT Security : Performance Evaluation of Grain , MICKEY , and Trivium-Lightweight Stream Ciphers
Related paper: Internet of things (IoT) security: Current status, challenges and prospective measures
Unrelated paper: A review on Direct Torque Control (DTC) of induction motor: With applications of fuzzy
Paper: IoT Security : Performance Evaluation of Grain , MICKEY , and Trivium-Lightweight Stream Ciphers
Related paper: Grain - A Stream Cipher for Constrained Environments
Unrelated paper: A delta-sigma fractional-N frequency divider for a Phase Lock Loop in 60GHz transceiver
Paper: IoT Security : Performance Evaluation of Grain , MICKEY , and Trivium-Lightweight Stream Ciphers
Related paper: A Stream Cipher Proposal: Grain-128
Unrelated paper: the specification and implementation of " commercial " security requirements including dynamic segregation of duties .
Paper: IoT Security : Performance Evaluation of Grain , MICKEY , and Trivium-Lightweight Stream Ciphers
Related paper: Internet of things (IoT) security: Current status, challenges and prospective measures
Unrelated paper: Is low self-esteem a risk factor for depression? Findings from a longitudinal study of Mexican-origin youth.
Paper: Enabling Interoperability in the Internet of Things: A OSGi Semantic Information Broker Implementation
Related paper: Linked Stream Data Processing
Unrelated paper: ZStream: a cost-based query processor for adaptively detecting composite events
Paper: Enabling Interoperability in the Internet of Things: A OSGi Semantic Information Broker Implementation
Related paper: The berlin sparql benchmark
Unrelated paper: Performance analysis of multi-user MIMO downlink system in time-varying channels
Paper: Enabling Interoperability in the Internet of Things: A OSGi Semantic Information Broker Implementation
Related paper: Towards a Better Understanding of Context and Context-Awareness
Unrelated paper: Wideband 3 dB Branch Line Coupler Based on $\lambda/4$ Open Circuited Coupled Lines
Paper: Enabling Interoperability in the Internet of Things: A OSGi Semantic Information Broker Implementation
Related paper: Context Aware Computing for The Internet of Things: A Survey
Unrelated paper: Trusted Cloud Computing with Secure Resources and Data Coloring
Paper: Enabling Interoperability in the Internet of Things: A OSGi Semantic Information Broker Implementation
Related paper: Towards a Better Understanding of Context and Context-Awareness
Unrelated paper: Switched-opamp: an approach to realize full CMOS switched-capacitor circuits at very low power supply voltages
Paper: Parameter Free Hierarchical Graph-Based Clustering for Analyzing Continuous Word Embeddings
Related paper: GoWvis: A Web Application for Graph-of-Words-based Text Visualization and Summarization
Unrelated paper: Finding and evaluating community structure in networks
Paper: Parameter Free Hierarchical Graph-Based Clustering for Analyzing Continuous Word Embeddings
Related paper: Improving Distributional Similarity with Lessons Learned from Word Embeddings
Unrelated paper: Analysis of the antecedents of knowledge sharing and its implication for SMEs internationalization
Paper: Parameter Free Hierarchical Graph-Based Clustering for Analyzing Continuous Word Embeddings
Related paper: Distributed Representations of Words and Phrases and their Compositionality
Unrelated paper: Patients' Characteristics, Histopathological Findings, and Tumor Stage in Different Types of Malignant Melanoma: A Retrospective Multicenter Study.
Paper: Parameter Free Hierarchical Graph-Based Clustering for Analyzing Continuous Word Embeddings
Related paper: Improving Distributional Similarity with Lessons Learned from Word Embeddings
Unrelated paper: Performance of the Glasgow-Blatchford score in predicting clinical outcomes and intervention in hospitalized patients with upper GI bleeding.
Paper: Parameter Free Hierarchical Graph-Based Clustering for Analyzing Continuous Word Embeddings
Related paper: Improving Distributional Similarity with Lessons Learned from Word Embeddings
Unrelated paper: Millimeter-Wave Communication with Non-Orthogonal Multiple Access for 5G
Paper: A 0.7V Fully-on-Chip Pseudo-Digital LDO Regulator with 6.3μA Quiescent Current and 100mV Dropout Voltage in 0.18-μm CMOS
Related paper: External Capacitor-Less Low Drop-Out Regulator With 25 dB Superior Power Supply Rejection in the 0.4–4 MHz Range
Unrelated paper: A 32 nm Embedded, Fully-Digital, Phase-Locked Low Dropout Regulator for Fine Grained Power Management in Digital Circuits
Paper: A 0.7V Fully-on-Chip Pseudo-Digital LDO Regulator with 6.3μA Quiescent Current and 100mV Dropout Voltage in 0.18-μm CMOS
Related paper: A 6-$\mu$ W Chip-Area-Efficient Output-Capacitorless LDO in 90-nm CMOS Technology
Unrelated paper: New Biotechnological Tools for the Genetic Improvement of Major Woody Fruit Species
Paper: A 0.7V Fully-on-Chip Pseudo-Digital LDO Regulator with 6.3μA Quiescent Current and 100mV Dropout Voltage in 0.18-μm CMOS
Related paper: A Fully Integrated Digital LDO With Coarse–Fine-Tuning and Burst-Mode Operation
Unrelated paper: Methodological Guidelines to Study Extracellular Vesicles
Paper: A 0.7V Fully-on-Chip Pseudo-Digital LDO Regulator with 6.3μA Quiescent Current and 100mV Dropout Voltage in 0.18-μm CMOS
Related paper: 0.5-V input digital LDO with 98.7% current efficiency and 2.7-µA quiescent current in 65nm CMOS
Unrelated paper: Activity Detection with Latent Sub-event Hierarchy Learning
Paper: A 0.7V Fully-on-Chip Pseudo-Digital LDO Regulator with 6.3μA Quiescent Current and 100mV Dropout Voltage in 0.18-μm CMOS
Related paper: A 200-mA Digital Low Drop-Out Regulator With Coarse-Fine Dual Loop in Mobile Application Processor
Unrelated paper: Chlorella and Spirulina Microalgae as Sources of Functional Foods, Nutraceuticals, and Food Supplements; an Overview
Paper: Restoration of scene flicker using video decomposition
Related paper: Correction of Intensity Flicker in Old Film Sequences
Unrelated paper: De-Noising By Soft-Thresholding
Paper: Restoration of scene flicker using video decomposition
Related paper: Flicker correction for archived film sequences using a nonlinear model
Unrelated paper: Defining therapeutic benefit for people with schizophrenia: Focus on negative symptoms
Paper: Restoration of scene flicker using video decomposition
Related paper: Flicker correction for archived film sequences using a nonlinear model
Unrelated paper: Online Job Scheduling in Distributed Machine Learning Clusters
Paper: Restoration of scene flicker using video decomposition
Related paper: Correction of Intensity Flicker in Old Film Sequences
Unrelated paper: A two-year follow-up of psychodynamic psychotherapy for internalizing disorders in children
Paper: Restoration of scene flicker using video decomposition
Related paper: Flicker correction for archived film sequences using a nonlinear model
Unrelated paper: The State of the Art of Electric, Hybrid, and Fuel Cell Vehicles
Paper: An Ensemble of Fine-Tuned Convolutional Neural Networks for Medical Image Classification
Related paper: ImageNet Large Scale Visual Recognition Challenge
Unrelated paper: Ridge-based vessel segmentation in color images of the retina
Paper: An Ensemble of Fine-Tuned Convolutional Neural Networks for Medical Image Classification
Related paper: Pattern recognition and machine learning
Unrelated paper: Image encryption using chaos and block cipher
Paper: An Ensemble of Fine-Tuned Convolutional Neural Networks for Medical Image Classification
Related paper: Convolutional Neural Networks for Medical Image Analysis: Full Training or Fine Tuning?
Unrelated paper: A Review of the Bayesian Occupancy Filter
Paper: An Ensemble of Fine-Tuned Convolutional Neural Networks for Medical Image Classification
Related paper: Lung Pattern Classification for Interstitial Lung Diseases Using a Deep Convolutional Neural Network
Unrelated paper: A hyper-heuristic evolutionary algorithm for automatically designing decision-tree algorithms
Paper: An Ensemble of Fine-Tuned Convolutional Neural Networks for Medical Image Classification
Related paper: Pattern recognition and machine learning
Unrelated paper: An image synthesizer
Paper: Bundle Adjustment in the Large
Related paper: SBA: A software package for generic sparse bundle adjustment
Unrelated paper: Visual Modeling with a Hand-Held Camera
Paper: Bundle Adjustment in the Large
Related paper: SBA: A software package for generic sparse bundle adjustment
Unrelated paper: Inter-Network Cooperation Exploiting Game Theory and Bayesian Networks
Paper: Bundle Adjustment in the Large
Related paper: Multiple view geometry in computer vision
Unrelated paper: 5G C-RAN With Optical Fronthaul: An Analysis From a Deployment Perspective
Paper: Bundle Adjustment in the Large
Related paper: SBA: A software package for generic sparse bundle adjustment
Unrelated paper: ASB 14780 , an orally active inhibitor of group IVA phospholipase A 2 , is a pharmacotherapeutic candidate for non-alcoholic fatty liver disease
Paper: Bundle Adjustment in the Large
Related paper: Iterative Methods for Sparse Linear Systems
Unrelated paper: Privacy in Interaction: Exploring Disclosure and Social Capital in Facebook
Paper: Bayesian Online Multitask Learning of Gaussian Processes
Related paper: A reproducing kernel Hilbert space framework for pairwise time series distances
Unrelated paper: Gaussian Processes for Regression
Paper: Bayesian Online Multitask Learning of Gaussian Processes
Related paper: Learning Gaussian processes from multiple tasks
Unrelated paper: A rule based bengali stemmer
Paper: Bayesian Online Multitask Learning of Gaussian Processes
Related paper: Gaussian Processes for Machine Learning
Unrelated paper: DropoutNet: Addressing Cold Start in Recommender Systems
Paper: Bayesian Online Multitask Learning of Gaussian Processes
Related paper: Learning to learn with the informative vector machine
Unrelated paper: The pollution of the marine environment by plastic debris: a review.
Paper: Bayesian Online Multitask Learning of Gaussian Processes
Related paper: A reproducing kernel Hilbert space framework for pairwise time series distances
Unrelated paper: Attenuated Pik3r1 Expression Prevents Insulin Resistance and Adipose Tissue Macrophage Accumulation in Diet-Induced Obese Mice
Paper: A Subhertz Nanopower Low-Pass Filter
Related paper: ON THE DESIGN AND CHARACTERIZATION OF FEMTOAMPERE CURRENT-MODE CIRCUITS
Unrelated paper: The use of fast Fourier transform for the estimation of power spectra: A method based on time averaging over short, modified periodograms
Paper: A Subhertz Nanopower Low-Pass Filter
Related paper: A 2-nW 1.1-V self-biased current reference in CMOS technology
Unrelated paper: Better never than late: meeting deadlines in datacenter networks
Paper: A Subhertz Nanopower Low-Pass Filter
Related paper: A 2-nW 1.1-V self-biased current reference in CMOS technology
Unrelated paper: Comparing business competition positions based on Web co-link data: The global market vs. the Chinese market
Paper: A Subhertz Nanopower Low-Pass Filter
Related paper: A 2-nW 1.1-V self-biased current reference in CMOS technology
Unrelated paper: Zero-Rate Output and Quadrature Compensation in Vibratory MEMS Gyroscopes
Paper: A Subhertz Nanopower Low-Pass Filter
Related paper: ON THE DESIGN AND CHARACTERIZATION OF FEMTOAMPERE CURRENT-MODE CIRCUITS
Unrelated paper: Arthroscopic trans-osseous rotator cuff repair
Paper: IoT in Agriculture: Designing a Europe-Wide Large-Scale Pilot
Related paper: Privacy in the Internet of Things: Threats and Challenges
Unrelated paper: Engineering Privacy
Paper: IoT in Agriculture: Designing a Europe-Wide Large-Scale Pilot
Related paper: Privacy in the Internet of Things: Threats and Challenges
Unrelated paper: Treatment of infertility in men with spinal cord injury
Paper: IoT in Agriculture: Designing a Europe-Wide Large-Scale Pilot
Related paper: Privacy in the Internet of Things: Threats and Challenges
Unrelated paper: Near-Duplicate Video Retrieval with Deep Metric Learning
Paper: IoT in Agriculture: Designing a Europe-Wide Large-Scale Pilot
Related paper: Privacy in the Internet of Things: Threats and Challenges
Unrelated paper: Genome Evolution in Yeasts
Paper: IoT in Agriculture: Designing a Europe-Wide Large-Scale Pilot
Related paper: Privacy in the Internet of Things: Threats and Challenges
Unrelated paper: Data Fusion
Paper: Understanding the Intention of Using Mobile Social Networking Apps Full Papers
Related paper: information privacy concerns : linking individual perceptions with institutional privacy assurances .
Unrelated paper: Trustworthiness in electronic commerce: the role of privacy, security, and site attributes
Paper: Understanding the Intention of Using Mobile Social Networking Apps Full Papers
Related paper: user acceptance of computer technology : a comparison of two theoretical models * .
Unrelated paper: REDUCING THE PEAK TO AVERAGE POWER RATIO OF MIMO-OFDM SYSTEMS
Paper: Understanding the Intention of Using Mobile Social Networking Apps Full Papers
Related paper: information privacy concerns : linking individual perceptions with institutional privacy assurances .
Unrelated paper: Overcoming the Brittleness Bottleneck using Wikipedia : Enhancing Text Categorization with Encyclopedic Knowledge
Paper: Understanding the Intention of Using Mobile Social Networking Apps Full Papers
Related paper: information privacy concerns : linking individual perceptions with institutional privacy assurances .
Unrelated paper: Multi-scale techniques for document page segmentation
Paper: Understanding the Intention of Using Mobile Social Networking Apps Full Papers
Related paper: information privacy concerns : linking individual perceptions with institutional privacy assurances .
Unrelated paper: 0 Volume Ray Casting in WebGL
Paper: The Impact of Leadership Style on Job Satisfaction: A Study of Iranian Hotels
Related paper: Accounting for common method variance in cross-sectional research designs.
Unrelated paper: The file drawer problem and tolerance for null results.
Paper: The Impact of Leadership Style on Job Satisfaction: A Study of Iranian Hotels
Related paper: Accounting for common method variance in cross-sectional research designs.
Unrelated paper: Neural Relation Extraction with Multi-lingual Attention
Paper: The Impact of Leadership Style on Job Satisfaction: A Study of Iranian Hotels
Related paper: Organizational Citizenship Behaviors: A Critical Review of the Theoretical and Empirical Literature and Suggestions for Future Research
Unrelated paper: Neural Comic Style Transfer: Case Study
Paper: The Impact of Leadership Style on Job Satisfaction: A Study of Iranian Hotels
Related paper: Accounting for common method variance in cross-sectional research designs.
Unrelated paper: An ankle-foot emulation system for the study of human walking biomechanics
Paper: The Impact of Leadership Style on Job Satisfaction: A Study of Iranian Hotels
Related paper: Effectiveness correlates of transformational and transactional leadership: A meta-analytic review of the MLQ literature
Unrelated paper: Advances in Lifted Importance Sampling
Paper: Turning information quality into firm performance in the big data economy
Related paper: Consumer acceptance and use of information technology: extending the unified theory of acceptance and use of technology
Unrelated paper: Habit versus planned behaviour: A field experiment
Paper: Turning information quality into firm performance in the big data economy
Related paper: The DeLone and McLean Model of Information Systems Success : A Ten-Year Update
Unrelated paper: A compositional approach to statecharts semantics