Search results for " programmi"

showing 10 items of 1629 documents

Polynomial functors and polynomial monads

2009

We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a polynomial endofunctor is polynomial. The relationship with operads and other related notions is explored.

Pure mathematicsPolynomialFunctorGeneral MathematicsMathematics - Category Theory18C15 18D05 18D50 03G30517 - AnàlisiMonad (functional programming)BicategoryMathematics::Algebraic TopologyCartesian closed categoryMathematics::K-Theory and HomologyMathematics::Category TheoryPolynomial functor polynomial monad locally cartesian closed categories W-types operadsFOS: MathematicsPolinomisCategory Theory (math.CT)Mathematics
researchProduct

Weyl Asymptotics and Random Perturbations in a One-Dimensional Semi-classical Case

2019

We consider a simple model operator P in dimension 1 and show how random perturbations give rise to Weyl asymptotics in the interior of the range of P. We follow rather closely the work of Hager (Ann Henri Poincare 7(6):1035–1064, 2006) with some input also from Bordeaux Montrieux (Loi de Weyl presque sureet resolvante pour des operateurs differentiels nonautoadjoints, these, CMLS, Ecole Polytechnique, 2008) and Hager–Sjostrand (Math Ann 342(1):177–243, 2008). Some of the general ideas appear perhaps more clearly in this special situation.

Pure mathematicsRange (mathematics)symbols.namesakeOperator (computer programming)Simple (abstract algebra)Dimension (graph theory)Poincaré conjecturesymbolsMathematics
researchProduct

Approximations of positive operators and continuity of the spectral radius III

1994

AbstractWe prove estimates on the speed of convergence of the ‘peripheral eigenvalues’ (and principal eigenvectors) of a sequence Tn of positive operators on a Banach lattice E to the peripheral eigenvalues of its limit operator T on E which is positive, irreducible and such that the spectral radius r(T) of T is a Riesz point of the spectrum of T (that is, a pole of the resolvent of T with a residuum of finite rank) under some conditions on the kind of approximation of Tn to T. These results sharpen results of convergence obtained by the authors in previous papers.

Pure mathematicsSequenceOperator (computer programming)Rank (linear algebra)Spectral radiusSpectrum (functional analysis)General MedicineLimit (mathematics)Eigenvalues and eigenvectorsMathematicsResolventJournal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
researchProduct

Some representation theorems for sesquilinear forms

2016

The possibility of getting a Radon-Nikodym type theorem and a Lebesgue-like decomposition for a non necessarily positive sesquilinear $\Omega$ form defined on a vector space $\mathcal D$, with respect to a given positive form $\Theta$ defined on $\D$, is explored. The main result consists in showing that a sesquilinear form $\Omega$ is $\Theta$-regular, in the sense that it has a Radon-Nikodym type representation, if and only if it satisfies a sort Cauchy-Schwarz inequality whose right hand side is implemented by a positive sesquilinear form which is $\Theta$-absolutely continuous. In the particular case where $\Theta$ is an inner product in $\mathcal D$, this class of sesquilinear form cov…

Pure mathematicsSesquilinear formType (model theory)01 natural sciencessymbols.namesakeOperator (computer programming)FOS: Mathematics0101 mathematicsMathematicsMathematics::Functional AnalysisSesquilinear formMathematics::Operator AlgebrasApplied Mathematics010102 general mathematicsHilbert spaceHilbert spaceAnalysiPositive formFunctional Analysis (math.FA)010101 applied mathematicsMathematics - Functional AnalysisProduct (mathematics)symbolsOperatorAnalysisSubspace topologyVector space
researchProduct

Traces of weighted function spaces: dyadic norms and Whitney extensions

2017

The trace spaces of Sobolev spaces and related fractional smoothness spaces have been an active area of research since the work of Nikolskii, Aronszajn, Slobodetskii, Babich and Gagliardo among others in the 1950's. In this paper we review the literature concerning such results for a variety of weighted smoothness spaces. For this purpose, we present a characterization of the trace spaces (of fractional order of smoothness), based on integral averages on dyadic cubes, which is well adapted to extending functions using the Whitney extension operator.

Pure mathematicsTrace (linear algebra)Function spaceGeneral MathematicsDyadic cubesTriebel-Lizorkin spacesweighted Sobolev spaces01 natural sciencesfunktioanalyysiOperator (computer programming)trace theoremsClassical Analysis and ODEs (math.CA)FOS: Mathematics46E350101 mathematicsfunktioavaruudetMathematicsSmoothness (probability theory)010102 general mathematicsExtension (predicate logic)010101 applied mathematicsSobolev spacesovellettu matematiikkaMathematics - Classical Analysis and ODEsBesov spacesVariety (universal algebra)
researchProduct

Cyclic (noncyclic) phi-condensing operator and its application to a system of differential equations

2019

We establish a best proximity pair theorem for noncyclic φ-condensing operators in strictly convex Banach spaces by using a measure of noncompactness. We also obtain a counterpart result for cyclic φ-condensing operators in Banach spaces to guarantee the existence of best proximity points, and so, an extension of Darbo’s fixed point theorem will be concluded. As an application of our results, we study the existence of a global optimal solution for a system of ordinary differential equations.

Pure mathematicsnoncyclic φ-condensing operatorDifferential equationApplied Mathematics010102 general mathematicsBanach spaceRegular polygonFixed-point theoremlcsh:QA299.6-433Extension (predicate logic)lcsh:Analysis01 natural sciencesMeasure (mathematics)Noncyclic ϕ-condensing operator010101 applied mathematicsstrictly convex Banach spaceOperator (computer programming)Settore MAT/05 - Analisi Matematicabest proximity pairOrdinary differential equationordinary differential equations0101 mathematicsAnalysisOrdinary differential equationMathematicsNonlinear Analysis
researchProduct

The role of the committee of the regions (CoR) to implement the Green Deal at the local level: an overview of Italy

2021

<abstract> <p>The contribution focuses on the role of cities in the implementation of the so-called Green Deal, the ambitious program proposed by the European Commission, in accordance with the objectives set by the Paris Agreements, to implement the use of clean energy resources, favour the circular economy, restore biodiversity and reduce pollution. The Plan, which for the seven-year period 2021-2027 has a budget of economic resources of 100 billion Euro, aims to involve in transcalar perspective all territorial and administrative levels of the Member States and thus contribute to the achievement, in 2050, of climate neutrality. The main objective of the work is then to concen…

QE1-996.5Reflection (computer programming)Settore M-GGR/02 - Geografia Economico-PoliticaMember statesCircular economyGeologyGeneral MedicinePlan (drawing)Energy transitionWork (electrical)cityPolitical scienceClean energyRegional scienceNeutralitydigital transitionSettore M-GGR/01 - Geografiaenvironment
researchProduct

Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web

2018

This demo shows our ongoing work on the co-simulation of co-operative Unmanned Aerial Vehicles (UAVs). The work is based on the INTO-CPS co-simulation engine, which adopts the widely accepted Functional Mockup Interface (FMI) standard for co-simulation, and the PVSioweb prototyping tool, that extends a system simulator based on the PVS logic language with a web-based graphical interface. Simple scenarios of Quadcopters with assigned different tasks, such as rendez-vous and space coverage, are shown. We assumed a linearized dynamic model for Quadcopters formalized in OpenModelica, and a linearized set of equations for the flight control module written in C language. The co-ordination algorit…

Quadcopterbusiness.industryComputer scienceComputer Science (all)Theoretical Computer Science; Computer Science (all)Co-simulationModelicaTheoretical Computer ScienceRendering (computer graphics)Functional Mock-up InterfacebusinessSimulationLogic programmingGraphical user interface
researchProduct

The improvement of quality management system in a porcelain factory

2019

According to SR EN ISO 9000:2015, quality management system can be considered “a set of Policies, Procedures, Processes and resources used to achieve the organization objectives and desired results, by manages the interacting processes, resources required and inter-related parts of the business”. The requirements of a quality management system that need to be implemented by companies in order to produce high quality products and to achieve continual improvement are described in ISO 9001. The aim of this research is to improve the quality management system implemented in a porcelain factory, named S.C. APULUM S.A. The implementation of ISO 9001:2015 in the organization involves monitoring pr…

Quality management systemComputer sciencelcsh:TA1-204005 social sciences050501 criminologyFactory (object-oriented programming)010501 environmental scienceslcsh:Engineering (General). Civil engineering (General)01 natural sciencesManufacturing engineering0505 law0105 earth and related environmental sciencesMATEC Web of Conferences
researchProduct

Solvent-induced free energy landscape and solute-solvent dynamic coupling in a multielement solute

1999

AbstractMolecular dynamics simulations using a simple multielement model solute with internal degrees of freedom and accounting for solvent-induced interactions to all orders in explicit water are reported. The potential energy landscape of the solute is flat in vacuo. However, the sole untruncated solvent-induced interactions between apolar (hydrophobic) and charged elements generate a rich landscape of potential of mean force exhibiting typical features of protein landscapes. Despite the simplicity of our solute, the depth of minima in this landscape is not far in size from free energies that stabilize protein conformations. Dynamical coupling between configurational switching of the syst…

Quantitative Biology::BiomoleculesProtein ConformationChemistryBiophysicsDegrees of freedom (physics and chemistry)ProteinsEnergy landscapeMolecular Dynamics SimulationSolventMolecular dynamicsCoupling (computer programming)Chemical physicsComputational chemistrySolventsThermodynamicsProtein foldingPotential of mean forceHydrophobic and Hydrophilic InteractionsOrder of magnitudeResearch Article
researchProduct