Search results for "rete"

showing 10 items of 3470 documents

The façade-tower of Santa Maria delle Stelle Church in Comiso. Historical events, vulnerability and conservation strategy

2020

Dopo avere richiamato l’estesa vicenda storica della costruzione della chiesa Madre di Santa Maria delle Stelle a Comiso, iniziata nel 1736 e terminata due secoli dopo, il contributo è focalizzato sul tema del completamento della sua facciata con l’uso della struttura intelaia di calcestruzzo di cemento armato, progettata dall’ingegnere Santoro Secolo. In tempi più recenti, alcuni dissesti improvvisi hanno posto in evidenza il tema del rischio e la necessità di interventi per risanare la struttura architettonica. L’importanza del monitoraggio e della manutenzione, intesi come fondamentali strategie di conservazione, concludono l’articolo.

Comiso Façade-tower Completion Reinforced Concrete ConservationComiso Facciata-torre Completamento Cemento Armato ConservazioneSettore ICAR/19 - Restauro
researchProduct

Fixed points in weak non-Archimedean fuzzy metric spaces

2011

Mihet [Fuzzy $\psi$-contractive mappings in non-Archimedean fuzzy metric spaces, Fuzzy Sets and Systems, 159 (2008) 739-744] proved a theorem which assures the existence of a fixed point for fuzzy $\psi$-contractive mappings in the framework of complete non-Archimedean fuzzy metric spaces. Motivated by this, we introduce a notion of weak non-Archimedean fuzzy metric space and prove that the weak non-Archimedean fuzzy metric induces a Hausdorff topology. We utilize this new notion to obtain some common fixed point results for a pair of generalized contractive type mappings.

Common fixed points Weak non-Archimedean fuzzy metric spaces Fuzzy contractive mappingsDiscrete mathematicsFuzzy classificationMathematics::General MathematicsLogicInjective metric spaceT-normFuzzy subalgebraIntrinsic metricConvex metric spaceComputingMethodologies_PATTERNRECOGNITIONSettore MAT/05 - Analisi MatematicaArtificial IntelligenceFuzzy set operationsFuzzy numberComputingMethodologies_GENERALMathematicsFuzzy Sets and Systems
researchProduct

Why we need TI-Oriented Language Learning and Teaching

2021

The teaching of foreign languages to students in Translation and Interpreting (TI) programmes should be framed within the field of Language for Specific Purposes (LSP). This would make it possible to pinpoint specific curricular content and methodological traits that contribute to the enhancement of the communicative competence and initial development of TI competences. This paper analyses the students’ perspectives on L2 teaching in a TI programme and how it should be undertaken to best comply with the linguistic demands imposed by translation and interpreting. A thematic analysis of 117 open questionnaires returned by students from Austria, Slovenia and Spain identified five areas to whic…

Communicative competenceLinguistics and LanguageLiterature and Literary TheoryLingüísticaForeign languagePE1-3729English literatureLanguage acquisitionLanguage and LinguisticsEducationEnglish languagefuture translators and interpretersMathematics educationLanguage for specific purposesThematic analysisLanguage for Specific Purposes (LSP)PsychologyPR1-9680CurriculumTI-oriented Language Learning and Teaching (TILLT)
researchProduct

The importance of the inland leg of containerised maritime shipments: An analysis of modal choice determinants in Spain

2011

Abstract While most of the studies that address competition between road and rail transport focus on national or international non-maritime shipments, there is practically no empirical evidence on the modal choice determinants of the inland leg of maritime shipments. This paper intends to fill that gap by estimating a modal choice model between road and rail transport on the inland leg of Spanish containerised maritime freight shipments, using a mixed logit model and stated preference techniques. The results obtained confirm the vital role that frequency plays in the relative competitiveness of rail transport and also provide subjective values of transport attributes that are deemed essenti…

Competition (economics)Transport engineeringDiscrete choiceModalMixed logitEconomicsTransportationBusiness and International ManagementEmpirical evidenceMode choiceCivil and Structural EngineeringTransportation Research Part E: Logistics and Transportation Review
researchProduct

Start-up with or without inoculum? Analysis of an SMBR pilot plant.

2010

This study analysed a submerged membrane bioreactor (SMBR) start-up with the purpose of determining the best conditions to carry it out. In order to do this, a hollow fibre membrane module was installed in a submerged configuration in a pilot aerobic reactor. The experiment was then divided in two phases, lasting 65 days each. During phase 1, the pilot plant was started-up without inoculum of activated sludge and no sludge, withdrawal was performed. Conversely, in phase 2, the MBR pilot plant was started-up with sludge inoculum and the sludge concentration was kept constant. In both phases, the volumetric loading rate applied to the pilot plant was kept constant. The authors analysed the di…

Complete sludge retention Floc size Fouling resistances Inoculum Sludge production Start-upFoulingMembrane reactorSettore ICAR/03 - Ingegneria Sanitaria-AmbientaleChemistryMechanical EngineeringGeneral Chemical EngineeringMembrane foulingEnvironmental engineeringstart-up.fouling resistanceGeneral ChemistryMembrane bioreactorPulp and paper industryfloc sizeActivated sludgePilot plantBioreactorGeneral Materials ScienceWater treatmentsludge productionComplete sludge retentioninoculumWater Science and Technology
researchProduct

K4-free Graphs as a Free Algebra

2017

International audience; Graphs of treewidth at most two are the ones excluding the clique with four vertices (K4) as a minor, or equivalently, the graphs whose biconnected components are series-parallel. We turn those graphs into a finitely presented free algebra, answering positively a question by Courcelle and Engelfriet, in the case of treewidth two. First we propose a syntax for denoting these graphs: in addition to parallel composition and series composition, it suffices to consider the neutral elements of those operations and a unary transpose operation. Then we give a finite equational presentation and we prove it complete: two terms from the syntax are congruent if and only if they …

Completeness000 Computer science knowledge general worksGraph minors[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Graph theoryTree decompositions[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]Àlgebra universalUniversal Algebra[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]Computer Science::Discrete MathematicsComputer ScienceAxiomatisation[INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
researchProduct

Boolean Functions with a Low Polynomial Degree and Quantum Query Algorithms

2005

The complexity of quantum query algorithms computing Boolean functions is strongly related to the degree of the algebraic polynomial representing this Boolean function. There are two related difficult open problems. First, Boolean functions are sought for which the complexity of exact quantum query algorithms is essentially less than the complexity of deterministic query algorithms for the same function. Second, Boolean functions are sought for which the degree of the representing polynomial is essentially less than the complexity of deterministic query algorithms. We present in this paper new techniques to solve the second problem.

Complexity indexDiscrete mathematicsProduct termTheoretical computer scienceParity functionKarp–Lipton theoremBoolean circuitMaximum satisfiability problemBoolean expressionBoolean functionAlgorithmComputer Science::DatabasesMathematics
researchProduct

Fully Automatic Trunk Packing with Free Placements

2010

We present a new algorithm to compute the volume of a trunk according to the SAE J1100 standard. Our new algorithm uses state-of-the-art methods from computational geometry and from combinatorial optimization. It finds better solutions than previous approaches for small trunks.

Computational Geometry (cs.CG)FOS: Computer and information sciencesDiscrete Mathematics (cs.DM)ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKSComputer Science - Data Structures and AlgorithmsComputer Science - Computational GeometryData Structures and Algorithms (cs.DS)Computer Science - Discrete Mathematics
researchProduct

Multiple solutions for a discrete boundary value problem involving the p-Laplacian.

2008

Multiple solutions for a discrete boundary value problem involving the p-Laplacian are established. Our approach is based on critical point theory.

Computational MathematicsComputational Theory and MathematicsSettore MAT/05 - Analisi MatematicaModeling and SimulationMathematical analysisFree boundary problemp-LaplacianBoundary value problemMixed boundary conditionElliptic boundary value problemCritical point (mathematics)Discrete boundary value problem multiple solutions p-Laplacian critical points theoryMathematics
researchProduct

<I>A Special Issue on</I> Theoretical and Mathematical Aspects of Discrete Time Quantum Walks

2013

Computational MathematicsDiscrete time and continuous timeGeneral Materials ScienceQuantum walkGeneral ChemistryStatistical physicsElectrical and Electronic EngineeringCondensed Matter PhysicsMathematicsJournal of Computational and Theoretical Nanoscience
researchProduct