Search results for "meanings"
showing 10 items of 37 documents
Rapid construction of algebraic axioms from samples
1991
Abstract An axiom is called reliable if it is confirmed in several places in a given sample of algebra. A very effective algorithm for enumerating such axioms is described.
Efficient Switches with QoS Support for Clusters
2007
Current interconnect standards providing hardware support for quality of service (QoS) consider up to 16 virtual channels (VCs) for this purpose. However, most implementations do not offer so many VCs because they increase the complexity of the switch and the scheduling delays. We have shown that this number of VCs can be significantly reduced, because it is enough to use two VCs for QoS purposes at each switch port. In this paper, we cover the weaknesses of that proposal and, not only we reduce VCs, but we also improve performance due to the flexibility assigning buffer memory.
Post-fotografia etnografica
2021
È evidente come la nostra società tecnologica sia legata senza alcun dubbio alla diffusione delle immagini. Autori come Gottfried Boehm, John Mitchell, Hans Belting hanno indagato la natura dell'immagine ponendo le basi, negli anni Novanta, per l'idea di un pictorial turn, di una cultura totalmente dominata dalle immagini che è diventata adesso una possibilità tecnica reale su scala globale. Un nuovo statuto dell'immagine che si usa raccogliere sotto l'etichetta di iconic turner inserito nel più vasto campo visual culture studies. L'uso del termine cultura accanto a quello di visuale è indicativo dell'ampiezza del campo d'indagine che visual culture studies si prefiggono di ricercare: essi …
Latvijas Vēstures Institūta Žurnāls. 2015, Nr. 2 (95)
2015
Valsts kultūrkapitāla fonds
Migration Discourse and the New Socially Constructed Meanings of the English Lingua Franca
2022
After the 1990s, the mass arrival of immigrants in Europe transformed the phenomenon of migration from a benefit into a problem and opened the debate to issues of first aid, security, expulsion and rejection. Even today, migrants are no longer seen as a socio-economic resource to be protected and regulated, but as a potential social problem affecting areas such as the economy, health and national security. The paper deals with the linguistically relevant literature about migration discourse (MD) and the role of English as lingua franca in public discourse related to the migration phenomenon. The latter part examines some traditional English key terms used to represent migrants since their m…
Building a new CTL model checker using Web services
2013
This Computation Tree Logic (CTL) is widely used to capture compositions of reactive systems. Model checking is particularly well-suited for the automated verification of finite-state systems, both for software and for hardware. A CTL model checker tool allows designers to automatically verify that systems satisfy specifications expressed in the language of CTL logic. In this paper we present a new CTL model checker implemented in client-server paradigm. CTL Designer, the client tool, allows an interactive construction of the CTL models as state-transition graphs. Java and C# APIs are provided for programmatic construction of large models. The server part of our tool embeds the core of the …
Deciding properties of integral relational automata
1994
This paper investigates automated model checking possibilities for CTL* formulae over infinite transition systems represented by relational automata (RA). The general model checking problem for CTL* formulae over RA is shown undecidable, the undecidability being observed already on the class of Restricted CTL formulae. The decidability result, however, is obtained for another substantial subset of the logic, called A-CTL*+, which includes all ”linear time” formulae.
Viaggi nell’immaginario: il turismo virtuale nel sito UNESCO di Tarragona
2023
Le nuove tecnologie hanno trasformato in modo radicale non solo la geografia come disciplina, ma anche le geografie del mondo. Il digitale ha assunto, infatti, un ruolo di mediazione sempre più pervasivo nella produzione dello spazio, come delle conoscenze e degli immaginari geografici. Le possibilità offerte dal virtuale, in particolare, offrono oggi un contributo decisivo nella comunicazione dei significati attribuiti ai luoghi e rispondono in modo sempre più efficace ai bisogni emergenti del settore turistico. Le esperienze di visita mediate dal digitale mirano a coinvolgere i sensi e risultano efficaci quando promuovono immersioni rigorosamente realistiche. Nel quadro di queste riflessi…
Electron Ion Collider: The Next QCD Frontier: Understanding the glue that binds us all
2016
International audience; This White Paper presents the science case of an Electron-Ion Collider (EIC), focused on the structure and interactions of gluon-dominated matter, with the intent to articulate it to the broader nuclear science community. It was commissioned by the managements of Brookhaven National Laboratory (BNL) and Thomas Jefferson National Accelerator Facility (JLab) with the objective of presenting a summary of scientific opportunities and goals of the EIC as a follow-up to the 2007 NSAC Long Range plan. This document is a culmination of a community-wide effort in nuclear science following a series of workshops on EIC physics over the past decades and, in particular, the focus…
Exploring Students’ Metacognitive Knowledge: The Case of Integral Calculus
2020
Previous studies of integral calculus have mainly explored students&rsquo