Repositorio Dspace

xmlui.ArtifactBrowser.ConfigurableBrowse.title.metadata.editorial

xmlui.ArtifactBrowser.ConfigurableBrowse.title.metadata.editorial

Ordenar por:Orden:Resultados:

  • CTL update of Kripke models through protections 
    Rosenblueth Laguette, David Arturo (Elsevier B.V., 2014-03-02)
    We present a nondeterministic, recursive algorithm for updating a Kripke model so as to satisfy a given formula of computation-tree logic (CTL). Recursive algorithms for model update face two dual difficulties: (1) Removing ...
  • Functional Prediction of Hypothetical Transcription Factors of Escherichia coli K-12 Based on Expression Data 
    Ludeña Cronick, Carenne; Rodríguez Fersaca, Anny; Martínez-Nuñez, Mario Alberto; Pérez-Rueda, Ernesto (Elsevier B.V., 2018-03-27)
    The repertoire of 304DNA-binding transcription factors (TFs) in Escherichia coli K-12 has been described recently, with 196 TFs experimentally characterized and 108 proteins predicted by sequence comparisons. Based on 303 ...
  • Localization of sound sources in robotics: A review 
    Meza, Ivan V. (Elsevier B.V., 2017-08-05)
    Sound source localization (SSL) in a robotic platform has been essential in the overall scheme of robot audition. It allows a robot to locate a sound source by sound alone. It has an important impact on other robot audition ...