The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 70 of Journal of Research and Practice in Information Technology Vol. 22, Issue 2
[page]
1990
Journal of Research and Practice in Information Technology
The paper by Rodriguez and Serrans discusses the problem of transformation from LOTOS processes to Galileo nets. ...
This now allows the behaviour of LOTOS specifications to be analysed in terms of these nets. ...
Why did Einstein's Programme supersede Lorentz's? (II)
1973
British Journal for the Philosophy of Science
upon by non-zero net forces. ...
Rather than adjusting the whole of physics to electrodynamics, he tried to alter electrodynamics so as to make it Galileo-covariant. ...
doi:10.1093/bjps/24.3.223
fatcat:4mytumclindsfermbkegthbpye
Model-Based Design of Dependable Systems: Limitations and Evolution of Analysis and Verification Approaches
2013
International Journal on Advances in Security
unpublished
This process is far from obvious and often hampered due to the limitations of the classical dependability analysis and verification approaches. ...
Different approaches have been adopted to analyse and verify the dependability of a system design. ...
CADP toolbox [113] transforms FIACRE models into LOTOS programs, which are handled by its underlying tools for validation via MC and simulation. ...
fatcat:fp6dfdxydrbjnaoa7k3p2fdtea
GERMPLASM EVALUATION FOR SALT TOLERANCE IN JAPONICA RICE
2020
The predominance of a specific tolerance mechanism over others depends on salt stress intensity (severity x duration) and plant developmental stage. ...
Plant responses to salt stress are complex depending on the combination of the activity of many metabolic pathways and of the several involved genes, and thus they are difficult to control and/or engineer ...
The cytoplasmic concentration of Na + can be controlled by sequestering it in the vacuole and/or by controlling its net fluxes from/into the cell. ...
doi:10.13130/pesenti-michele_phd2020-02-04
fatcat:46rbdx27qjcutdy5y7cpi2eyfu
Fascicolo completo / Complete issue
2018
systems, especially the period from 1864 to 1906, that is from the Yosemite Act to the first French law that was specifically devoted to the protection of landscape. ...
These proposals are characterised by varying degrees of specificity and may not always be articulated in operational terms, but they all spring from the same commitment to turn criticism into transformative ...
THE LANDSCAPE PROTECTION from decay or injury. The cost of maintenance shall, subject to the approval of Her Majesty's Treasury, be defrayed from moneys to be provided by Parliament. ...
doi:10.13138/2039-2362/2013
fatcat:wuekhdbsijaxrcogtjz5obu6wq
Climatology and classification of the optical and microphysical properties of aerosols using ground-based remote sensing techniques
2018
Finally, some of the aforementioned lidar products, along with lidar data from the EARLINET database are applied for the validation of satellite products. ...
Then, an extensive climatological analysis based on the aerosol optical and geometrical properties calculated from lidar and sunphotometer measurements of the station is performed. ...
Galileo Galilei
ΠΡΟΛΟΓΟΣ
Η διατριβή αυτή είναι αποτέλεσμα μιας πολύχρονης
προσπάθειας. ...
doi:10.26262/heal.auth.ir.302303
fatcat:wtm53lfyljde3ovi4ao76nzkum
L'un et le multiple. L'imparfait de l'indicatif en français : valeur en langue et usages en discours
2010
L'Information grammaticale
On one hand, situations seen from within, and thus without their boundaries, are typically events seen from nearby ; therefore, the viewer or conceptualizer is felt not to have the distance necessary to ...
the imparfait signals that the situation expressed is to be interpreted as actual, ongoing, in a mental space that is different from the base space, the space related to the speaker's here-and-now. ...
doi:10.3406/igram.2010.4122
fatcat:tcuwi4cdsndw5jwju757533c5a
LEA 7-2018: Full Issue
2019
combinazioni tra le lettere b p d q", Almanacco Letterario Bompiani 1962, numero dedicato a "Le applicazioni dei calcolatori elettronici alle scienze morali e alla letteratura", 186-187; online: <http://p-dpa. net ...
In Borchardt's analyses, Virgil in the Aeneid transforms a message coming from the past into a message for the future. ...
From Charlemagne to Frederick II of Hohenstaufen, emperors turned to the Roman tradition to legitimize their power. ...
doi:10.13128/lea-1824-484x-24515
fatcat:4h46kmw475dsvltoy34ifcenge
Vtrum equus albus sit equus annon, sive Graeco-Indo-Sinicae Philosophiae perscrutatio
2007
By contrast, artefacts don't come from other artefacts and to some extent the same applies even to life forms (e.g. a tree doesn't have to "come from" another tree, and a bush doesn't have to "come from ...
Hui Shi, from the fragments available, tended to conclude from the relativity of distinctions to perspective that there were no distinctions in reality. ...
doi:10.6092/unibo/amsdottorato/469
fatcat:byfplogvsngzhmopo5ig4su6dq