Results 41 to 50 of about 11,440 (300)

Deciphering transcriptional plasticity in pancreatic ductal adenocarcinoma reveals alterations in sensory neuron innervation

Molecular Oncology, EarlyView.
Pancreatic sensory neurons innervating healthy and PDAC tissue were retrogradely labeled and profiled by single‐cell RNA sequencing. Tumor‐associated innervation showed a dominant neurofilament‐positive subtype, altered mitochondrial gene signatures, and reduced non‐peptidergic neurons.
Elena Genova, Michele Montrone, Uday Rangaswamy, Francesco Diversi, Irene Schiavo, Denise Ferrarini, Roberta Di Florio, Irene Longo, Michele Coscia, Nicola Zamboni, Giorgia Demontis, Lisa Veghini, Vincenzo Corbo, Remo Sanges, Paul Heppenstall   +14 more
wiley   +1 more source

An overview of existing modeling tools making use of model checking in the analysis of biochemical networks

Frontiers in Plant Science, 2012
Model checking is a well-established technique for automaticallyverifying complex systems. Recently, model checkers have appearedin computer tools for the analysis of biochemical (and generegulatory) networks.
Miguel eCarrillo, Pedro A. eGóngora, David A. Rosenblueth   +2 more
doaj   +1 more source

Survey of machine learning methods for detecting false data injection attacks in power systems

IET Smart Grid, 2020
Over the last decade, the number of cyber attacks targeting power systems and causing physical and economic damages has increased rapidly. Among them, false data injection attacks (FDIAs) are a class of cyber-attacks against power grid monitoring systems.
Ali Sayghe, Yaodan Hu, Yaodan Hu, Ioannis Zografopoulos, XiaoRui Liu, Raj Gautam Dutta, Yier Jin, Charalambos Konstantinou   +7 more
doaj   +1 more source

Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
When treating Markov decision processes (MDPs) with large state spaces, using explicit representations quickly becomes unfeasible. Lately, Wimmer et al. have proposed a so-called symblicit algorithm for the synthesis of optimal strategies in MDPs, in the
Aaron Bohy, Véronique Bruyère, Jean-François Raskin   +2 more
doaj   +1 more source

Interpreting the effects of DNA polymerase variants at the structural level

Molecular Oncology, EarlyView.
Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi, Karolina Krzesińska, Ludovica Beltrame, Pablo Sánchez‐Izquierdo Besora, Matteo Tiberti, Mef Nilbert, Anna Rohlin, Elena Papaleo   +7 more
wiley   +1 more source

Patient therapy outcome modeling in cancer organoids is improved by cancer‐associated fibroblasts and organoid assembly convolution

Molecular Oncology, EarlyView.
Patient‐derived organoids (PDOs) from pancreatic, colorectal, and gastric cancers were used to evaluate standard and experimental therapies. Incorporating cancer‐associated fibroblasts (CAFs) into organoid cultures improved patient therapy outcome prediction.
Marcin Grochowski, Liudmyla Dolinchuk, Michał Jerzak, Albert Gandurski, Tomasz Grochowski, Weronika Wojtyś, Maciej Zadrożny, Wojciech Kaźmierczak, Małgorzata Lenarcik, Marta Matejak‐Górska, Radosław Samsel, Tomasz Olesiński, Dawid Walerych   +12 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   +1 more source

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

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