Results 81 to 90 of about 133,366 (251)

A method for reliability detection of automated guided vehicle based on timed automata

Systems Science & Control Engineering, 2021
To ensure the normal operation of the automated guided vehicle, the system must pass the reliability test in the process of design and manufacturing. Unreliable events are small probability events, which is not easy to be detected by using experimental ...
Xuefeng Deng, Bingqian Zhou, Xinyi Sun, Hua Yang, Lingyu Chen   +4 more
doaj   +1 more source

MagmaFlow: A desktop platform for artificial intelligence‐driven expression analysis

FEBS Open Bio, EarlyView.
MagmaFlow is a free, no‐code platform for gene expression analysis. It generates interactive volcano plots, links genes to literature, pathways, and diseases, prioritizes candidates using millions of publications, identifies affected biological processes, builds network diagrams, and exports publication‐ready figures and reports for macOS and Windows ...
Carlos E. Buss, Ao Li, Eduardo H. Gilglioni, Mayank Bansal, Sumeet Pal Singh, Latifa Bakiri, Alessandra K. Cardozo, Esteban N. Gurzov   +7 more
wiley   +1 more source

Optimizing photoexcitation conditions for time‐resolved X‐ray solution scattering experiments

FEBS Open Bio, EarlyView.
Time‐resolved X‐ray solution scattering (TR‐XSS) is a powerful technique to visualize how proteins change their structure in real time after light activation. Selecting the right laser photoexcitation conditions—fluence, excitation geometry, and sample refresh rate—is critical to maximize the experimental signal while avoiding unwanted side effects ...
Matteo Levantino
wiley   +1 more source

Relational Concurrent Refinement: Timed Refinement [PDF]

, 2011
Data refinement in a state-based language such as Z is defined using a relational model in terms of the behaviour of abstract programs. Downward and upward simulation conditions form a sound and jointly complete methodology to verify relational data ...
Derrick, John, Eerke Boiten, Boiten, Eerke Albert, John Derrick, Boiten, Eerke   +4 more
core   +1 more source

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

Avidin is evolutionarily conserved in fish but dispensable for development and resistance against Streptococcus agalactiae in zebrafish

FEBS Open Bio, EarlyView.
The presence of biotin‐binding avidin proteins in fish and their biological significance are poorly characterized. We cataloged fish avidins and demonstrate that they are widely present and evolutionarily conserved. We created avd knockout zebrafish and show that zebavidin is dispensable for development and that resistance of avd knockout embryos in ...
Anni K. Saralahti, Markus J. T. Ojanen, Mataleena Parikka, Otto Kauko, Mika Rämet, Vesa P. Hytönen   +5 more
wiley   +1 more source

Type I interferons modulate autophagy to shape gemcitabine response in pancreatic cancer cells

FEBS Open Bio, EarlyView.
Type I interferons differentially modulate autophagy and the response of pancreatic cancer cells to gemcitabine. IFNα2b stimulates autophagic flux and protects cells from gemcitabine‐induced cell death, contributing to chemoresistance. In contrast, IFNβ1a inhibits autophagosome formation and enhances gemcitabine‐induced cell death, resulting in ...
Lucy E. Bonilla, Martín M. Ledesma, Santiago A. Behr, Matías A. Pibuel, María L. Palanek, Daniel H. Grasso, Maria N. Garcia, Juan Garona, Silvina L. Lompardía, Elida Álvarez, Daniela L. Papademetrio   +10 more
wiley   +1 more source

Testing real-time systems using TINA [PDF]

, 2009
The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying ...
Noureddine Adjir, Adjir, Noureddine, Saqui-Sannes, Pierre de, Rahmouni, Mustapha, Pierre De Saqui-Sannes, Kamel Mustapha Rahmouni   +5 more
core   +1 more source

Nested Timed Automata [PDF]

, 2013
This paper proposes a new timed model named nested timed automata (NeTAs). An NeTA is a pushdown system whose stack symbols are timed automata (TAs). It either behaves as the top TA in the stack, or switches from one TA to another by pushing, popping, or
Ogawa, Mizuhito, Yuen, Shoji, Li, Guoqiang, Cai, Xiaojuan   +3 more
core   +2 more sources

Self‐Regulated Learning Meets AI: Reinterpreting Self‐Regulation, Co‐Regulation, and Socially Shared Regulation in Human–AI Interaction

New Directions for Adult and Continuing Education, EarlyView.
ABSTRACT Advancing artificial intelligence (AI) has transformed learning and work, yet higher education and professional development programs have not systematically equipped learners for AI‐prevalent environments. This lack of preparation creates uncertainty regarding control, responsibility, trust, and accountability.
Moon‐Heum Cho, Jerusalem Merkebu
wiley   +1 more source