-
20221PortugalPor Pinto, Luís F.“... to implication, called exclusion. We present a sound and complete cut-free labelled sequent calculus for bi...”
Publicado em 2009
Obter o texto integral
conferencePaper -
20222PortugalPor Casini, Daniel“... by the system. Both closed-form bounds and more accurate algorithmic techniques are proposed. It is shown how...”
Publicado em 2019
Obter o texto integral
conferenceObject -
20223BrasilPor Sampaio, Samara Solane Santos“... mathematical problem seems related to the algorithmization process that we use to solve a problem with a...”
Publicado em 2019
Obter o texto integral
article -
20224PortugalPor Pereira, Joana Ministro dos Santos CaldasObter o texto integral
Publicado em 2015
masterThesis -
20225PortugalPor Lourenço, Paulo B.“...A composite plasticity model for masonry shells is proposed. Modem algorithmic plasticity concepts...”
Publicado em 1999
Obter o texto integral
conferencePaper -
20226PortugalPor Gaspar, M.“... of variations requiring different algorithmic strategies. This paper is the continuation of [12] and focus...”
Publicado em 2015
Obter o texto integral
article -
20227BrasilPor Macêdo Júnior, Daniel Paiva de“... platform of budget reduction for Education, Health and social investments presented by the Presidency...”
Publicado em 2020
Obter o texto integral
masterThesis -
20228BrasilPor Mello, Luiz Adolfo de“...We present a research methodology developed for the theory of scientific knowledge which use...”
Publicado em 2020
Obter o texto integral
article -
20229PortugalPor Pacheco, Maria F.“.... Such graphs were introduced in [13] and are called graphs with convex-QP stability number. A few algorithmic...”
Publicado em 2010
Obter o texto integral
conferenceObject -
20230BrasilPor Moura, Newton Célio Backer“...A retention facility is presented as a prototype evaluated not only for its volume capacity...”
Publicado em 2022
Obter o texto integral
article -
20231
-
20232PortugalPor Lopes, J. V.“...Presently there is a progressive tendency to incorporate simulation and parametric design...”
Publicado em 2022
Obter o texto integral
conferenceObject -
20233PortugalPor Areias, P.“... function. In addition, loss of information occurs with fitting procedures. The present alternative consists...”
Publicado em 2019
Obter o texto integral
article -
20234PortugalPor Lopes, J. V.“...Presently there is a progressive tendency to incorporate parametric design strategies in urban...”
Publicado em 2022
Obter o texto integral
conferenceObject -
20235BrasilPor Nociolini Rebechi, Claudia“... in the work process managed and algorithmically controlled by itself. The discussion presented...”
Publicado em 2022
Obter o texto integral
article -
20236BrasilPor Mello, Luiz Adolfo de“...We will present here the Knowledge Theory (KT) along with one of its possible research...”
Publicado em 2019
Obter o texto integral
article -
20237
-
20238PortugalPor Ribeiro, Nuno Miguel Ferrete“... to better understand the information of the used Inertial Measurement Units (IMUs) system is here presented...”
Publicado em 2017
Obter o texto integral
conferencePaper -
20239BrasilPor Miranda, Camila de Brito“... presented in the literature, which can overdesign the heat exchanger area. Besides, a constraint was created...”
Publicado em 2018
Obter o texto integral
doctoralThesis -
20240PortugalPor Semião, Paulo“...We present an interactive evaluation system for mathematics in the e-learning Moodle environment...”
Publicado em 2014
Obter o texto integral
article