2,063 research outputs found
Coq implementation of the main results of the LMCS article:Matteo Mio, Christophe Lucas, "Proof Theory of Riesz Spaces and Modal Riesz Spaces" (https://arxiv.org/abs/2004.11185), Logical Methods in Computer Science, 2020.
No full textCoq implementation of the main results of the LMCS article:Matteo Mio, Christophe Lucas, "Proof Theory of Riesz Spaces and Modal Riesz Spaces" (https://arxiv.org/abs/2004.11185), Logical Methods in Computer Science, 2020
Coq implementation of the main results of the LMCS article:Matteo Mio, Christophe Lucas, "Proof Theory of Riesz Spaces and Modal Riesz Spaces" (https://arxiv.org/abs/2004.11185), Logical Methods in Computer Science, 2020.
No full textCoq implementation of the main results of the LMCS article:Matteo Mio, Christophe Lucas, "Proof Theory of Riesz Spaces and Modal Riesz Spaces" (https://arxiv.org/abs/2004.11185), Logical Methods in Computer Science, 2020
Coq implementation of the main results of the LMCS article:Matteo Mio, Christophe Lucas, "Proof Theory of Riesz Spaces and Modal Riesz Spaces" (https://arxiv.org/abs/2004.11185), Logical Methods in Computer Science, 2020.
No full textCoq implementation of the main results of the LMCS article:Matteo Mio, Christophe Lucas, "Proof Theory of Riesz Spaces and Modal Riesz Spaces" (https://arxiv.org/abs/2004.11185), Logical Methods in Computer Science, 2020
TUTELA DEL LAVORO E LIBERTA' D'IMPRESA NEI PROCESSI DI ESTERNALIZZAZIONE
No full textL’elaborato analizza le conseguenze lavoristiche della successione fra imprenditori, muovendo da una ricognizione delle varie tipologie di esternalizzazione con le relative esigenze e principali criticità.
L’indagine si concentra in primo luogo sul trasferimento d’azienda, esaminando la normativa e la giurisprudenza europee per passare poi alla disciplina di diritto interno, alle procedure sindacali e a uno specifico focus sul trasferimento delle aziende in crisi.
Successivamente l’autore si sofferma sull’appalto, prendendone in particolare considerazione gli indici di genuinità, i criteri di distinzione dalla somministrazione illecita di manodopera e la tutela delle maestranze in caso di avvicendamento fra imprese.
Da ultimo, la ricerca approfondisce le c.d. “clausole sociali”, sia di prima che di seconda generazione, valutandone la compatibilità con il diritto eurounitario e con la costituzione nonché riflettendo sui possibili rimedi in caso di loro violazione.The author analyzes the labour consequences of the succession between entrepreneurs, starting from a recognition of the various types of outsourcing with the related needs and main critical issues.
The survey focuses primarily on the transfer of businesses, examining European legislation and case-law and then moving on to internal legislation, trade union procedures and a specific focus on the transfer of companies in crisis.
The author then dwells on the contract, taking into account in particular the indications of authenticity, the criteria of distinction from the illicit administration of labour and the protection of workers in the event of turnover between companies.
Finally, the research deepens the "social clauses", both first and second generation, assessing their compatibility with European law and with the constitution and reflecting on possible remedies in case of their violation
“A Gloria d’Iddio, e del mio Padre S. Benedetto”: monache e commissioni artistiche nella chiesa di San Matteo
No full textNel contesto della storia architettonica del monastero e chiesa di San Matteo a Pisa, questo saggio traccia la storia della committenza artistica della badessa Elena Vittoria Gaetani appartenente ad una delle principali famiglie pisane
Se le parti del corpo mio destrutte. Giacomo Colonna per l’incoronazione poetica del Petrarca
No full textOn the occasion of the coronation at the Capitol, Petrarch received from his friend Giacomo Colonna a sonnet, whose first verse is "Se le parti del corpo mio destrutte". The poem, a sonnet, was transcribed by Petrarch in his own hand on a paper, now kept in the "codice degli abbozzi" (as we call it), Vat. lat. 3196, c. 1r, among other corrispondence's poems between the poet and his friends. This sonnet, which celebrated the long-awaited event, reveals considerable stylistic peculiarities, and multiple literary sources: it therefore demonstrates an unexpected scholarship and artistic originality. In the essay new clues are also collected to support the view that Rerum vulgarium fragmenta XXVIII is dedicated to Giacomo Colonn
Ryhiner-Kartensammlung / 29 Stato di Siena
No full textWidmungskartusche oben rechts: "Al illustre Sig.or Pandolfo Sauini gentilhuomo Senese, Sig.or mio oss.mo Arnoldo di Arnoldi D. D."Titelkartusche oben links, Massstabsleiste unten rechts, Erläuterungen unten link
Ultra Low Carbon Vehicles: New Parameters for Automotive Design
No full textAs the influence of vehicle emissions on our environment has become better understood, the UK government has recently placed urgent emphasis on the implementation of low carbon
technologies in the automotive industry through: the UK Low Carbon Industrial Strategy. The overall objective is to offer big incentives to consumers and support for the development of infrastructure and engineering solutions. This scheme however does not consider how the development of functional and experiential user value might drive consumer demand, contributing to the adoption of low carbon vehicles (LCVs) in the mass market.
With the emergence of the North East of England as the UK’s first specialised region for the development of ultra-low carbon vehicles (ULCVs), ONE North East, as a development agency for the region's economic and business development, and Northumbria University Ideas-lab have supported a project to facilitate innovation through the collaboration of technology, research and development (R&D) and business. The High Value Low Carbon (HVLC) project aims to envisage
new user value made possible by the integration of low carbon vehicle platforms with new process and network technologies. The HVLC consortium represents vehicle manufacturers and their suppliers as well as technology based companies and through an ongoing process of design concept generation the project offers a hub for innovation led enterprise.
Whilst new technological developments in areas such as power generation, nano materials, hydrogen fuel cells, printed electronics and networked communications will all impact on future automotive design, the mass adoption of low carbon technologies represents a paradigm shift for the motorist. This paper aims to describe how the mapping of new parameters will lead to new transport scenarios that will create the space for new collaborative research on user experiences supported by innovative technologies and related services
Recommended from our members
Matteo Maria Boiardo (1441-1494)
No full textMatteo Maria Boiardo – contemporary of Sir Thomas Malory and forerunner of Shakespeare, Spenser, Milton, Cervantes, Tolkien, and C.S. Lewis – is best known as the author of the Orlando Innamorato [Orlando in Love], a poem in ottava rima organically merging Carolingian epic and Arthurian romance. He was also a lyric and pastoral poet, playwright, and translator of classical texts into the Italian vernacular. Matteo was active in Italy during the years of 1463 throughout 1494, the year of his death
- …
