Probabilistic program analysis for parallelizing compilers

Parallelizing compilers have difficulty analysing and optimising complex code. To address this, some analysis may be delayed until run-time, and techniques such as speculative execution used. Furthermore, to enhance performance, a feedback loop may be setup between the compile time and run-time analysis systems, as in iterative compilation. To extend this, it is proposed that the run-time analysis collects information about the values of variables not already determined, and estimates a probability measure for the sampled values. These measures may be used to guide optimisations in further analyses of the program. To address the problem of variables with measures as values, this paper also presents an outline of a novel combination of previous probabilistic denotational semantics models, applied to a simple imperative language.

Molecular basis for estrogen receptor alpha deficiency in BRCA1-linked breast cancer

Background BRCA1-mutant breast tumors are typically estrogen receptor alpha (ER alpha) negative, whereas most sporadic tumors express wild-type BRCA1 and are ER alpha positive. We examined a possible mechanism for the observed ER alpha-negative phenotype of BRCA1-mutant tumors.

Methods We used a breast cancer disease-specific microarray to identify transcripts that were differentially expressed between paraffin-embedded samples of 17 BRCA1-mutant and 14 sporadic breast tumors. We measured the mRNA levels of estrogen receptor 1 (ESR1) ( the gene encoding ER alpha), which was differentially expressed in the tumor samples, by quantitative polymerase chain reaction. Regulation of ESR1 mRNA and ER alpha protein expression was assessed in human breast cancer HCC1937 cells that were stably reconstituted with wild-type BRCA1 expression construct and in human breast cancer T47D and MCF-7 cells transiently transfected with BRCA1-specific short-interfering RNA ( siRNA). Chromatin immunoprecipitation assays were performed to determine if BRCA1 binds the ESR1 promoter and to identify other interacting proteins. Sensitivity to the antiestrogen drug fulvestrant was examined in T47D and MCF-7 cells transfected with BRCA1-specific siRNA. All statistical tests were two-sided.

Results Mean ESR1 gene expression was 5.4-fold lower in BRCA1-mutant tumors than in sporadic tumors ( 95% confidence interval [CI]=2.6-fold to 40.1-fold, P =.0019). The transcription factor Oct-1 recruited BRCA1 to the ESR1 promoter, and both BRCA1 and Oct-1 were required for ER alpha expression. BRCA1-depleted breast cancer cells expressing exogenous ER alpha were more sensitive to fulvestrant than BRCA1-depleted cells transfected with empty vector ( T47D cells, the mean concentration of fulvestrant that inhibited the growth of 40% of the cells [IC40] for empty vector versus ER alpha: > 10(-5) versus 8.0 x 10(-9) M [ 95% CI=3.1x10(-10) to 3.2 x 10(-6) M]; MCF-7 cells, mean IC40 for empty vector versus ER alpha : > 10(-5) versus 4.9 x 10(-8) M [ 95% CI=2.0 x 10(-9) to 3.9 x 10(-6) M]).

Conclusions BRCA1 alters the response of breast cancer cells to antiestrogen therapy by directly modulating ER alpha expression.

Artificial Intelligence and Cognitive Science

Editorial for 17th AICS Conference

Alien gosd in the new epics: Noah remythologised through the ancient astronaut hypothesis in Abel's Montagut's "La gesta d'Utnoa"

Modern scientific world-view has undermined traditional myths, the functional survival of which seems to depend today in the West on a positivist justification. This would place them in the field of real History, through their study and revitalization by pseudoscientific disciplines such as the Atlantis and the ancient astronaut hypotheses. These have inspired new epic poems in (regular) verse that combine classic and/or biblical myths with a (pseudo)scientific modern world-view. For example, the critical rewriting of Noah’s myth by using the ancient astronaut hypothesis as a fictional device to produce a contemporary kind of plausibility allowed Abel Montagut to renew epic poetry, updating it also by adopting science fiction chronotopes in order to structure his fictional construction and to generate a high ethical sense for our time. Thus, his Poemo de Utnoa (1993) / La gesta d’Utnoa (1996), which has become a major classic of the literature in Esperanto thanks to its original version in this language, is a landmark of both science fiction and neo-biblical epics. This poem is written from a secular and purely literary perspective.

Paul Karl Feyerabend Las proyecciones de la proliferación teórica en la relación ciencia-metafísica

La doctrina de la Proliferación teórica de Paul Karl Feyerabend ha sido interpretada por sus especialistas como un intento de salvaguardar el ideal del progreso científico. Aunque tales estudios hacen justicia, en parte, a la intencionalidad de nuestro filósofo no explicitan la crítica fundamental que implica para Feyerabend el pluralismo teórico. La proliferación teórica constituye en sí misma una reductio ad absurdum de los distintos intentos del positivismo lógico y del racionalismo crítico por definir la ciencia a expensas de lo metafísico. Este artículo presenta la proliferación teórica como una reivindicación del papel positivo que ocupa la metafísica en el quehacer científico. Se consigna la defensa que hace Feyerabend de la metafísica en cuanto que ésta constituye la posibilidad de superar el conservadurismo conceptual, aumentar de contenido empírico de la ciencia y recuperar el valor descriptivo de las teorías científicas.