Results 11 to 20 of about 584,299 (345)

Refinement Types for Ruby

International Conference on Verification, Model Checking and Abstract Interpretation, 2017
Refinement types are a popular way to specify and reason about key program properties. In this paper, we introduce RTR, a new system that adds refinement types to Ruby.
Bourgerie, Austin, Foster, Jeffrey S., Kazerounian, Milod, Torlak, Emina, Vazou, Niki   +4 more
core   +2 more sources

Unifying Kitaev Magnets, Kagomé Dimer Models, and Ruby Rydberg Spin Liquids [PDF]

Physical Review X, 2022
The exploration of quantum spin liquids (QSLs) has been guided by different approaches including the resonating valence bond (RVB) picture, deconfined lattice gauge theories and the Kitaev model.
R. Verresen, A. Vishwanath
semanticscholar   +1 more source

The RUBY reporter enables efficient haploid identification in maize and tomato

Plant Biotechnology Journal, 2023
Summary In vivo haploid induction has been extended from maize to monocotyledonous plants like rice, wheat, millet and dicotyledonous plants such as tomato, rapeseed, tobacco and cabbage.
Dong Wang, Yu Zhong, Bin Feng, Xiaolong Qi, Tongzheng Yan, Jinchu Liu, Shuwei Guo, Yuwen Wang, Zongkai Liu, Dehe Cheng, Yuling Zhang, Yunlu Shi, Shuaisong Zhang, R.S. Pan, Chenxu Liu, Shaojiang Chen   +15 more
semanticscholar   +1 more source

Optimization of in vitro and ex vitro Agrobacterium rhizogenes-mediated hairy root transformation of soybean for visual screening of transformants using RUBY

Frontiers in Plant Science, 2023
In vitro and ex vitro Agrobacterium rhizogenes-mediated hairy root transformation (HRT) assays are key components of the plant biotechnology and functional genomics toolkit.
M. Niazian, F. Belzile, Shaun J. Curtin, M. de Ronne, D. Torkamaneh   +4 more
semanticscholar   +1 more source

Identification and validation of biomarkers of persistent acute kidney injury: the RUBY study

Intensive Care Medicine, 2020
Purpose The aim of the RUBY study was to evaluate novel candidate biomarkers to enable prediction of persistence of renal dysfunction as well as further understand potential mechanisms of kidney tissue damage and repair in acute kidney injury (AKI ...
E. Hoste, A. Bihorac, A. Al-Khafaji, L. Ortega, M. Ostermann, M. Haase, K. Zacharowski, R. Wunderink, Michael Heung, M. Lissauer, W. Self, J. Koyner, P. Honore, J. Prowle, M. Joannidis, L. Forni, J. P. Kampf, P. Mcpherson, J. Kellum, L. Chawla, Eric Azra Ali Luis M. Marlies Michael Kai Richard Micha Hoste Bihorac Al-Khafaji Ortega Ostermann Haase Za, E. Hoste, A. Bihorac, A. Al-Khafaji, L. Ortega, M. Ostermann, M. Haase, K. Zacharowski, R. Wunderink, Michael Heung, K. Gunnerson, M. Lissauer, D. Herr, W. Self, J. Koyner, P. Honore, J. Prowle, D. Davison, A. Artigas, M. Joannidis, R. Schroeder, S. Demirjian, L. Forni, L. Hodgson, S. Wilber, Jennifer A. Frey, I. Reilly, Jing Shi, J. P. Kampf, Thomas Kwan, P. Mcpherson, J. Kellum, L. Chawla   +52 more
semanticscholar   +1 more source

Timing of Syenite‐Charnockite Magmatism and Ruby and Sapphire Metamorphism in the Mogok Valley Region, Myanmar

Tectonics, 2020
The Mogok metamorphic belt (MMB) extends for over 1,000 km along central Burma from the Andaman Sea to the East Himalayan syntaxis and represents exhumed lower and middle crustal metamorphic rocks of the Sibumasu plate.
M. Searle, J. Garber, B. Hacker, K. Htun, N. Gardiner, D. Waters, L. Robb   +6 more
semanticscholar   +1 more source

Endovascular management of internal carotid artery pseudoaneurysms: Retrospective observational study

Interdisciplinary Neurosurgery, 2021
Pseudoaneurysms (PSAs) of the internal carotid artery (ICA) are caused by multiple etiological factors and can involve any segment. There are no clear guidelines to select treatment options in managing these cases.
Rajendra Chavan, Nasli Ichaporia, Sanjay Vhora, Kaustubh Aurangabadkar, Dhanesh Kamerkar, Suhas Hardas, Bhagwant Singh Ratta   +6 more
doaj   +1 more source

Ruby chocolate: A study of its phytochemical composition and quantitative comparison with dark, milk and white chocolate.

Food Chemistry, 2020
Ruby chocolate was introduced in 2017 as the fourth type of chocolate, in addition to white, milk and dark chocolate. However, until now not much is reported about its phytochemical composition.
E. Tuenter, M. Sakavitsi, Andrés Rivera-Mondragón, N. Hermans, K. Foubert, M. Halabalaki, L. Pieters   +6 more
semanticscholar   +1 more source

Primary aortoenteric fistula: A case report and brief review of the literature

Radiology Case Reports, 2021
Aortoenteric fistula is a life-threatening emergency and is associated with high morbidity and mortality. Prompt surgical intervention before the aneurysm ruptures lowers the mortality rate to about 50%.
Dhairya A. Lakhani, MD, Shantosh A. Sharma, MD, Haneen Kutayni, MD, Aneri B. Balar, MD, Gary Marano, MD, Daniel Martin, MD   +5 more
doaj   +1 more source

Environmental influence on the observed relaxation behaviour of two chromium systems [PDF]

, 1980
EPR recovery curves were measured for KCr alum and ruby with 2.7% chromium. A considerable influence of the heat transport properties of the bath is observed.
Blok, A. de, Flokstra, J., Gerritsma, G.J., Hartemink, G.A.   +3 more
core   +2 more sources