andersonbcdefg/st_specter_train_triples huggingface dataset:
Paper: Fast Algebraic Rewriting Based on And-Inverter Graphs
Related paper: Z3: An Efficient SMT Solver
Unrelated paper: Graph-Based Algorithms for Boolean Function Manipulation
Paper: Fast Algebraic Rewriting Based on And-Inverter Graphs
Related paper: Verification of arithmetic circuits with binary moment diagrams
Unrelated paper: Progress in bioethanol processing
Paper: Fast Algebraic Rewriting Based on And-Inverter Graphs
Related paper: Z3: An Efficient SMT Solver
Unrelated paper: CrossFAB: Bridging the Gap between Personal Fabrication Research in HCI, Computer Graphics, Robotics, Art, Architecture, and Material Science.
Paper: Fast Algebraic Rewriting Based on And-Inverter Graphs
Related paper: Verification of arithmetic circuits with binary moment diagrams
Unrelated paper: The Influence of Base Rate and Case Information on Health-Risk Perceptions : A Unified Model of Self-Positivity and Self-Negativity Author ( s ) :
Paper: Fast Algebraic Rewriting Based on And-Inverter Graphs
Related paper: Z3: An Efficient SMT Solver
Unrelated paper: Breath carbon monoxide concentration in cigarette and bidi smokers in India.
Paper: A model of customer relationship management and business intelligence systems for catalogue and online retailers
Related paper: Value Creation in E-business
Unrelated paper: Information Technology and Corporate Strategy: A Research Perspective
Paper: A model of customer relationship management and business intelligence systems for catalogue and online retailers
Related paper: Value Creation in E-business
Unrelated paper: On the Limited Memory BFGS Method for Large Scale Optimization
Paper: A model of customer relationship management and business intelligence systems for catalogue and online retailers
Related paper: From Niches to Riches: The Anatomy of the Long Tail
Unrelated paper: Effective face frontalization in unconstrained images
Paper: A model of customer relationship management and business intelligence systems for catalogue and online retailers
Related paper: From Niches to Riches: The Anatomy of the Long Tail
Unrelated paper: Runge-Kutta discontinuous Galerkin method using a new type of WENO limiters on unstructured meshes
Paper: A model of customer relationship management and business intelligence systems for catalogue and online retailers
Related paper: Value Creation in E-business
Unrelated paper: Impact of Perceived usefulness , Perceived ease of use and Perceived Enjoyment on Intention to shop online
Paper: flexible framework for secret handshakes ( multi - party anonymous and un - observable authentication ) .
Related paper: sigma : the ' sign - and - mac ' approach to authenticated diffie - hellman and its use in the ike - protocols .
Unrelated paper: A logic of authentication
Paper: flexible framework for secret handshakes ( multi - party anonymous and un - observable authentication ) .
Related paper: sigma : the ' sign - and - mac ' approach to authenticated diffie - hellman and its use in the ike - protocols .
Unrelated paper: Prediction Model of Stock Prices Based on Correlative Analysis and Neural Networks
Paper: flexible framework for secret handshakes ( multi - party anonymous and un - observable authentication ) .
Related paper: sigma : the ' sign - and - mac ' approach to authenticated diffie - hellman and its use in the ike - protocols .
Unrelated paper: Trade-offs in continuous integration: assurance, security, and flexibility
Paper: flexible framework for secret handshakes ( multi - party anonymous and un - observable authentication ) .
Related paper: sigma : the ' sign - and - mac ' approach to authenticated diffie - hellman and its use in the ike - protocols .
Unrelated paper: Gap design for nonlinear ferrite cores to maximize inductance
Paper: flexible framework for secret handshakes ( multi - party anonymous and un - observable authentication ) .
Related paper: sigma : the ' sign - and - mac ' approach to authenticated diffie - hellman and its use in the ike - protocols .
Unrelated paper: Introducing Robustness in Multi-Objective Optimization
Paper: A Password Manager that Doesn't Remember Passwords
Related paper: The Tangled Web of Password Reuse
Unrelated paper: Password management strategies for online accounts
Paper: A Password Manager that Doesn't Remember Passwords
Related paper: A Taxonomy of Single Sign-On Systems
Unrelated paper: Character feature integration of Chinese calligraphy and font
Paper: A Password Manager that Doesn't Remember Passwords
Related paper: Multiple password interference in text passwords and click-based graphical passwords
Unrelated paper: Black-Box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers
Paper: A Password Manager that Doesn't Remember Passwords
Related paper: Multiple password interference in text passwords and click-based graphical passwords
Unrelated paper: AntMiner: mining more bugs by reducing noise interference
Paper: A Password Manager that Doesn't Remember Passwords
Related paper: stronger password authentication using browser extensions .
Unrelated paper: Meloxicam and risk of myocardial infarction: a population-based nested case–control study
Paper: Using Context to Improve Emotion Detection in Spoken Dialog Systems
Related paper: Toward detecting emotions in spoken dialogs
Unrelated paper: automatic recognition of emotion from voice : a rough benchmark .
Paper: Using Context to Improve Emotion Detection in Spoken Dialog Systems
Related paper: Toward detecting emotions in spoken dialogs
Unrelated paper: Data analytics on network traffic flows for botnet behaviour detection
Paper: Using Context to Improve Emotion Detection in Spoken Dialog Systems
Related paper: Prosody-based automatic detection of annoyance and frustration in human-computer dialog
Unrelated paper: Comparison between horn and bow-tie antennas for Ground Penetrating Radar
Paper: Using Context to Improve Emotion Detection in Spoken Dialog Systems
Related paper: Toward detecting emotions in spoken dialogs
Unrelated paper: Phase-change materials for rewriteable data storage
Paper: Using Context to Improve Emotion Detection in Spoken Dialog Systems
Related paper: Toward detecting emotions in spoken dialogs
Unrelated paper: A Novel Permanent Magnet Vernier Machine With Halbach Array Magnets in Stator Slot Opening
Paper: A Web of Things Framework for RESTful Applications and Its Experimentation in a Smart City
Related paper: The Web of Things : A Survey
Unrelated paper: transmission of ipv6 packets over ieee 802 . 15 . 4 networks .
Paper: A Web of Things Framework for RESTful Applications and Its Experimentation in a Smart City
Related paper: restful web services vs . " big " ' web services : making the right architectural decision .
Unrelated paper: A Tutorial on Beam Management for 3GPP NR at mmWave Frequencies
Paper: A Web of Things Framework for RESTful Applications and Its Experimentation in a Smart City
Related paper: The Web of Things : A Survey
Unrelated paper: Overweight and Obesity in Children and Adolescents
Paper: A Web of Things Framework for RESTful Applications and Its Experimentation in a Smart City
Related paper: Semantic Sensor Web
Unrelated paper: On the design of an energy-harvesting protocol stack for Body Area Nano-NETworks
Paper: A Web of Things Framework for RESTful Applications and Its Experimentation in a Smart City
Related paper: restful web services vs . " big " ' web services : making the right architectural decision .
Unrelated paper: duqu : analysis , detection , and lessons learned .
Paper: Using VTLN for Broadcast News transcription
Related paper: Maximum Likelihood Linear Transformations for HMM-Based Speech Recognition
Unrelated paper: Maximum likelihood linear regression for speaker adaptation of continuous density hidden Markov models
Paper: Using VTLN for Broadcast News transcription
Related paper: Maximum Likelihood Linear Transformations for HMM-Based Speech Recognition
Unrelated paper: Practical clinical trials: increasing the value of clinical research for decision making in clinical and health policy.
Paper: Using VTLN for Broadcast News transcription
Related paper: Maximum Likelihood Linear Transformations for HMM-Based Speech Recognition
Unrelated paper: aero quarterly qtr _ 04 | 07 787 no - bleed systems : saving fuel and enhancing operational efficiencies .
Paper: Using VTLN for Broadcast News transcription
Related paper: Maximum Likelihood Linear Transformations for HMM-Based Speech Recognition
Unrelated paper: On generating T-X family of distributions using quantile functions
Paper: Using VTLN for Broadcast News transcription
Related paper: Maximum Likelihood Linear Transformations for HMM-Based Speech Recognition
Unrelated paper: Class-specific Hough forests for object detection
Paper: Learning management systems and cloud file hosting services: A study on students' acceptance
Related paper: Digital Forensic Investigation of Cloud Storage Services
Unrelated paper: service - oriented computing : a research roadmap .
Paper: Learning management systems and cloud file hosting services: A study on students' acceptance
Related paper: Service-Oriented Computing and Cloud Computing: Challenges and Opportunities
Unrelated paper: PDAC-based underactuated 3D bipedal walking - Stabilization of PDAC constants and walking direction control -
Paper: Learning management systems and cloud file hosting services: A study on students' acceptance
Related paper: Digital Forensic Investigation of Cloud Storage Services
Unrelated paper: Vulnerable time periods for attrition during nurse anesthesia education.
Paper: Learning management systems and cloud file hosting services: A study on students' acceptance
Related paper: Service-Oriented Computing and Cloud Computing: Challenges and Opportunities
Unrelated paper: Pathophysiological and neurochemical mechanisms of postoperative nausea and vomiting.
Paper: Learning management systems and cloud file hosting services: A study on students' acceptance
Related paper: Digital Forensic Investigation of Cloud Storage Services
Unrelated paper: Semantic Stereo for Incidental Satellite Images
Paper: A cascading mentoring pedagogy in a CS service learning course to broaden participation and perceptions
Related paper: Lowering the barriers to programming: A taxonomy of programming environments and languages for novice programmers
Unrelated paper: LogoBlocks: A Graphical Programming Language for Interacting with the World
Paper: A cascading mentoring pedagogy in a CS service learning course to broaden participation and perceptions
Related paper: Lowering the barriers to programming: A taxonomy of programming environments and languages for novice programmers
Unrelated paper: Imagining the future of bioimage analysis
Paper: A cascading mentoring pedagogy in a CS service learning course to broaden participation and perceptions
Related paper: Lowering the barriers to programming: A taxonomy of programming environments and languages for novice programmers
Unrelated paper: CCVis: Visual analytics of student online learning behaviors using course clickstream data
Paper: A cascading mentoring pedagogy in a CS service learning course to broaden participation and perceptions
Related paper: Lowering the barriers to programming: A taxonomy of programming environments and languages for novice programmers
Unrelated paper: Affordance Discovery using Simulated Exploration
Paper: A cascading mentoring pedagogy in a CS service learning course to broaden participation and perceptions
Related paper: Lowering the barriers to programming: A taxonomy of programming environments and languages for novice programmers
Unrelated paper: Term Set Expansion based on Multi-Context Term Embeddings: an End-to-end Workflow
Paper: Machine learning-based network modeling: An artificial neural network model vs a theoretical inspired model
Related paper: Adam: A Method for Stochastic Optimization
Unrelated paper: algorithms for constraint - satisfaction problems : a survey .
Paper: Machine learning-based network modeling: An artificial neural network model vs a theoretical inspired model
Related paper: Adam: A Method for Stochastic Optimization
Unrelated paper: Hardware architecture for high-accuracy real-time pedestrian detection with CoHOG features
Paper: Machine learning-based network modeling: An artificial neural network model vs a theoretical inspired model
Related paper: A knowledge plane for the internet
Unrelated paper: Energy Metabolism of the Brain, Including the Cooperation between Astrocytes and Neurons, Especially in the Context of Glycogen Metabolism
Paper: Machine learning-based network modeling: An artificial neural network model vs a theoretical inspired model
Related paper: Adam: A Method for Stochastic Optimization
Unrelated paper: A new AC-DC converter using bridgeless SEPIC
Paper: Machine learning-based network modeling: An artificial neural network model vs a theoretical inspired model
Related paper: Knowledge-Defined Networking
Unrelated paper: goalie actions attackers and defenders goalie role allocation layer action selection layer vector field action shoot action action selection layer vector field action shoot action action selection layer vector field action shoot action action selection layer vector field action .
Paper: endurability , engagement and expectations : measuring children ’ s fun .
Related paper: Analysing fun as a candidate software requirement
Unrelated paper: Direct manipulation interfaces
Paper: endurability , engagement and expectations : measuring children ’ s fun .
Related paper: Analysing fun as a candidate software requirement
Unrelated paper: "A" MASSECUITE EXHAUSTION AND LOW MASSECUITE MELVILLE
Paper: endurability , engagement and expectations : measuring children ’ s fun .
Related paper: Analysing fun as a candidate software requirement
Unrelated paper: Possible role of transforming growth factor-β1 and vascular endothelial growth factor in Fabry disease nephropathy
Paper: endurability , engagement and expectations : measuring children ’ s fun .
Related paper: Guidelines for usability testing with children
Unrelated paper: tensor - based anomaly detection : an interdisciplinary survey .
Paper: endurability , engagement and expectations : measuring children ’ s fun .
Related paper: Guidelines for usability testing with children
Unrelated paper: Bharatanatyam hand gesture recognition using normalized chain codes and oriented distances
Paper: Into the Mind of the Seller: Using Neurophysiological Tools to Understand Sales Techniques
Related paper: Cerebral location of international 10-20 system electrode placement
Unrelated paper: The cognitive control of emotion
Paper: Into the Mind of the Seller: Using Neurophysiological Tools to Understand Sales Techniques
Related paper: WHERE DOES TAM RESIDE IN THE BRAIN? THE NEURAL MECHANISMS UNDERLYING TECHNOLOGY ADOPTION
Unrelated paper: Asymmetrical Doherty amplifier using GaN HEMTs for high-power applications
Paper: Into the Mind of the Seller: Using Neurophysiological Tools to Understand Sales Techniques
Related paper: WHERE DOES TAM RESIDE IN THE BRAIN? THE NEURAL MECHANISMS UNDERLYING TECHNOLOGY ADOPTION
Unrelated paper: Genetic discontinuity between local hunter-gatherers and central Europe's first farmers.
Paper: Into the Mind of the Seller: Using Neurophysiological Tools to Understand Sales Techniques
Related paper: neuroeconomics : cross - currents in research on decision - making .
Unrelated paper: Compact Tapered Slot Antenna Array for 5G Millimeter-Wave Massive MIMO Systems
Paper: Into the Mind of the Seller: Using Neurophysiological Tools to Understand Sales Techniques
Related paper: what is " neuromarketing " ? a discussion and agenda for future research .
Unrelated paper: freischutz digital : a case study for reference - based audio segmentation for operas .
Paper: Signature Segmentation from Machine Printed Documents Using Conditional Random Field
Related paper: An experimental comparison of min-cut/max- flow algorithms for energy minimization in vision
Unrelated paper: Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data
Paper: Signature Segmentation from Machine Printed Documents Using Conditional Random Field
Related paper: An experimental comparison of min-cut/max- flow algorithms for energy minimization in vision
Unrelated paper: Electricity Smart Meters Interfacing the Households
Paper: Signature Segmentation from Machine Printed Documents Using Conditional Random Field
Related paper: Off-line signature verification based on grey level information using texture features
Unrelated paper: An integrative imputation method based on multi-omics datasets
Paper: Signature Segmentation from Machine Printed Documents Using Conditional Random Field
Related paper: Off-line signature verification based on grey level information using texture features
Unrelated paper: Image Classification in Remote Sensing
Paper: Signature Segmentation from Machine Printed Documents Using Conditional Random Field
Related paper: Off-line signature verification based on grey level information using texture features
Unrelated paper: Enteric neuropathy evoked by repeated cisplatin in the rat.
Paper: Ring Routing: An Energy-Efficient Routing Protocol for Wireless Sensor Networks with a Mobile Sink
Related paper: Routing Techniques in Wireless Sensor Networks: A Survey
Unrelated paper: Energy efficient routing in wireless sensor networks
Paper: Ring Routing: An Energy-Efficient Routing Protocol for Wireless Sensor Networks with a Mobile Sink
Related paper: Geographic routing without location information
Unrelated paper: Hatebusters: A Web Application for Actively Reporting YouTube Hate Speech
Paper: Ring Routing: An Energy-Efficient Routing Protocol for Wireless Sensor Networks with a Mobile Sink
Related paper: Routing Techniques in Wireless Sensor Networks: A Survey
Unrelated paper: Nucleated red blood cells in the blood of medical intensive care patients indicate increased mortality risk: a prospective cohort study
Paper: Ring Routing: An Energy-Efficient Routing Protocol for Wireless Sensor Networks with a Mobile Sink
Related paper: Geographic routing without location information
Unrelated paper: Decentralized deduplication in san cluster file systems
Paper: Ring Routing: An Energy-Efficient Routing Protocol for Wireless Sensor Networks with a Mobile Sink
Related paper: Routing Techniques in Wireless Sensor Networks: A Survey
Unrelated paper: regularized distance metric learning : theory and algorithm .
Paper: Performance Measures and a Data Set for Multi-Target, Multi-Camera Tracking
Related paper: Multicamera People Tracking with a Probabilistic Occupancy Map
Unrelated paper: Adaptive background mixture models for real-time tracking
Paper: Performance Measures and a Data Set for Multi-Target, Multi-Camera Tracking
Related paper: Multi-Layer Background Subtraction Based on Color and Texture
Unrelated paper: A qualitative investigation of patients' and caregivers' experiences of severe sepsis*.
Paper: Performance Measures and a Data Set for Multi-Target, Multi-Camera Tracking
Related paper: Data association for multi-object Tracking-by-Detection in multi-camera networks
Unrelated paper: The neural stem cell fate determinant TRIM32 regulates complex behavioral traits
Paper: Performance Measures and a Data Set for Multi-Target, Multi-Camera Tracking
Related paper: Multicamera People Tracking with a Probabilistic Occupancy Map
Unrelated paper: Multinomial Logit Bandit with Linear Utility Functions
Paper: Performance Measures and a Data Set for Multi-Target, Multi-Camera Tracking
Related paper: Multicamera People Tracking with a Probabilistic Occupancy Map
Unrelated paper: DOMPurify: Client-Side Protection Against XSS and Markup Injection
Paper: size matters : word count as a measure of quality on wikipedia .
Related paper: Assessing information quality of a community-based encyclopedia
Unrelated paper: Computing and Applying Trust in Web-based Social Networks
Paper: size matters : word count as a measure of quality on wikipedia .
Related paper: A content-driven reputation system for the wikipedia
Unrelated paper: Using UML Models for the Performance Analysis of Network Systems
Paper: size matters : word count as a measure of quality on wikipedia .
Related paper: Assessing information quality of a community-based encyclopedia
Unrelated paper: GEM-NI: A System for Creating and Managing Alternatives In Generative Design
Paper: size matters : word count as a measure of quality on wikipedia .
Related paper: A content-driven reputation system for the wikipedia
Unrelated paper: grasp with path relinking for the two - echelon vehicle routing problem teodor .
Paper: size matters : word count as a measure of quality on wikipedia .
Related paper: A content-driven reputation system for the wikipedia
Unrelated paper: real time patient tele - monitoring system using labview : tele - monitoring on wheels .
Paper: Calculating Completeness of Agile Scope in Scaled Agile Development
Related paper: Job Satisfaction in Agile Development Teams: Agile Development as Work Redesign
Unrelated paper: Differential Effects of Provider Recommendations and Consumer Reviews in E-Commerce Transactions: An Experimental Study
Paper: Calculating Completeness of Agile Scope in Scaled Agile Development
Related paper: Are you biting off more than you can chew? A case study on causes and effects of overscoping in large-scale software engineering
Unrelated paper: Perceived absorptive capacity of individual users in performance of Enterprise Resource Planning (ERP) usage: The case for Korean firms
Paper: Calculating Completeness of Agile Scope in Scaled Agile Development
Related paper: Challenges of migrating to agile methodologies
Unrelated paper: Face Inpainting with Local Linear Representations
Paper: Calculating Completeness of Agile Scope in Scaled Agile Development
Related paper: Job Satisfaction in Agile Development Teams: Agile Development as Work Redesign
Unrelated paper: A computational model of trust and reputation
Paper: Calculating Completeness of Agile Scope in Scaled Agile Development
Related paper: Job Satisfaction in Agile Development Teams: Agile Development as Work Redesign
Unrelated paper: A Fast Algorithm for Hierarchical Text Classification
Paper: Algorithms for acoustic localization based on microphone array in service robotics
Related paper: An Empirical Study of Learning Speed in Back-Propagation Networks
Unrelated paper: Learning internal representations by error propagation
Paper: Algorithms for acoustic localization based on microphone array in service robotics
Related paper: a robust layered control system for a mobile robot .
Unrelated paper: Treatment of irritable bowel syndrome in outpatients with inflammatory bowel disease using a food and beverage intolerance, food and beverage avoidance diet
Paper: Algorithms for acoustic localization based on microphone array in service robotics
Related paper: A Practical Methodology for Speech Source Localization With Microphone Arrays
Unrelated paper: Continuous Authentication for Voice Assistants
Paper: Algorithms for acoustic localization based on microphone array in service robotics
Related paper: A direct adaptive method for faster backpropagation learning: the RPROP algorithm
Unrelated paper: Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids
Paper: Algorithms for acoustic localization based on microphone array in service robotics
Related paper: a robust layered control system for a mobile robot .
Unrelated paper: Deep Face Recognition: A Survey
Paper: Interactive Tensor Field Design and Visualization on Surfaces
Related paper: Image based flow visualization for curved surfaces
Unrelated paper: IMAGE ANALOGIES
Paper: Interactive Tensor Field Design and Visualization on Surfaces
Related paper: Image and video based painterly animation
Unrelated paper: Introduction to the Langlands Program
Paper: Interactive Tensor Field Design and Visualization on Surfaces
Related paper: Image and video based painterly animation
Unrelated paper: Proteasome Inhibitors Activate Autophagy Involving Inhibition of PI3K-Akt-mTOR Pathway as an Anti-Oxidation Defense in Human RPE Cells