5 hasil untuk "M. Cerna"
Menampilkan 1–5 · 1,02 detik · RSS
-
Artikel Jurnal
One is all you need: Second-order Unification without First-order Variables
We introduce a fragment of second-order unification, referred to as \emph{Second-Order Ground Unification (SOGU)}, with the following properties: (i) only one second-order variable is allowed, and (ii) first-order variables do not occur. We study an equational variant of SOGU where the signature…
-
Artikel Jurnal
Euclidean space perturbed by a constant vector field and its relation to a Zermelo navigation problem
In this work, the authors perturb the Euclidean plane with a constant vector field of the form W = (0, ε) with 0 ≤ ε < 1, which can be interpreted as wind currents affecting the movement of ships in a constant unidirectional way. It is observed that the resulting perturbed norm, called the…
-
Artikel Jurnal
Incidencia de las enfermedades foliares en los sistemas agroforestales de Yurimaguas, Perú
Un sistema agroforestal (SAF) se caracteriza por tener una diversidad de componentes como especies forestales maderables y no maderables, así como cultivos, pastos o un sistema de producción ganadera. Esta diversidad de componentes en el sistema reduce la intensidad de las enfermedades, por…
-
Artikel Jurnal
Comparison of semi-quantitative and visual assessment of early MRI signal evolution in acute ischaemic stroke
Background: The evaluation of DWI/FLAIR mismatch in ischaemic stroke patients with unknown, time from onset can determine the treatment strategy. This approach is based on, visual assessment and may be subject to insufficient inter-rater agreement. Objective: To compare the inter-rater agreement of…