Search results for "DF"
showing 10 items of 1699 documents
Hardware implementation of real-time Extreme Learning Machine in FPGA: Analysis of precision, resource occupation and performance
2016
Extreme Learning Machine (ELM) on-chip learning is implemented on FPGA.Three hardware architectures are evaluated.Parametrical analysis of accuracy, resource occupation and performance is carried out. Display Omitted Extreme Learning Machine (ELM) proposes a non-iterative training method for Single Layer Feedforward Neural Networks that provides an effective solution for classification and prediction problems. Its hardware implementation is an important step towards fast, accurate and reconfigurable embedded systems based on neural networks, allowing to extend the range of applications where neural networks can be used, especially where frequent and fast training, or even real-time training…
Detection of Signals in MC–CDMA Using a Novel Iterative Block Decision Feedback Equalizer
2022
This paper presents a technique to mitigate multiple access interference (MAI) in multicarrier code division multiple access (MC-CDMA) wireless communications systems. Although under normal circumstances the MC-CDMA system can achieve high spectral efficiency and resistance towards inter symbol interference (ISI) however when exposed to substantial nonlinear distortion the issue of MAI manifests. Such distortion results when the power amplifiers are driven into saturation or when the transmit signal experiences extreme adverse channel conditions. The proposed technique uses a modified iterative block decision feedback equalizer (IB-DFE) that uses a minimal mean square error (MMSE) receiver …
Local Normal Forms for First-Order Logic with Applications to Games and Automata
1999
Building on work of Gaifman [Gai82] it is shown that every first-order formula is logically equivalent to a formula of the form ∃ x_1,...,x_l, \forall y, φ where φ is r-local around y, i.e. quantification in φ is restricted to elements of the universe of distance at most r from y. \par From this and related normal forms, variants of the Ehrenfeucht game for first-order and existential monadic second-order logic are developed that restrict the possible strategies for the spoiler, one of the two players. This makes proofs of the existence of a winning strategy for the duplicator, the other player, easier and can thus simplify inexpressibility proofs. \par As another application, automata mode…
Mathematical logic and quantum finite state automata
2009
AbstractThis paper is a review of the connection between formulas of logic and quantum finite-state automata in respect to the language recognition and acceptance probability of quantum finite-state automata. As is well known, logic has had a great impact on classical computation, it is promising to study the relation between quantum finite-state automata and mathematical logic. After a brief introduction to the connection between classical computation and logic, the required background of the logic and quantum finite-state automata is provided and the results of the connection between quantum finite-state automata and logic are presented.
Rapid construction of algebraic axioms from samples
1991
Abstract An axiom is called reliable if it is confirmed in several places in a given sample of algebra. A very effective algorithm for enumerating such axioms is described.
Time-based Chern number in periodically driven systems in the adiabatic limit
2023
To define the topology of driven systems, recent works have proposed synthetic dimensions as a way to uncover the underlying parameter space of topological invariants. Using time as a synthetic dimension, together with a momentum dimension, gives access to a synthetic two-dimensional (2D) Chern number. It is, however, still unclear how the synthetic 2D Chern number is related to the Chern number that is defined from a parametric variable that evolves with time. Here we show that in periodically driven systems in the adiabatic limit, the synthetic 2D Chern number is a multiple of the Chern number defined from the parametric variable. The synthetic 2D Chern number can thus be engineered via h…
Light-Induced Renormalization of the Dirac Quasiparticles in the Nodal-Line Semimetal ZrSiSe
2020
In nodal-line semimetals linearly dispersing states form Dirac loops in the reciprocal space, with high degree of electron-hole symmetry and almost-vanishing density of states near the Fermi level. The result is reduced electronic screening and enhanced correlations between Dirac quasiparticles. Here we investigate the electronic structure of ZrSiSe, by combining time- and angle-resolved photoelectron spectroscopy with ab initio density functional theory (DFT) complemented by an extended Hubbard model (DFT +U +V). We show that electronic correlations are reduced on an ultrashort timescale by optical excitation of high-energy electrons-hole pairs, which transiently screen the Coulomb interac…
Prosocial and Aggressive Behavior Occurrence in Young Athletes: Field Research Results in Six European Countries
2020
Aggression and violence among youth are researched as social phenomena in sport. This paper was designed to determine the occurrence of these behaviors as well as prosocial behaviors among young athletes. The current paper is a research report aiming to detect the frequency of aggressive behavior, social exclusion, prosocial behavior and cohesion in the youth environment, the frequency of personal experience of peer violence or social exclusion, and to evaluate cross-national differences in terms of occurrence of these phenomena.The field research was conducted in six European countries (Austria, Bosnia and Herzegovina, Croatia, Italy, Lithuania, and Serbia) on a sample of 482 children aged…
La forma del rilievo terrestre e il problema della convergenza morfologica
2018
Argomento della presente relazione è la forma del ri-lievo terrestre. Il rilievo terrestre può essere raffigurato come un grande mosaico le cui tessere sono i versanti. Un versante può es-sere: o una superficie piana caratterizzata da una determinata espo-sizione e da una specifica inclinazione; oppure una superficie curva di tipo concavo o convesso. Ogni singolo versante è inoltre identificabile con una forma del rilievo ben definita, la cui genesi è riconducibile ad un processo morfogenetico peculiare. Ogni cambiamento nell’esposizione, nell’inclinazione o nella curvatura di un versante segna pertanto il passaggio a forme del rilievo di-verse. Complessivamente, tutti i processi morfogenet…
Effects of an adapted physical activity program on psychophysical health in elderly women.
2016
Giuseppe Battaglia,1,2 Marianna Bellafiore,1,2 Marianna Alesi,1,2 Antonio Paoli,3 Antonino Bianco,1,2 Antonio Palma1,2 1Department of Psychological, Pedagogical and Educational Sciences, 2Sport and Exercise Sciences Research Unit, University of Palermo, Palermo, 3Department of Biomedical Sciences, University of Padova, Padua, Italy Background: Several studies have shown the positive effects of adapted physical activity (APA) on physical and mental health (MH) during the lifetime. The aim of this study was to assess the effectiveness of a specific APA intervention program in the improvement of the health-related quality of life (QOL) and functional condition of spine in elderly women. Method…