• (Heterogeneous) Structured specifications in logics without interpolation 

    López Pombo, Carlos G.; Frías, Marcelo (2018)
    "The world of software development has become intrinsically heterogeneous. Many formal languages have been made available to help analysts and designers model different aspects of software. Some examples in the logic realm ...
  • Navegación fluvial autónoma asistida por visión aérea 

    Garberoglio, Leonardo; Moreno, Patricio; Mas, Ignacio; Giribet, Juan I. (2019-11)
    "Este trabajo presenta una formación compuesta por un vehículo de superficie autónomo (ASV, por sus siglas en inglés) y un vehículo aéreo no tripulado (UAV, por sus siglas en inglés) con el objetivo de navegar, de forma ...
  • Time estimation of topotecan penetration in retinoblastoma cells through image sequence analysis 

    Chan, Debora; Winter, Ursula; Schaiquevich, Paula; Ramele, Rodrigo; Gambini, Juliana (2020)
    "Retinoblastoma is the most common intraocular tumor in childhood. Topotecan has been widely used as an antineoplastic agent for retinoblastoma treatment. Topotecan penetration into living tumorspheres is quantified using ...
  • From conceptual to logical ETL design using BPMN and relational algebra 

    Awiti, Judith; Vaisman, Alejandro Ariel; Zimányi, Esteban (2019)
    "Extraction, transformation, and loading (ETL) processes are used to extract data from internal and external sources of an organization, transform these data, and load them into a data warehouse. The Business Process ...
  • A characterization of strong iISS for time-varying impulsive systems 

    Haimovich, Hernán; Mancilla-Aguilar, J. L.; Cardone, Paula (2019-09)
    "For general time-varying or switched (nonlinear) systems, converse Lyapunov theorems for stability are not available. In these cases, the integral input-to-state stability (iISS) property is not equivalent to the existence ...

View more