Results 71 to 80 of about 126,128 (178)
Stubborn Transaction Reduction (with Proofs) [PDF]
arXiv, 2018 The exponential explosion of parallel interleavings remains a fundamental challenge to model checking of concurrent programs. Both partial-order reduction (POR) and transaction reduction (TR) decrease the number of interleavings in a concurrent system. Unlike POR, transactions also reduce the number of intermediate states. Modern POR techniques, on the
arxiv
Revista Paulista de Pediatria, 2017 RESUMO Objetivo: Relatar um caso de calcificação distrófica intensa no interior do seio maxilar em uma criança com transplante hepático e órgãos dentais pigmentados por hiperbilirrubinemia.
Adriana Furtado de Macedo +3 more
doaj +1 more source
Ambiente de Simulações Utilizando Traçado de Raios com Ondas Milimétricas e MIMO Para VANTs [PDF]
arXiv, 2019 The use of UAVs tends to increase in the coming years, it is of great importance to study forms of communication with these aerial models. This paper presents a simulations environment that combines simulators of traffic, flight and ray tracing, to generates a large amounts of propagation data between terrestrial transmitters and aerial vehicles in 5G ...
arxiv
Brazilian Journal of Otorhinolaryngology, 2010 O transplante de células-tronco hematopoiéticas (TCTH) causa imunossupressão e predispõe ao desenvolvimento de rinossinusites. A realização de tomografia computadorizada (TC) de seios paranasais pode auxiliar no diagnóstico de rinossinusopatias nestes ...
Erica Ortiz +6 more
doaj +1 more source
Uso da tomografia computadorizada para estudo do ambiente solo-semente de soja sob sistema de plantio direto. [PDF]
, 2011 bitstream/CNPDIA-2009-09/11890/1/CT93_2008 ...
FERNANDES, H. C. +5 more
core
Double Threshold Digraphs [PDF]
arXiv, 2017 A semiorder is a model of preference relations where each element $x$ is associated with a utility value $\alpha(x)$, and there is a threshold $t$ such that $y$ is preferred to $x$ iff $\alpha(y) > \alpha(x)+t$. These are motivated by the notion that there is some uncertainty in the utility values we assign an object or that a subject may be unable to ...
arxiv
Comparação entre radiografia periapical, panorâmica e tomografia computadorizada de feixe cônico no diagnóstico de reabsorções radicares apicais externas [PDF]
, 2015 TCC (graduação) - Universidade Federal de Santa Catarina. Centro de Ciências da Saúde. Odontologia.A reabsorção radicular apical externa (RRAE) é uma reabsorção patológica que pode acometer as raízes dentais em qualquer etapa da vida, sua etiologia é ...
Melo, Gilberto de Souza
core
Colourings of the Cartesian Product of Graphs and Multiplicative Sidon Sets [PDF]
Combinatorica 29.4:449-466, 2009, 2005 Let $F$ be a family of connected bipartite graphs, each with at least three vertices. A proper vertex colouring of a graph $G$ with no bichromatic subgraph in $F$ is $\F$-free. The $F$-free chromatic number $\chi(G,F)$ of a graph $G$ is the minimum number of colours in an $F$-free colouring of $G$.
arxiv
Derrame pleural parapneumônico: análise de 271 casos. [PDF]
, 2007 Trabalho de Conclusão de Curso - Universidade Federal de Santa Catarina. Curso de Medicina.
Cavalheiro, André Gustavo Castioni
core
Avaliação da adequação de uma sala de CT-Crânio do HC-UFU conforme as normas de proteção radiológica [PDF]
, 2020 In order to improve the safety of workers, patients and individuals in the public, involved in use of the ionizing radiation, radiation protection standards should be updated regularly.
Ferreira Junior, Antonio Carlos
core