A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Refinement Types for Ruby
[article]
2017
arXiv
pre-print
Preserved Fulltext
RTR is built on top of RDL, a Ruby type checker that provides basic type information for the verification process. ...
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. ...
Acknowledgements We thank Thomas Gilray and the anonymous reviewers for their feedback on earlier versions of this paper. ...
arXiv:1711.09281v1
fatcat:ddhv7ccfwfcmlbdrqjielpisqu
Page 241 of Journal of the American Ceramic Society Vol. 20, Issue 8
[page]
1937
Journal of the American Ceramic Society
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Se ruby is especially good for the production of pressed articles of various thicknesses, but Cu ruby can not be used. ...
Experiments showed that lime potassium glasses can not be used for Se ruby. ...
A Layer-based Approach to Hierarchical Dynamically-scoped Open Classes
2017
Journal of Information Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This work presents Extension Classes, a hierarchical approach for dynamically scoping such modifications in Ruby, built on top of ideas from Context-oriented Programming (COP). ...
They are typically used for bug fixing, multi-dimensional separation of concerns, or to modularly add new operations to an existing class. ...
This work focuses on dynamically-typed programming languages, but the main ideas could be applied to statically-typed languages if the type system is aware of method additions and method refinements. ...
doi:10.2197/ipsjjip.25.296
fatcat:achz46iuz5fx5embl5xjmicwce
Ruby spheres for aligning single-crystal diffractometers
1981
Acta Crystallographica Section A Foundations of Crystallography
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The error is worst for neutrondata but can also be important in the x-ray case. SCAN TYPE ON INTEGRATED INTENSITY. By. R.G. Hazell, F.K. Larsen, S. ...
Final R indices for crystals of mediQm to high quality are typically 0.03-0.06.
16.2-02 RUBY SPHERES FOR ALIGNING SINGLE-CRYSTAL DIFFRACTONETERS. By L.D. Calvert, E.J. Gabe andY. ...
doi:10.1107/s0108767381090272
fatcat:jxi3bsbgdrfh3nvvcnc7s3g4gi
Archetype Model-Driven Development Framework for EHR Web System
2013
Healthcare Informatics Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
From 2007, we have used the Ruby language and Ruby on Rails (RoR) as an agile development platform to implement EHR systems, which is in conformity with the openEHR specifications. ...
This article describes the Web application framework for Electronic Health Records (EHRs) we have developed to reduce construction costs for EHR sytems. ...
Financial support for this study was provided by JSPS Grant-in-Aid for Scientific Research (C) number 24590614. ...
doi:10.4258/hir.2013.19.4.271
pmid:24523991
pmcid:PMC3920039
fatcat:g7t7iey3prhsjnxj2pifarpfv4
Page 272 of Journal of the American Ceramic Society Vol. 18, Issue 11
[page]
1935
Journal of the American Ceramic Society
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
.— (1) By keeping red and orange selenium glasses at 1050°C for a longer time, intensively red crystals of 3 types, mainly the hexagonal type which is the separated compound pro- ducing the red coloring ...
The designer satisfied the following requirements: (1) handling from a central point by a single man; (2) all sand handled wet; (3) the most efficient furnaces obtainable for handling type of fuel and ...
Method shelters
2012
Proceedings of the 11th annual international conference on Aspect-oriented Software Development - AOSD '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
However, class extensions imply a risk that they supply different definitions for the same method and those definitions conflict with each other. ...
We implemented a prototype of the proposed module system in Ruby. This paper illustrates several examples of the use of method shelters and also shows the results of benchmarks on our prototype. ...
The code including runtime type checking is not needed.Serialization libraries for Ruby often use this technique. ...
doi:10.1145/2162049.2162065
dblp:conf/aosd/AkaiC12
fatcat:ee77ocmbafgrhospjgceoslzym
Call-trail Dependent Inline Caching for a Scoping Mechanism of Class Extensions
2018
Journal of Information Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We use fixed-length bitsets for representing the current call-trail and a method definition's unsealed package list. ...
For example, the Ruby programming language [2] provides open classes, a class extension mechanism, for modifying and adding methods to an existing class. ...
Benchmark on Ruby on Rails To examine the performance of our implementation under more realistic settings, we carried out benchmark with Ruby on Rails, a popular Ruby library for developing web applications ...
doi:10.2197/ipsjjip.26.327
fatcat:7toovyod4ncvdlhxsrx6yl6x6i
Rietveld refinement study of the pressure dependence of the internal structural parameteruin the wurtzite phase of ZnO
2005
Physical Review B
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
These possible mechanisms responsible for the wurtzite-torocksalt phase transition under high pressure are experimentally evaluated based on our results. ...
The corresponding Rietveld refinement for each pattern was carried out using GSAS package. 23 The refined internal structural parameter u in wurtzite phase is plotted in Fig. 2 as a function of pressure ...
Structural
type
B 0 ͑GPa͒
B 0 Ј
Pressure range
͑GPa͒
Pressure
marker
Pressure medium
Techniques
Reference
B4
135.3± 1.8
4 ͑fixed͒
0-11.7
Ruby
Helium
ADXRD/DAC
This work run No. 1 ...
doi:10.1103/physrevb.71.212103
fatcat:optxjmf4lfchpc2vf54yprhgmi
A high-chromium corundum (ruby) inclusion in diamond from the São Luiz alluvial mine, Brazil
1994
Mineralogical magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
A high-chromium corundum (ruby) inclusion in diamond from the Luiz alluvial mine, Brazil DIAMONDS from the S~.o Luiz alluvial deposit, Mato-Grosso state, Brazil, contain a varied assemblage of inclusions ...
Experimental The procedures for X-ray data collection and structure refinement are given in Ni et al. (1993) ; at the Department of Geology and Geophysics, University of Edinburgh. ...
The S~o Luiz corundum inclusion comes from a Type II diamond (one which contains no nitrogen, normally a common atomic component in diamond) with a variable ~C 13 (-11.56 to -15.21 against the PDB reference ...
doi:10.1180/minmag.1994.058.392.16
fatcat:savf4w5lqndjvcx4mucaiy2ew4
Effect of scan type on integrated intensity
1981
Acta Crystallographica Section A Foundations of Crystallography
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The error is worst for neutrondata but can also be important in the x-ray case. SCAN TYPE ON INTEGRATED INTENSITY. By. R.G. Hazell, F.K. Larsen, S. ...
Final R indices for crystals of mediQm to high quality are typically 0.03-0.06.
16.2-02 RUBY SPHERES FOR ALIGNING SINGLE-CRYSTAL DIFFRACTONETERS. By L.D. Calvert, E.J. Gabe andY. ...
doi:10.1107/s0108767381090259
fatcat:cwhssvgkjzdshoy3p7ha4v2clu
Feature-oriented programming with Ruby
2009
Proceedings of the First International Workshop on Feature-Oriented Software Development - FOSD '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Since we created a pure Ruby language extension, rbFeatures can be used with any existing programs and in any virtual machine implementing Ruby. ...
This paper introduces rbFeatures, an implementation of first-class features in the dynamic programming language Ruby. ...
Acknowledgements We thank Christian Kästner for his comments on an earlier draft of this paper. ...
doi:10.1145/1629716.1629721
dblp:conf/models/GuntherS09
fatcat:2wxai2ryqbgl7bjlol4pcc7nna
Concrete Partial Evaluation in Ruby
2008
2008 IEEE Fourth International Conference on eScience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Web frameworks, such as the popular Ruby on Rails framework, provide tools for producing and consuming REST APIs. , Ruby's dynamic-typing, open classes, and other metaprogramming abilities provide power ...
Even accounting for duplicate methods, the task is still daunting. Another wrinkle, illustrated in Figure 2 , is that the Ruby library is written in C, for performance. ...
doi:10.1109/escience.2008.141
dblp:conf/eScience/KeepC08
fatcat:xuxrtyehfbgtllw64atj5nvwcq
Synergy Effect of Combination of Fractional CO2 and Fractional Q-switched Ruby Laser Treatment for Skin Rejuvenation
2015
Medical Lasers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Conclusion The use of combined fractional CO 2 and fractional Q-switched ruby laser for treatment of photoaging showed successful results, including enhanced skin texture and removal of pigmentation. ...
Materials and Methods For combined laser therapy, the treatment included 3-4 treatment sessions with fractional CO 2 laser and 2-3 treatment sessions with fractional Q-switched ruby laser at 4-week intervals ...
This combination therapy, including the use of CO2 fractional laser and fractional Q-switched ruby laser, has been an effective treatment option for patients who want refinement of their pigmented skin ...
doi:10.25289/ml.2015.4.1.25
fatcat:mhu5ktn64baxjkcfdgiopdz7ai
Page 410 of Journal of the American Ceramic Society Vol. 20, Issue 12
[page]
1937
Journal of the American Ceramic Society
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
A A (11) 334. for ophthalmic types, > Sy we refining, and viscosity of, B (6) 17 and water solubility of, I1I-I1V, A 3) 85- 86; I-II, A (7) 201. — a durability of, standard test for, A ( ’ —— and physical ...
furnace for, A (7) 201.
copper ruby. See Glass, colored. ...
« Previous
Showing results 1 — 15 out of 11,882 results