Results 51 to 60 of about 3,612,733 (245)

Automated FRAP microscopy for high‐throughput analysis of protein dynamics in chromatin organization and transcription

FEBS Open Bio, EarlyView.
RoboMic is an automated confocal microscopy pipeline for high‐throughput functional imaging in living cells. Demonstrated with fluorescence recovery after photobleaching (FRAP), it integrates AI‐driven nuclear segmentation, ROI selection, bleaching, and analysis.
Selçuk Yavuz, Bart Geverts, Johan A. Slotman, Andrea Sacchetti, Stefan Prekovic, Martin E. van Royen, Adriaan B. Houtsmuller   +6 more
wiley   +1 more source

Interactively Converting Ladder Diagrams into Grafcet Diagrams on a Robotic Neutralization System Case Study

Journal on Interactive Systems
Background: Programmable Logic Controllers (PLCs) are widely used to implement automation systems based on sequential control. For such systems, Ladder and Grafcet diagrams are standardized, respectively used as programming and specification formalisms.
Paulo André Sperandio Giacomin
doaj   +1 more source

A parallel algorithm for constructing binary decision diagrams [PDF]

Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2002
A parallel algorithm for constructing binary decision diagrams is described. The algorithms treats binary decision graphs as minimal finite automata. The automation for a Boolean function with AND as its main operation (OR operation) is obtained by forming the intersection (union) of the regular sets associated with its operands.
Shinji Kimura, Edmund M. Clarke
openaire   +2 more sources

Analysing the significance of small conformational changes and low occupancy states in serial crystallographic data

FEBS Open Bio, EarlyView.
This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill, Yelyzaveta Pulnova, Elke De Zitter, Helen M. Ginn, Briony A. Yorke   +4 more
wiley   +1 more source

Efficient Enumeration of d-Minimal Paths Under Capacity Constraints: A Zero-Suppressed Decision Diagram Approach

IEEE Access
We study the enumeration of all d-minimal paths in a multistate two-terminal network, where each arc has a specific capacity limit. Classical approaches based on generating functions or incremental enumeration tend to suffer from severe combinatorial ...
Yasser Lamalem, Soufiane Hamida, Khalid Housni   +2 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

Symbolic vs. Bounded Synthesis for Petri Games [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
Petri games are a multiplayer game model for the automatic synthesis of distributed systems. We compare two fundamentally different approaches for solving Petri games. The symbolic approach decides the existence of a winning strategy via a reduction to a
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog   +3 more
doaj   +1 more source

Storing Set Families More Compactly with Top ZDDs

Algorithms, 2021
Zero-suppressed Binary Decision Diagrams (ZDDs) are data structures for representing set families in a compressed form. With ZDDs, many valuable operations on set families can be done in time polynomial in ZDD size.
Kotaro Matsuda, Shuhei Denzumi, Kunihiko Sadakane   +2 more
doaj   +1 more source

Exploring the influence of lactoferrin on wound healing and related signaling pathways: a systematic review

FEBS Open Bio, EarlyView.
Lactoferrin promotes wound healing by activating MAPK, PI3K/Akt, and extracellular matrix pathways, enhancing fibroblast remodeling, proliferation, and re‐epithelialization. These mechanisms highlight its therapeutic potential in inflammation control, tissue repair, and remodeling.
Morgana Lüdtke Azevedo, Kátia Cristiane Hall, Matheus dos Santos Fernandez, Geovanna Peter Corrêa, Rafael Guerra Lund   +4 more
wiley   +1 more source

Evolution‐guided yeast complementation reveals functional differences in human PSPH variants

FEBS Open Bio, EarlyView.
Ancient genomes can help guide which human genetic variants are tested experimentally. This study applies that idea to PSPH, a gene involved in serine biosynthesis, and uses high‐throughput yeast complementation to compare variant function. The findings reveal measurable differences among selected alleles and illustrate the value of evolution‐guided ...
Mauricio Campa‐Álvarez, Diana Ascencio, Miguel Vallebueno‐Estrada, Eduardo González‐Orozco, Christian Eduardo Martínez‐Guerrero, Rafael Montiel, Alexander DeLuna   +6 more
wiley   +1 more source