Using higher-order contracts to model session types ⋆ [PDF]
. Session types are used to describe and structure interactions between independent processes in distributed systems. Higher-order types are needed in order to properly structure delegation of responsibility between processes.
Giovanni Bernardi, Matthew Hennessy
core
Mixed causality graphs for continuous-time stationary processes
, 2023 In this paper, we introduce different concepts of Granger non-causality and contemporaneous uncorrelation for stationary continuous-time processes to model the different dependencies between the component series of multivariate time series models ...
Fasen-Hartmann, Vicky, Schenk, Lea
core
Computed tomographic evaluation of changes of the hip joint following juvenil pubic symphisiodesis (JPS) in dogs [PDF]
, 2013 Bu çalışmada JPS uygulanacak 8 köpeğin, operasyon öncesinde ve operasyondan 1, 3 ve 6 ay sonra kalça eklemleri bilgisayarlı tomografi ile görüntülenerek kalça ekleminde meydana gelen değişiklikler incelendi.
Yazıcı, M.Fatih
core
Liimanninkosken lehdon kasvillisuus [PDF]
, 1996 liitteit
Heinilehto, Marja-Leena, Leinonen, Pasi
core
Assessment of the energy efficiency estimation methods on induction motors considering real-time monitoring [PDF]
, 2018 Different methods have been developed to estimate the energy efficiency of induction motors. The accuracy of these methods vary with the load factor, the unbalanced voltage (UV) and harmonics.
Cabello Eras, Juan Jose +3 more
core
Hata türleri ve etkileri analizi (HTEA) ve üretim ve hizmet sektörü uygulamaları [PDF]
, 2002 ABSTRACT This thesis aims at proving via experimental studies that Fault Mode and Effects Analysis (FMEfA) which is a statistical process control method can be applied in services sector.. Information management plays an important role to reach real efficiency in enterprises.
openaire +1 more source
Pyrazolone-type compounds: synthesis and in silico assessment of antiviral potential against key viral proteins of SARS-CoV-2. [PDF]
RSC Adv, 2022 Branković J +7 more
europepmc +1 more source
Association of Organochlorine Pesticides With Genetic Markers of Endoplasmic Reticulum Stress in Type 2 Diabetes Mellitus: A Case-Control Study Among the North-Indian Population. [PDF]
Front Endocrinol (Lausanne), 2022 Tawar N +4 more
europepmc +1 more source
Bilgisayar veri günlükleri üzerine HTEA otomasyonu ve alternatif yöntemler ile çözüm yaklaşımları
, 2018 112
openaire +2 more sources
Metal-Organic Frameworks with Hexakis(4-carboxyphenyl)benzene: Extensions to Reticular Chemistry and Introducing Foldable Nets. [PDF]
J Am Chem Soc, 2020 Amombo Noa FM +8 more
europepmc +1 more source