Channels - Exploring Concepts of Interactive Theorem Proving :: FRELIP Discovery

Similar Items: Exploring Concepts of Interactive Theorem Proving

Quick Look
Learning Reconstructive Embeddings in Reproducing Kernel Hilbert Spaces via the Representer Theorem
Quick Look
On some reciprocity and variational theorems in the temperature rate dependent two temperature piezothermoelasticity theory
Quick Look
Online Bernstein-von Mises theorem
Quick Look
Paper 5: An EWMA-Based Adaptive Thresholding Concept for Autoencoder-Based Concept Drift Detection in Data Streams
Quick Look
Exploring Emotional and Content Influences on ChatGPT’s Educational Usability Within the Field of Human–Computer Interaction
Quick Look
Exploring undergraduate interactions with mobile privacy and security
Quick Look
Concept embedding-based weighting scheme for biomedical text clustering and visualization
Quick Look
Talking or typing: how interaction modality influences privacy perceptions and actual disclosure behaviors in human–AI interaction
Quick Look
The Impact of Broadcasters' Emotions and Interaction Rituals on Viewers' Purchase Intention
Quick Look
From Concept to Practice: A Blockchain‐Based Solution for Secure and Efficient Academic Credentials in Higher Education
Quick Look
Determination of Criteria Priorities and Interactions in ChatGPT by a Fuzzy Model
Quick Look
Flow Search Experience: An Empirical Investigation Using Search Modality and Interaction Modality
Quick Look
Machine agency attribution in human–AI interaction: developing and validating an analytical framework
Quick Look
IsoPepTracker: An interactive web application for peptide-driven isoform analysis
Quick Look
Correction to Combinatorial Average Energy Controllability (CAEC) for Analyzing Interaction of Functional Brain Networks
Quick Look
A Tutorial on Quantum Key Distribution Protocols With Interactive Simulation of QBER and SKR Performance Metrics
Quick Look
Numerical investigation of hydraulic fracture–interface interaction and propagation using friction–cohesion coupled element
Quick Look
Retracted: A Study on the Influence of Interactivity on Behavior Intention in Platform B2C Model
Quick Look
Collaboration Between Human–Robot Interaction Based on CDPR in a Virtual Reality Game Environment
Quick Look
Research on a Dual‐Mode Human–Robot Interaction Method Based on a Large Language Model
Quick Look
Higher‐Order Interaction Models for Real Robot Swarms: Bridging Theory and Practice With Physical and Operational Constraints
Quick Look
Genetic Algorithm for Approximation of Equilibrium Strategies within Finite Space of Actions in Bimatrix Games for Improving Telecommunication Interactions
Quick Look
Structural Differences in KIR3DL1 and LILRB1 Interaction with HLA-B and the Loading Peptide Polymorphisms: In Silico Evidences
Quick Look
Corrigendum to “HCI that Makes and Breaks Online Fake: An Introduction to the Special Issue” [AIS Transactions on Human-Computer Interaction, 14(2) (2022) 107-115]