39 citations
- Istituto Nazionale di Fisica Nucleare, Sezione di TriesteIT3 papers
- Universidad de MurciaES3 papers
- University of CalabriaIT3 papers
- University of GlasgowGB3 papers
- Istituto Nazionale di Fisica NucleareIT2 papers
- Parthenope University of NaplesIT2 papers
- University of BolognaIT2 papers
- University of PaduaIT2 papers
- University of TriesteIT2 papers
- University of UdineIT2 papers
- Ben-Gurion University of the NegevIL1 paper
- Ca' Foscari University of VeniceIT1 paper
6 papers · 1 filter
Computational challenges of tumor spheroid modeling
Roberto Chignola, Alessio Del Fabbro, Marcello Farina +1
The speed and the versatility of today's computers open up new opportunities to simulate complex biological systems. Here we review a computational approach recently proposed by us…
On Ekeland's variational principle
Marco Squassina
For proper lower semi-continuous functionals bounded below which do not increase upon polarization, an improved version of Ekeland's variational principle can be formulated in Bana…
Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages
Alessandra Di Pierro, Gethin Norman
This volume contains the proceedings of the Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), held in Paphos, Cyprus, on March 27-28, 2010. QAPL 2010 is…
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
Davide Bresolin, Pietro Sala, Guido Sciavicco
Interval temporal logics (ITLs) are logics for reasoning about temporal statements expressed over intervals, i.e., periods of time. The most famous ITL studied so far is Halpern an…
General Ramified Recurrence is Sound for Polynomial Time
Ugo Dal Lago, Simone Martini, Margherita Zorzi
Leivant's ramified recurrence is one of the earliest examples of an implicit characterization of the polytime functions as a subalgebra of the primitive recursive functions. Leivan…
Efficient optical pumping of Zeeman spin levels in Nd3+:YVO4
Mikael Afzelius, Matthias U. Staudt, Hugues de Riedmatten +7
We demonstrate that Zeeman ground-state spin levels in Nd3+:YVO4 provides the possibility to create an efficient lambda-system for optical pumping experiments. The branching ratio…