152,084 research outputs found
Torre de la Sal
No full textVigilancia contra la piratería de ultramar
Torre de la Sal se localiza en el poblado marítimo de Torre la Sal, en las inmediaciones del Parque Natural del Prat de Cabanes-Torreblanca.Vigilància contra la pirateria d`ultramar
Torre de la Sal està situada a la ciutat costanera de Torre la Sal, prop del Parc Natural de Prat de Cabanes-Torreblanca.Vigilance against piracy at seas
Torre de la Sal is located in the seaside town of Torre la Sal, near the Prat de Cabanes-Torreblanca Natural Park. Torre de la Salhttps://www.castellonarqueologico.es/yacimientos/la-plana-i/torre-de-la-sal/https://www.castellonarqueologico.es/va/va/yacimientos/la-plana-i/torre-de-la-sal/https://www.castellonarqueologico.es/en/en/yacimientos/la-plana-i/torre-de-la-sal
Torre Badúm
No full text“La torre Badúm (también llamada Badun, torre de Almaden, la Torre o la Badum es una torre de vigía situada en la sierra de Irta sobre un acantilado de considerable altura (unos 97 m), entre el barranco del Volante y la playa del Pebret, a unos 6 km al sur del casco urbano de Peñíscola. No se sabe con certeza si pertenecía al sistema de vigía del castillo de Xivert, o era un lugar de la fortaleza de Peñíscola.” Biblioteca DGP
Torre de Foios, yacimiento arqueológico
No full textLa Torre de Foios fue uno de los primeros yacimientos conocidos en la historiografía arqueológica castellonense. El yacimiento se encuentra en la partida de Foios, dentro de los terrenos del Mas de Magdalena, en el término municipal de Llucena (l’Alcalatén) y se sitúa en cima a un promontorio a 898 metros sobre el nivel del mar dominando un paso natural. En la parte más alta de este promontorio edificaron una torre, que dista de la costa 36 km en línea recta.
A pesar de su nombre, se trata de algo más que una simple torre, que debió formar parte de un sistema defensivo mucho más complejo compuesto por una cinta muraria y bastiones.https://www.castellonarqueologico.es/yacimientos/alcalaten-mijares/torre-de-foios/https://www.castellonarqueologico.es/va/yacimientos/alcalaten-millars/torre-de-foios/https://www.castellonarqueologico.es/en/yacimientos/alcalaten-mijares/torre-de-foios/https://www.pointbox.xyz/clouds/5a0334583b0f470010e3ac1
Torre Badúm, escudo
No full text”Se trata de un panel compuesto por cuatro piezas de piedra arenisca, perfectamente encajadas entre sí. Su labra denota una espléndida ejecución. Según Arturo Zaragozá se representa en él un losange cuatribarrado coronado (el escudo del reino) protegido por un águila imperial bicéfala y coronada. La inscripción recuerda la reconstrucción de la torre vigía en 1554, siendo virrey de Valencia el Duque de Maqueda. La leyenda del cartucho inferior, SIEMBRA ALARMA Y PROTÉGEME, hace alusión a la misión de vigilancia a la que estaba destinada la torre. La disposición del panel empotrado en la pared de mampostería denota que fue incorporado tras la construcción de la torre.” Biblioteca DGPA
Cronología:
Original 1554
Reconstrucción: 201
Shape and size in medicine, biotechnology, materials science and social sciences
No full textThis special issue gathers together papers presented during the workshop Shape and Size in Medicine, Biotechnology, Materials Science and Social Sciences, Milano, Italy, 16-17 February 201
Verifying concurrent programs by memory unwinding
No full textWe describe a new sequentialization-based approach to the symbolic verification of multi-threaded programs with shared memory and dynamic thread creation. Its main novelty is the idea of memory unwinding, i.e., an explicit representation of the sequence of write operations into the shared memory. For the verification, we nondeterministically guess this unwinding and then simulate the behavior of the program according to any scheduling that respects this guess. This approach is complementary to other sequentializations and explores an orthogonal dimension, i.e., the number of write operations. It also simplifies the implementation of several important optimizations, in particular the targeted exposure of individual writes. We implemented this approach as code-to-code transformation from multi-threaded into nondeterministic sequential programs, which allows the reuse of sequential verification tools. Experiments show that our approach is very promising: it found all errors in the concurrency category of SV-COMP15
Francisco de la Torre e D. João de Almeida /
No full textCritical text in Portuguese; poems in Spanish and Latin."Apêndice, Textos": p. [193]-318.Bibliography "Do autor": p. [335-338].Includes bibliographical references and indexes.1.pt.Francisco de la Torre, o autor e a obra.-2.pt.Algumas obras atribuidas a D. Joao de Almeida, outras atribuiveis a Francisco de la Torre.-3.pt. Apêndice: texto
TORRE DEL CERRANO E NATURA 2000
No full textQuesto volume riporta i risultati delle ricerche svolte per la redazione del Piano di Gestione del Sito di Interesse Comunitario IT 7120215 “Torre del Cerrano”, svolte con un finanziamento Regione Abruzzo reperito dal Consorzio di Gestione dell’Area Marina Protetta Torre del Cerrano partecipando al Bando di finanziamento straordinario della Regione Abruzzo con Delibe- razione 29.12.2010, n. 1026: Reg.(CE) n. 1698/05- Asse III - Art. 57 - Programma di Sviluppo Rurale 2007-2013. – Misura 323 – “Tutela e riqualificazione del patrimonio rurale”, destinato alla stesura dei Piani di Gestione dei SIC “Siti di Interesse Comunitario” (Det. n.165/2014 del 23/07/2014).
Versione integrale delle ricerche è reperibile su: http:/www.torredelcerrano.it/lamp-torre-del-cerrano-in-natura-2000.html . Il costo di impaginazione e stampa, per un numero ridotto di copie cartacee, è stato invece coperto da altro finanziamento regionale facente capo al finanziamento per la Linea d’Azione IV.2.2.a -Intervento 3 “Animazione, disseminazione e diffusio- ne in materia di tutela ambientale, valorizzazione e monitoraggio delle aree protette e della Rete Natura 2000” del PAR FAS 2007-2013 (Del. Giunta Regione Abruzzo n.797/2014 e n.408 del 27 maggio 2015) al Progetto “Sito Natura 2000 dell’AMP “Torre del Cerrano” e Carta Europea del Turismo Sostenibile
A goal programming model to study the impact of R&D expenditures on sustainability-related criteria: the case of Kazakhstan
No full textPurpose: Most countries face important economic, social and environmental challenges and are strongly committed to invest in research and development (R&D) activities to help support the long-run economic sustainable growth. This paper aims to extend the previous research on macro-economic growth models and introduces endogenous variables to determine the amount of investments in R&D activities. Design/methodology/approach: The model considers four different criteria and six economic sectors and aims at finding the optimal allocation of labor across different sectors. The model also endogenously determines the amount of investments in pollution abatement activities together with energy-related R&D efforts. The paper presents an application to the case of Kazakhstan, an emerging Asian country, that aims to become one of the top 30 most developed countries in the world by 2050. Findings: The model shows the limits of the Kazakh agenda that identified too ambitious goals as the country has to go through a sociotechnical transition that involves a range of modifications in institutional structures, together with changes in user practices and the technological dimension. Kazakhstan should invest more in R&D activities able to develop sustainable energy sources to face the current electricity consumption demand and to reduce the greenhouse gas emission in the future. Originality/value: The paper provides valuable knowledge for researchers and policy makers interested in the impact of R&D on the long-run economic sustainable growth
IFSM fractal image compression with entropy and sparsity constraints: A sequential quadratic programming approach
No full textWe consider the inverse problem associated with IFSM: Given a target function f , find an IFSM, such that its fixed point ̄f is sufficiently close to f in the Lp distance. Forte and Vrscay [1] showed how to reduce this problem to a quadratic optimization model. In this paper, we extend the collage-based method developed by Kunze, La Torre and Vrscay ([2][3][4]), by proposing the minimization of the 1-norm instead of the 0-norm. In fact, optimization problems involving the 0-norm are combinatorial in nature, and hence in general NP-hard. To overcome these difficulties, we introduce the 1-norm and propose a Sequential Quadratic Programming algorithm to solve the corresponding inverse problem. As in Kunze, La Torre and Vrscay [3] in our formulation, the minimization of collage error is treated as a multi-criteria problem that includes three different and conflicting criteria i.e., collage error, entropy and sparsity. This multi-criteria program is solved by means of a scalarization technique which reduces the model to a single-criterion program by combining all objective functions with different trade-off weights. The results of some numerical computations are presented
- …
