Results 41 to 50 of about 9,378 (263)
Molecular Oncology, EarlyView.Interferon type 1 (IFN‐1) production and signaling is associated with the acquisition of therapy resistance, following chronic DNA damage, via Interferon‐related DNA damage resistance signature (IRDS) gene expression. An alternative, DNA damage‐independent role of sustained IFN‐1 mediated resistance was identified and characterized by the emergence of ...
Ashlyn Conant +11 more
wiley +1 more source
CEACAM1 participation in breast cancer progression
Molecular Oncology, EarlyView.In invasive breast cancer (BC), CEACAM1 shifts from an apical to a uniform membranous/cytoplasmic pattern, or is lost, as tumors dedifferentiate, inversely tracking the Ki‐67 proliferative index. In MCF‐7 cells, only CEACAM1‐4L suppresses proliferation, repressing cell cycle and growth factor genes.
Mykola Lyndin +3 more
wiley +1 more source
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
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
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
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 +4 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
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