Search results for " Computer Science"
showing 10 items of 3983 documents
Vertical Representation of C∞-words
2015
International audience; We present a new framework for dealing with C∞-words, based on their left and right frontiers. Thisallows us to give a compact representation of them, and to describe the set of C∞-words throughan infinite directed acyclic graph G. This graph is defined by a map acting on the frontiers ofC∞-words. We show that this map can be defined recursively and with no explicit reference toC∞-words. We then show that some important conjectures on C∞-words follow from analogousstatements on the structure of the graph G.
Minimal Forbidden Factors of Circular Words
2017
Minimal forbidden factors are a useful tool for investigating properties of words and languages. Two factorial languages are distinct if and only if they have different (antifactorial) sets of minimal forbidden factors. There exist algorithms for computing the minimal forbidden factors of a word, as well as of a regular factorial language. Conversely, Crochemore et al.ÃÂ [IPL, 1998] gave an algorithm that, given the trie recognizing a finite antifactorial language M, computes a DFA of the language having M as set of minimal forbidden factors. In the same paper, they showed that the obtained DFA is minimal if the input trie recognizes the minimal forbidden factors of a single word. We gener…
Pure Functions in C: A Small Keyword for Automatic Parallelization
2017
AbstractThe need for parallel task execution has been steadily growing in recent years since manufacturers mainly improve processor performance by increasing the number of installed cores instead of scaling the processor’s frequency. To make use of this potential, an essential technique to increase the parallelism of a program is to parallelize loops. Several automatic loop nest parallelizers have been developed in the past such as PluTo. The main restriction of these tools is that the loops must be statically analyzable which, among other things, disallows function calls within the loops. In this article, we present a seemingly simple extension to the C programming language which marks fun…
The urban being between environment and landscape. On the old town as an emerging subject
2018
The landscape units of the Sicilian mountainous inland, as for the case of Petralia Soprana, are marked by the presence of ancient urban centres controlling the agricultural territory, from which they derived their own wealth, and to which they conferred landscape significance. The unity between economy and landscape has been interrupted by the radical transformation of the socio-economic structure and the technologic progress, which have eroded the consistency between structures and superstructures. We propose an assessment approach based on a synthesis of semiotic and phenomenological view. The approach mainly focuses on the basic concepts and contents of the valuation process that can be…
El deudor ante la solicitud de declaración de concurso: (una primera aproximación al artículo 17 del Proyecto de Ley Concursal)
2003
Ante el procedimiento de declaración de concurso, el sujeto pasivo tiene, según el artículo 17 PLC, dos alternativas: allanarse u oponerse. Sin embargo, existen más alternativas: recurrir la providencia de admisión a trámite, plantear declinatoria, no contestar, o presentar solicitud del propio concurso. La autora analiza cada una de las posibilidades del deudor, diferenciando las que originan una resolución judicial estimatoria de la pretensión concursal sin anterior procedimiento contradictorio: allanamiento, inactividad y solicitud de la declaración de concurso; y la oposición del deudor que se plantea como la opción ordinaria a seguir por el sujeto pasivo que exige debate contradictorio…
Últimas tendencias en la Unión Europea sobre las acciones colectivas de consumo. La posible introducción de fórmulas de ADR.
2014
espanolEn el presente trabajo se abordan las ultimas iniciativas en la Union Europea en lo que a las acciones colectivas en materia de consumo se refiere. Se analizan las principales cuestiones procesales de este tipo de acciones desde una perspectiva judicial, tales como la legitimacion, el control judicial, la constitucion de la parte demandante, el suministro de informacion, la financiacion y los litigios transfronterizos. Se presentan las recomendaciones y pautas que la Comision Europea trata de configurar a modo de principios comunes, y se compara con el estado de la cuestion en nuestro pais. Por ultimo, se discute la posible introduccion de formulas alternativas de resolucion de confl…
La transformación de la esfera familiar en el Derecho de extranjería español
2013
espanolLa articulacion legal del derecho a la vida familiar en Derecho de extranjeria se rige por una logica restrictiva cuyo alcance implica una autentica "metamorfosis" de las relaciones familiares. De un lado, la ley combina una composicion nuclear y dependiente para promover un ideal tipo dominante de familia que resulta abiertamente excluyente de otras realidades familiares existentes en la realidad social. Y de otro lado, neutraliza la diversidad del entorno familiar modulando otras formas de reconocimiento con vistas a instaurar un modelo de familia preferiblemente no conflictivo. Desde una perspectiva critica, este trabajo se centra el verdadero alcance del regimen de la reagrupacio…
Leader election and local identifiers for three‐dimensional programmable matter
2020
International audience; In this paper, we present two deterministic leader election algorithms for programmable matter on the face-centered cubic grid. The face-centered cubic grid is a 3-dimensional 12-regular infinite grid that represents an optimal way to pack spheres (i.e., spherical particles or modules in the context of the programmable matter) in the 3-dimensional space. While the first leader election algorithm requires a strong hypothesis about the initial configuration of the particles and no hypothesis on the system configurations that the particles are forming, the second one requires fewer hypothesis about the initial configuration of the particles but does not work for all pos…
Vine leaf roughness estimation by image processing
2013
International audience; The application of plant protection product has an important role in agricultural production processes. With current pesticides management, a huge amount of them are applied to worldwide orchards. In precision spraying, spray application efficiency depends on the pesticide application method, the phytosanitary product as well as the leaf surface properties. For environmental and economic reasons, the global trend is to reduce the pesticide application rate of the few approved active substances. Under these constraints, one of the challenges is to improve the efficiency of pesticide application. Different parameters can influence pesticide application such as nozzle t…