نتائج البحث

Spin-Resolved Magneto-Tunneling and Giant Anisotropic g -Factor in Broken Gap InAs-GaSb Core–Shell Nanowires

• Authors : Clericò, Vito; Wójcik, Pawel; Vezzosi, Andrea ...

Subjects: Mechanical Engineering; Condensed Matter Physics; General Materials Science

• Source: Nano Letters ; volume 24, issue 3, page 790-796 ; ISSN 1530-6984 1530-6992

تفاصيل العنوان

CarlosP24/MZM_fullshell_v0.1 ...

• Authors : Carlos Payá; Escribano, Samuel D.; Vezzosi, Andrea

تفاصيل العنوان

CarlosP24/MZM_fullshell_v0.1 ...

• Authors : Carlos Payá; Escribano, Samuel D.; Vezzosi, Andrea

تفاصيل العنوان

Two Guarded Recursive Powerdomains for Applicative Simulation

• Authors : Møgelberg, Rasmus Ejlers; Vezzosi, Andrea

• Source: Møgelberg , R E & Vezzosi , A 2021 , Two Guarded Recursive Powerdomains for Applicative Simulation . in Proceedings 37th Conference on Mathematical Foundations of

تفاصيل العنوان

Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks

• Authors : Kristensen, Magnus Baunsgaard; Møgelberg, Rasmus Ejlers; Vezzosi, Andrea

• Source: Kristensen , M B , Møgelberg , R E & Vezzosi , A 2022 , Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks . i Proceedings of

تفاصيل العنوان

Band structure of n- and p-doped core-shell nanowires

• Authors : Vezzosi, Andrea; Bertoni, Andrea; Goldoni, Guido

Subjects: Condensed Matter - Mesoscale and Nanoscale Physics

تفاصيل العنوان

Le principali implicazioni delle emissioni di green bond: alcune realtà a confronto

• Authors : VEZZOSI, ANDREA; Ferretti, Paola

Subjects: ECONOMIA E MANAGEMENT

• Source: http://etd.adm.unipi.it/theses/available/etd-04172022-122630/.

تفاصيل العنوان

Two Guarded Recursive Powerdomains for Applicative Simulation

• Authors : Møgelberg, Rasmus Ejlers; Vezzosi, Andrea

Subjects: Computer Science - Logic in Computer Science

تفاصيل العنوان

Formalizing 휋-calculus in guarded cubical Agda

• Authors : Veltri, Niccolò; Vezzosi, Andrea

• Source: Veltri , N & Vezzosi , A 2020 , Formalizing 휋-calculus in guarded cubical Agda . in CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified

تفاصيل العنوان

Partial Univalence in n-truncated Type Theory

• Authors : Sattler, Christian; Vezzosi, Andrea

Subjects: Computer Science - Logic in Computer Science; Mathematics - Category Theory; Mathematics - Logic

تفاصيل العنوان