Search results for " Computer Science"
showing 10 items of 3983 documents
"Table 9" of "Measurement of multi-jet cross sections in proton-proton collisions at a 7 TeV center-of-mass energy"
2014
Differential cross section as a function of the scalar sum of the jet PTs (HT) for events with jet multiplicity >= 4.
"Table 7" of "Measurement of multi-jet cross sections in proton-proton collisions at a 7 TeV center-of-mass energy"
2014
Differential cross section as a function of the scalar sum of the jet PTs (HT) for events with jet multiplicity >= 2.
"Table 6" of "Final COMPASS results on the deuteron spin-dependent structure function $g_1^{\rm d}$ and the Bjorken sum rule"
2017
Normalisations of the different data sets used in the QCD fit.
Statistical Properties of Double Hoyt Fading With Applications to the Performance Analysis of Wireless Communication Systems
2018
In this paper, we investigate the statistical properties of double Hoyt fading channels, where the overall received signal is determined by the product of two statistically independent but not necessarily identically distributed single Hoyt processes. Finite-range integral expressions are first derived for the probability density function (PDF), cumulative distribution function (CDF), level-crossing rate (LCR), and average duration of fades of the envelope fading process. A closed-form approximate solution is also deduced for the LCR by making use of the Laplace approximation theorem. Applying the derived PDF of the double Hoyt channel, we then provide analytical expressions for the average…
Probabilistic inferences from conjoined to iterated conditionals
2017
Abstract There is wide support in logic, philosophy, and psychology for the hypothesis that the probability of the indicative conditional of natural language, P ( if A then B ) , is the conditional probability of B given A, P ( B | A ) . We identify a conditional which is such that P ( if A then B ) = P ( B | A ) with de Finetti's conditional event, B | A . An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of conditional events. In this paper, we illustrate how to overcome this objection with a probabilistic analysis, based on coherence, of these compounds and iterations. We interpret the compounds and iterations as cond…
Experiment of Indoor Thermal Optimization of an Old Historic Building of Cluny through Digital Mock-up Simulation
2013
International audience; Improving energy efficiency is the first and most important step toward achieving sustainability in buildings. Buildings designed with sustainable solutions are usually energy-efficient because sustainable design is aimed at producing green buildings. In the case of historic buildings, however, this is quite challenging. Integrated building energy simulation programs have been used in various ways by building professionals to respond to these challenges and to improve building design with respect to sustainability. This poster presents a new approach toward optimizing thermal indoor energy using a digital mock-up simulation of a historical building to explore its pot…
An Ehrenfeucht-Fraïssé Approach to Collapse Results for First-Order Queries over Embedded Databases
2001
We present a new proof technique for collapse results for first-order queries on databases which are embedded in N or R>o. Our proofs are by means of an explicitly constructed winning strategy for Duplicator in an Ehrenfeucht-FraissE game, and can deal with certain infinite databases where previous, highly involved methods fail. Our main result is that first-order logic has the natural-generic collapse over {N,≤ ,+} for arbitrary (i.e., possibly infinite) databases. Furthermore, a first application of this result shows the natural-generic collapse of first-order logic over {R>o,≤,+} for a certain kind of databases over R>o which consist of a possibly infinite number of regions.
Delay-dependent exponential stabilization of positive 2D switched state-delayed systems in the Roesser model
2014
This paper deals with the controller synthesis for a class of positive two-dimensional (2D) switched delay systems described by the Roesser model. This kind of systems has the property that the states take nonnegative values whenever the initial boundaries are nonnegative, some delay-dependent sufficient conditions for the exponential stability of positive 2D switched systems with state delays are given. Furthermore, the design of positive state feedback controller under which the resulting closed-loop system meets the requirements of positivity and exponential stability is presented in terms of linear matrix inequalities (LMIs). An example is included to illustrate the effectiveness of the…
Performance and energy optimisation in CPUs through fuzzy knowledge representation
2019
Abstract This paper presents an automatic design space exploration using processor design knowledge for the multi-objective optimisation of a superscalar microarchitecture enhanced with selective load value prediction (SLVP). We introduced new important SLVP parameters and determined their influence regarding performance, energy consumption, and thermal dissipation. We significantly enlarged initial processor design knowledge expressed through fuzzy rules and we analysed its role in the process of automatic design space exploration. The proposed fuzzy rules improve the diversity and quality of solutions, and the convergence speed of the design space exploration process. Experiments show tha…
A formal model based on Game Theory for the analysis of cooperation in distributed service discovery
2016
New systems can be designed, developed, and managed as societies of agents that interact with each other by offering and providing services. These systems can be viewed as complex networks where nodes are bounded rational agents. In order to deal with complex goals, they require cooperation of the other agents to be able to locate the required services. The aim of this paper is formally and empirically analyze under which circumstances cooperation emerges in decentralized search of services. We propose a repeated game model that formalizes the interactions among agents in a search process where agents are free to choose between cooperate or not in the process. Agents make decisions based on…