Results 11 to 20 of about 143,294 (307)
An Expressive Extension of TLC
BRICS Report Series, 1999 A temporal logic of causality (TLC) was introduced by Alur, Penczek<br />and Peled in [1]. It is basically a linear time temporal logic<br />interpreted over Mazurkiewicz traces which allows quantification over<br />causal chains. Through this device one can directly formulate causality<br />properties of distributed systems. In
Henriksen, Jesper G.
openaire +4 more sources
Journal of Pure and Applied Microbiology, 2023 This study aims to scrutinize the phenolic secondary metabolites in the polar peel decocture of Malus domestica var Maharaji via hyphenated techniques along with the study of the antibacterial, anti-candida, and tyrosinase inhibitory potential of ...
Ashfaq Ahmad Shah +5 more
doaj +1 more source
Comparison of the lipophilicity parameters of drospirenone and lynestrenol [PDF]
Farmacja Polska, 2022 The aim of this study was the chromatographic analysis of two steroid compounds; drospirenone and lynestrenol, representing the group of pro- and gestagens, respectively, and its application to determine the lipophilicity parameters of both these ...
Agnieszka Kusztal +2 more
doaj +1 more source
Validating and developing TLC-based fingerprinting for Curcuma longa L. [PDF]
, 2021 Context: Curcuma longa (turmeric) is extensively cultivated as spices and herbal medicines in tropical and sub-tropical countries. Geographical origin is known to significantly determine the quality of the herbs used and, consequently, the safety and ...
Kartini, Kartini +2 more
core
Turbocompound Power Unit Modelling for a Supercapacitor-Based Series Hybrid Vehicle Application
Energies, 2020 In this paper, starting from the measurements available for a 2000 cm3 turbocharged diesel engine, an analytical model of the turbocharger is proposed and validated.
Matteo Repetto +4 more
doaj +1 more source
Electrical-Loss Analysis of Power-Split Hybrid Electric Vehicles
Energies, 2017 The growing development of hybrid electric vehicles (HEVs) has seen the spread of architectures with transmission based on planetary gear train, realized thanks to two electric machines.
Andrea Bonfiglio +5 more
doaj +1 more source
Deriving verb-cluster variation in Dutch and German [PDF]
, 2016 The difference in West-Germanic V(erb)-clusters, right-branching (Dutch) and left-branching (German), follows from a difference in the acquisition of V-second.
van Kampen, N.J. +2 more
core +1 more source
Precedente, 2004 Durantes los días 18 y 19 de agosto de 2004 se realizó en la Universidad ICESI un foro sobre el Tratado de Libre Comercio con Estados Unidos y sus impactos sobre la normatividad jurídica colombiana.
Memoria Foro TLC con EEUU
doaj +1 more source
Grammar of binding in the languages of the world: Unity versus diversity [PDF]
, 2017 Cole, Hermon, and Yanti (2015) present a number of far-reaching conclusions about language universals on the basis of their study of the anaphoric systems of the Austronesian languages of Indonesia.
Emeriti TLC +2 more
core +1 more source
Improvement of Methods for Standardisation of Medicines Based on Aloe arborescens
Регуляторные исследования и экспертиза лекарственных средств, 2022 Much interest is taken in identification of Aloe arborescens Mill. medicines by a major class of bioactive compounds (anthracene derivatives), as well as in quantitative determination of the compounds belonging to the class, with the same unified method ...
A. V. Beketova +2 more
doaj +1 more source