Results 31 to 40 of about 194,004 (105)
Hipercomputación desde la computación cuántica
Un hipercomputador computa funciones que son incomputables por una máquina de Turing. Recientemente, Tien D. Kieu ha propuesto un algoritmo hipercomputacional cuántico, el cual emplea como referente físico el oscilador armónico cuántico y resuelve en ...
Andrés Sicard +2 more
doaj
Gauss and the Mathematical Background to Standardisation
Our aim is to explore the links between standardisation, the quantifying spirit, and the discipline mathematics. To do so, we consider the work of Gauss, renowned as a pure mathematician, but professionally an astronomer, and one heavily engaged with all
Ferreirós José
doaj +1 more source
ABSTRACT While Black and visual geographies have examined the image's racial and spatial power, more work is needed to analyze how racial frames of view become spatially embedded. This paper advances such a practice by analyzing news images of homelessness in Oakland.
Clara Pérez Medina
wiley +1 more source
En la actualidad existen más de 9,824 mini súperes y abarroterías en el país, de los cuales la mayoría tienen problemas con el espacio, inventario, sus procesos y la salubridad de sus locales. Considerando que estos lugares son de gran concurrencia, es
Josue Hernández +2 more
doaj
Reimagining public governance through the commons: prefigurative legality at play?
Abstract This article contributes to the emerging scholarship on prefigurative legality by prompting critical questions on the boundaries of prefigurative legality itself. The article does so by reviewing two selected experiments for creating urban commons in Italy.
MARGHERITA PIERACCINI
wiley +1 more source
Um método dos tablôs por prova direta para a lógica clássica [PDF]
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação.Este trabalho desenvolve uma forma diferente de se obter árvores de prova por tablôs.
Lemes Neto, Maurício Correia
core
Stepping into the Industry 4.0: The Digital Twin Approach [PDF]
The digital manufacturing process based on the Digital Twin is a new approach that will forever shape the future of the Industry 4.0. This innovative concept is based on well-known technologies that already power the cloud-based economy: Big Data ...
Logica BANICA, Cristian STEFAN
doaj +1 more source
The Distributive Consequences of Active Welfare Policies in Europe
ABSTRACT This article examines the distributive consequences of active welfare policies in Europe by analysing tier‐specific investments in individualised employment services across four European welfare states: Denmark, Germany, the Netherlands and the United Kingdom.
Deborah Jackwerth‐Rice +1 more
wiley +1 more source
Aplicação da lógica paraconsistente anotada evidencial Et em mercados financeiros [PDF]
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Sócio-Econômico. Programa de Pós-Graduação em EconomiaNeste trabalho será apresentado o modelo de um sistema especialista de tomada de decisão definido sob as premissas da Lógica ...
Martins, Guilherme Bitencourt
core
Una crítica inmanente de la lógica de la relevancia
In this paper we propose a so-called "immanent críticism" of classical relevance logic R. We labeI this criticism "immanent" in the sense that Anderson and Belnap's syntactical and semantical intuitive concepts of relevance are not put under question ...
José M. Méndez
doaj +1 more source

