6,697 research outputs found
Lower Bounds for Heights in Relative Galois Extensions
The goal of this paper is to obtain lower bounds on the height of an
algebraic number in a relative setting, extending previous work of Amoroso and
Masser. Specifically, in our first theorem we obtain an effective bound for the
height of an algebraic number when the base field is a
number field and is Galois. Our second result
establishes an explicit height bound for any non-zero element which is
not a root of unity in a Galois extension , depending on
the degree of and the number of conjugates of
which are multiplicatively independent over . As a consequence, we
obtain a height bound for such that is independent of the
multiplicative independence condition
Kant On The Beautiful
This thesis looks at Kant’s question about the antagonism between freedom and determinism and how he tried to reconcile them through aesthetics. I begin the thesis by sketching the influences on Kant’s aesthetics, by looking at the problem that arose after he completed his first two critiques, and by defining his three faculties. From there I examine his four moments of beauty. Next, I ask how beauty symbolizes morality. In the conclusion I submit a possible answer how beauty can resolve the antagonism between freedom and determinism. The tentative answer is as follows.
According to Kant, beauty doesn’t require us to look at a thing through determinate concepts. In those moments we see a thing as an appearance and other than its appearance (as free). We then come closest to seeing a thing-in-itself because we see the thing as other than its label—we see it as purposive and not as a purpose to be used. When Kant said beauty is a symbol of morality, perhaps he meant absolute freedom can’t have a direct representation outside of an aesthetic experience. If Kant is right that beauty bridges determinism and freedom, Kant makes a case for beauty’s importance
REMOTELY SENSED IMAGE FAST CLASSIFICATION AND SMART THEMATIC MAP PRODUCTION
Abstract. Apps available for Smartphone, as well as software for GNSS/GIS devices, permit to easily mapping the localization and shape of an area by acquiring the vertices coordinates of its contour. This option is useful for remote sensing classification, supporting the detection of representative sample sites of a known cover type to use for algorithm training or to test classification results. This article aims to analyse the possibility to produce smart maps from remotely sensed image classification in rapid way: the attention is focalized on different methods that are compared to identify fast and accurate procedure for producing up-to-date and reliable maps. Landsat 8 OLI multispectral images of northern Sicily (Italy) are submitted to various classification algorithms to distinguish water, bare soil and vegetation. The resulting map is useful for many purposes: appropriately inserted in a larger database aimed at representing the situation in a space-time evolutionary scenario, it is suitable whenever you want to capture the variation induced in a scene, e.g. burnt areas identification, vegetated areas definition for tourist-recreational purposes, etc. Particularly, pixel-based classification approaches are preferred, and experiments are carried out using unsupervised (k-means), vegetation index (NDVI, Normalized Difference Vegetation Index), supervised (minimum distance, maximum likelihood) methods. Using test sites, confusion matrix is built for each method, and quality indices are calculated to compare the results. Experiments demonstrate that NDVI submitted to k-means algorithm allows the best performance for distinguishing not only vegetation areas but also water bodies and bare soils. The resulting thematic map is converted for web publishing
Comparison between bulk and FDSOI POM flash cell: a multiscale simulation study
In this brief, we present a multiscale simulation study of a fully depleted silicon-on-insulator (FDSOI) nonvolatile memory cell based on polyoxometalates (POMs) inorganic molecular clusters used as a storage media embedded in the gate dielectric of flash cells. In particular, we focus our discussion on the threshold voltage variability introduced by random discrete dopants (random dopant fluctuation) and by fluctuations in the distribution of the POM molecules in the storage media (POM fluctuation). To highlight the advantages of the FDSOI POM flash cell, we provide a comparison with an equivalent cell based on conventional (BULK) transistors. The presented simulation framework and methodology is transferrable to flash cells based on alternative molecules used as a storage media
Remotely sensed image fast classification and smart thematic map production
Apps available for Smartphone, as well as software for GNSS/GIS devices, permit to easily mapping the localization and shape of an area by acquiring the vertices coordinates of its contour. This option is useful for remote sensing classification, supporting the detection of representative sample sites of a known cover type to use for algorithm training or to test classification results. This article aims to analyse the possibility to produce smart maps from remotely sensed image classification in rapid way: The attention is focalized on different methods that are compared to identify fast and accurate procedure for producing up-To-date and reliable maps. Landsat 8 OLI multispectral images of northern Sicily (Italy) are submitted to various classification algorithms to distinguish water, bare soil and vegetation. The resulting map is useful for many purposes: Appropriately inserted in a larger database aimed at representing the situation in a space-Time evolutionary scenario, it is suitable whenever you want to capture the variation induced in a scene, e.g. burnt areas identification, vegetated areas definition for tourist-recreational purposes, etc. Particularly, pixel-based classification approaches are preferred, and experiments are carried out using unsupervised (k-means), vegetation index (NDVI, Normalized Difference Vegetation Index), supervised (minimum distance, maximum likelihood) methods. Using test sites, confusion matrix is built for each method, and quality indices are calculated to compare the results. Experiments demonstrate that NDVI submitted to k-means algorithm allows the best performance for distinguishing not only vegetation areas but also water bodies and bare soils. The resulting thematic map is converted for web publishing
Inverse scaling trends for charge-trapping-induced degradation of FinFETs performance
In this paper, we investigate the impact of a single discrete charge trapped at the top oxide interface on the performance of scaled nMOS FinFET transistors. The charge-trapping-induced gate voltage shift is simulated as a function of the device scaling and for several regimes of conduction-from subthreshold to ON-state. Contrary to what is expected for planar MOSFETs, we show that the trap impact decreases with scaling down the FinFET size and the applied gate voltage. By comparing drift-diffusion with nonequilibrium Green functions simulations, we show that quantum effects in the charge distribution and transport can reduce or amplify the impact of discrete traps in simulation of reliability resilience of scaled FinFETs
The Effect of Advanced Traveller Information Systems (ATIS) on public transport demand and its uncertainty
Advanced Traveller Information Systems (ATISs) include a broad range of advanced computer and communication technologies. These systems are designed to provide transit riders pre-trip and real-time information, to make better
informed decisions regarding their mode of travel, planned routes and travel times. ATISs include in-vehicle displays, terminal or wayside based information centres, information by phone or mobile and internet. In this article, a Stated
Preference survey has been carried out in order to know the preferences of public transport\u2019s customers related to different ATISs and their willingness to pay in Palermo. An ordered probit demand model has been calibrated to determine the potential additional share of demand attracted by the adoption of ATISs. Finally, Monte Carlo simulation has been carried out to appraise the uncertainty on some parameters of the calibrated demand model. The results show that respondents give more importance to the type of information and its cost, whereas they are less interested in the system that provides the information
Conjugacy of one-dimensional one-sided cellular automata is undecidable
Two cellular automata are strongly conjugate if there exists a
shift-commuting conjugacy between them. We prove that the following two sets of
pairs of one-dimensional one-sided cellular automata over a full shift
are recursively inseparable: (i) pairs where has strictly larger
topological entropy than , and (ii) pairs that are strongly conjugate and
have zero topological entropy.
Because there is no factor map from a lower entropy system to a higher
entropy one, and there is no embedding of a higher entropy system into a lower
entropy system, we also get as corollaries that the following decision problems
are undecidable: Given two one-dimensional one-sided cellular automata and
over a full shift: Are and conjugate? Is a factor of ? Is
a subsystem of ? All of these are undecidable in both strong and weak
variants (whether the homomorphism is required to commute with the shift or
not, respectively). It also immediately follows that these results hold for
one-dimensional two-sided cellular automata.Comment: 12 pages, 2 figures, accepted for SOFSEM 201
- …