Soft-Sensor for Class Prediction of the Percentage of Pentanes in Butane at a Debutanizer Column
Sensors, 2021 Refineries are complex industrial systems that transform crude oil into more valuable subproducts. Due to the advances in sensors, easily measurable variables are continuously monitored and several data-driven soft-sensors are proposed to control the ...
Iratxe Niño-Adan +4 more
doaj +1 more source
A proof of strong normalisation using domain theory [PDF]
, 2006 Ulrich Berger presented a powerful proof of strong normalisation using domains, in particular it simplifies significantly Tait's proof of strong normalisation of Spector's bar recursion.
Arnaud Spiwack +2 more
core +12 more sources
Ostalgia in Czech Films about Normalisation Created Post-1989
Humanities, 2018 This piece will introduce Czech ostalgic films set in the normalisation period (1969⁻1989) and will interpret the basic divide between nostalgic representation of the period and the openly anti-communist stances of the films’ creators.
Luboš Ptáček
doaj +1 more source
Diversifying the use of Russian as a world language
Journal of Applied Linguistics and Lexicography, 2022 Russian is a language widely spoken worldwide. While it is one of the official languages of the United Nations, it is still predominantly spoken in Russia and the countries of the former Soviet Union, although about 30 million speakers abroad have a ...
Екатерина Протасова +1 more
doaj +1 more source
Uniform Proofs of Normalisation and Approximation for Intersection Types
, 2015 We present intersection type systems in the style of sequent calculus, modifying the systems that Valentini introduced to prove normalisation properties without using the reducibility method.
Kikuchi, Kentaro
core +2 more sources
On the consistency of neutron-star radius measurements from thermonuclear bursts [PDF]
, 2012 The radius of neutron stars can in principle be measured via the normalisation of a blackbody fitted to the X-ray spectrum during thermonuclear (type-I) X-ray bursts, although few previous studies have addressed the reliability of such measurements. Here
Duncan K. Galloway +20 more
core +1 more source
A Theory of Explicit Substitutions with Safe and Full Composition
, 2009 Many different systems with explicit substitutions have been proposed to implement a large class of higher-order languages. Motivations and challenges that guided the development of such calculi in functional frameworks are surveyed in the first part of ...
Delia Kesner +4 more
core +2 more sources
The analysis of the quality of the results obtained with the methods of multi‐criteria decisions
Technological and Economic Development of Economy, 2009 For many decades we have been dealing with problems of multi‐criteria decisions. Numerous methods have been developed in this field and new methods are continuously being created.
Friedel Peldschus
doaj +1 more source
Education Reform and the Normalisation of Private Education in Slovenia
Center for Educational Policy Studies Journal, 2021 This article examines the long-term effects of the regulation of private education adopted in the course of the education reform in 1996 and the sustainability of the guiding principles that served as the starting point for this regulation.
Marjan Šimenc
doaj +1 more source
Colour normalisation to reduce inter-patient and intra-patient variability in microaneurysm detection in colour retinal images [PDF]
, 2005 Images of the human retina vary considerably in their appearance depending on the skin pigmentation (amount of melanin) of the subject. Some form of normalisation of colour in retinal images is required for automated analysis of images if good ...
Cornforth, D.J. +2 more
core