Search Results - "Monteiro, Pedro T."
-
1
PHYLOViZ: phylogenetic inference and data visualization for sequence based typing methods
Published in BMC bioinformatics (08-05-2012)“…With the decrease of DNA sequencing costs, sequence-based typing methods are rapidly becoming the gold standard for epidemiological surveillance. These methods…”
Get full text
Journal Article -
2
YEASTRACT+: a portal for cross-species comparative genomics of transcription regulation in yeasts
Published in Nucleic acids research (08-01-2020)“…Abstract The YEASTRACT+ information system (http://YEASTRACT-PLUS.org/) is a wide-scope tool for the analysis and prediction of transcription regulatory…”
Get full text
Journal Article -
3
YEASTRACT: an upgraded database for the analysis of transcription regulatory networks in Saccharomyces cerevisiae
Published in Nucleic acids research (04-01-2018)“…Abstract The YEAst Search for Transcriptional Regulators And Consensus Tracking (YEASTRACT-www.yeastract.com) information system has been, for 11 years, a key…”
Get full text
Journal Article -
4
Logical Modeling and Dynamical Analysis of Cellular Networks
Published in Frontiers in genetics (31-05-2016)“…The logical (or logic) formalism is increasingly used to model regulatory and signaling networks. Complementing these applications, several groups contributed…”
Get full text
Journal Article -
5
Logical Modeling and Analysis of Cellular Regulatory Networks With GINsim 3.0
Published in Frontiers in physiology (19-06-2018)“…The logical formalism is well adapted to model large cellular networks, in particular when detailed kinetic data are scarce. This tutorial focuses on this…”
Get full text
Journal Article -
6
The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks
Published in Frontiers in physiology (19-06-2018)“…Analysing models of biological networks typically relies on workflows in which different software tools with sensitive parameters are chained together, many…”
Get full text
Journal Article -
7
From a genome assembly to full regulatory network prediction: the case study of Rhodotorula toruloides putative Haa1-regulon
Published in BMC bioinformatics (10-08-2021)“…Abstract Numerous genomes are sequenced and made available to the community through the NCBI portal. However, and, unlike what happens for gene function…”
Get full text
Journal Article -
8
Estimating Attractor Reachability in Asynchronous Logical Models
Published in Frontiers in physiology (07-09-2018)“…Logical models are well-suited to capture salient dynamical properties of regulatory networks. For networks controlling cell fate decisions, cell fates are…”
Get full text
Journal Article -
9
Repairing Boolean logical models from time-series data using Answer Set Programming
Published in Algorithms for molecular biology (25-03-2019)“…Boolean models of biological signalling-regulatory networks are increasingly used to formally describe and understand complex biological processes. These…”
Get full text
Journal Article -
10
Not seeing the forest for the trees: size of the minimum spanning trees (MSTs) forest and branch significance in MST-based phylogenetic analysis
Published in PloS one (23-03-2015)“…Copyright: © 2015 Teixeira et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits…”
Get full text
Journal Article -
11
Room usage optimization in timetabling: A case study at Universidade de Lisboa
Published in Operations Research Perspectives (2019)“…This paper discusses the problem of room usage optimization for university timetables: given a timetable, we want to optimize the room occupation by…”
Get full text
Journal Article -
12
Model checking to assess T-helper cell plasticity
Published in Frontiers in bioengineering and biotechnology (28-01-2015)“…Computational modeling constitutes a crucial step toward the functional understanding of complex cellular networks. In particular, logical modeling has proven…”
Get full text
Journal Article -
13
EpiLog: A software for the logical modelling of epithelial dynamics [version 2; peer review: 3 approved]
Published in F1000 research (2018)“…Cellular responses are governed by regulatory networks subject to external signals from surrounding cells and to other micro-environmental cues. The logical…”
Get full text
Journal Article -
14
EpiLog: A software for the logical modelling of epithelial dynamics
Published in F1000 research (2018)“…Cellular responses are governed by regulatory networks subject to external signals from surrounding cells and to other micro-environmental cues. The logical…”
Get full text
Journal Article -
15
Boolean function metrics can assist modelers to check and choose logical rules
Published in Journal of theoretical biology (07-04-2022)“…•A framework of Boolean function metrics for logical modeling.•Truth density reveals different output patterns for various Boolean functions.•Commonly used…”
Get full text
Journal Article -
16
Transcriptome-wide differences between Saccharomyces cerevisiae and Saccharomyces cerevisiae var. boulardii: Clues on host survival and probiotic activity based on promoter sequence variability
Published in Genomics (San Diego, Calif.) (01-03-2021)“…Although Saccharomyces cerevisiae and S. cerevisiae var. boulardii share more than 95% genome sequence homology, only S. cerevisiae var. boulardii displays…”
Get full text
Journal Article -
17
Hybrid epithelial-mesenchymal phenotypes are controlled by microenvironmental factors
Published in Cancer research (Chicago, Ill.) (01-06-2020)“…Epithelial-to-mesenchymal transition (EMT) has been associated with cancer cell heterogeneity, plasticity, and metastasis. However, the extrinsic signals…”
Get full text
Journal Article -
18
On logical bifurcation diagrams
Published in Journal of theoretical biology (07-04-2019)“…Bifurcation theory provides a powerful framework to analyze the dynamics of differential systems as a function of specific parameters. Abou-Jaoudé et al…”
Get full text
Journal Article -
19
Introducing UniCorT: an iterative university course timetabling tool with MaxSAT
Published in Journal of scheduling (01-08-2022)“…This paper describes the UniCorT tool designed to solve uni versity co u r se t imetabling problems specifically tailored for the 2019 International…”
Get full text
Journal Article -
20
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks
Published in BMC bioinformatics (30-12-2009)“…The study of biological networks has led to the development of increasingly large and detailed models. Computer tools are essential for the simulation of the…”
Get full text
Journal Article