Search results for "Mostra"

showing 10 items of 97 documents

Monads in double categories

2010

We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means for a double category to admit the construction of free monads. Our main theorem shows that, under some mild conditions, a double category that is a framed bicategory admits the construction of free monads if its horizontal 2-category does. We apply this result to obtain double adjunctions which extend the adjunction between graphs and categories and the adjunction between polynomial endofunctors and polynomial monads.

PolynomialPure mathematicsDemostració Teoria de la02 engineering and technology01 natural sciences510 - Consideracions fonamentals i generals de les matemàtiquesdouble categoriesDistributive law between monadsComputer Science::Logic in Computer ScienceMathematics::Category TheoryFOS: Mathematics0202 electrical engineering electronic engineering information engineeringCategory Theory (math.CT)0101 mathematicsMathematicsDiscrete mathematicsAlgebra and Number TheoryTheory010102 general mathematicsMathematics - Category Theory16. Peace & justiceAdjunctionBicategorySettore MAT/02 - AlgebraCategories (Matemàtica)Monad020201 artificial intelligence & image processing18D05 18C15Journal of Pure and Applied Algebra
researchProduct

Razonamientos no rigurosos y demostraciones asistidas por ordenador

2007

RESUMENPresentamos la contribución de Th. Tymoczko a la filosofía de la matemática y analizamos y evaluamos las demostraciones asistidas por ordenador y los razonamientos no rigurosos en la matemática experimental, con particular referencia al Teorema de los Cuatro Colores.PALABRAS CLAVETYMOCZKO – CUASI-EMPIRISMO – MATEMÁTICA EXPERIMENTAL – RAZONAMIENTO NO RIGUROSO – DEMOSTRACIONES ASISTIDAS POR ORDENADORABSTRACTWe present Th. Tymoczko’s contribution to the philosophy of mathematics, and we analyze and evaluate the computer-assisted proofs and the non-rigorous reasonings in the experimental mathematics, particularly in reference to the Four-Colour Theorem.KEYWORDTYMOCZKO – QUASI-EMPIRICISM …

Razonamiento no rigurosoMathematical proofCuasi-empirismoMatemática experimentalEpistemologyDemostración asistida por ordenadorPhilosophyPhilosophy of mathematicsExperimental mathematicsTymoczko:LÓGICA [UNESCO]HumanitiesUNESCO::LÓGICAMathematicsContrastes. Revista Internacional de Filosofía
researchProduct

Seismostratigraphic modeling using constrained HVSR Data

2017

An application of HVSR inversion is presented in order to verify the effectiveness of this technique for purposes of reconstruction of the buried geological setting where stratigraphic constraints are available. Specifically, the reconstruction of the stratigraphy in the studied area has been obtained by a seismic-stratigraphic three-dimensional modeling. This allowed for geophysical and geognostic data derived from surveys carried out during this study, as well as previously by the municipality of Palermo.

Regional geologyHVSRHydrogeologySettore GEO/02 - Geologia Stratigrafica E SedimentologicaEngineering geologyPalermoGlaciologySettore GEO/11 - Geofisica ApplicataEconomic geologyseismostratigraphic modelIgneous petrologyPalaeogeographySeismologyGeologyEnvironmental geology
researchProduct

In mostra la grande diversità degli agrumi mediterranei

2019

Tra scienza, bellezza, curiosità, a Palermo una grande mostra dedicata al patrimonio genetico degli agrumi ha raccolto decine di tipologie di frutti e reperti artistici legati alle prime forme di agrumicoltura industriale siciliana.

Settore AGR/03 - Arboricoltura Generale E Coltivazioni ArboreeAgrumicoltura biodiversità orto botanico Citrus mostra pomologica
researchProduct

Controlli stratigrafici e tettonici sull'evoluzione morfo-sedimentaria dell'offshore della Sicilia nord-occidentale durante il Quaternario

2013

Settore GEO/02 - Geologia Stratigrafica E Sedimentologicapiattaforma continentale sismostratigrafia canyon sottomarini
researchProduct

STRATIGRAPHIC AND STRUCTURAL ANALYSIS OF A HIGH RESOLUTION SEISMIC SURVEY PERFORMED IN THE BAY OF AUGUSTA (SE SICILY)

2009

The Bay of Augusta is located along the NE margin of the Hyblean Plateau (SE Sicily). In this area a mostly bioclastic and terrigenous Quaternary succession outcrops. This area recorded a constant regional uplift rate of 50 kA. Two main groups of faults, referred to as the northwest and the southwest fault zones, are separated by a central zone where no evident fault planes have been imaged by seismic data. The faults in both groups strike from N30W to N52W and are also inferred to be steeply dipping. The faults pertaining to northwestern cluster show a very little offset, 50 kA. As concern the southeastern fault zone, results coming from radiocarbon age dating don’t have sufficient resolut…

Settore GEO/11 - Geofisica ApplicataSeismostratigraphy Neotectonics SE SicilySeismostratigraphy NeotectonicsSE Sicily
researchProduct

QUEL LABILE CONFINE TRA ARTE E DESIGN

2019

Il design è arte? Questa domanda, che molti si pongono e alla quale non pochi hanno cercato di rispondere in modo definitivo, costituisce il filo conduttore di questo breve libro nel quale si cerca di dare al lettore una traccia per orientarsi nel mondo dell’arte e del design, spesso insidioso e/o difficilmente comprensibile. La necessita di un ripensamento dell’opera e dei ruoli dell’artista e del critico che si adatti a una realtà in trasformazione e al centro del dibattito nell’ambiente intellettuale italiano fin dall’inizio degli anni ’60 del novecento. Questione nodale e quella di definire un’arte che, per cosi dire, si trova al di là della dimensione dell’artisticità, nella prospettiv…

Settore ICAR/13 - Disegno IndustrialeDesign arte mostra ready-made percorsi artistici ibridi pop design arte/industria oggetto di valore Gavina SpA Ultramobile Nuovo paesaggio domestico supersuperficieDesign art exhibition ready-made hybrid artistic course pop design art / industry object of value Gavina SpA Ultramobile New domestic landscape supersurface
researchProduct

Un allestimento / The exhibition display

2010

Disegni del progetto e foto della realizzazione di un allestimento / Drawings, design and pictures of an exhibition display

Settore ICAR/13 - Disegno IndustrialeSettore ICAR/16 - Architettura Degli Interni E Allestimentogreen mostra verde prototipi design
researchProduct

Progetti di architettura in mostra

2010

L’articolo descrive i progetti presentati in occasione di una mostra a Sciacca nel 2007, che hanno avuto come obbiettivo di contribuire alla conoscenza dei luoghi e nello stesso tempo, con i numerosi progetti, rappresentare un quadro di riferimento dei numerosi punti di vista sulla città. Nella mostra sono stati presentati temi di riqualificazione urbana, tesi di Laurea, risultati dei Laboratori di Sintesi Finale, seminari internazionali. Particolare attenzione ha riquadrato il tema di qualificazione urbana attraverso il lavoro svolto da Pasquale Culotta a Sciacca come coordinatore di un sistema di interventi e progettista di un area significativa della città.

Settore ICAR/14 - Composizione Architettonica E UrbanaMostra Seminari Sciacca
researchProduct

Gianni Braghieri

2011

Gianni Braghieri is an architect artist as much as a builder. He believes that architecture is not a random phenomenon, ephemeral, contingent and changing, just as he knows that is not something that depends only on individual thinking. The architecture reveals and confirms itself over time in a sort of collective will, expressed through theoretical and operative categories of a permanent nature. Categories gathered around the axis of the problematic relationship between typology and morphology. At a glance Gianni Braghieri believes that architecture has its own autonomy, a capacity to determine itself along the time within a strict knowledge of its instruments and objectives. Autonomy, not…

Settore ICAR/14 - Composizione Architettonica E UrbanaSettore ICAR/16 - Architettura Degli Interni E AllestimentoGianni Braghieri Mostra
researchProduct