Zobrazeno 1 - 10
of 1 393
pro vyhledávání: '"A. B. A. QUEIROZ"'
Autor:
Rezuş, Adrian
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2015 Apr 01. 103(2), 447-451.
Externí odkaz:
http://www.jstor.org/stable/43649713
Autor:
Adrian Rezuş
Publikováno v:
Studia Logica. 103:447-451
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e64bf28e89414ccaa8ffad47d0b42812
https://doi.org/10.1007/s11225-015-9612-5
https://doi.org/10.1007/s11225-015-9612-5
Autor:
Pierre Baudry
Publikováno v:
JCMS: Journal of Common Market Studies. 56:1680-1681
Review by Pierre BAUDRY of Illegally Staying in the EU: An Analysis of Illegality in EU Migration Law, by B. Menezes Queiroz (Oxford and Portland, OR: Hart Publishing, 2018, ISBN 9781509912872); viii+207pp., £65.00 hb.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f60c3f16192a469a6d2918c1118bb2f
https://doi.org/10.1111/jcms.12827
https://doi.org/10.1111/jcms.12827
Publikováno v:
Bulletin of the Section of Logic, Vol 52, Iss 1, Pp 39-58 (2023)
One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher \(\beta\eta\)-conversions, which would correspond to proofs of equality between terms of a theory of equality of an
Externí odkaz:
https://doaj.org/article/074b4979639445708638d2107e04b16e
Publikováno v:
Trends in Computational and Applied Mathematics, Vol 24, Iss 2 (2023)
Este trabalho apresenta um algoritmo baseado no método Constrained Constructive Optimization (CCO) que possibilita gerar um modelo da estrutura geométrica de um sistema vascular com n árvores utilizando condições de contorno fisiológicas de pre
Externí odkaz:
https://doaj.org/article/d2103ab9967c4a1f8b616d51d8228ef1
Publikováno v:
IEEE Access, Vol 10, Pp 112502-112514 (2022)
A package repository is an essential piece of a software ecosystem. In FOSS, the software repositories are oftentimes hosted using limited donations, given the technical solutions adopted in the implementation. This work proposes a package repository
Externí odkaz:
https://doaj.org/article/39494fd17bd74d5eb8ea5504913f1416
Autor:
João R. Alves, Lucas A. Berg, Evandro D. Gaio, Bernardo M. Rocha, Rafael A. B. de Queiroz, Rodrigo W. dos Santos
Publikováno v:
Entropy, Vol 25, Iss 8, p 1229 (2023)
This paper presents a novel hybrid approach for the computational modeling of cardiac perfusion, combining a discrete model of the coronary arterial tree with a continuous porous-media flow model of the myocardium. The constructive constrained optimi
Externí odkaz:
https://doaj.org/article/2bd1e6b301a94efd88732b3b0937c2e2
Autor:
Gabriela Fischer, Francisco B. de Queiroz, Danilo C. Berton, Pedro Schons, Henrique B. Oliveira, Marcelo Coertjens, Mathieu Gruet, Leonardo A. Peyré-Tartaruga
Publikováno v:
Scientific Reports, Vol 11, Iss 1, Pp 1-9 (2021)
Abstract This study aimed to investigate the walking economy and possible factors influencing self-selected walking speed (SSWS) in patients with fibrotic interstitial lung disease (ILD) compared to controls. In this study, 10 patients with ILD (mean
Externí odkaz:
https://doaj.org/article/5b4fd7023186499ba57f41c4d33917be
This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an ‘enriched'system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmon
Autor:
Guilherme Limberg, Anna B. A. Queiroz, Hélio D. Perottoni, Silvia Rossi, João A. S. Amarante, Rafael M. Santucci, Cristina Chiappini, Angeles Pérez-Villegas, Young Sun Lee
Publikováno v:
The Astrophysical Journal, Vol 946, Iss 2, p 66 (2023)
In this work, we study the phase-space and chemical properties of the Sagittarius (Sgr) stream, the tidal tails produced by the ongoing destruction of the Sgr dwarf spheroidal (dSph) galaxy, focusing on its very metal-poor (VMP; [Fe/H] < −2) conten
Externí odkaz:
https://doaj.org/article/132efa697c1641cd93028d77629e1dd5