Results 41 to 50 of about 1,307,610 (290)
Probabilistic Algorithmic Knowledge [PDF]
Logical Methods in Computer Science, 2005 The framework of algorithmic knowledge assumes that agents use deterministic knowledge algorithms to compute the facts they explicitly know. We extend the framework to allow for randomized knowledge algorithms.
Joseph Y. Halpern, Riccardo Pucella
doaj +1 more source
Emerging experimental and computational methods for studying redox‐regulated structural transitions
FEBS Letters, EarlyView.Redox reactions can reshape proteins and alter how they behave in cells, with important consequences for health and disease. This review explores emerging experimental and computational approaches for discovering these redox‐sensitive protein switches, revealing their structural effects, and predicting their behavior, opening new opportunities to ...
Tasneem Rass +2 more
wiley +1 more source
Algorithmic procedures in civil law matters [PDF]
, 2019 Algorithms generally generate mistrust as to their use in the final decision of a trial. The paper describes some cases where an algorithmic system of justice provides better protection of the interests of the parties than a human ...
Francesco Romeo
core
Comprehending Finite Maps for Algorithmic Debugging of Higher-Order Functional Programs [PDF]
, 2008 Algorithmic debuggers for higher-order functional languages have to display functional values. Originally functional values had been represented as partial applications of function and constructor symbols, but a recent approach represents functional ...
Olaf Chitil +3 more
core +1 more source
Input–output maps are strongly biased towards simple outputs
Nature Communications, 2018 Algorithmic information theory measures the complexity of strings. Here the authors provide a practical bound on the probability that a randomly generated computer program produces a given output of a given complexity and apply this upper bound to RNA ...
Kamaludin Dingle +2 more
doaj +1 more source
Analysis of Decoherence in Linear and Cyclic Quantum Walks
Optics, 2021 We theoretically analyze the case of noisy Quantum walks (QWs) by introducing four qubit decoherence models into the coin degree of freedom of linear and cyclic QWs.
Mahesh N. Jayakody +2 more
doaj +1 more source
The Shewanella oneidensis Fic enzyme SoFic targets the switch‐I region of EF‐Tu for AMPylation
FEBS Letters, EarlyView.Fic enzymes mediate diverse post‐translational modifications across all domains of life, including AMPylation. Prokaryotic EF‐Tu can be AMPylated and deAMPylated by the conserved Fic enzyme SoFic. Structural and biochemical approaches were used to characterize the effect of AMPylation on EF‐Tu, SoFic's enzymatic activities, and the enzyme‐target ...
Svenja Runge +6 more
wiley +1 more source
Theoretical foundations of algorithmic pricing in the short-term rental market [PDF]
Innovative MarketingType of the article: Theoretical Article AbstractThe shift towards the “product as a service” paradigm requires adaptive pricing tools. The article aims to conceptualize AI-driven algorithmic pricing methods for short-term rentals and to validate them ...
Leonid Melnyk +5 more
doaj +1 more source
Molecular Oncology, EarlyView.Matched spatial transcriptomics and single‐nuclei RNA‐seq were generated for anaplastic and BRAFV600E papillary thyroid cancers revealing generic and tumor‐specific states occurring in cancer cells and in the tumor microenvironment. In this context, cancer dedifferentiation mirrored organoid maturation through ordered thyroid marker gain/loss ...
Adrien Tourneur +11 more
wiley +1 more source
PLoS ONE, 2020 Arad is a well preserved desert fort on the southern frontier of the biblical kingdom of Judah. Excavation of the site yielded over 100 Hebrew ostraca (ink inscriptions on potsherds) dated to ca.
Arie Shaus +6 more
doaj +2 more sources