Results 51 to 60 of about 1,231,330 (253)
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
From LIDL(m) to Timed Automata [PDF]
, 2009 LIDL(m) is a decidable fragment of Interval Duration Logic with Located Constraints, an expressive subset of dense-time Duration Calculus. It has been claimed that, for any LIDL(m) formula D, a timed automaton can be constructed which accepts the models ...
Gomez, Rodolfo
core
JDS CommunicationsThis study aimed to compare the fertility of lactating Holstein cows with only 1 large follicle (LF, diameter ≥10 mm) with those with ≥2 LF and corpora lutea at the start of short-term ovulation synchronization and timed artificial insemination (AI ...
Kazuhiro Bandai +5 more
doaj +1 more source
Structural and biochemical analysis of a B12 superbinder
FEBS Letters, EarlyView.BtuG proteins are vitamin B12 scavengers in Bacteroides thetaiotaomicron, a dominant human gut bacterium. We present crystal structures of three BtuG homologs bound to cobalamin and its precursor cobinamide, revealing picomolar binding affinities, among the highest known for any natural protein.
Jose M. Martinez Felices +3 more
wiley +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
Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata [PDF]
, 2014 Two way buffer system is a system that exhibits transfer of data using two buffers concurrently. It includes processes that synchronize to exchange data with each other along with executing certain delays between these synchronizations.
Rohit Mishra, Md Zeeshan and Sanjay Singh
core +1 more source
Predictability of Event Occurrences in Timed Systems
, 2022 We address the problem of predicting events' occurrences in partially observable timed systems modelled by timed automata. Our contribution is many-fold: 1) we give a definition of bounded predictability, namely k-predictability, that takes into account ...
Grastien, Alban, Cassez, Franck
core +1 more source
Prospecting the protein design landscape
FEBS Letters, EarlyView.This review outlines the current state of various protein design approaches. We discuss the current possibilities enabled by recently released tools, highlight future avenues to pursue in protein design, and underscore the crucial role of key databases and resources for successful protein design workflows.
Jakob R. Riccabona +4 more
wiley +1 more source
, 2023 In this book, we discuss the “strategy to the execution gap” a leader of an organization encounters while adopting Artificial Intelligence (AI) in that organization.
Thoppan Mohanchandralal, Sudaman +3 more
core
Journal of Advanced Veterinary and Animal Research, 2018 Objective: Until recently, management of repeat breeding in cattle remains a major problem to dairy farmers. This study was carried out to improve the fertility in cows, those did not conceive after three or more consecutive services.
Abul Khair +6 more
doaj +1 more source