Results 31 to 40 of about 1,020,940 (299)
Artificial molecular machines and motors—Design and control of nanoscale motion
FEBS Letters, EarlyView.Molecules are constantly moving because of thermal fluctuations, but random motion alone cannot be exploited to perform directional tasks. Artificial molecular machines use chemical, electrical, or light energy to bias this motion. Molecular shuttles, rotary motors, and supramolecular pumps illustrate how nanoscale movement can be controlled and ...
Leonardo Andreoni, Alberto Credi
wiley +1 more source
The Logic of Separation Logic: Models and Proofs
, 2023 AbstractThe standard semantics of separation logic is restricted to finite heaps. This restriction already gives rise to a logic which does not satisfy compactness, hence it does not allow for an effective, sound and complete axiomatization. In this paper we therefore study both the general model theory and proof theory of the separation logic of ...
F.S. de Boer (Frank) +2 more
openaire +3 more sources
Loss of IGF‐1R impairs DNA‐PKcs recruitment to chromatin leading to defective end‐joining
Molecular Oncology, EarlyView.IGF‐1R promotes radioresistance by facilitating DNA‐PKcs recruitment to chromatin, enabling non‐homologous end‐joining (NHEJ) repair of double‐strand breaks. Inhibition or loss of IGF‐1R disrupts this recruitment to damage sites, driving compensatory reliance on microhomology‐mediated end‐joining (MMEJ) repair.
Matthew O. Ellis +3 more
wiley +1 more source
On Paracomplete Versions of Jaśkowski's Discussive Logic [PDF]
Jaśkowski's discussive (discursive) logic \( \mathbf{D_2} \) is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions.
Petrukhin, Yaroslav +2 more
core +1 more source
, 2007 Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d'horizon of automata theory ...
core +1 more source
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source
We prove that the modal logic of lattices with the accessibility relation of being isomorphic to a sublattice is S4.2.
Hałapacz, Maciej A.
core +1 more source
FEBS Open Bio, EarlyView.This pilot study investigates the potential of Generative AI to provide formative feedback to students. ChatGPT was prompted to provide feedback on Year 1 Bioscience essays, which were evaluated against established good feedback practices. GenAI‐authored feedback had useful elements, but was limited in scope. GenAI may have potential to provide instant,
Annabel Court +3 more
wiley +1 more source
Choreographies, Logically [PDF]
Distributed Computing, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Marco Carbone +2 more
openaire +9 more sources
FEBS Open Bio, EarlyView.During the current opioid crisis, the majority of overdose deaths are attributed to ultra‐potent synthetic opioids, such as fentanyl. While fentanyl exerts its action via opioid receptors, we propose that potassium channels in the brain blood vessels may also sense fentanyl.
Shiwani Thapa +4 more
wiley +1 more source