Browsing Faculty of Engineering by Title
Now showing items 2261-2280 of 3117
-
RoCoCo: row and column compression for high-performance multiplication on FPGAs
(IEEE, 2011)Multiplication is, in no doubt, one of the top few frequently used operations in hardware and software. In high-performance hardware design, after high-level optimizations are exhausted, component level optimizations are ... -
Rounding heuristics for multiple product dynamic lot-sizing in the presence of queueing behavior
(Elsevier, 2018-12)We present heuristics for solving a difficult nonlinear integer programming (NIP) model arising from a multi-item single machine dynamic lot-sizing problem. The heuristic obtains a local optimum for the continuous relaxation ... -
Routing-aware partitioning of the internet address space for server ranking in CDNs
(Elsevier, 2017-07)The goal of Content Delivery Networks (CDNs) is to serve content to end-users with high performance. In order to do that, a CDN measures the latency on the paths from its servers to users and then selects a best available ... -
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 ... -
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 ... -
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 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 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. ... -
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 ... -
Safety performance functions for Two-Lane urban arterial segments
(Elsevier, 2023-11)This paper presents the calibration and development process of the safety performance function for the undivided two-lane urban and suburban arterial segments in New Jersey. Data requirements, the availability of required ... -
Safety test setup installation for e-bike battery systems
(IEEE, 2022)Recently, battery project studies have been increasing worldwide. Companies carrying out these projects must have their products checked for design safety and must obtain test approval reports in order to release their ... -
Sampling-free variational inference of bayesian neural networks by variance backpropagation
(ML Research Press, 2020)We propose a new Bayesian Neural Net formulation that affords variational inference for which the evidence lower bound is analytically tractable subject to a tight approximation. We achieve this tractability by (i) decomposing ... -
Sampling-free variational inference of Bayesian neural networks by variance backpropagation
(Association For Uncertainty in Artificial Intelligence (AUAI), 2019)We propose a new Bayesian Neural Net formulation that affords variational inference for which the evidence lower bound is analytically tractable subject to a tight approximation. We achieve this tractability by (i) decomposing ... -
SAS : A speaker verification spoofing database containing diverse attacks
(IEEE, 2015)This paper presents the first version of a speaker verification spoofing and anti-spoofing database, named SAS corpus. The corpus includes nine spoofing techniques, two of which are speech synthesis, and seven are voice ... -
Saturated and superheated water vapor condensation on a custom micro-textured surface
(IEEE, 2023)Condensation has a great importance for a large number of technologies such as heat exchangers, distillation columns, heat pipes, and thermal management systems. Vapor changes its phase into liquid when it contacts a surface ... -
SC-FDE based MIMO uplink transmission over infrared communication channels
(IEEE, 2018-07-02)In this paper, we propose a multiple-input multiple-output (MIMO) uplink transmission scheme for optical wireless communication applications. The transmission is based on optical single-carrier frequency domain equalization ... -
SCARA with Path trajectory
The following Matlab project contains the source code and Matlab examples used for SCARA with Path trajectory. By defining the initial position and final position the robot will follow the path between these two points -
Scheduling and simulation of maritime traffic in congested waterways: an application to the Strait of Istanbul
(Cambridge University Press, 2021-05)The aim of this study is to develop a simulation model which is capable of mimicking actual vessel arrival patterns and vessel entrance decisions (which are made based on expert opinions generally) on congested, narrow ... -
Science mapping the knowledge domain of energy performance research in the AEC industry: A scientometric analysis
(Elsevier, 2023-02-01)This study aims to reveal the current state of energy performance research in the AEC industry and literature. The research objective is to identify hot topics (i.e., knowledge domain) and hot keywords (i.e., knowledge ...
Share this page