Results 71 to 80 of about 9,445,647 (302)
FEBS Letters, EarlyView.CT10 regulator of kinase (CRK) and CRK‐Like (CRKL) are signaling adaptors driving cell adhesion, motility, differentiation, and proliferation. SH2‐domain containing (SH) proteins are enriched in YXXP motifs which when phosphorylated create preferred binding sites for CRK family SH2 domains.
Phoebe M. Cousens +8 more
wiley +1 more source
Market newsletter 2/2023 [PDF]
, 2023 In its supervision, the Financial Supervisory Authority (FIN-FSA) has paid attention to communication between issuers and ...
core
Investigating transcription factor dynamics in health and disease using FRAP
FEBS Letters, EarlyView.FRAP analysis of GFP‐tagged transcription factors reveals how molecular mobility and target engagement change in response to drug treatment. By combining live‐cell imaging, quantitative model fitting, and statistical analysis, this approach uncovers transcription factor dynamics linked to disease mechanisms, providing a powerful framework for ...
Kannan Govindaraj +3 more
wiley +1 more source
Compositional supervisory control via reactive synthesis and automated planning [PDF]
, 2019 We show how reactive synthesis and automatedplanning can be leveraged effectively to find non-maximal solu-tions to deterministic supervisory control problems of discreteevent systems.
Ciolek, Daniel +4 more
core +1 more source
Supervisory control theory with Alloy
Science of Computer Programming, 2014 Scientific literature reveals that the symbolic representation techniques underlying some formal methods are useful in verifying properties or synthesizing parts of large discrete event systems. They involve, however, encoding complex schemata and fine-tuning heuristic parameters in order to translate specific problems into efficient BDD- or SAT-based ...
Benoît Fraikin +2 more
openaire +1 more source
Conserved binding mode but diverse interfaces of MreC‐PBP2 interactions
FEBS Letters, EarlyView.The crystal structure of abMreC reveals a conserved two β‐barrel architecture and provides structural insights into its role within the bacterial elongasome. The abMreC–abPBP2 complex model identifies the molecular basis of MreC‐mediated PBP2 recognition, contributing to the regulation of peptidoglycan synthesis.
Hyunseok Jang +4 more
wiley +1 more source
Supervisory control on concurrent discrete event systems with variables
, 2022 S.4274-4279This work deals with the supervisory control of Discrete Event Systems (DES). Supervisory control is classically applied to systems modeled by Finite State Machine (FSM).
Deussen, P.H., Gaudin, B.
core +1 more source
FEBS Letters, EarlyView.Animals must match their growth rate to available nutrients. We show that in Drosophila larvae, the nutrient‐sensing TOR kinase controls growth by regulating levels of TFAM, a key regulator of mitochondrial function, in the adipose tissue. When nutrients are abundant, high TOR activity suppresses TFAM, lowering mitochondrial bioenergetic activity and ...
Shrivani Sriskanthadevan‐Pirahas +4 more
wiley +1 more source
Peripheral lysosomes recruit PLEKHG3 to focal adhesions and restrain protrusion dynamics
FEBS Letters, EarlyView.Proximity‐dependent labeling at the LAMTOR complex revealed the Rho GEF PLEKHG3 as a lysosome‐proximal protein directing the study toward the influence of lysosome positioning on actin dynamics and cell motility. We show that PLEKHG3 colocalizes with lysosomes at focal adhesion sites and observe that forced peripheral dispersion of lysosomes hinders ...
Rainer Ettelt +8 more
wiley +1 more source
ComputationThis paper establishes a connection between control theory for partially observed discrete-event systems (DESs) and automated theorem proving (ATP) in the calculus of positively constructed formulas (PCFs).
Artem Davydov +2 more
doaj +1 more source