Results 41 to 50 of about 3,773,797 (206)
Journal on Interactive SystemsBackground: 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
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 +6 more
wiley +1 more source
IEEE AccessWe 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 +2 more
doaj +1 more source
Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults
, 2014 This paper discusses the error resilience of Zero-Suppressed Binary Decision Diagrams (ZDDs), which are a particular family of Ordered Binary Decision Diagrams used for representing and manipulating combination sets.
V. Ciriani +6 more
core +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 +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 +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 +2 more
doaj +1 more source
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 +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 +6 more
wiley +1 more source
Binary Decision Diagrams and Crisp Possibilistic Reconstructability Analysis [PDF]
, 2006 The paper discusses the application of Binary Decision Diagrams (BDDs) in the reconstructability analysis of crisp possibilistic systems. In particular, we show how BDDs can be used to represent set-theoretic relations and implement the three basic ...
Zwick, Martin, Mishchenko, Alan
core +2 more sources