Results 11 to 20 of about 93,684 (171)
Hardwiring truth in functional interpretations [PDF]
, 2023 We present four different approaches to prove the soundness theorem for variants with t-truth of functional interpretations. To showcase our different methods we focus on the intuitionistic nonstandard bounded functional interpretation of the nonstandard
Dinis, Bruno, Gaspar, Jaime
core +1 more source
Indagatio Didactica, 2018 Investigações realizadas nas últimas três décadas reportam a existência de fragilidades na aplicação de algoritmos de cálculo da mediana e na sua interpretação, em alunos de diferentes níveis de ensino.
Adelaide Freitas +3 more
doaj +1 more source
Diffraction by a union of strips with impedance conditions in Besov and Bessel potential spaces
Mathematical Modelling and Analysis, 2008 We consider an impedance boundary‐value problem for the Helmholtz equation which models a wave diffraction problem with imperfect conductivity on a union of strips. Pseudo‐differential operators acting between Bessel potential spaces and Besov spaces are
Luis P. Castro, David Kapanadze
doaj +1 more source
Fringe belts em uma perspectiva brasileira
Revista de Morfologia UrbanaEste trabalho tem como fim expor os conceitos tradicionais de fringe belts, tanto os definidos por Louis, em 1936, estudados por M. R. G. Conzen na sua pesquisa de 1960, quanto os observados por M. P. Conzen nas cidades norte-americanas.
Staël de Alvarenga Pereira Costa +4 more
doaj +1 more source
ViMeTGame: A serious games for virtual medical training of breast biopsy
Journal on Interactive Systems, 2013 Nenhum resumo ...
Rafael Siqueira Torres +3 more
doaj +1 more source
Conformal GUT inflation, proton lifetime and non-thermal leptogenesis
European Physical Journal C: Particles and Fields, 2019 In this paper, we generalize Coleman–Weinberg (CW) inflation in grand unified theories (GUTs) such as $$\text {SU}(5)$$ SU(5) and $$\text {SO}(10)$$ SO(10) by means of considering two complex singlet fields with conformal invariance.
K. Sravan Kumar, Paulo Vargas Moniz
doaj +1 more source
Generating CP Violation from a Modified Fridberg-Lee Model
Universe, 2022 The overall characteristics of the solar and atmospheric neutrino oscillations are approximately consistent with a tribimaximal form of the mixing matrix U of the lepton sector. Exact tribimaximal mixing leads to θ13=0. However, the results from the Daya
Neda Razzaghi +3 more
doaj +1 more source
Developmental Medicine &Child Neurology, EarlyView.CIF: Classificação Internacional de Funcionalidade, Incapacidade e Saúde. Resumo Objetivo Identificar os desfechos e instrumentos padronizados utilizados para medir mudanças após intervenções fisioterapêuticas realizadas via telessaúde em crianças e jovens com paralisia cerebral, de acordo com os domínios da Classificação Internacional de ...
Isabella S Christovão +6 more
wiley +1 more source
Coletânea de aplicações da álgebra linear [PDF]
, 2006 TCC (graduação) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Curso de Matemática.O trabalho foca em apenas quatro tipos de aplicações da álgebra linear: Programação linear geométrica, o problema de alocação de ...
Speck, Ana Lice Caroline
core
Properties of the delayed weighted gradient method [PDF]
, 2021 Funding Information: Roberto Andreani was financially supported by FAPESP (Projects 2013/05475-7 and 2017/18308-2) and CNPq (Project 301888/2017-5).
Marcos Raydan +3 more
core +1 more source