-
1
Resonances crossing and electric field quantum sensors Andrea Sacchetti is member of Gruppo Nazionale per la Fisica Matematica of Istituto Nazionale di Alta Matematica (GNFM-INdAM). This work is partially supported by the Next Generation EU—Prin 2022CHELC7 project ‘Singular Interactions and Effective Models in Mathematical Physics’ and the UniMoRe-FIM project ‘Modelli e metodi della Fisica Matematica’
Veröffentlicht in Physica scripta
VolltextArtikel -
2
On a singular eigenvalue problem and its applications in computing the Morse index of solutions to semilinear PDE's: IIThis work was supported by Gruppo Nazionale per l'Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM)
Veröffentlicht in Nonlinearity
VolltextArtikel -
3
Size estimates for fat inclusions in an isotropic Reissner-Mindlin plateThe first author is supported by PRIN 2015TTJN95 'Identification and monitoring of complex structural systems'. The second author is supported by FRA 2016 'Problemi Inversi, dalla stabilità alla ricostruzione', Università degli Studi di Trieste. The second and the third authors are supported by Progetto GNAMPA 2017 'Analisi di problemi inversi: stabilità e ricostruzione', Istituto Nazionale di Alta Matematica (INdAM)
Veröffentlicht in Inverse problems
VolltextArtikel -
4
High order Lyapunov-like functions for optimal control⁎⁎⁎This research is partially supported by the Padua University grant SID 2018 “Controllability, stabilizability and infimum gaps for control systems”, prot. BIRD 187147, and by the Gruppo Nazionale per l’ Analisi Matematica, la Probabilit‘a e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM), Italy
Veröffentlicht in IFAC-PapersOnLine
VolltextArtikel -
5
Necessary conditions for a nonclassical control problem with state constraintsThe second author is partially supported by Padova University project PRAT2015 “Control of dynamics with active constraints” and by Istituto Nazionale di Alta Matematica
Veröffentlicht in IFAC-PapersOnLine
VolltextArtikel -
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
Abraham Robinson. Forcing in model theory. Symposia mathematica, vol. 5, Istituto Nazionale di Alta Matematica, Academic Press, London and New York 1971, pp. 69–82. - Jon Barwise and Abraham Robinson. Completing theories by forcing. Annals of mathematical logic, vol. 2 no. 2 (1970), pp. 119–142. - Abraham Robinson. Infinite forcing in model theory. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
15
-
16
-
17
Lucio Lombardo-Radice. Ordinali transfiniti e principio del terzo escluso (A proposito di un ragionamento del Gödel). Università di Roma, Istituto Nazionale di Alta Matematica, Rendiconti di matematica e delle sue applicazioni, ser. 5 vol. 9 no. 3–4 (for 1950, pub. 1951), pp. 421–428
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
18
Haskell B. Curry. La théorie des combinateurs. Università di Roma, Istituto Nazionale di Alta Matematica, Rendiconti di matematica e delle sue applicazioni, ser. 5 vol. 10 (1951), pp. 347–359. - Haskell B. Curry. La logique combinatoire et les antinomies. Ibid., pp. 360–370
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
19
-
20