62 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
3 papers
A Gödel Modal Logic Over Witnessed Models
Mauro Ferrari, Camillo Fiorentini, Paolo Giardini +1
We introduce GW, a Gödel modal logic based on Kripke models in which the value of each modal formula is witnessed by an accessible world. This witnessed semantics eliminates the li…
High resolution mid-infrared optical coherence tomography with kHz line rate
Niels M. Israelsen, Peter John Rodrigo, Christian R. Petersen +5
We report on Mid-infrared (MIR) OCT at 4 m based on collinear sum-frequency upconversion and promote the A-scan scan rate to 3 kHz. We demonstrate the increased imaging speed fo…
When the optimal is not the best: parameter estimation in complex biological models
Diego Fernandez Slezak, Cecilia Suarez, Guillermo A. Cecchi +2
Background: The vast computational resources that became available during the past decade enabled the development and simulation of increasingly complex mathematical models of canc…