Results 61 to 70 of about 1,142,282 (251)

Schrodinger representation for the polarized Gowdy model [PDF]

, 2006
The polarized ${\bf T}^3$ Gowdy model is, in a standard gauge, characterized by a point particle degree of freedom and a scalar field degree of freedom obeying a linear field equation on ${\bf R}\times{\bf S}^1$.
Torre, C. G.
core   +4 more sources

Adaptaquin is selectively toxic to glioma stem cells through disruption of iron and cholesterol metabolism

Molecular Oncology, EarlyView.
Adaptaquin selectively kills glioma stem cells while sparing differentiated brain cells. Transcriptomic and proteomic analyses show Adaptaquin disrupts iron and cholesterol homeostasis, with iron chelation amplifying cytotoxicity via cholesterol depletion, mitochondrial dysfunction, and elevated reactive oxygen species.
Adrien M. Vaquié, Davod R. Shah, Eliane E. S. Brechbühl, Michael McNicholas, Zhaoyang Xu, John H. Stockley, Laura Morcom, Diana Gold Diaz, Gemma C. Girdler, Rachel V. Seear, Gabriel Balmus, Rajiv R. Ratan, Harry Bulstrode, James A. Nathan, Manav Pathania, Kevin M. Brindle, David H. Rowitch   +16 more
wiley   +1 more source

On the Complexity of Equivalence and Minimisation for Q-weighted Automata [PDF]

Logical Methods in Computer Science, 2013
This paper is concerned with the computational complexity of equivalence and minimisation for automata with transition weights in the field Q of rational numbers.
Stefan Kiefer, Andrzej Murawski, Joel Ouaknine, Bjoern Wachter, James Worrell   +4 more
doaj   +1 more source

Limits on the 2.2-μm contrast ratio of the close-orbiting planet HD 189733b [PDF]

, 2017
We obtained 238 spectra of the close-orbiting extrasolar giant planet HD 189733b with resolution R∼ 15 000 during one night of observations with the Near-Infrared High-Resolution Spectrograph (NIRSPEC), at the Keck II Telescope.
Barman, Travis S., Barnes, J. R., Collier Cameron, A., Jones, H. R. A., Leigh, C. J., Pinfield, D. J., Prato, L., Segransan, D.   +7 more
core  

Extended Loop Quantum Gravity

, 2010
We discuss constraint structure of extended theories of gravitation (also known as f(R) theories) in the vacuum selfdual formulation introduced in ref.
Bojowald M, Borowiec A, Fatibene L, Fatibene L, Fatibene L, Fatibene L Francaviglia M, L Fatibene, M Ferraris, M Francaviglia, Olmo G J, Thiemann T   +10 more
core   +2 more sources

Transmission protocols for instruction streams [PDF]

, 2009
Threads as considered in thread algebra model behaviours to be controlled by some execution environment: upon each action performed by a thread, a reply from its execution environment -- which takes the action as an instruction to be processed ...
C. A. Middelburg, C. A. Middelburg, C. A. Middelburg, J. A. Bergstra, J. A. Bergstra, J. A. Bergstra   +5 more
core   +2 more sources

Feasibility of a ctDNA multigenic panel for non‐small‐cell lung cancer early detection and disease surveillance

Molecular Oncology, EarlyView.
Plasma‐based detection of actionable mutations is a promising approach in lung cancer management. Analysis of ctDNA with a multigene NGS panel identified TP53, KRAS, and EGFR as the most frequently altered, with TP53 and KRAS in treatment‐naïve patients and TP53 and EGFR in previously treated patients.
Giovanna Maria Stanfoca Casagrande, Marcela de Oliveira Silva, Mariana Bisarro dos Reis, Rodrigo de Oliveira Cavagna, Luciane Sussuchi, Icaro Alves Pinto, Natalia Zampieri Pontes, Rodrigo Sampaio Chiarantano, Flavio Augusto Ferreira da Silva, Pedro de Marchi, Letícia Ferro Leal, Rui M. Reis   +11 more
wiley   +1 more source

Vector Addition System Reversible Reachability Problem [PDF]

Logical Methods in Computer Science, 2013
The reachability problem for vector addition systems is a central problem of net theory. This problem is known to be decidable but the complexity is still unknown. Whereas the problem is EXPSPACE-hard, no elementary upper bounds complexity are known.
Jérôme Leroux
doaj   +1 more source

CDK11 inhibition induces cytoplasmic p21WAF1 splice variant by p53 stabilisation and SF3B1 inactivation

Molecular Oncology, EarlyView.
CDK11 inhibition stabilises the tumour suppressor p53 and triggers the production of an alternative p21WAF1 splice variant p21L, through the inactivation of the spliceosomal protein SF3B1. Unlike the canonical p21WAF1 protein, p21L is localised in the cytoplasm and has reduced cell cycle‐blocking activity.
Radovan Krejcir, Lukasz Arcimowicz, Lucia Martinkova, Vaclav Hrabal, Filip Zavadil Kokas, Tomas Henek, Martina Kucerikova, Ondrej Bonczek, Pavlina Zatloukalova, Lenka Hernychova, Philip J. Coates, Borivoj Vojtesek, David P. Lane   +12 more
wiley   +1 more source

A Type System For Call-By-Name Exceptions [PDF]

Logical Methods in Computer Science, 2009
We present an extension of System F with call-by-name exceptions. The type system is enriched with two syntactic constructs: a union type for programs whose execution may raise an exception at top level, and a corruption type for programs that may raise ...
Sylvain Lebresne
doaj   +1 more source