Search results for " Formal"
showing 10 items of 273 documents
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
2008
International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…
Yang-Mills two-point functions in linear covariant gauges
2015
In this work we use two different but complementary approaches in order to study the ghost propagator of a pure SU(3) Yang-Mills theory quantized in the linear covariant gauges, focusing on its dependence on the gauge-fixing parameter $\xi$ in the deep infrared. In particular, we first solve the Schwinger-Dyson equation that governs the dynamics of the ghost propagator, using a set of simplifying approximations, and under the crucial assumption that the gluon propagators for $\xi>0$ are infrared finite, as is the case in the Landau gauge $(\xi=0)$. Then we appeal to the Nielsen identities, and express the derivative of the ghost propagator with respect to $\xi$ in terms of certain auxiliary…
Missions interculturals: una experiència de desenvolupament comunitari a les comarques de Castelló
2014
Les Missions Interculturals és un projecte de participació comunitària en educació, cultura i desenvolupament local que té com a objectius contribuir a la consecució d'una societat inclusiva i fomentar el desenvolupament local. El present article és una descripció del procés viscut durant la primera edició del projecte, el qual ha tingut lloc en les poblacions de Vilanova d'Alcolea i Sant Mateu (Castelló, Espanya). Exposem, en primer lloc, els conceptes teòrics que han guiat tot el procés: l'educació inclusiva, la democràcia radical, l'aprenentatge cooperatiu, la interculturalitat i el nomadisme cultural. A continuació es descriuen les successives fases del projecte: diagnòstic local, sensi…
Nondeterministic unitary OBDDs
2016
We investigate the width complexity of nondeterministic unitary OBDDs (NUOBDDs). Firstly, we present a generic lower bound on their widths based on the size of strong 1-fooling sets. Then, we present classically cheap functions that are expensive for NUOBDDs and vice versa by improving the previous gap. We also present a function for which neither classical nor unitary nondeterminism does help. Moreover, based on our results, we present a width hierarchy for NUOBDDs. Lastly, we provide the bounds on the widths of NUOBDDs for the basic Boolean operations negation, union, and intersection.
Predictors of risk of learning disabilities
2012
Involves all the skills, knowledge and attitudes that are presumed to be precursors of the development of conventional forms of reading and writing (Whitehurst and Lonigan, 1998). It been traced a continuity of development between the first emergent literacy skills, starting from kindergarten, and early reading skills (Phillips BM et al). Children who have difficulty in the early stages of learning to read is very likely continue to present both in later school years further failures in this area (Cornoldi,Tressoldi, 2007) triggered a negative spiral and problematic process (Tressoldi e Vio, 1996). There are numerous empirical confirmation of the importance of early identification of diffic…
Agreement on the Choice of Non-applicable Law or Law not in Accordance with Article 22(1) of the Twin Regulations: what Consequences for the Couple’s…
2021
Los Reglamentos (UE) 2016/1103 y 2016/1104 del Consejo autorizan a las parejas transfronterizas a elegir la ley aplicable a sus relaciones patrimoniales sobre la base de uno de los criterios enumerados en el artículo 22.1. Sin embargo, el acuerdo de elección de la ley puede tener un contenido diferente al señalado en la redacción del artículo 22 de los ?Reglamentos Gemelos?. El objetivo del análisis es ilustrar que sería incorrecto sostener que tales acuerdos son, a priori, inválidos o no permiten la autonomía de la voluntad. Esta cuestión requiere una evaluación de la finalidad concreta del acuerdo de las partes y debería, al menos, estar abierta al examen del tribunal competente.
Generating a Gray code for prefix normal words in amortized polylogarithmic time per word
2020
A prefix normal word is a binary word with the property that no substring has more $1$s than the prefix of the same length. By proving that the set of prefix normal words is a bubble language, we can exhaustively list all prefix normal words of length $n$ as a combinatorial Gray code, where successive strings differ by at most two swaps or bit flips. This Gray code can be generated in $\Oh(\log^2 n)$ amortized time per word, while the best generation algorithm hitherto has $\Oh(n)$ running time per word. We also present a membership tester for prefix normal words, as well as a novel characterization of bubble languages.
AN AGENT BASED ARCHITECTURE FOR MANUFACTURING E-MARKETPLACES
2005
This chapter presents the Agent Based Architecture developed within the research project, titled "Process and Production Planning in manufacturing Enterprise Networks". As mentioned in Chapter 1, the architecture has been developed to support “added value services” in neutral linear e-marketplaces, i.e. in virtual districts. In this chapter the architecture will be described from a functional and dynamic point of view by using the formalisms used in the project. In particular, from a functional perspective, the architecture is described by using the IDEF0 formalism, while its dynamics are specified by UML activity diagrams.
Una exposición sobre el mundo de los sentidos como contexto no formal de aprendizaje y alfabetización científica
2005
El proyecto que aquí describimos ha consistido en el diseño y elaboración de una exposición didáctica sobre el mundo de los sentidos, así como de unos cuadernos de actividades complementarias para el alumnado y una guía didáctica para el profesorado.
The HITRAN2016 molecular spectroscopic database
2017
This paper describes the contents of the 2016 edition of the HITRAN molecular spectroscopic compilation. The new edition replaces the previous HITRAN edition of 2012 and its updates during the intervening years. The HITRAN molecular absorption compilation is composed of five major components: the traditional line-by-line spectroscopic parameters required for high-resolution radiative-transfer codes, infrared absorption cross-sections for molecules not yet amenable to representation in a line-by-line form, collision-induced absorption data, aerosol indices of refraction, and general tables such as partition sums that apply globally to the data. The new HITRAN is greatly extended in terms of …