Results 21 to 30 of about 138,363 (165)
Este artículo presenta un acercamiento a la resolución de problemas abductivos en C-estructuras, estructuras que tienen un universo de discurso finito y cada uno de sus elementos es la interpretación de una constante conocida. Empleando una variante del
Fernando Soler Toscano +1 more
doaj +1 more source
On the Directly and Subdirectly Irreducible Many-Sorted Algebras
A theorem of single-sorted universal algebra asserts that every finite algebra can be represented as a product of a finite family of finite directly irreducible algebras.
Climent Vidal J., Soliveres Tur J.
doaj +1 more source
Os Estados Relativos de Hugh Everett III e o Realismo Científico na Mecânica Quântica
O presente trabalho tem como objetivo explorar o tipo de realismo prevalecente na interpretação mais usualmente adotada para a Mecânica Quântica, qual seja, a Interpretação de Copenhague, e contrapô-lo ao realismo da Interpretação dos Estados Relativos ...
Tiago Cunico Camara, Samuel Simon
doaj +1 more source
This article presents an interdisciplinary experience that brings together two areas of computer science; didactics and philosophy. As such, the article introduces a relatively unexplored area of research, not only in Uruguay but in the whole Latin ...
Sylvia da Rosa +2 more
doaj +1 more source
Lógica de las tautologías. [PDF]
Se presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las ...
Manuel Sierra Aristizabal
core
El vapor en el laboratorio: una memoria sobre la ebullición del Abate Nollet
En este artículo se presentan las investigaciones del abate Nollet sobre el agente responsable del fenómeno de la ebullición. Estas investigaciones constituyen un ejemplo destacado de las concepciones y métodos de la física experimental francesa a ...
Manuel A. Sellés
doaj +1 more source
La lógica híbrida como extensión de la lógica temporal [PDF]
El objetivo de este trabajo consiste en explicar el origen de la lógica híbrida a partir de la modal/ temporal para mostrar qué añade a ambos sistemas en la representación de información, porqué es más potente que ellos y qué relación guarda con el ...
Álvarez Domínguez, Daniel
core
Papel del método experimental en la formación del antropólogo
RESUMEN: La relevancia adquirida por el uso de las técnicas experimentales en la investigación antropológica contemporánea, particularmente en la arqueología y en la antropología biológica, no guardan correspondencia con la formación de los futuros ...
Eduardo R. Scarano +2 more
doaj +2 more sources
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
Do Criminalization Policies Impact Local Homelessness?
ABSTRACT Local criminalization policies draw on the logic of deterrence to levy costs on individuals who engage in behaviors that are closely associated with various public concerns, such as those criminalizing behaviors associated with homelessness, thereby potentially reducing community‐level costs.
Hannah Lebovits, Andrew Sullivan
wiley +1 more source

