Search results for "Expo"
showing 10 items of 2430 documents
Size of Quantum Finite State Transducers
2007
Sizes of quantum and deterministic finite state transducers are compared in the case when both quantum and deterministic finite state transducers exist. The difference in size may be exponential.
On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards
2007
The guarded fragment of first-order logic, GF, enjoys the finite model property, so the satisfiability and the finite satisfiability problems coincide. We are concerned with two extensions of the two-variable guarded fragment that do not possess the finite model property, namely, GF2 with equivalence and GF2 with transitive guards. We prove that in both cases every finitely satisfiable formula has a model of at most double exponential size w.r.t. its length. To obtain the result we invent a strategy of building finite models that are formed from a number of multidimensional grids placed over a cylindrical surface. The construction yields a 2NEXPTIME-upper bound on the complexity of the fini…
New Encodings of Pseudo-Boolean Constraints into CNF
2009
International audience; This paper answers affirmatively the open question of the existence of a polynomial size CNF encoding of pseudo-Boolean (PB) constraints such that generalized arc consistency (GAC) is maintained through unit propagation (UP). All previous encodings of PB constraints either did not allow UP to maintain GAC, or were of exponential size in the worst case. This paper presents an encoding that realizes both of the desired properties. From a theoretical point of view, this narrows the gap between the expressive power of clauses and the one of pseudo-Boolean constraints.
The Wavelet Scalogram in the Study of Time Series
2014
Wavelet theory has been proved to be a useful tool in the study of time series. Specifically, the scalogram allows the detection of the most representative scales (or frequencies) of a signal. In this work, we present the scalogram as a tool for studying some aspects of a given signal. Firstly, we introduce a parameter called scale index, interpreted as a measure of the degree of the signal’s non-periodicity. In this way, it can complement the maximal Lyapunov exponent method for determining chaos transitions of a given dynamical system. Secondly, we introduce a method for comparing different scalograms. This can be applied for determining if two time series follow similar patterns.
Más allá del museo. Nuevos escenarios para la exposición
2018
[EN] Exhibition's stage has become a changing exercise over time, linked to a way of thinking historically the work. There are new museographic responses born of the participation of artists, architects and designers, and the role of the curator who, at times, transforms his role as theoretician in artist. Following this evolutionary dynamic, the exhibition has thus forged an almost independent identity of the museum itself. The meaning of the work in the place develops a new grammar that turns the exhibition into a work of art and also opens a debate around its current role
Scaling theory for radial distributions of star polymers in dilute solution in the bulk and at a surface, and scaling of polymer networks near the ad…
1991
Monomer density profiles ρ(r) and center–end distribution functions g(rCE) of star polymers are analyzed by using a scaling theory in arbitrary dimensions d, considering dilute solutions and the good solvent limit. Both the case of a free star in the bulk and of a center‐adsorbed star at a free surface are considered. In the latter case of a semi‐infinite problem, a distinction is made between repulsive walls, attractive walls—where for large arm length l the configuration of the star is quasi‐(d−1) dimensional—, and ‘‘marginal walls’’ where for l→∞ the transition from d‐dimensional structure occurs. For free stars, ρ(r) behaves as r−d+1/ν for small r, where ν is the exponent describing the…
Monte Carlo simulation of many-arm star polymers in two-dimensional good solvents in the bulk and at a surface
1991
A Monte Carlo technique is proposed for the simulation of statistical properties of many-arm star polymers on lattices. In this vectorizing algorithm, the length of each arml is increased by one, step by step, from a starting configuration withl=1 orl=2 which is generated directly. This procedure is carried out for a large sample (e.g., 100,000 configurations). As an application, we have studied self-avoiding stars on the square lattice with arm lengths up tol max=125 and up tof=20 arms, both in the bulk and in the geometry where the center of the star is adsorbed on a repulsive surface. The total number of configurations, which behaves asN∼l γ G–1μ fl , whereμ=2.6386 is the usual effective…
Eiropas Savienības Baltijas Jūras Reģiona divējādas nozīmes preču eksporta kontroles integrācija
2019
Darbs apskata Eiropas Savienības Baltijas jūras reģiona divējādas nozīmes preču eksporta kontroles integrāciju. Šīs jomas integrācija tika salīdzināta ar neofunkcionālisma un liberālās starpvaldības integrācijas teorijas modeļiem, lai noskaidrotu, kura no šīm teorijām labāk spēj paskaidrot divējādas nozīmes preču eksporta kontroles integrācijas procesu Eiropas Savienībā. Integrāciju teorijas modeļi tika pārbaudīti trīs aspektos, to spējā paskaidrot divējādas nozīmes preču eksporta kontroles integrācijas vēsturi, to spējā paskaidrot aktoru uzvedību pie pastāvošajām atšķirībām dalībvalstu likumdošanā un to spējā paskaidrot aktoru uzvedību pie atšķirībām riska uztverē starp dalībvalstīm. Lai n…
Eulalia Gerona de Cabanes pintora : mujeres en el academicismo ilustrado en España
2014
Desde su fundación en 1768 la Real Academia de Bellas Artes de San Carlos de Valencia admitió mujeres artistas entre sus miembros nombrándolas académicas, a pesar de que el acceso a la educación artística oficial les fue vedado. Quizá su filiación aristocrática les valió el nombramiento en unas instituciones que buscaban un mayor prestigio social. Eulalia Gerona supone un caso singular por sus relaciones con varias de las academias. Desde 1802 fue Académica de Mérito de San Carlos de Valencia en la clase de Pintura. En 1803 presentó en Barcelona una obra para la Exposición abierta por la Junta de Comercio. Obtuvo el título de individuo de Mérito en 1819 en la Academia de Nobles Artes de San…
Assessing fat-tailed sequential forecast distributions for the Dow-Jones index with logarithmic scoring rules
2007
We use the logarithmic scoring rule for distributions to assess a variety of fat-tailed sequential forecasting distributions for the Dow-Jones industrial stock index from 1980 to the present. The methodology applies Bruno de Finetti''s contributions to understanding how to compare the quality of different coherent forecasting distributions for the same sequence of observations, using proper scoring rules. Four different forms of forecasting distributions are compared: a mixture Normal, a mixture of convex combinations of three Normal distributions, a mixture exponential power distribution, and a mixture of a convex combination of three exponential power distributions. The mixture linear com…