Model-based diagnosis with default information implemented through MAX-SAT technology

Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-64881-7_3 ◽

2020 ◽

pp. 35-51

Author(s):

Bernhard K. Aichernig ◽

Christian Burghard

Keyword(s):

Formal Semantics ◽

Model Based ◽

Model Based Testing ◽

Max Sat

Download Full-text

Maximum likelihood model based on minor allele frequencies and weighted Max-SAT formulation for haplotype assembly

Journal of Theoretical Biology ◽

10.1016/j.jtbi.2014.01.036 ◽

2014 ◽

Vol 350 ◽

pp. 49-56 ◽

Cited By ~ 1

Author(s):

Sayyed R. Mousavi ◽

Ilnaz Khodadadi ◽

Hossein Falsafain ◽

Reza Nadimi ◽

Nasser Ghadiri

Keyword(s):

Maximum Likelihood ◽

Minor Allele ◽

Allele Frequencies ◽

Haplotype Assembly ◽

Model Based ◽

Likelihood Model ◽

Max Sat

Download Full-text

Representation, abstraction, and simple-minded sophisticates

Behavioral and Brain Sciences ◽

10.1017/s0140525x19002942 ◽

2020 ◽

Vol 43 ◽

Author(s):

Peter Dayan

Keyword(s):

Decision Theory ◽

Predictive Coding ◽

Bayesian Decision Theory ◽

Bayesian Decision ◽

Model Based ◽

Model Free

Abstract Bayesian decision theory provides a simple formal elucidation of some of the ways that representation and representational abstraction are involved with, and exploit, both prediction and its rather distant cousin, predictive coding. Both model-free and model-based methods are involved.

Download Full-text

Quantitative Model-Based Image Analysis of NuMa Distribution Links Nuclear Organization with Cell Phenotype

Microscopy and Microanalysis ◽

10.1017/s1431927600028968 ◽

2001 ◽

Vol 7 (S2) ◽

pp. 578-579

Author(s):

David W. Knowles ◽

Sophie A. Lelièvre ◽

Carlos Ortiz de Solόrzano ◽

Stephen J. Lockett ◽

Mina J. Bissell ◽

...

Keyword(s):

Image Analysis ◽

Mammary Epithelial Cells ◽

Nuclear Organization ◽

Critical Role ◽

Quantitative Model ◽

Mammary Epithelial ◽

Cell Phenotype ◽

Proliferating Cells ◽

Mitotic Apparatus ◽

Model Based

The extracellular matrix (ECM) plays a critical role in directing cell behaviour and morphogenesis by regulating gene expression and nuclear organization. Using non-malignant (S1) human mammary epithelial cells (HMECs), it was previously shown that ECM-induced morphogenesis is accompanied by the redistribution of nuclear mitotic apparatus (NuMA) protein from a diffuse pattern in proliferating cells, to a multi-focal pattern as HMECs growth arrested and completed morphogenesis . A process taking 10 to 14 days.To further investigate the link between NuMA distribution and the growth stage of HMECs, we have investigated the distribution of NuMA in non-malignant S1 cells and their malignant, T4, counter-part using a novel model-based image analysis technique. This technique, based on a multi-scale Gaussian blur analysis (Figure 1), quantifies the size of punctate features in an image. Cells were cultured in the presence and absence of a reconstituted basement membrane (rBM) and imaged in 3D using confocal microscopy, for fluorescently labeled monoclonal antibodies to NuMA (fαNuMA) and fluorescently labeled total DNA.

Download Full-text