Results 71 to 80 of about 9,778 (268)
Verification of on-demand medical device networks
We propose a novel method for the automated formal analysis of on-demand medical device networks communicating via an open communication protocol. The resulting toolbox aims at assisting operators of cross-vendor medical device networks in the complex ...
Dingler Max, Dietz Christian, Lüth Tim
doaj +1 more source
On structure of isomorphisms of universal graphic automata [PDF]
Automata theory is one of the branches of mathematical cybernetics, that studies information transducers that arise in many applied problems. The major objective of automata theory is to develop methods by which one can describe and analyze the dynamic ...
Molchanov, Vladimir Aleksandrovich +1 more
doaj +1 more source
RoundMi: A quantitative method to analyze mitochondrial morphology in mitotic cells
RoundMi is a workflow for rapid analysis of mitochondrial morphology in mitotic cells. By combining adaptive preprocessing with automated segmentation and quantification, it enables accurate measurements from single focal plane images, reducing acquisition time and computational demands while remaining compatible with high‐throughput fixed and live ...
Elmira Parvindokht Bararpour +2 more
wiley +1 more source
MagmaFlow: A desktop platform for artificial intelligence‐driven expression analysis
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 +7 more
wiley +1 more source
Optimizing photoexcitation conditions for time‐resolved X‐ray solution scattering experiments
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
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 +13 more
wiley +1 more source
Uncertain Automata and Uncertain Graph Grammar [PDF]
Graph theory has been widely studied, resulting in numerous applications across various felds. Among its many topics, Automata and Graph Grammar have emerged as signifcant areas ofresearch.
Florentin Smarandache, Takaaki Fujita
doaj +1 more source
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 +5 more
wiley +1 more source
Complete Subhedge Projection for Stepwise Hedge Automata
We demonstrate how to evaluate stepwise hedge automata (Shas) with subhedge projection while completely projecting irrelevant subhedges. Since this requires passing finite state information top-down, we introduce the notion of downward stepwise hedge ...
Antonio Al Serhali, Joachim Niehren
doaj +1 more source
ABSTRACT This article examines the evolving role of organizational leadership amidst the rapid advancements in artificial intelligence (AI). It explores a broadly experienced and documented crisis in leadership, due in part to the disruptive nature of AI and emerging technology.
Rachel Wlodarsky, Davin Carr Chellman
wiley +1 more source

