• Formal specification and verification of real-time systems usinggraph grammars 

      Michelon, Leonardo; Costa, Simone Andre da; Ribeiro, Leila (2007) [Artigo de periódico]
      The importance of real-time systems has enormously increased in the last decade. Application areas that typically need real-time models include railroad systems, intelligent vehicle highway systems, avionics, multimedia ...
    • As formas de contribuição dos estágios supervisionados do curso de licenciatura em Química da UFRGS para o desenvolvimento profissional dos licenciandos 

      Passos, Camila Greff; Del Pino, Jose Claudio (2013) [Artigo de periódico]
      A presente investigação é uma pesquisa do tipo estudo de caso, que visa a analisar as formas de contribuição dos estágios do curso de Licenciatura em Química da UFRGS para o desenvolvimento profissional dos licenciandos. ...
    • Formation of epitaxial [Beta]-Sn islands at the interface of SiO/sub 2/Si layers implanted with Sn ions 

      Lopes, João Marcelo Jordão; Zawislak, Fernando Claudio; Fichtner, Paulo Fernando Papaleo; Papaleo, Ricardo Meurer; Lovey, Francisco Carlos; Condó, Adriana M.; Tolley, Alfredo J. (2005) [Artigo de periódico]
      180 nm SiO2 layers on Si s100d were implanted with Sn ions producing a profile with a peak concentration of 3 at. % at the middle of the oxide. After high temperature s900–1100 °Cd annealing, an array of b-Sn islands ...
    • Formation of Ge nanoparticles in SiOxNy by ion implantation and thermal annealing 

      Mirzaei, Sahar; Kremer, Felipe; Sprouster, David J.; Araújo, Leandro Langie; Feng, Ruixing; Glover, C. J.; Ridgway, M.C. (2015) [Artigo de periódico]
      Germanium nanoparticles embedded within dielectric matrices hold much promise for applications in optoelectronic and electronic devices. Here we investigate the formation of Ge nanoparticles in amorphous SiO1.67N0.14 as a ...
    • Formation of highly n-doped gallium arsenide layers by rapid thermal oxidation followed by rapid thermal annealing of silicon-capped gallium arsenide 

      Sadana, Devendra K.; Souza, Joel Pereira de; Cardone, Franck (1991) [Artigo de periódico]
      Carrier concentrations at a level of ?Z 1 X 1019 cm - 3 were achieved when Si-capped GaAs underwent rapid thermal oxidation (RTO) in Ar + 0.1% O2 ambient at 850-1000 ‘C for 10-60 s followed by rapid thermal annealing (RTA) ...
    • Formation of S0s in extreme environments : I: clues from kinematics and stellar populations 

      Coccato, Lodovico; Jaffé, Yara L.; Cortesi, Arianna; Merrifield, Michael; Johnston, Evelyn J.; Del Pino, Bruno Rodŕiguez; Haeussler, Boris; Chies-Santos, Ana Leonor; Oliveira, Claudia Lucia Mendes de; Sheen, Yun-Kyeong; Menéndez-Delmestre, Karín (2020) [Artigo de periódico]
      Despite numerous efforts, it is still unclear whether lenticular galaxies (S0s) evolve from spirals whose star formation was suppressed, or formed trough mergers or disc instabilities. In this paper we present a pilot study ...
    • Formation of S0s in extreme environments II : the star-formation histories of bulges, discs, and lenses 

      Johnston, Evelyn J.; Aragón-Salamanca, Alfonso; Fraser-McKelvie, Amelia; Merrifield, Michael; Haeussler, Boris; Coccato, Lodovico; Jaffé, Yara L.; Cortesi, Arianna; Chies-Santos, Ana Leonor; Rodríguez del Pino, Bruno; Sheen, Yun-Kyeong (2021) [Artigo de periódico]
      Different processes have been proposed to explain the formation of S0s, including mergers, disc instabilities, and quenched spirals. These processes are expected to dominate in different environments, and thus leave ...
    • Formulações de atrazina em xerogéis : síntese e caracterização 

      Ávila, Letícia Gomes de; Leite, Simone Benvenutti; Dick, Deborah Pinheiro; Pohlmann, Adriana Raffin (2009) [Artigo de periódico]
      In this study, controlled release formulations of Atrazine (ATZ) were synthesized by the sol-gel method and characterized by elemental, FTIR, SEM, BET and DSC analyses. The release kinetic of ATZ from the formulations in ...
    • Fórum como estratégia para o engajamento na disciplina de geometria plana : análise de uma experiência em ensino remoto 

      Notare, Márcia Rodrigues; Pinto, Renata Cezar (2021) [Artigo de periódico]
      Este artigo apresenta uma investigação sobre os impactos do engajamento e das interações sociais na aprendizagem de Geometria Euclidiana Plana, em atividades realizadas em fóruns no ambiente virtual de aprendizagem ...
    • Forward elastic scattering and Pomeron models 

      Rocha, Mateus Broilo da; Luna, Emerson Gustavo de Souza; Menon, Marcio Jose (2018) [Artigo de periódico]
      Recent data from LHC13 by the TOTEM Collaboration indicate an unexpected decrease in the value of the ρ parameter and a σtot value in agreement with the trend of previous measurements at 7 and 8 TeV. These data at 13 TeV ...
    • Forward elastic scattering : dynamical gluon mass and semihard interactions 

      Rocha, Mateus Broilo da; Fagundes, Daniel Almeida; Luna, Emerson Gustavo de Souza; Menon, Marcio Jose (2019) [Artigo de periódico]
      The role of low-x parton dynamics in dictating the high-energy behavior of forward scattering observables at LHC energies is investigated using a QCD-based model with even-under-crossing amplitude dominance at high-energies. ...
    • Forward rapidity J/ψ production as a function of charged-particle multiplicity in pp collisions at √s = 5.02 and 13 TeV 

      Acharya, Shreyasi; Gay Ducati, Maria Beatriz; Pereira, Luis Gustavo; Pezzi, Rafael Peretti; ALICE Collaboration (2022) [Artigo de periódico]
      The production of J/ψ is measured as a function of charged-particle multi plicity at forward rapidity in proton-proton (pp) collisions at center-of-mass energies √s = 5.02 and 13 TeV. The J/ψ mesons are reconstructed via ...
    • A fossil bulge globular cluster revealed by very large telescope multi-conjugate adaptive optics 

      Ortolani, Sergio; Barbuy, Beatriz; Momany, Yazan; Saviane, Ivo; Bica, Eduardo Luiz Damiani; Jilkova, Lucie; Salerno, Gustavo Malta; Jungwiert, Bruno (2011) [Artigo de periódico]
      The globular cluster HP 1 is projected on the bulge, very close to the Galactic center. The Multi-Conjugate Adaptive Optics Demonstrator on the Very Large Telescope allowed us to acquire high-resolution deep images that, ...
    • Foundations and applications of qualitative reasoning and model-based diagnosis 

      Struss, Peter; Roque, Waldir Leite (1993) [Artigo de periódico]
      In this paper we summarize the foundation for a model-based approach to diagnosis of technical systems ud discuss the import&Dce of qualitative reasoning within this framework. Based on this, we propose to apply these ...
    • Fourier transform infrared spectroscopy (FTIR) and multivariative analysis for identification of defferent vegetable oils used in biodiesel production 

      Mueller, Daniela; Ferrão, Marco Flôres; Marder, Luciano; Costa, Adilson Ben da; Schneider, Rosana de Cassia de Souza (2013) [Artigo de periódico]
      The main objective of this study was to use infrared spectroscopy to identify vegetable oils used as raw material for biodiesel production and apply multivariate analysis to the data. Six different vegetable oil sources—canola, ...
    • Four new massive pulsating white dwarfs including an ultramassive DAV 

      Curd, Brandon; Gianninas, Alexandros; Bell, Keaton; Kilic, Mukremin; Romero, Alejandra Daniela; Allende Prieto, Carlos; Winget, Donald Earl; Winget, K. I. (2017) [Artigo de periódico]
      We report the discovery of four massive (M > 0.8M ) ZZ Ceti white dwarfs, including an ultramassive 1.16M star. We obtained ground-based, time series photometry for 13 white dwarfs from the Sloan Digital Sky Survey Data ...
    • Fração atribuível populacional 

      Camey, Suzi Alves; Agranonik, Marilyn; Radaelli, Jáderson; Hirakata, Vania Naomi (2010) [Artigo de periódico]
      A fração atribuível populacional (FAP) é uma medida capaz de mensurar o efeito da eliminação do fator de risco para determinado desfecho, ou seja, mede o quanto a ocorrência do desfecho pode ser diminuída se o fator de ...
    • Frações de fósforo em estrumes e sua eficiência como adubo fosfatado 

      Cassol, Paulo Cezar; Gianello, Clesio; Costa, Valentim Emilio Uberti (2001) [Artigo de periódico]
      Os estrumes empregados como fontes de fósforo podem ter eficiência fertilizante diferente da dos adubos comerciais solúveis. Tal eficiência pode variar com a origem do estrume e com as proporções das diferentes frações ...
    • Fractal Weyl law behavior in an open Hamiltonian system 

      Ramilowski, Jordan A.; Prado, Sandra Denise; Borondo Rodríguez, Florentino; Farrelly, David (2009) [Artigo de periódico]
      We numerically show fractal Weyl law behavior in an open Hamiltonian system that is described by a smooth potential and which supports numerous above-barrier resonances. This behavior holds even relatively far away from ...
    • Fractionally integrated moving average stable processes with long-range dependence 

      Feltes, Guilherme de Lima; Lopes, Silvia Regina Costa (2022) [Artigo de periódico]
      Long memory processes driven by Lévy noise with finite second-order moments have been well studied in the literature. They form a very rich class of processes presenting an autocovariance function that decays like a power ...