Results 111 to 120 of about 109,968,647 (310)
Two loop detection mechanisms: a comparison [PDF]
In order to compare two loop detection mechanisms we describe two calculi for theorem proving in intuitionistic propositional logic. We call them both MJ Hist, and distinguish between them by description as `Swiss' or `Scottish'. These calculi combine in
Howe, J. M. +3 more
core +1 more source
BCL9 and BCL9L drive bladder cancer progression by enhancing β‐catenin signaling, promoting proliferation, migration, invasion, and organoid growth. Genetic depletion of BCL9(L) suppresses malignant phenotypes, while pharmacological disruption of the β‐catenin/BCL9(L) complex with ZW4864 inhibits canonical Wnt signaling and tumor‐associated cellular ...
Roland Kotolloshi +11 more
wiley +1 more source
Congrès de la SAES Nancy 2024 - Poets and poetry panel
SESSION 1 : JEUDI 30 MAI 13h30-16h30 / A313 Modération : Adrian Grafe & Claire Hélie 13h30 Adrian GRAFE (Université d'Artois) : Crossing Poetic Borders with Deportees and Refugees 14h Andrew EASTMAN (Université de Strasbourg) : "Kansas//Ozymandias ...
The LOOP team
core +1 more source
Recent research has highlighted a notable confidence bias in the haptic sense, yet its impact on learning relative to other senses remains unexplored. This online study investigated learning behaviour across visual, auditory, and haptic modalities using ...
Wenhan Sun +4 more
doaj +1 more source
Viewpoint: Human-in-the-loop Artificial Intelligence [PDF]
Little by little, newspapers are revealing the bright future that Artificial Intelligence (AI) is building. Intelligent machines will help everywhere. However, this bright future may have a possible dark side: a dramatic job market contraction before its unpredictable transformation.
openaire +4 more sources
RoboMic is an automated confocal microscopy pipeline for high‐throughput functional imaging in living cells. Demonstrated with fluorescence recovery after photobleaching (FRAP), it integrates AI‐driven nuclear segmentation, ROI selection, bleaching, and analysis.
Selçuk Yavuz +6 more
wiley +1 more source
Two loop vertices and tree level multicollinear limits in QCD [PDF]
We present a summary of the methods required to solve loop-integrals and their reduction to Master Integrals. We then present the expansion in d = 4 - 2e of the Master Integrals required for the two loop massless vertex diagrams with three off-shell legs.
Birthwright, Thomas G. +2 more
core
Effective User Interfaces for Human-in-the-loop Optimisation
The human-in-the-loop approach for optimisation plays an important role in decision support. However, the HCI aspects are often overlooked.
JIE LIU (6717155)
core +1 more source
Evolutionarily divergent DUF4465 domains have a common vitamin B12‐binding function
We show that DUF4465 family proteins, widespread across bacteria from gut microbiomes, hydrothermal vents, and soil, share a common vitamin B12‐binding function. These augmented β‐jellyroll proteins bind vitamin B12 via extended loops. Our findings establish sequence‐diverse DUF4465 proteins as a widespread class of B12‐binding proteins, highlighting ...
Charlea Clarke +4 more
wiley +1 more source

