Browsing by Subject "Simulation"

Now showing items 1-3 of 3

    • Characterization, definability and separation via saturated models 

      Areces, Carlos Eduardo; Carreiro, Facundo; Figueira, Santiago (2014)
      Three important results about the expressivity of a modal logic L are the Characterization Theorem (that identifies a modal logic L as a fragment of a better known logic), the Definability theorem (that provides conditions ...

    • Modelización y simulación numérica de un destilador solar 

      Ramos, Ivana Carola (2015)
      En esta tesis se desarrolla un modelo termohidrodinámico de un destilador solar de batea. Inicialmente, mediante descomposición en modos empíricos y transformada de Hilbert-Huang, se realiza un reanálisis de resultados ...

    • Recent developments in GEANT 4 

      Allison, J.; Amako, K.; Apostolakis, J.; Arce, P.; Depaola, Gerardo Osvaldo (2016)
      GEANT4 is a software toolkit for the simulation of the passage of particles through matter. It is used by a large number of experiments and projects in a variety of application domains, including high energy physics, ...