Browsing by Title
Now showing items 1961-1980 of 5778
-
-
-
Formal modelling and verification of a multi-agent negotiation approach for airline operations control
(Springer, 2021-02-12)This paper proposes and evaluates a new airline disruption management strategy using multi-agent system modelling, simulation, and verification. This new strategy is based on a multi-agent negotiation protocol and is ... -
Formalization of occupant feedback and integration with BIM in office buildings
(ASCE, 2021-01-01)Occupant feedback is not effectively used in the facility management (FM) phase for operations and maintenance activities as well as retrofit and refurbishment investment decisions. One of the reasons is related to incomplete ... -
Formant position based weighted spectral features for emotion recognition
(Elsevier, 2011)In this paper, we propose novel spectrally weighted mel-frequency cepstral coefficient (WMFCC) features for emotion recognition from speech. The idea is based on the fact that formant locations carry emotion-related ... -
FORMAT: a tool for adapting test models based on feature models
(IEEE, 2017)We introduce a tool that facilitates the reuse of test models for a family of systems. Test models are defined as hierarchical Markov chains for specifying possible usage of features for these systems. Variability among ... -
Formation of nano-sized compounds during friction stir welding of Cu–Zn alloys: effect of tool composition
(Elsevier, 2020-12)For the first time, the origin of tool composition effect on microstructure and mechanical properties of the friction stir welded joints has been disclosed. For this aim, nanoindentation, orientation image microscopy, and ... -
The formation process of public space: from urban fabric to palaces and squares
(U+D Edition, Rome, 2018)The formation process of public spaces within the modern city has ancient origins: although generally referenced to the model of the great public spaces of Republican and imperial Rome (forum), the “common” urban space of ... -
The formation, evolution and replacement of price-quality relationships
(Springer Science+Business Media, 2016-01)This paper develops a theoretical framework to address how dynamic competitive interactions and customer preferences change the observed relationship between market price and quality, and it offers an empirical framework ... -
Forming robot trust in heterogeneous agents during a multimodal interactive game
(IEEE, 2022)This study presents a robot trust model based on cognitive load that uses multimodal cues in a learning setting to assess the trustworthiness of heterogeneous interaction partners. As a test-bed, we designed an interactive ... -
Formulations and branch-and-cut algorithms for the generalized vehicle routing problem
(Informs, 2011-08)The generalized vehicle routing problem (GVRP) consists of finding a set of routes for a number of capacitated vehicles on a graph where the vertices are partitioned into clusters with given demands, such that the total ... -
Forward-backward asymmetry of Drell-Yan lepton pairs in pp collisions at root s=7 TeV
(Elsevier, 2013-01-08)A measurement of the forward-backward asymmetry (A(FB)) of Drell-Yan lepton pairs in pp collisions at root s = 7 TeV is presented. The data sample, collected with the CMS detector, corresponds to an integrated luminosity ... -
Forward–backward asymmetry of Drell–Yan lepton pairs in pp collisions at √s = 8 TeV
(Springer Nature, 2016-06)A measurement of the forward–backward asymmetry AFB of oppositely charged lepton pairs ( μμ and ee ) produced via Z/γ∗ boson exchange in pp collisions at s√=8 TeV is presented. The data sample corresponds to an ... -
FOVLC: Foveation based data hiding in display transmitters for visible light communications
(2018-05)Visible light communications is an emerging architecture with unlicensed and huge bandwidth resources, security, and experimental implementations and standardization e orts. Display based transmitter and camera based ... -
FoVLC: foveation based data hiding in display transmitters for visible light communications
(IEEE, 2018-08-28)Visible light communications is an emerging architecture with unlicensed and huge bandwidth resources, security, and experimental implementations and standardization efforts. Display based transmitter and camera based ... -
FPGA based DCO-OFDM PHY transceiver for VLC systems
(IEEE, 2019)Satisfying the demand for high bandwidth and low latency in Visible Light Communication (VLC) systems is a difficult challenge. VLC channels exhibit frequency-selectiveness at peak-speeds. This phenomenon generates a serious ... -
FPGA based particle identification in high energy physics experiments
(IEEE, 2012)High energy physics experiments require on-the-fly processing of signals from many particle detectors. Such signals contain a high and fluctuating rate of pulses. Pulse shape hints particle type, and the amplitude relates ... -
FPGA bitstream protection with PUFs, obfuscation, and multi-boot
(IEEE, 2011)With the combination of PUFs, obfuscation, and multi-boot, we are able to do the equivalent of partial bitstream encryption on low-cost FPGAs, which is only featured on high-end FPGAs. Low-cost FPGAs do not even have ... -
FPGA implementation of a dense optical flow algorithm using altera OpenCL SDK
(2017-08)FPGA acceleration of compute-intensive algorithms is usually not regarded feasible because of the long Verilog or VHDL RTL design efforts they require. Data-parallel algorithms have an alternative platform for acceleration, ... -
FPGA implementation of a dense optical flow algorithm using altera openCL SDK
(Springer International Publishing, 2017)FPGA acceleration of compute-intensive algorithms is usually not regarded feasible because of the long Verilog or VHDL RTL design efforts they require. Data-parallel algorithms have an alternative platform for acceleration, ...
Share this page