13,469 research outputs found
Implementing the AIFMD: Success or failure? ECMI Commentary No. 34, 28 March 2013
No full textThis commentary considers the implementation of the Alternative Investment Fund Managers Directive (AIFMD) by the European Commission. The AIFMD creates an internal market for asset management and as an endeavour to develop market-based finance is an important piece of legislation for the European economy. The author, Mirzha de Manuel Aramendía, considers the implementation of some of the provisions that raised concern among industry participants. He finds that, on balance, a practical and flexible approach to implementation has been followed that should help secure the success of the framework, which at present is still uncertain. The commentary also considers the remuneration guidelines adopted recently by the European Securities and Markets Authority (ESMA). It encourages EU and national authorities to commit to the success of the AIFMD framework, as part of a broader effort to develop capital markets and reduce the historical reliance of the European economy on bank finance
Progetto di musealizzazione dei sepolcri lungo via San Pietro, Concordia Sagittaria (Venezia)
No full textIl progetto prevede la musealizzazione di un gruppo di sarcofagi di epoca romana attraverso la proposta integrata di allestimento dello spazio dei monumenti funerari e di un padiglione per l'esposizione dei reperti minori. La valorizzazione e la fruizione dell'area archeologica si avvale di tecniche diverse, comprendenti l'illuminazione funzionale e scenografica, e la ricostruzione virtuale per comunicare la stratigrafia e la complessa sedimentazione del luogo oltre che la rilevanza e la bellezza del monumento. Il progetto è sviluppato nell’ambito del Programma Operativo Regionale 2007-2013 Fondo Sociale Europeo in sinergia con il Fondo Europeo di Sviluppo Regionale. Titolo del progetto: Prassi d’indagine e d’intervento per la valorizzazione delle relazioni tra il patrimonio antico e il contesto fisico e culturale: interrelazioni sulle tematiche dell’archeologia veneta per il settore dell'energia e del turismo. Responsabile scientifico: Serena Maffioletti
Il progetto di musealizzazione è stato elaborato da Serena Maffioletti con Federica Alberti; la parte illuminotecnica è stata curata da Marcello Alderuccio, Manuel Remeggio e Francesca Cremasco. Il progetto è in corso di pubblicazione
Nelson Manuel Corchado, tuba (Puerto Rico)
No full textConcierto interpretado por el tubista puertoriqueño Nelson Manuel Corchado, en compañía de la pianista Helvia Mendoza. El programa que ofreció el tubista Nelson Manuel Corchado y la pianista Helvia Mendoza incluye obras originales para la tuba y transcripciones de piezas que temporalmente abarcan tres siglos. En esta ocasión interpretaron obras de Benedetto Marcello, Johann Sebastian Bach, J.E. Barrat, Walter S. Hartley, Arthur Frackenpohl y Sergei Rachmaninnoff.
Notas al programa extraídas del Archivo de la Sección de Músic
Max-closed semilinear constraint satisfaction
No full textA semilinear relation S â ân is max-closed if it is preserved by taking the componentwise maximum. The constraint satisfaction problem for max-closed semilinear constraints is at least as hard as determining the winner in Mean Payoff Games, a notorious problem of open computational complexity. Mean Payoff Games are known to be in NPâ©co-NP, which is not known for max-closed semilinear constraints. Semilinear relations that are max-closed and additionally closed under translations have been called tropically convex in the literature. One of our main results is a new duality for open tropically convex relations, which puts the CSP for tropically convex semilinear constraints in general into NP â© co-NP. This extends the corresponding complexity result for scheduling under and-or precedence constraints, or equivalently the max-atoms problem. To this end, we present a characterization of maxclosed semilinear relations in terms of syntactically restricted first-order logic, and another characterization in terms of a finite set of relations L that allow primitive positive definitions of all other relations in the class. We also present a subclass of max-closed constraints where the CSP is in P; this class generalizes the class of max-closed constraints over finite domains, and the feasibility problem for max-closed linear inequalities. Finally, we show that the class of max-closed semilinear constraints is maximal in the sense that as soon as a single relation that is not maxclosed is added to L, the CSP becomes NP-hard
Tropically Convex Constraint Satisfaction
No full textA semilinear relation (Formula presented.) is max-closed if it is preserved by taking the componentwise maximum. The constraint satisfaction problem for max-closed semilinear constraints is at least as hard as determining the winner in Mean Payoff Games, a notorious problem of open computational complexity. Mean Payoff Games are known to be in NP â© coâ NP, which is not known for max-closed semilinear constraints. Semilinear relations that are max-closed and additionally closed under translations have been called tropically convex in the literature. One of our main results is a new duality for open tropically convex relations, which puts the CSP for tropically convex semilinear constraints in general into NP â© coâ NP. This extends the corresponding complexity result for scheduling under and-or precedence constraints, or equivalently the max-atoms problem. To this end, we present a characterization of max-closed semilinear relations in terms of syntactically restricted first-order logic, and another characterization in terms of a finite set of relations L that allow primitive positive definitions of all other relations in the class. We also present a subclass of max-closed constraints where the CSP is in P; this class generalizes the class of max-closed constraints over finite domains, and the feasibility problem for max-closed linear inequalities. Finally, we show that the class of max-closed semilinear constraints is maximal in the sense that as soon as a single relation that is not max-closed is added to L, the CSP becomes NP-hard
Primer concierto de temporada de la Orquesta de Cámara de Antioquia 1968
No full textBeneficencia de Antioquia- Introducción, Aria y Presto (Benedetto Marcello)
- Rigodón (J. Ph. Rameau)
- Las Quejas Tiernas (J. Ph. Rameau)
- La Egipcia (J. Ph. Rameau)
- Concierto para dos Violines, en Re menor (J. S. Bach)
- Suite San Pablo (Gustav Holst)
- Serenata Op. 48 (P. IPrimer concierto de abonoMedellín. Nota: Pertenece al archivo privado de Manuel MolinaMedellín. Teatro Municipa
Proceedings of the International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)
No full textThe First International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) was held in Vienna, Austria, on July 4, 2016. The aim of the workshop is to counteract the specialization of traditional venues by bringing together researchers and practitioners from different areas concerning software verification and composition, to fill the gap between the requirements of modern applications and current verification and composition methods. In particular, VeryComp 2016 aimed at attracting contributions related to the subject at different levels, from modeling to verification and analysis, from componentization to composition. The workshop constituted a forum for scientists and engineers in academia and industry to present and discuss their latest ongoing research as well as radical new research directions that represent challenging innovations.
After a careful review process, the Program Committee accepted four papers. Several people contributed to the success of VeryComp 2016. We would like to thank the STAF 2016 Workshops organizers as well as the general chair. We would also like to thank the Program Committee for their work in reviewing the papers. The process of reviewing and selecting papers was significantly simplified through using EasyChair.
We thank all the workshop attendees and hope that this event facilitated a good exchange of ideas and new collaborations among attendees.
The organization of VeryComp 2016 was partially supported by the H2020 EU project CHOReVOLUTION
Constraint Satisfaction Problems over Numeric Domains
No full textWe present a survey of complexity results for constraint satisfaction problems (CSPs) over the integers, the rationals, the reals, and the complex numbers. Examples of such problems are feasibility of linear programs, integer linear programming, the max-atoms problem, Hilbert's tenth problem, and many more. Our particular focus is to identify those CSPs that can be solved in polynomial time, and to distinguish them from CSPs that are NP-hard. A very helpful tool for obtaining complexity classifications in this context is the concept of a polymorphism from universal algebra
Progetto di musealizzazione del Ponte romano presso la porta occidentale di Concordia Sagittaria
No full textIl progetto prevede la musealizzazione dei resti del ponte romano presso la porta occidentale di Concordia Sagittaria, delle tracce del fiume Reghena così come del sedime dell'antica cinta muraria. Il progetto è finalizzato alla valorizzazione del luogo antico, attraverso la ricomposizione e l'esposizione di tutti gli elementi urbani (rovine e tracce) stratificati nel tempo costituenti l'area di scavo e mediante la costruzione di un padiglione espositivo integrato al paesaggio acqueo.
Il progetto è sviluppato nell’ambito del Programma Operativo Regionale 2007-2013 Fondo Sociale Europeo in sinergia con il Fondo Europeo di Sviluppo Regionale. Titolo del progetto: Prassi d’indagine e d’intervento per la valorizzazione delle relazioni tra il patrimonio antico e il contesto fisico e culturale: interrelazioni sulle tematiche dell’archeologia veneta per il settore dell'energia e del turismo. Responsabile scientifico: Serena Maffioletti.
Il progetto di musealizzazione è stato elaborato da Serena Maffioletti e Federica Alberti; il progetto illuminotecnico da Marcello Alderuccio, Manuel Remeggio e Francesca Cremasco
Manuel Puig: un destino melodramático
No full textEl trabajo es un extracto de una larga investigación en los archivos del escritor argentino Manuel Puig, la génesis de su producción y su relación con el campo intelectual internacional. En este extracto se presenta un estudio del uso del melodrama en la producción 'espectacular' del autor y la publcación de un inédito que incluí como primicia en 1996 en la revista Orbis Tertius No. 2, Centro de Teoría y Crítica Literaria, UNLP.The work is an extract of one long recherch in the archives of the Argentine writer Manuel Puig, the genesis of its production and its relation with international the intellectual field. In this extract is analyzed the use of the melodrama in “the spectacular” production of the author. The publication of an unpublished is included , published for the first time by me in 1996 in the Orbis Tertius Nº 2, Centro de Teoría y Crítica Literaria, UNLP.Facultad de Humanidades y Ciencias de la Educació
- …
