Results 21 to 30 of about 352,902 (309)
Tobacco Control, 1996 The town of Hyde Park, New York is the birth place of Franklin Delano Roosevelt and currently houses the Presidential library and museum in honour of the 32nd President of the United States. In an effort to honour the past President and to stimulate tourism, there has recently been discussion about changing the official town seal, a combination of the ...
M C, Caldwell, K A, Titsworth
openaire +2 more sources
, 2023 FDR-persistent identifiers sent together in same network connection (and so trivially linkable), plus whether Google Ad ID is sent in the same connection (so making it trivially linkable to the FDR-persistent identifiers).
Haoyu Liu (1918348) +2 more
core +1 more source
«Watching darkness fall»: notes on the Ukrainian edition of the book by David Mckean
Американська історія і політика, 2022 The following outline deals with the Ukrainian edition of the book «Watching Darkness Fall: FDR, His Ambassadors, and the Rise of Adolf Hitler» by the attorney, political adviser, and former American ambassador to Luxembourg David MacKean (translated ...
Mariia Kravchenko
doaj +1 more source
Seven-Rod Dielectric Sensor for Determination of Soil Moisture in Small Volumes
Proceedings, 2020 The paper presents the performance of a seven-rod dielectric probe for determination of soil dielectric permittivity using FEM simulations as well as FDR and TDR measurements.
Justyna Szerement +6 more
doaj +1 more source
Analysis of the Financial Performance of Bank Mandiri Syariah in Indonesia [PDF]
SHS Web of Conferences, 2022 This study aims to examine the performance of a banking financial institution, namely Banco Mandiri Syariah in Indonesia, because the bank's financial performance reflects the health and reliability of the bank's relationship.
Subaida, Hidayat Rachmad
doaj +1 more source
Recent Developments in FDR [PDF]
, 2012 We describe and report upon various substantial extensions of the CSP refinement checker FDR including (i) the direct ability to handle real-time processes; (ii) the incorporation of bounded model checking technology; (iii) the development of conservative and highly efficient static analysis algorithms for guaranteeing livelock-freedom; and (iv) the ...
Philip J. Armstrong +6 more
openaire +3 more sources
The Effect of Soil Salinity on Accuracy of Soil Moisture Sensors
Guan'gai paishui xuebao, 2023 【Objective】 Soil moisture sensors have been increasingly used in different fields to measure soil water content at high temporal resolution, but its reliability depends on many factors.
HU Huiling +6 more
doaj +1 more source
Automatically Generating CSP Models for Communicating Haskell Processes [PDF]
, 2009 Tools such as FDR can check whether a CSP model of an implementation is a refinement of a given CSP specification. We present a technique for generating such CSP models of Haskell implementations that use the Communicating Haskell Processes library.
Brown, Neil C.C.
core +1 more source
fstanek/imp-x-fdr: IMP-X-FDR v1.2.3 official
, 2022 https://doi.org/10.1101/2021.10.21 ...
fstanek, manuelm92
core +1 more source
Arts, 2020 As early as the first months after the Second World War had ended, newly founded Jewish communities were beginning to form in Germany. These communities were established further in the years to follow, in the course of which new synagogues and community ...
Alexandra Klei
doaj +1 more source