Buscar
Mostrando ítems 1-10 de 466
A translation from RSL to CSP
(Scopus, 2008)
The Raise Specification Language (RSL) is a broad spectrum modeling language which supports a wide range of specification styles. In order to apply verification techniques based on model checking to descriptions of concurrent ...
Model checking LTL formulae in RAISE with FDR
(Scopus, 2009)
TheRaise SpecificationLanguage (RSL) is a modeling languagewhich supports various specification styles. To apply model checking to RSL concurrent descriptions, we translate RSL specifications into the input language CSPM ...
RSL4 Takes Control: Multiple Signals, One Transcription Factor
(Elsevier, 2017-05)
Root hair growth dramatically expands the root surface area, thus facilitating water and nutrient uptake. Until recently, the molecular mechanism underlying root hair growth was unknown. Recent studies have revealed that ...
Autocrine regulation of root hair size by the RALF-FERONIA-RSL4 signaling pathway
(Wiley Blackwell Publishing, Inc, 2020-02)
Root hair (RH) size has vital physiological implications, since it influences the surface area of the root and thus the ability of the plant to absorb water and nutrients from the soil. Arabidopsis ROOT HAIR DEFECTIVE ...
High auxin and high phosphate impact on rsl2 expression and ros-homeostasis linked to root hair growth in arabidopsis thaliana
(Frontiers Research Foundation, 2018-08)
Root hair size determines the surface area/volume ratio of the whole roots exposed to the nutrient and water pools, thereby likely impacting nutrient and water uptake rates. The speed at which they grow is determined both ...
Avaliação do desempenho de um equipamento para medição da susceptibilidade à fragilização por hidrogênio pelo método RSLEvaluation de la performance d'un dispositif de mesure de la susceptibilité à la fragilisation par l'hydrogène par la méthode RSLEvaluation of the performance of an equipment to measure susceptibility to hydrogen embrittlement by RSL methodBewertung der Leistung eines Geräts zur Messung der Anfälligkeit gegenüber Wasserstoffversprödung durch das RSL-VerfahrenValutazione delle prestazioni di un dispositivo per misurare la suscettibilità all'infragilimento da idrogeno mediante il metodo RSLEvaluación del desempeño de un equipamiento para medir la susceptibilidad a la fragilización por hidrógeno mediante el método RSLEvaluatie van de prestaties van een apparaat om de gevoeligheid voor waterstofverbrossing te meten met de RSL-methode
(Universidade Federal de UberlândiaBrasilPrograma de Pós-graduação em Engenharia Mecânica, 2019)
Proposição de uma UEPS: contribuições para aprendizagem significativa de conceitos de mecânica
(Universidade Federal de Santa MariaBrasilEducaçãoUFSMPrograma de Pós-Graduação em Educação Matemática e Ensino de FísicaCentro de Ciências Naturais e Exatas, 2022-03-31)
In the present work, a pedagogical proposal for the teaching of Mechanics is presented, based on a Potentially Significant Teaching Unit (UEPS) developed with the aim of investigating what characteristics a UEPS should ...