1,724,534 research outputs found
Oral History Interview: Uri Vardi (0477)
No full textUri Vardi details his extensive teaching experience in Israel and his transition to the University of Wisconsin-Madison. To learn more about this oral history, download & review the index first (or transcript if available). It will help determine which audio file(s) to download & listen to.In his 4/15/1994 interview with Jane Reigel Ferencz, Uri Vardi details his extensive
teaching experience in Israel and his transition to the University of Wisconsin-Madison. He
discusses his teaching philosophies, emphasizing his passion for nurturing young musicians
and the integration of movement in his performances. This interview was conducted for
inclusion in the School of Music 1994 Seminar Oral History Project
2009-2010 Guest Pianist Weekend: Cannon Buried in Flowers The Polonaises of Chopin - Arie Vardi
Full text linkArie Vardi Master Class (January 24, 2010) - Progra
2009-2010 Master Class - Arie Vardi (Piano)
Full text linkArie Vardi Cannon Buried in Flowers: The Polonaises of Chopin (January 23, 2010) - Programhttps://spiral.lynn.edu/conservatory_masterclasses/1091/thumbnail.jp
Fonds Reoven VARDI
No full textRéférence 216 Ifa, VARRE Niveau de description Fonds d’archives Intitulé VARDI Reoven (1933-) Dates extrêmes Années 1970-2000 Nom des principaux producteurs Reoven Vardi Importance matérielle 11 ml de dossiers, 3 tiroirs de meubles à plans, 2,5 ml de rouleaux. Langue des documents français Historique de la conservation Centre d’archives d’architecture du XXe siècle Localisation physique Centre d’archives d’architecture du XXe siècle 127, rue de Tolbiac 75013 Paris Condition..
Fonds Reoven VARDI
No full textRéférence 216 Ifa, VARRE Niveau de description Fonds d’archives Intitulé VARDI Reoven (1933-) Dates extrêmes Années 1970-2000 Nom des principaux producteurs Reoven Vardi Importance matérielle 11 ml de dossiers, 3 tiroirs de meubles à plans, 2,5 ml de rouleaux. Langue des documents français Historique de la conservation Centre d’archives d’architecture du XXe siècle Localisation physique Centre d’archives d’architecture du XXe siècle 127, rue de Tolbiac 75013 Paris Condition..
Reasoning about strategies: On the satisfiability problem
Full text linkStrategy Logic (SL, for short) has been introduced by Mogavero, Murano, and Vardi as a useful formalism for reasoning explicitly about strategies, as first-order objects, in multi-agent concurrent games. This logic turns out to be very powerful, subsuming all major previously studied modal logics for strategic reasoning, including ATL, ATL⋆ , and the like. Unfortunately, due to its high expressiveness, SL has a non-elementarily decidable model-checking problem and the satisfiability question is undecidable, specifically Σ 1 1-hard.
In order to obtain a decidable sublogic, we introduce and study here One-Goal Strategy Logic (SL[1g], for short). This is a syntactic fragment of SL, strictly subsuming ATL⋆ , which encompasses formulas in prenex normal form having a single temporal goal at a time, for every strategy quantification of agents. We prove that, unlike SL, SL[1g] has the bounded tree-model property and its satisfiability problem is decidable in 2ExpTime, thus not harder than the one for ATL
Fragilità e innovazione. Rischi e tutele per i soggetti vulnerabili nel diritto dell'intelligenza artificiale
No full textIl volume analizza le insidie della società algoritmica per le fasce più fragili
della popolazione.
Nelle società contemporanee, la rapida diffusione di tecnologie sempre più
sofi sticate permea ogni aspetto della vita individuale e collettiva; d’altra parte, fattori quali l’invecchiamento demografi co, i cospicui fenomeni migratori,
la crescita della disoccupazione e della povertà, hanno determinato l’aumento
di situazioni di vulnerabilità ontologiche e contingenti.
Il rapporto tra progresso tecnologico e vulnerabilità è ambivalente: se, da un
lato, la tecnologia offre strumenti di ausilio e supporto ai soggetti fragili, idonei a migliorarne la salute, l’autonomia e l’inclusione, dall’altro rischia di amplificare le vulnerabilità esistenti e di crearne di nuove.
Sulla base di queste premesse, il libro si propone di indagare se il diritto sia in
grado di conciliare l’apparente antinomia tra “Fragilità e innovazione”, con
particolare riguardo alla regolamentazione in tema di intelligenza artificiale.
L’analisi è condotta affiancando alle riflessioni di carattere più generale considerazioni distinte concernenti specifici gruppi di soggetti vulnerabili
Synthesis from Probabilistic Components
Full text linkSynthesis is the automatic construction of a system from its specification. In classical synthesis algorithms, it is always assumed that the system is "constructed from scratch" rather than composed from reusable components. This, of course, rarely happens in real life, where almost every non-trivial commercial software system relies heavily on using libraries of reusable components. Furthermore, other contexts, such as web-service orchestration, can be modeled as synthesis of a system from a library of components. Recently, Lustig and Vardi introduced dataflow and control-flow synthesis from libraries of reusable components. They proved that dataflow synthesis is undecidable, while control-flow synthesis is decidable. In this work, we consider the problem of control-flow synthesis from libraries of probabilistic components. We show that this more general problem is also decidable
Oltre il soggetto razionale. Fallimenti cognitivi e razionalità limitata nel diritto privato
No full textSecondo l'approccio della Behavioral Law and Economics, il volume si propone di indagare le ricadute sistematiche che la considerazione di un nuovo paradigma di individuo ha sul diritto privato patrimoniale e regolatorio
- …
