Spelling suggestions: "subject:"boolean model"" "subject:"boolean godel""
1 |
Mathematical Models of the Inflammatory Response in the LungsMinucci, Sarah B 01 January 2017 (has links)
Inflammation in the lungs can occur for many reasons, from bacterial infections to stretch by mechanical ventilation. In this work we compare and contrast various mathematical models for lung injuries in the categories of acute infection, latent versus active infection, and particulate inhalation. We focus on systems of ordinary differential equations (ODEs), agent-based models (ABMs), and Boolean networks. Each type of model provides different insight into the immune response to damage in the lungs. This knowledge includes a better understanding of the complex dynamics of immune cells, proteins, and cytokines, recommendations for treatment with antibiotics, and a foundation for more well-informed experiments and clinical trials. In each chapter, we provide an in-depth analysis of one model and summaries of several others. In this way we gain a better understanding of the important aspects of modeling the immune response to lung injury and identify possible points for future research.
|
2 |
Mechanistic Modeling and Experiments on Cell Fate Specification in the Sea Urchin EmbryoCheng, Xianrui January 2012 (has links)
<p>During embryogenesis, a single zygote gives rise to a multicellular embryo with distinct spatial territories marked by differential gene expression. How is this patterning process organized? How robust is this function to perturbations? Experiments that examine normal and regulative development will provide direct evidence for reasoning out the answers to these fundamental questions. Recent advances in technology have led to experimental determinations of increasingly complex gene regulatory networks (GRNs) underlying embryonic development. These GRNs offer a window into systems level properties of the developmental process, but at the same time present the challenge of characterizing their behavior. A suitable modeling framework for developmental systems is needed to help gain insights into embryonic development. Such models should contain enough detail to capture features of interest to developmental biologists, while staying simple enough to be computationally tractable and amenable to conceptual analysis. Combining experiments with the complementary modeling framework, we can grasp a systems level understanding of the regulatory program not readily visible by focusing on individual genes or pathways. </p><p>This dissertation addresses both modeling and experimental challenges. First, we present the autonomous Boolean network modeling framework and show that it is a suitable approach for developmental regulatory systems. We show that important timing information associated with the regulatory interactions can be faithfully represented in autonomous Boolean models in which binary variables representing expression levels are updated in continuous time, and that such models can provide direct insight into features that are difficult to extract from ordinary differential equation (ODE) models. As an application, we model the experimentally well-studied network controlling fly body segmentation. The Boolean model successfully generates the patterns formed in normal and genetically perturbed fly embryos, permits the derivation of constraints on the time delay parameters, clarifies the logic associated with different ODE parameter sets, and provides a platform for studying connectivity and robustness in parameter space. By elucidating the role of regulatory time delays in pattern formation, the results suggest new types of experimental measurements in early embryonic development. We then use this framework to model the much more complicated sea urchin endomesoderm specification system and describe our recent progress on this long term effort. </p><p>Second, we present experimental results on developmental plasticity of the sea urchin embryo. The sea urchin embryo has the remarkable ability to replace surgically removed tissues by reprogramming the presumptive fate of remaining tissues, a process known as transfating, which in turn is a form of regulative development. We show that regulative development requires cellular competence, and that competence is lost early on but can be regained after further differentiation. We demonstrate that regulative replacement of missing tissues can induce distal germ layers to participate in reprogramming, leading to a complete re-patterning in the remainder of the embryo. To understand the molecular mechanism of cell fate reprogramming, we examined micromere depletion induced non-skeletogenic mesoderm (NSM) transfating. We found that the skeletogenic program was greatly temporally compressed in this case, and that akin to another NSM transfating case, the transfating cells went through a hybrid regulatory state where NSM and skeletogenic marker genes were co-expressed.</p> / Dissertation
|
3 |
The Modification of Boolean Models in Random Network AnalysisBussmann, Stephan 11 February 2022 (has links)
In this manuscript we perform a rigorous mathematical investigation of the behavior opportunistic network models exhibit when two major real-world problems are taken into account. The first problem considered is obstruction. Here we model the network using an obstructed Gilbert graph which is a classical Gilbert graph but where there exist zones where no nodes are allowed to be placed. We take a look at percolation properties of this model, that is we investigate random graph configurations for which a component of infinite size has strictly positive probability to be created. The second problem considered in this thesis is mobility. Of course mobility in and of itself is not a problem but a feature in any network that follows the store-carry-forward paradigm. However it can be problematic to properly handle in a mathematical model. In the past this has been done by modelling movement by a series of static network configurations. However, with this technique it can be difficult to get a grasp on some of the time sensitive properties of the network. In this work we introduce the time bounded cylinder model which enables an analysis over a complete timeframe. We provide normal approximations for important properties of the model, like its covered volume and the number of isolated nodes. As we are using rigorous mathematics to tackle problems which computer scientists working in the field of distributed systems are faced with, we bring the two fields closer together.
|
4 |
Integer Programming-based Methods for Computing Minimum Reaction Modifications of Metabolic Networks for Constraint Satisfaction / 代謝ネットワークの最小反応修正による制約充足のための整数計画法を用いた計算手法Lu, Wei 23 March 2015 (has links)
京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第19112号 / 情博第558号 / 新制||情||99(附属図書館) / 32063 / 京都大学大学院情報学研究科知能情報学専攻 / (主査)教授 阿久津 達也, 教授 岡部 寿男, 教授 鹿島 久嗣 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM
|
5 |
Understanding transcriptional regulation through computational analysis of single-cell transcriptomicsLim, Chee Yee January 2017 (has links)
Gene expression is tightly regulated by complex transcriptional regulatory mechanisms to achieve specific expression patterns, which are essential to facilitate important biological processes such as embryonic development. Dysregulation of gene expression can lead to diseases such as cancers. A better understanding of the transcriptional regulation will therefore not only advance the understanding of fundamental biological processes, but also provide mechanistic insights into diseases. The earlier versions of high-throughput expression profiling techniques were limited to measuring average gene expression across large pools of cells. In contrast, recent technological improvements have made it possible to perform expression profiling in single cells. Single-cell expression profiling is able to capture heterogeneity among single cells, which is not possible in conventional bulk expression profiling. In my PhD, I focus on developing new algorithms, as well as benchmarking and utilising existing algorithms to study the transcriptomes of various biological systems using single-cell expression data. I have developed two different single-cell specific network inference algorithms, BTR and SPVAR, which are based on two different formalisms, Boolean and autoregression frameworks respectively. BTR was shown to be useful for improving existing Boolean models with single-cell expression data, while SPVAR was shown to be a conservative predictor of gene interactions using pseudotime-ordered single-cell expression data. In addition, I have obtained novel biological insights by analysing single-cell RNAseq data from the epiblast stem cells reprogramming and the leukaemia systems. Three different driver genes, namely Esrrb, Klf2 and GY118F, were shown to drive reprogramming of epiblast stem cells via different reprogramming routes. As for the leukaemia system, FLT3-ITD and IDH1-R132H mutations were shown to interact with each other and potentially predispose some cells for developing acute myeloid leukaemia.
|
6 |
Modelagem lógica de senescência celular humana / Logic modeling of human cell senescenceFerreira, Cecilia Perobelli 12 December 2012 (has links)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / After the progressive telomere shortening in successive cell divisions, normal
somatic cells undergo a growth arrest called cellular senescence that occurs due to
incomplete DNA replication. Senescence can also be activated by various types of
stressful stimuli, including aberrant oncogenic signaling, oxidative stress and DNA
damage. Senescent cells have limited proliferative capacity and seems to play an
important role in tumorigenesis. They are also involved in the inflammation
associated with aging and cancer progression. The process of senescence vary
significantly between cells, but the different paths for the aging, however, converge to
p53 and pRB. The network simulation is based on the model proposed by Porath
using a Boolean model to represent the state of activation of genes involved,
including the p16-pRb and p53-p21 pathways. The simulation includes 23 nodes
representing the genes of the regulatory network where one of them represents the
activation of the senescent state as a result of network processing. Experiments with
human fibroblasts indicate that inactivation of both genes, p53 and pRB is necessary
to block senescence. The simulations confirms that these pathways are able to
trigger senescence independently. The simulation shows that pRb is essential to
maintain the senescent state even when p16 and p53 are switched off, but the
simultaneous inactivation of both p53 and pRB blocks senescence. In addition, the
simulation shows that inactivation of the p16-pRb pathway is not essential to
preserve the senescent state, however when p53-p21 pathway is inactivated, the
senescent state is preserved. / Após o progressivo encurtamento dos telômeros em sucessivas divisões
celulares, as células somáticas normais se submetidas a uma parada do
crescimento chamado senescência celular que ocorre devido à replicação
incompleta do DNA. A senescência também pode ser ativada por diversos tipos de
estímulos estressantes, incluindo sinalização oncogênica aberrante, estresse
oxidativo e danos ao DNA. Células senescentes têm capacidade proliferativa
limitada e parecem desempenhar um papel importante na tumorigênese. Elas
também estão envolvidas na inflamação associada com o envelhecimento e
progressão do câncer. As vias de senescência variam significativamente entre as
células, mas os caminhos diversos para a senescência, no entanto, convergem para
p53 e pRb. A simulação é baseada no modelo proposto por Porath usando um
modelo booleano para representar o estado de ativação dos genes envolvidos,
incluindo as vias p16-pRb e a p53-p21. A simulação inclui 23 nós representando os
genes da rede regulatória onde um deles representa o estado celular senescente
que pode assumir estados Verdadeiro ou Falso como resultado do processamento
de rede Experiências com fibroblastos humanos indicam que a inativação de ambos
os genes, p53 e pRb, é necessária para bloquear a senescência. As simulações
confirmam que essas vias são capazes de acionar a senescência
independentemente. A simulação mostra que pRb é essencial para a manutenção
do estado senescente mesmo se p16 e p53 forem desligados, no entanto a
inativação simultânea de ambos p53 e pRb bloqueia senescência. Além disso, a
simulação mostra que a inativação da via p16-pRb não é essencial para preservar o
estado senescente, no entanto, quando a via p53-p21 é inativada, o estado
senescente é preservado.
|
7 |
Statistical Analysis of Geolocation Fundamentals Using Stochastic GeometryO'Lone, Christopher Edward 22 January 2021 (has links)
The past two decades have seen a surge in the number of applications requiring precise positioning data. Modern cellular networks offer many services based on the user's location, such as emergency services (e.g., E911), and emerging wireless sensor networks are being used in applications spanning environmental monitoring, precision agriculture, warehouse and manufacturing logistics, and traffic monitoring, just to name a few. In these sensor networks in particular, obtaining precise positioning data of the sensors gives vital context to the measurements being reported. While the Global Positioning System (GPS) has traditionally been used to obtain this positioning data, the deployment locations of these cellular and sensor networks in GPS-constrained environments (e.g., cities, indoors, etc.), along with the need for reliable positioning, requires a localization scheme that does not rely solely on GPS. This has lead to localization being performed entirely by the network infrastructure itself, or by the network infrastructure aided, in part, by GPS.
In the literature, benchmarking localization performance in these networks has traditionally been done in a deterministic manner. That is, for a fixed setup of anchors (nodes with known location) and a target (a node with unknown location) a commonly used benchmark for localization error, such as the Cramer-Rao lower bound (CRLB), can be calculated for a given localization strategy, e.g., time-of-arrival (TOA), angle-of-arrival (AOA), etc. While this CRLB calculation provides excellent insight into expected localization performance, its traditional treatment as a deterministic value for a specific setup is limited.
Rather than trying to gain insight into a specific setup, network designers are more often interested in aggregate localization error statistics within the network as a whole. Questions such as: "What percentage of the time is localization error less than x meters in the network?" are commonplace. In order to answer these types of questions, network designers often turn to simulations; however, these come with many drawbacks, such as lengthy execution times and the inability to provide fundamental insights due to their inherent ``block box'' nature. Thus, this dissertation presents the first analytical solution with which to answer these questions. By leveraging tools from stochastic geometry, anchor positions and potential target positions can be modeled by Poisson point processes (PPPs). This allows for the CRLB of position error to be characterized over all setups of anchor positions and potential target positions realizable within the network. This leads to a distribution of the CRLB, which can completely characterize localization error experienced by a target within the network, and can consequently be used to answer questions regarding network-wide localization performance. The particular CRLB distribution derived in this dissertation is for fourth-generation (4G) and fifth-generation (5G) sub-6GHz networks employing a TOA localization strategy.
Recognizing the tremendous potential that stochastic geometry has in gaining new insight into localization, this dissertation continues by further exploring the union of these two fields. First, the concept of localizability, which is the probability that a mobile is able to obtain an unambiguous position estimate, is explored in a 5G, millimeter wave (mm-wave) framework. In this framework, unambiguous single-anchor localization is possible with either a line-of-sight (LOS) path between the anchor and mobile or, if blocked, then via at least two NLOS paths. Thus, for a single anchor-mobile pair in a 5G, mm-wave network, this dissertation derives the mobile's localizability over all environmental realizations this anchor-mobile pair is likely to experience in the network. This is done by: (1) utilizing the Boolean model from stochastic geometry, which statistically characterizes the random positions, sizes, and orientations of reflectors (e.g., buildings) in the environment, (2) considering the availability of first-order (i.e., single-bounce) reflections as well as the LOS path, and (3) considering the possibility that reflectors can either facilitate or block reflections. In addition to the derivation of the mobile's localizability, this analysis also reveals that unambiguous localization, via reflected NLOS signals exclusively, is a relatively small contributor to the mobile's overall localizability.
Lastly, using this first-order reflection framework developed under the Boolean model, this dissertation then statistically characterizes the NLOS bias present on range measurements. This NLOS bias is a common phenomenon that arises when trying to measure the distance between two nodes via the time delay of a transmitted signal. If the LOS path is blocked, then the extra distance that the signal must travel to the receiver, in excess of the LOS path, is termed the NLOS bias. Due to the random nature of the propagation environment, the NLOS bias is a random variable, and as such, its distribution is sought. As before, assuming NLOS propagation is due to first-order reflections, and that reflectors can either facilitate or block reflections, the distribution of the path length (i.e., absolute time delay) of the first-arriving multipath component (MPC) is derived. This result is then used to obtain the first NLOS bias distribution in the localization literature that is based on the absolute delay of the first-arriving MPC for outdoor time-of-flight (TOF) range measurements. This distribution is shown to match exceptionally well with commonly assumed gamma and exponential NLOS bias models in the literature, which were only attained previously through heuristic or indirect methods. Finally, the flexibility of this analytical framework is utilized by further deriving the angle-of-arrival (AOA) distribution of the first-arriving MPC at the mobile. This distribution gives novel insight into how environmental obstacles affect the AOA and also represents the first AOA distribution, of any kind, derived under the Boolean model.
In summary, this dissertation uses the analytical tools offered by stochastic geometry to gain new insights into localization metrics by performing analyses over the entire ensemble of infrastructure or environmental realizations that a target is likely to experience in a network. / Doctor of Philosophy / The past two decades have seen a surge in the number of applications requiring precise positioning data. Modern cellular networks offer many services based on the user's location, such as emergency services (e.g., E911), and emerging wireless sensor networks are being used in applications spanning environmental monitoring, precision agriculture, warehouse and manufacturing logistics, and traffic monitoring, just to name a few. In these sensor networks in particular, obtaining precise positioning data of the sensors gives vital context to the measurements being reported. While the Global Positioning System (GPS) has traditionally been used to obtain this positioning data, the deployment locations of these cellular and sensor networks in GPS-constrained environments (e.g., cities, indoors, etc.), along with the need for reliable positioning, requires a localization scheme that does not rely solely on GPS. This has lead to localization being performed entirely by the network infrastructure itself, or by the network infrastructure aided, in part, by GPS.
When speaking in terms of localization, the network infrastructure consists of what are called anchors, which are simply nodes (points) with a known location. These can be base stations, WiFi access points, or designated sensor nodes, depending on the network. In trying to determine the position of a target (i.e., a user, or a mobile), various measurements can be made between this target and the anchor nodes in close proximity. These measurements are typically distance (range) measurements or angle (bearing) measurements. Localization algorithms then process these measurements to obtain an estimate of the target position.
The performance of a given localization algorithm (i.e., estimator) is typically evaluated by examining the distance, in meters, between the position estimates it produces vs. the actual (true) target position. This is called the positioning error of the estimator. There are various benchmarks that bound the best (lowest) error that these algorithms can hope to achieve; however, these benchmarks depend on the particular setup of anchors and the target. The benchmark of localization error considered in this dissertation is the Cramer-Rao lower bound (CRLB). To determine how this benchmark of localization error behaves over the entire network, all of the various setups of anchors and the target that would arise in the network must be considered. Thus, this dissertation uses a field of statistics called stochastic geometry} to model all of these random placements of anchors and the target, which represent all the setups that can be experienced in the network. Under this model, the probability distribution of this localization error benchmark across the entirety of the network is then derived. This distribution allows network designers to examine localization performance in the network as a whole, rather than just for a specific setup, and allows one to obtain answers to questions such as: "What percentage of the time is localization error less than x meters in the network?"
Next, this dissertation examines a concept called localizability, which is the probability that a target can obtain a unique position estimate. Oftentimes localization algorithms can produce position estimates that congregate around different potential target positions, and thus, it is important to know when algorithms will produce estimates that congregate around a unique (single) potential target position; hence the importance of localizability. In fifth generation (5G), millimeter wave (mm-wave) networks, only one anchor is needed to produce a unique target position estimate if the line-of-sight (LOS) path between the anchor and the target is unimpeded. If the LOS path is impeded, then a unique target position can still be obtained if two or more non-line-of-sight (NLOS) paths are available. Thus, over all possible environmental realizations likely to be experienced in the network by this single anchor-mobile pair, this dissertation derives the mobile's localizability, or in this case, the probability the LOS path or at least two NLOS paths are available. This is done by utilizing another analytical tool from stochastic geometry known as the Boolean model, which statistically characterizes the random positions, sizes, and orientations of reflectors (e.g., buildings) in the environment. Under this model, considering the availability of first-order (i.e., single-bounce) reflections as well as the LOS path, and considering the possibility that reflectors can either facilitate or block reflections, the mobile's localizability is derived. This result reveals the roles that the LOS path and the NLOS paths play in obtaining a unique position estimate of the target.
Using this first-order reflection framework developed under the Boolean model, this dissertation then statistically characterizes the NLOS bias present on range measurements. This NLOS bias is a common phenomenon that arises when trying to measure the distance between two nodes via the time-of-flight (TOF) of a transmitted signal. If the LOS path is blocked, then the extra distance that the signal must travel to the receiver, in excess of the LOS path, is termed the NLOS bias. As before, assuming NLOS propagation is due to first-order reflections and that reflectors can either facilitate or block reflections, the distribution of the path length (i.e., absolute time delay) of the first-arriving multipath component (MPC) (or first-arriving ``reflection path'') is derived. This result is then used to obtain the first NLOS bias distribution in the localization literature that is based on the absolute delay of the first-arriving MPC for outdoor TOF range measurements. This distribution is shown to match exceptionally well with commonly assumed NLOS bias distributions in the literature, which were only attained previously through heuristic or indirect methods. Finally, the flexibility of this analytical framework is utilized by further deriving angle-of-arrival (AOA) distribution of the first-arriving MPC at the mobile. This distribution yields the probability that, for a specific angle, the first-arriving reflection path arrives at the mobile at this angle. This distribution gives novel insight into how environmental obstacles affect the AOA and also represents the first AOA distribution, of any kind, derived under the Boolean model.
In summary, this dissertation uses the analytical tools offered by stochastic geometry to gain new insights into localization metrics by performing analyses over all of the possible infrastructure or environmental realizations that a target is likely to experience in a network.
|
8 |
Unravelling Drug Resistance Mechanisms in Breast Cancervon der Heyde, Silvia 04 June 2015 (has links)
No description available.
|
9 |
Effective hyperelastic material parameters from microstructures constructed using the planar Boolean modelBrändel, Matthias 27 October 2023 (has links)
The effective behavior of composite materials is of great interest in materials science. The properties of such a material at the macroscale can be directly coupled to the properties of the material at the microscale. The random distribution of microscopic phases can be simulated using models of stochastic geometry.
Random, two-dimensional, two-phase microstructures were constructed by stochastic simulation using the planar Boolean model.
An extensive study was conducted to relate the effective hyperelastic material behavior to the stochastic parameters of the Boolean model and the physical parameters of the microstructure.
Well-known approaches to determine the size of the representative volume element were adapted for this context and their results were compared.
|
10 |
Vyhledávání informací v české Wikipedii / Information Retrieval in Czech WikipediaBalgar, Marek January 2011 (has links)
The main task of this Masters Thesis is to understand questions of information retrieval and text classifi cation. The main research is focused on the text data, the semantic dictionaries and especially the knowledges inferred from the Wikipedia. In this thesis is also described implementation of the querying system, which is based on achieved knowledges. Finally properties and possible improvements of the system are talked over.
|
Page generated in 0.0491 seconds