Search results for " mac"
showing 10 items of 3066 documents
Mujer, poder político y democracia paritaria. “Mujer y representación política institucional en la Comunidad Valenciana. 1977-1995. 2 parte.
2014
Mujer, poder político y democracia paritaria. “Mujer y representación política institucional en la Comunidad Valenciana. 1977-1995. 2 parte. En esta segunda parte se recogen las mujeres que han formado parte de la Administración Local (alcaldesas, diputadas provinciales y FVMP), en los sindicatos, asi como en otras instituciones: Consell Valencià de Cultura, Consejo de Radiotelevisión Valenciana, Sindicatura de Agravios, Academia Valenciana de la Lengua, universidades, direcciones de partidos políticos, y otras organizaciones de la Comunidad Valenciana. “Mujer y representación política institucional en la Comunidad Valenciana. 1977-1995. Diputadas, ministras y cargos institucionales” es la …
Nonstochastic languages as projections of 2-tape quasideterministic languages
1998
A language L (n) of n-tuples of words which is recognized by a n-tape rational finite-probabilistic automaton with probability 1-e, for arbitrary e > 0, is called quasideterministic. It is proved in [Fr 81], that each rational stochastic language is a projection of a quasideterministic language L (n) of n-tuples of words. Had projections of quasideterministic languages on one tape always been rational stochastic languages, we would have a good characterization of the class of the rational stochastic languages. However we prove the opposite in this paper. A two-tape quasideterministic language exists, the projection of which on the first tape is a nonstochastic language.
Algebraic and logical characterizations of deterministic linear time classes
1997
In this paper an algebraic characterization of the class DLIN of functions that can be computed in linear time by a deterministic RAM using only numbers of linear size is given. This class was introduced by Grandjean, who showed that it is robust and contains most computational problems that are usually considered to be solvable in deterministic linear time.
Algebraic Results on Quantum Automata
2004
We use tools from the algebraic theory of automata to investigate the class of languages recognized by two models of Quantum Finite Automata (QFA): Brodsky and Pippenger’s end-decisive model, and a new QFA model whose definition is motivated by implementations of quantum computers using nucleo-magnetic resonance (NMR). In particular, we are interested in the new model since nucleo-magnetic resonance was used to construct the most powerful physical quantum machine to date. We give a complete characterization of the languages recognized by the new model and by Boolean combinations of the Brodsky-Pippenger model. Our results show a striking similarity in the class of languages recognized by th…
Hartmanis-Stearns Conjecture on Real Time and Transcendence
2012
Hartmanis-Stearns conjecture asserts that any number whose decimal expansion can be computed by a multitape Turing machine is either rational or transcendental. After half a century of active research by computer scientists and mathematicians the problem is still open but much more interesting than in 1965.
Preliminary data on the occurrence of alien macroalgae in the vermetid reef along the coasts of Favignana Island (Southern Tyrrhenian Sea)
2017
Intertidal vermetid reefs are highly diverse systems that provide numerous habitats for animal and vegetal species, leading to an increase of intertidal biodiversity. These habitats, particularly vulnerable to environmental changes and human activities, are now experiencing high mortality in several areas of the Mediterranean Sea. Since alien macroalgae are nowadays considered one of the most serious threats to biodiversity and natural ecosystem functioning, we provide a first baseline assessment of the occurrence of alien species in the vermetid reef along the coasts of the Island of Favignana (Egadi Islands Marine Protected Area). Surveyes carried out in 2015 revealed the only presence of…
MACVIA-ARIA Sentinel NetworK for allergic rhinitis (MASK-rhinitis): the new generation guideline implementation
2015
Accepted Article
Electromechanical Numerical Analysis of an Air-Core Pulsed Alternator via Equivalent Network Formulation
2017
In this paper, the numerical analysis on an air-core pulsed alternator is presented. Since compulsators are characterized by very fast electromechanical transients, their accurate analysis requires strong coupling between the equations governing the electrical and the mechanical behaviors. The device is investigated by using a dedicated numerical code capable to take into account eddy currents, compensating windings, as well as the excitation/control circuits. Furthermore, the code is capable of modeling centrifugal forces and vibrations acting on the shaft due to electric and mechanical unbalances or to misalignments of the shaft from its centered position. This makes the code a very power…
Influence of Joint Geometry on Micro and Macro Mechanical Properties of Friction Stir Spot Welded Joints
2014
AbstractSpot welding can be considered a very common joining technique in automotive and transportation industries as it permits to obtain effective lap-joints with short process times and what is more it is easily developed through robots and automated systems. Recently, Friction Stir Spot Welding (FSSW) has been proposed as a natural evolution of the already known Friction Stir Welding (FSW) process, allowing to obtain sound spot joints that do not suffer from the insurgence of typical welding defects due to the melting of the base material. Similarly to FSW, both geometrical and technological parameters must be considered as they affect the material flow and the heat flux generated durin…
Motion sensors for activity recognition in an ambient-intelligence scenario
2013
In recent years, Ambient Intelligence (AmI) has attracted a number of researchers due to the widespread diffusion of unobtrusive sensing devices. The availability of such a great amount of acquired data has driven the interest of the scientific community in producing novel methods for combining raw measurements in order to understand what is happening in the monitored scenario. Moreover, due the primary role of the end user, an additional requirement of any AmI system is to maintain a high level of pervasiveness. In this paper we propose a method for recognizing human activities by means of a time of flight (ToF) depth and RGB camera device, namely Microsoft Kinect. The proposed approach is…