Recent Submissions

  • Design of a Supersonic Wind Tunnel 

    Torunogullari, Altay; Schneider, Maxime; Pal, Itsvan; Tristancho Martínez, Joshua (2011-09-23)
    External research report
    Open Access
    This study was a preliminary work of how to implement a rocket with sensors in order to get information about the flight.
  • Relative timing verification revisited 

    Solé Simó, Marc; Pastor Llorens, Enric (2008)
    External research report
    Open Access
    Timed verification is a difficult problem. One of the ways in which it can be simplified is by using iterative refinement techniques. Here we investigate the advantages and shortcomings of this approach when combined with ...

View more