Search
Now showing items 1291-1300 of 2225
VLC ağları için genetik algoritma temelli kaynak atama tekniği
(IEEE, 2017)
Bu çalışmada, görünür ışıkla haberleşme (VLC) ağları için genetik algoritma (GA) temelli kaynak atama tekniği önerilmiştir. Optik VLC agı mevcut aydınlatma altyapısının kullanıldığı iç mekanlarda çok küçük boyutlu hücrelerden ...
Impact of education and experience level on the effectiveness of exploratory testing: an industrial case study
(IEEE, 2017)
Exploratory Testing (ET) is a widely applied approach in practice. This approach relies on the knowledge and experience of test engineers and technicians who perform ET. Hence, we aimed at evaluating the impact of education ...
Generating runtime verification specifications based on static code analysis alerts
(ACM, 2017)
Runtime verification techniques verify dynamic system behavior with respect to a set of specifications. These specifications are often created manually based on system requirements and constraints. In this paper, we introduce ...
Search for dark matter and unparticles produced in association with a Z boson in proton-proton collisions at s =8 TeV
(2016-03-01)
A search for evidence of particle dark matter (DM) and unparticle production at the LHC has been performed using events containing two charged leptons, consistent with the decay of a Z boson, and large missing transverse ...
Learning and reasoning in complex coalition information environments: a critical analysis
(IEEE, 2018-09-05)
In this paper we provide a critical analysis with metrics that will inform guidelines for designing distributed systems for Collective Situational Understanding (CSU). CSU requires both collective insight - i.e., accurate ...
Experimental and numerical investigation of ground heat exchangers in the building foundation
(Elsevier, 2019-05-15)
The current study proposes a novel method with the experimental and numerical studies for the ground source heat pumps, which are known as environment-friendly and efficient heating & cooling systems to overcome their ...
Optimal negotiation decision functions in time-sensitive domains
(IEEE, 2015)
The last two decades have seen a growing interest in automated agents that are able to negotiate on behalf of human negotiators in a wide variety of negotiation domains. One key aspect of a successful negotiating agent is ...
Bispectrum estimation using a MISO autoregressive model
(Springer International Publishing, 2016)
Bispectra are third-order statistics that have been used extensively in analyzing nonlinear and non-Gaussian data. Bispectrum of a process can be computed as the Fourier transform of its bicumulant sequence. It is in general ...
Source behavior discovery for fusion of subjective opinions
(IEEE, 2016)
Information is at the center of decision making in many systems and use-cases. In cooperative or hostile environments, agents communicate their subjective opinions about various phenomenon. However, sources of these opinions ...
Inferring human values for safe AGI design
(Springer International Publishing, 2015)
Aligning goals of superintelligent machines with human values is one of the ways to pursue safety in AGI systems. To achieve this, it is first necessary to learn what human values are. However, human values are incredibly ...
Share this page