Search results for " Computer Science"
showing 10 items of 3983 documents
Geometric rigidity of conformal matrices
2009
We provide a geometric rigidity estimate a la Friesecke-James-Muller for conformal matrices. Namely, we replace SO(n) by a arbitrary compact subset of conformal matrices, bounded away from 0 and invariant under SO(n), and rigid motions by Mobius transformations.
Del Pezzo elliptic varieties of degree d <= 4
2019
Let Y be a smooth del Pezzo variety of dimension n>=3, i.e. a smooth complex projective variety endowed with an ample divisor H such that K_Y = (n+1)H. Let d be the degree H^n of Y and assume that d >= 4. Consider a linear subsystem of |H| whose base locus is zero-dimensional of length d. The subsystem defines a rational map onto P^{n-1} and, under some mild extra hypothesis, the general pseudofibers are elliptic curves. We study the elliptic fibration X -> P^{n-1} obtained by resolving the indeterminacy and call the variety X a del Pezzo elliptic variety. Extending the results of [7] we mainly prove that the Mordell-Weil group of the fibration is finite if and only if the Cox ring…
Multifunctions determined by integrable functions
2019
Integral properties of multifunctions determined by vector valued functions are presented. Such multifunctions quite often serve as examples and counterexamples. In particular it can be observed that the properties of being integrable in the sense of Bochner, McShane or Birkhoff can be transferred to the generated multifunction while Henstock integrability does not guarantee it.
Algebraic aspects and coherence conditions for conjoined and disjoined conditionals
2019
We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by $n$ conditional events and we show that they satisfy the basic properties valid in the case of unconditional events. We obtain a generalized inclusion-exclusion formula and we prove a …
Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle.
2014
This short paper just considers the possibility of a new view for posing and proving the Aristotle’s Principles of Non-Contradiction and Excluded-Middle. It is done by means of their refutability, or deducibility, respectively, under Tarski’s Consequence Operators.
Programmētājs starp personīgo pasaules uzskatu un praktiskajiem centieniem pēc mākslīgā intelekta
2015
Kristāli un mākslīgais intelekts
2014
A Context-Aware System for Ambient Assisted Living
2017
In the near future, the world's population will be characterized by an increasing average age, and consequently, the number of people requiring for a special household assistance will dramatically rise. In this scenario, smart homes will significantly help users to increase their quality of life, while maintaining a great level of autonomy. This paper presents a system for Ambient Assisted Living (AAL) capable of understanding context and user's behavior by exploiting data gathered by a pervasive sensor network. The knowledge inferred by adopting a Bayesian knowledge extraction approach is exploited to disambiguate the collected observations, making the AAL system able to detect and predict…
A Deep Learning Approach for Energy Efficient Computational Offloading in Mobile Edge Computing
2019
Mobile edge computing (MEC) has shown tremendous potential as a means for computationally intensive mobile applications by partially or entirely offloading computations to a nearby server to minimize the energy consumption of user equipment (UE). However, the task of selecting an optimal set of components to offload considering the amount of data transfer as well as the latency in communication is a complex problem. In this paper, we propose a novel energy-efficient deep learning based offloading scheme (EEDOS) to train a deep learning based smart decision-making algorithm that selects an optimal set of application components based on remaining energy of UEs, energy consumption by applicati…
Gray coding cubic planar maps
2016
International audience; The idea of (combinatorial) Gray codes is to list objects in question in such a way that two successive objects differ in some pre-specified small way. In this paper, we utilize beta-description trees to cyclicly Gray code three classes of cubic planar maps, namely, bicubic planar maps, 3-connected cubic planar maps, and cubic non-separable planar maps. (C) 2015 Elsevier B.V. All rights reserved.