Results 141 to 150 of about 449,948 (311)

Computational Complexity of Alignments

CoRR
In process mining, alignments quantify the degree of deviation between an observed event trace and a business process model and constitute the most important conformance checking technique. We study the algorithmic complexity of computing alignments over important classes of Petri nets.
Christopher T. Schwanen, Wied Pakusa, Wil M. P. van der Aalst   +2 more
openaire   +2 more sources

Structural studies and functional engineering of NanX: an anhydro‐sialic acid transporter from Escherichia coli

FEBS Open Bio, EarlyView.
Biophysical characterisation shows that NanX, a membrane transport protein from the major facilitator superfamily (MFS), forms both monomers and dimers after purification. AlphaFold modelling and substrate docking provide information on residues likely involved in substrate recognition for NanX and another MFS member, NanT.
Michael C. Newton‐Vesty, Kelsi R. Hall, Zachary D. Tillett, Liam S. Turk, James S. Davies, Michael J. Currie, Hamish G. Brown, Sepideh Valimehr, Peter D. Mace, Andrew E. Whitten, Santosh Panjikar, Eric Hanssen, Rachel A. North, Renwick C.J. Dobson   +13 more
wiley   +1 more source

Proof complexity lower bounds from algebraic circuit complexity [PDF]

, 2017
Proof complexity studies the complexity of mathematical proofs, with the aim of exhibiting (true) statements whose proofs are always necessarily long. One well-known proof system is Hilbert’s Nullstellensatz, which shows that if the family F={f1,…,fm} of
Shpilka, Amir
core  

Hexagonal-Grid-Layout Image Segmentation Using Shock Filters: Computational Complexity Case Study for Microarray Image Analysis Related to Machine Learning Approaches. [PDF]

Sensors (Basel), 2023
Baloi A, Costea C, Gutt R, Balacescu O, Turcu F, Belean B.   +5 more
europepmc   +1 more source

Dual native G‐quadruplex folding is associated with chromatin looping at the MYC locus

FEBS Open Bio, EarlyView.
BG4‐detectable G‐quadruplex (G4) in HaCaT and NHEK keratinocytes identified folded and unfolded G4s enriched at promoters/TSSs and active enhancers, whereas unfolded G4s also overlapped weak/poised enhancers. At MYC–PVT1, 3C‐qPCR detected enhancer–promoter looping only when G4s were simultaneously folded at both regulatory elements under native ...
Dieila Giomo de Lima, Gustavo Narvaes Guimarães, Emilyane de Oliveira Santana Amaral, Bianca Caroline Figueiredo Bianco, Manuel Jara‐Espejo, Sérgio Roberto Peres Line, Ana Paula de Souza, Aline Cristiane Planello   +7 more
wiley   +1 more source

A Novel, Low Computational Complexity, Parallel Swarm Algorithm for Application in Low-Energy Devices. [PDF]

Sensors (Basel), 2021
Długosz Z, Rajewski M, Długosz R, Talaśka T.   +3 more
europepmc   +1 more source

Risk Prediction Models for Recurrence After Curative Treatment of Early‐Stage or Locally Advanced Lung Cancer: A Systematic Review

Aging and Cancer, EarlyView.
This systematic review synthesizes prognostic models for survival and recurrence in resected non‐small cell lung cancer. While many models demonstrate moderate to good discrimination, few are externally validated and reporting quality is variable, limiting clinical applicability and highlighting the need for robust, transparent model development ...
Evangeline Samuel, S. Tissera, E. Paul, J. Zalcberg, R. G. Stirling   +4 more
wiley   +1 more source

Morphological complexity influences Verb–Object order in Swedish Sign Language [PDF]

, 2016
Computational linguistic approaches to sign languages could benefit from investigating how complexity influences structure. We investigate whether morphological complexity has an effect on the order of Verb (V) and Object (O) in Swedish Sign Language ...
Bjerva, Johannes, Börstell, Carl
core  

Spiking Neural Network with Linear Computational Complexity for Waveform Analysis in Amperometry. [PDF]

Sensors (Basel), 2021
Szczęsny S, Huderek D, Przyborowski Ł.
europepmc   +1 more source

Intelligent Tutoring Systems for Adult Learning in STEM Disciplines

New Directions for Adult and Continuing Education, EarlyView.
ABSTRACT Intelligent tutoring systems (ITS) are reshaping adult learning in STEM by providing adaptive, data‐driven instruction across classrooms, workplaces, and informal environments. In the context of ITS, this article compares generative AI, which creates personalized explanations and practice materials, with explainable AI, which focuses on ...
Jill Zarestky, Amanda R. Lager Gleason
wiley   +1 more source