62 citations
3 papers
cs.LO2026
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…
physics.optics2021★ 18 cited
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…
q-bio.QM2010★ 62 cited
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…