197,429 research outputs found
LAGO Data and Metadata Release, Rights and Disclaimer 1.1
No full text<p><a href="https://lagoproject.net/lagoCommonRights/1.1.html">LAGO Data and Metadata Release, Rights and Disclaimer 1.1</a></p>
Why (not) national party systems?
No full text[Electronic resource] / Ignacio Lago.
26 p. : ill.
Available through the CEACS Web site (http://www.march.es)
Includes bibliographical references (p.20-22)
In-Network Programmability for Next-generation Personal Cloud Service Support (INPUT)
No full textAbstractIn order to overcome the cloud service performance limits, the INPUT Project aims to go beyond the typical IaaS-based service models by moving computing and storage capabilities from the datacenters to the edge network, and consequently moving cloud services closer to the end users. This approach, which is compatible with the concept of fog computing, will exploit Network Functions Virtualization (NFV) and Software Defined Networking (SDN) to support personal cloud services in a more scalable and sustainable way and with innovative added-value capabilities
Dynamic architectural changes for distributed services
No full textEighth International Workshop on Component-Oriented Programming (WCOP
Salvamento Arqueológico en el ex–lago de Texcoco, Estado de México. Zona propuesta para la construcción del NAIM
No full textDebido a la intensión de mudar el Aeropuerto Internacional de la Ciudad de México, surge el salvamento arqueológico del Lago de Texcoco en su zona Oriente en 2012. En el artículo se desarrollan las particularidades del lago de lago, así como las características del contexto arqueológico e histórico de la zona. Posteriormente, se abordan algunos resultados de las prospecciones realizadas y los avances de las excavaciones de las unidades de aprovechamiento de los recursos naturales del lago. Finalmente, se exponen algunas notas sobre la desecación del lago de Texcoco.</p
Towards logical foundations for probabilistic computation
No full textThe overall purpose of the present work is to lay the foundations for a new approach to bridge logic and probabilistic computation. To this aim we introduce extensions of classical and intuitionistic propositional logic with counting quantifiers, that is, quantifiers that measure to which extent a formula is true. The resulting systems, called cCPL and iCPL, respectively, admit a natural semantics, based on the Borel sigma-algebra of the Cantor space, together with a sound and complete proof system. Our main results consist in relating cCPL and iCPL with some central concepts in the study of probabilistic computation. On the one hand, the validity of cCPLformulae in prenex form characterizes the corresponding level of Wagner's hierarchy of counting complexity classes, closely related to probabilistic complexity. On the other hand, proofs in iCPL correspond, in the sense of Curry and Howard, to typing derivations for a randomized extension of the lambda-calculus, so that counting quantifiers reveal the probability of termination of the underlying probabilistic programs. (c) 2023 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons .org /licenses /by /4 .0/)
A Categorization of Green Practices Used by Dutch Data Centers
No full textAbstractData centers represent today's major energy consumers. This is especially true in the Netherlands, informally called “the data center country” for Amsterdam includes 33% of the data centers of the whole European Union. To address this problem, the Dutch Government initiated the MJA (Meerjarenafspraken, or in English multiannual agreements), a nationwide initiative intended to improve energy efficiency of ICT products, services and processes. Major energy consumers, like data centers, actively participate in the MJA initiative to lower and optimize their energy consumption. To this end, the MJA members have documented the green ICT practices developed so far. The resulting documentation consists of an excel sheet of 83 consolidated practices. As a way to formalize, classify and share green practices, in our previous work we have proposed a green strategy model and have mapped the MJA practices accordingly. In this way we made explicit the fundamental knowledge elements of a green practice, namely the MJA green goals, green practices, and practice's effects. In this work, we take a further step into the content of the codified practices, by: i) classifying the practices based on the concerns they address, ii) looking into the goals that data centers intend to achieve in relation to the concerns that practices address, iii) classifying the practices based on the role that IT plays, and iv) distinguishing practices that are software-related from non-software related ones. In this way, we provide a picture of how data centers currently address the problem of reducing their energy footprint, possibly offering inspiration to both researchers (in progressing in their research further from what already exists), and practitioners (in reusing practices and learning what knowledge elements are important for informed decision making)
LAGO
No full textLago é uma depressão natural na superfície da Terra que contém uma quantidade variável de água. Água da chuva, água de nascente, água dos rios que vazam nestas depressões. A quantidade de água de um lago depende do clima de cada região. No Tocantins, um dos estados de temperaturas mais elevadas do Brasil,os lagos são alternativas para refrescar o calor intenso. A série fotográfica Lago é uma provocação ao mês de agosto, um dos meses mais quentes neste estado. O espelho propõe olhar as fotografias mais de uma vez, examiná-las, estabelecer jogos entre as coisas, suspender o tempo e quiçá compartilhar a poesia. O reflexonão representa, arrisca. Quer lançar a paisagem de tons pastéis às margens de um lago. A personagem nos conduz para uma árvore. Observa os arredores. Vê o horizonte. Deseja a vastidão e o infinito. Oásis cristalino, profundo. É possível tomar o barulho dos ventos como inspiração? O ardor das queimadas como resistência? Miragens. Efeito óptico para além de um desvio de luz nos objetos. Sabor de água doce. Frescor. Dia ensolarado. No tempo de cada fotografia as coisas se transformam. Ar. Memória. Cheiro. Poeira colorida colorante da estação. Cada fotografia inaugura o lugar do olhar. Abertura. Leitura. Distorção. Deslocamento. Para Adolfo Navas (2017, p. 83-84) "há [...] certos devires em curso que envolvem a fotografia em outros dispositivos e horizontes. E deve-se dizer que podem constituir linhas de fuga no campo de forças no campo nomeado como cultura fotográfica, no qual a fotografia precisa sair de certa redoma instrumentalizante e apostar na imagem fotográfica mais transversal, como território em contínua reconquista de liberdade, no fundo, sempre, no conjunto da imagem por vir como o desconhecido". Lago de palha que flutua. Azul. Ilhasde tempo. Possíveis constelações de pensamentos, intensidades e sentidos.
Técnicas: Fotografia DigitalTemática: Composição fotográfica / processo criativoAtuação: Renata FerreiraImpressão: 50x60c
Do Conflicts between Cultures Really Exist?A Historical and Methodological Reflection
No full textOver the recent years, political scientists and sociologists have debated about the so-called “conflict of cultures”, with reference to a well-known book by S. P. Huntington. The debate appears to have been mainly ideological: on one side, the followers of Huntington’s perspective have argued about the danger of “cultures” (Islamic, Orthodox, Asian, and so on) threatening - both economically and politically - the Western way of life (i.e. North American and European); on the other, the “cosmopolitans” or “optimistic globalists” have continued to speak of a growing integration of cultures, suggesting that, after the collapse of the communist empire, the market economy can really unify the world (see the famous essay by Francis Fukuyama).
In this essay, Alessandro Dal Lago tries to overcome both points of view, assuming that they share a deterministic and holistic concept of culture, which allows to shape the behavior of social actors, being, what’s more, homogeneous and stable, i. e. independent from historical processes.
The essay deconstructs the very idea of the clash of civilizations (Huntington and followers) showing how it has always blurred the contradictory relations (opposition and attraction) between, for instance, Islam and Western World even during the Crusades or Christianity and Ottoman Empire in their centuries-long wars. As to recent times, the essay’s main thesis is that the identity of migrants in Europe can be described only as the result of complex interactions between the national origins and the culture of the countries where migrants happen to live
Acta Capituli Prouincialis Prouinciae Hispaniae Ordinis Praedicatorum : celebrati in Conuentu Sancti Hildefonsi Regalis Taurensis Dominicà Deus qui errantibus, decimà nonà Aprilis Anni Domini 1671, sub R. A. P. N. Fr. Francisco de Vria ... Prouinciali electo eiusdem Prouinciae
Full text linkCopia digital. Valladolid : Junta de Castilla y León. Consejería de Cultura y Turismo, 2009-2010En p. 40 consta 1673, aunque la producción de Juan Antolín de Lago ca. 1653-1672Sign.: A-E4Port. con orla tip. y esc. xil. de los Dominico
- …
