منابع مشابه
Modelling the Checkability of Reusable Code
An important aspect of reusing code is making sure it is used correctly. The easier it is to do this, the easier it is reuse the code with conndence. However techniques developed to do such checking, such as type systems, are not universally accepted because they are regarded as being too diicult to use or too restrictive. We believe a better understanding of \checkability" is important, and we...
متن کاملOn device abstractions for portable, reusable robot code
We seek to make robot programming more efficient by developing a standard abstract interface for robot hardware, based on familiar techniques from operating systems and network engineering. This paper describes the application of three well known abstractions, the character device model, the interface/driver model, and the client/server model to this purpose. These abstractions underlie Player/...
متن کاملthe respiratory exchange ratio is higher in older subjects, but is reduced by aerobic exercise training
متن کامل
he is one and there is naught but he (isfahani hatif on the summit of tarjiband)
the celebrated poem of ahmad hatif of isfahn, known in persian as the hatefâs tarjiband is studied in the present paper from a historical point of view to reveal the status of this poet in persian poetry, as well as its mystical content. first a short history of tarjiband as a poetic form is revised, then the sixteen poets who have written a mystical tarjiband are presented. all of these tarj...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Computational Science
سال: 2021
ISSN: ['2662-8457']
DOI: https://doi.org/10.1038/s43588-021-00109-9