Browsing by Title
Now showing items 4389-4408 of 5783
-
A rule-based methodology for automated progress monitoring of construction activities: A case for masonry work
(International Council for Research and Innovation in Building and Construction, 2019)The conventional approach that is used to monitor construction projects is to collect progress data from the construction site through visual investigation. This results in deficient and sometimes erroneous data, and leads ... -
Rule-based rationalization of form: learning by computational making
(Springer Nature, 2020-07)Digital design and fabrication tools obtain constraints affecting creativity in conceptual design phase. There is a necessity to have a better understanding of issues related to the rationalization process of form, material ... -
Rumadai: A plug-in to record and replay client-side events of web sites with dynamic content
(IEEE, 2012)Reproducing user events when testing web pages is challenging because of the dynamic nature of the web content and potential dependency on third party content providers. We present Rumadai, a Visual Studio plug-in, that ... -
Rumonvil faciası
(1894-08) -
A run-time verification framework for smart grid applications implemented on simulation frameworks
(IEEE, 2013)Smart grid applications are implemented and tested with simulation frameworks as the developers usually do not have access to large sensor networks to be used as a test bed. The developers are forced to map the implementation ... -
Running of the top quark mass from proton-proton collisions at √s=13 TeV
(Elsevier, 2020-04-10)The running of the top quark mass is experimentally investigated for the first time. The mass of the top quark in the modified minimal subtraction ((MS) over bar) renormalization scheme is extracted from a comparison of ... -
Runtime specialization and autotuning of sparse matrix-vector multiplication
(2015-12)Runtime specialization is used for optimizing programs based on partial information available only at runtime. In this thesis, we present a purpose-built compiler to quickly specialize Sparse Matrix-Vector Multiplication ... -
Runtime verification of component-based embedded software
(Springer, 2011)To deal with increasing size and complexity, component-based software development has been employed in embedded systems. Due to several faults, components can make wrong assumptions about the working mode of the system and ... -
Runtime verification of internet of things using complex-event processing (RECEP)
(2018-06)Increase in the computing power and memory accompanied with decreasing architectural footprints has enabled conquering new frontiers in proliferation of technology in the next industry revolution. More autonomous systems ... -
Runtime verification of Iot systems using complex event processing
(IEEE, 2017)Internet of Things (IoT) is a new computing paradigm that is proliferated by wide adoption of application level protocols such as MQTT and CoAP, each of which defines different styles of sequential interaction of events. ... -
Rural gentrification of the ancient city of Assos (Behramkale) in Turkey
(Elsevier, 2021-10)Behramkale, also known as the ancient city of Assos, has gained considerable national and international visibility after its declaration as an Archaeological site in 1982 and later in 2000 as Urban Archaeological site. The ... -
Rüşvet
(1910-03) -
Rüya
(1924-11) -
Rüyadaki kadın
(1924-10) -
S-wave single heavy baryons with spin-3/2 at finite temperature
(Springer Nature, 2020-05-15)The thermal behavior of the spectroscopic parameters of the S-wave single heavy baryons Sigma Q,Xi Q and Omega Q with spin-3/2 are investigated in QCD at finite temperature. We analyze the variations of the mass and residue ... -
Saadet adası
(1924-03) -
Sabah tercümanı
(1899-11) -
Sabih
(1895-12) -
Sabiha
(1908-12) -
Sabir Efendi’nin gelini
(1920-06)
Share this page