Results 71 to 80 of about 756,391 (343)

Relational Concurrent Refinement: Timed Refinement [PDF]

, 2011
Data refinement in a state-based language such as Z is defined using a relational model in terms of the behaviour of abstract programs. Downward and upward simulation conditions form a sound and jointly complete methodology to verify relational data refinements, which can be checked on an event-by-event basis rather than per trace.
Derrick, John, Boiten, Eerke Albert
openaire   +1 more source

Deterministic Non-Autoregressive Neural Sequence Modeling by Iterative Refinement [PDF]

Conference on Empirical Methods in Natural Language Processing, 2018
We propose a conditional non-autoregressive neural sequence model based on iterative refinement. The proposed model is designed based on the principles of latent variable models and denoising autoencoders, and is generally applicable to any sequence ...
Jason Lee, Elman Mansimov, Kyunghyun Cho
semanticscholar   +1 more source

Time after time – circadian clocks through the lens of oscillator theory

FEBS Letters, EarlyView.
Oscillator theory bridges physics and circadian biology. Damped oscillators require external drivers, while limit cycles emerge from delayed feedback and nonlinearities. Coupling enables tissue‐level coherence, and entrainment aligns internal clocks with environmental cues.
Marta del Olmo, Carolin Ector, Hanspeter Herzel   +2 more
wiley   +1 more source

Discovery and refinement of loci associated with lipid levels

Nature Genetics, 2013
Levels of low-density lipoprotein (LDL) cholesterol, high-density lipoprotein (HDL) cholesterol, triglycerides and total cholesterol are heritable, modifiable risk factors for coronary artery disease.
Cristen J Ellen M Sebanti Gina M Stefan Stavroula Andrea J Willer Schmidt Sengupta Peloso Gustafsson Kanoni G, C. Willer, Ellen M. Schmidt, Sebanti Sengupta, G. Peloso, S. Gustafsson, S. Kanoni, A. Ganna, Jin Chen, Martin L. Buchkovich, S. Mora, J. Beckmann, J. Bragg-Gresham, Hsing-Yi Chang, A. Demirkan, H. D. den Hertog, R. Do, L. Donnelly, G. Ehret, T. Esko, M. Feitosa, T. Ferreira, K. Fischer, P. Fontanillas, Ross M. Fraser, D. Freitag, D. Gurdasani, K. Heikkilä, E. Hyppönen, A. Isaacs, A. Jackson, Å. Johansson, T. Johnson, M. Kaakinen, J. Kettunen, M. Kleber, Xiaohui Li, J. Luan, L. Lyytikäinen, P. Magnusson, M. Mangino, E. Mihailov, M. Montasser, M. Müller-Nurasyid, I. Nolte, J. O’Connell, Cameron D. Palmer, M. Perola, A. Petersen, S. Sanna, R. Saxena, S. Service, Sonia H. Shah, D. Shungin, C. Sidore, Ci Song, R. Strawbridge, I. Surakka, Toshiko Tanaka, T. Teslovich, G. Thorleifsson, E. G. van den Herik, B. Voight, K. Volcik, L. Waite, A. Wong, Ying Wu, Weihua Zhang, D. Absher, G. Asiki, I. Barroso, L. Been, J. Bolton, L. Bonnycastle, P. Brambilla, M. Burnett, G. Cesana, M. Dimitriou, A. Doney, A. Döring, P. Elliott, S. Epstein, G. Eyjolfsson, B. Gigante, M. Goodarzi, H. Grallert, Martha L. Gravito, C. Groves, G. Hallmans, A. Hartikainen, C. Hayward, D. Hernandez, A. Hicks, H. Hólm, Y. Hung, T. Illig, Michelle R Jones, P. Kaleebu, J. Kastelein, K. Khaw, Eric Kim, N. Klopp, P. Komulainen, M. Kumari, C. Langenberg, T. Lehtimäki, Shih-Yi Lin, J. Lindström, R. Loos, F. Mach, W. McArdle, C. Meisinger, B. Mitchell, Gabrielle Müller, R. Nagaraja, Narisu Narisu, T. Nieminen, R. Nsubuga, I. Olafsson, K. Ong, A. Palotie, T. Papamarkou, C. Pomilla, A. Pouta, D. Rader, M. Reilly, P. Ridker, F. Rivadeneira, I. Rudan, A. Ruokonen, N. Samani, H. Scharnagl, J. Seeley, K. Silander, A. Stančáková, K. Stirrups, A. Swift, L. Tiret, A. Uitterlinden, L. V. Van Pelt, S. Vedantam, N. Wainwright, C. Wijmenga, S. Wild, G. Willemsen, T. Wilsgaard, James F. Wilson, E. Young, J. Zhao, L. Adair, D. Arveiler, T. Assimes, S. Bandinelli, F. Bennett, M. Bochud, B. Boehm, D. Boomsma, I. Borecki, S. Bornstein, P. Bovet, M. Burnier, H. Campbell, A. Chakravarti, J. Chambers, Y. Chen, F. Collins, Richard S. Cooper, J. Danesh, G. Dedoussis, U. de Faire, A. Feranil, J. Ferrières, L. Ferrucci, N. Freimer, C. Gieger, L. Groop, V. Gudnason, U. Gyllensten, A. Hamsten, T. Harris, A. Hingorani, J. Hirschhorn, A. Hofman, G. K. Hovingh, C. Hsiung, S. Humphries, S. Hunt, K. Hveem, C. Iribarren, M. Järvelin, A. Jula, M. Kähönen, J. Kaprio, Antero Y. Kesäniemi, M. Kivimaki, J. Kooner, P. Koudstaal, R. Krauss, D. Kuh, J. Kuusisto, K. Kyvik, M. Laakso, T. Lakka, L. Lind, C. Lindgren, N. Martin, W. März, M. McCarthy, C. McKenzie, P. Meneton, A. Metspalu, L. Moilanen, A. Morris, P. Munroe, I. Njølstad, N. Pedersen, C. Power, P. Pramstaller, J. Price, B. Psaty, T. Quertermous, R. Rauramaa, D. Saleheen, V. Salomaa, D. Sanghera, J. Saramies, P. Schwarz, W. Sheu, A. Shuldiner, A. Siegbahn, T. Spector, K. Stefánsson, D. Strachan, B. Tayo, E. Tremoli, J. Tuomilehto, M. Uusitupa, C. V. van Duijn, P. Vollenweider, L. Wallentin, N. Wareham, J. Whitfield, B. Wolffenbuttel, J. Ordovás, E. Boerwinkle, Colin N. A. Palmer, U. Thorsteinsdóttir, D. Chasman, J. Rotter, P. Franks, S. Ripatti, L. Cupples, M. Sandhu, S. Rich, M. Boehnke, P. Deloukas, S. Kathiresan, K. Mohlke, E. Ingelsson, G. Abecasis   +259 more
semanticscholar   +1 more source

The newfound relationship between extrachromosomal DNAs and excised signal circles

FEBS Letters, EarlyView.
Extrachromosomal DNAs (ecDNAs) contribute to the progression of many human cancers. In addition, circular DNA by‐products of V(D)J recombination, excised signal circles (ESCs), have roles in cancer progression but have largely been overlooked. In this Review, we explore the roles of ecDNAs and ESCs in cancer development, and highlight why these ...
Dylan Casey, Zeqian Gao, Joan Boyes
wiley   +1 more source

In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS

FEBS Letters, EarlyView.
We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka, Yuxi Liu, Stefano Maggi, Debnath Ghosal, Jue Wang, Prashant P. Damke, Stephen D. Carter, Wei Zhao, Sukhithasri Vijayrajratnam, Joseph P. Vogel, Carrie L. Shaffer, Grant J. Jensen   +11 more
wiley   +1 more source

Genetic Conservation and Population Management of Non‐Human Primates: Parentage Determination Using Seven Microsatellite‐Based Multiplexes

Ecology and Evolution
Conservation of non‐human primates receives much attention, with nearly 350 of the more than 520 recorded primate species classified as threatened.
Natasja G. deGroot, Annemiek J. M. deVos‐Rouweler, Corrine M. C. Heijmans, Annet Louwerse, Jorg J. M. Massen, Jan A. M. Langermans, Ronald E. Bontrop, Jesse Bruijnesteijn   +7 more
doaj   +1 more source

Evaluating Behavioral Management Practices for Laboratory Nonhuman Primates: An International Survey

Animals
The largest survey to date of behavioral management practices among facilities breeding and housing nonhuman primates (NHPs) for research was conducted from 2019 to 2020.
Kate C. Baker, Fiona R. Sewell, Mark J. Prescott   +2 more
doaj   +1 more source

Aversion to Desflurane and Isoflurane in Sprague-Dawley Rats (Rattus norvegicus)

Animals, 2020
Carbon dioxide and isoflurane are widely used for killing rats, yet may not truly achieve “euthanasia”, because they elicit aversion. The inhalant anesthetic desflurane is faster acting than isoflurane, representing a potential refinement.
Katrina Frost, Maaria Shah, Vivian S.Y. Leung, Daniel S.J. Pang   +3 more
doaj   +1 more source

PICALM::MLLT10 translocated leukemia

FEBS Letters, EarlyView.
This comprehensive review of PICALM::MLLT10 translocated acute leukemia provides an in‐depth review of the structure and function of CALM, AF10, and the fusion oncoprotein (1). The multifaceted molecular mechanisms of oncogenesis, including nucleocytoplasmic shuttling (2), epigenetic modifications (3), and disruption of endocytosis (4), are then ...
John M. Cullen, Antonia C. Nakatsugawa, Natalie Barton, Henry Haines, Gary S. Stein, Janet L. Stein, Daniel S. Wechsler, Jessica L. Heath   +7 more
wiley   +1 more source