ARTICLES

Filter  
Active filters 0
Remove
  

Refine your searches by:

Collections
Research
Education
Technology
Geography
Pure sciences
Environment
Architecture and Urbanism
Social Sciences
Biology
Agronomy and forestry
all records (69)

Languages
English
Portuguese
Spanish
German
French

Countries
USA
Brazil
Indonesia
Switzerland
Canada
South Africa
Australia
Italy
Ukraine
United Kingdom
all records (60)

Years
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
all records (24)

Filter  
 
1.463  Articles
1 of 147 pages  |  10  records  |  more records»
The sole purpose of this paper is to give an algebraic characterization, in terms of a superamalgamation property, of a local version of Craig interpolation theorem that has been introduced and studied in earlier papers. We continue ongoing research in ab... see more

In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that interpolation fails for the impl... see more

The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.

Ground Glass Opacities (GGO) are a picture of abnormal lung conditions characterized by white or gray areas. This picture of GGO in the lungs could previously be detected based on the results of medical examinations such as Computerized Tomography (CT sca... see more

In this research work the implementation of a mathematical model to a road is carried out where the mathematical procedure is intended to be applied in the road of the urban sector of a municipality, mathematically modeling its behavior in order to find t... see more

In order to produce a correct elevation map, it is necessary to use not only the accurate technology for data acquisition, but also to utilize an appropriate method of interpolation, which will reflect the topographic features in a reliable manner. The fi... see more

Ventilator shortages is a common problem faced by hospitals during the COVID-19 pandemic era. Healthcare workers are forced to make choices because of how big the difference between resources and lives needing it. This issue rarely comes, because normally... see more

This paper presents some preliminary results arising within a general framework concerning the development of software tools for fuzzy arithmetic. The program is in a preliminary stage. What has been already implemented consists of a set of routines for e... see more

El teatro de objetos explicita la íntima relación entre el teatro y la muerte, donde cuestiones arquetípicas y primitivas conviven con vanguardismos creando interfaces con diversas vertientes y lenguajes artísticos. Edward Gordon Craig, desafiando substit... see more

1 of 147 pages  |  10  records  |  more records»