Results 31 to 40 of about 47,971 (279)
The 2008 CAV Award citation [PDF]
Formal Methods in System Design, 2009 The 2008 CAV Award is given to Rajeev Alur and David Dill for their 1990 paper on “Automata for modeling real-time systems”, which introduced the formalism that is now known as timed automata. This work by Alur and Dill is concerned with real-time systems, whose execution is constrained by timing considerations. With the ubiquity of embedded computers,
Randal E. Bryant +3 more
openaire +1 more source
Biotemas, 2008 O objetivo deste trabalho foi de avaliar o efeito do condicionamento térmico na tolerância ao frio e na qualidade de goiabas ‘Pedro Sato’ armazenadas a 2ºC.
Cristiano André Steffens +4 more
doaj +1 more source
Revista de Ciências Agroveterinárias, 2020 A septoriose é uma das principais doenças do tomateiro e os prejuízos causados variam em função da área cultivada com cultivar suscetível, raças fisiológicas do patógeno e condições climáticas.
Alana Karine Baldicera +5 more
doaj +1 more source
Revista Thema, 2023 O presente artigo objetivou analisar a abordagem imagética do Filo Cnidaria em Livros Didáticos do Ensino Médio por meio da Teoria Cognitivista da Aprendizagem Multimídia (TCAM).
Juliana Bezerra dos Santos +3 more
doaj +1 more source
Seleção multivariada entre e dentro de populações mutantes de feijão
Revista de Ciências Agroveterinárias, 2018 A indução de mutação é estratégia amplamente utilizada nos programas de melhoramento de plantas, e proporciona a criação de variabilidade genética para muitos caracteres de importância agronômica.
Rodolfo Schmit +4 more
doaj +1 more source
Doses intermediárias de Osmocote® aumentam a performance inicial de mudas de araçá
Revista de Ciências Agroveterinárias, 2020 O araçá (Psidium cattleianum Sabine) é uma espécie frutífera nativa que possui importância econômica na indústria alimentícia e farmacêutica. Diante disto, há necessidade de produzir mudas de qualidade capazes de atender às demandas de mercado.
Bruno Nascimento +5 more
doaj +1 more source
CAV-1 reduces inflammatory activity and then protects tubular nephrocalcinosis and pyelonephritis.
, 2016 (A) CAV-1 is well-distributed in the glomerulus (upper). Staining intensity was higher in the AP-CAV-1-treated rabbits (the HCAV-1 group) than in the untreated hypercholesterolemic rabbits (the HC group).
Ya-Hui Chen (514335) +5 more
core +1 more source
Agropecuária Catarinense, 2020 O objetivo deste trabalho foi monitorar a formação de amônio (NH4+) e nitrato (NO3-) em solo alagado e mensurar a recuperação do N pelas plantas de arroz após a aplicação de ureia e de cama de aves, em vasos, em um Gleissolo Háplico distrófco. Utlizou-se
Ronaldir Knoblauch +5 more
doaj
CAV-1 enhances SOD2 and catalase protein expressions.
, 2016 (A) Significantly increased expression of mitochondrial antioxidant enzymes SOD2 (upper) and catalase (lower) were observed in the CAV-1-treated hypercholesterolemic rabbits. (B) Quantification of SOD2 and catalase.
Ya-Hui Chen (514335) +5 more
core +1 more source