Search results for "Frame"

showing 10 items of 1767 documents

A note on Taskinen's counterexamples on the problem of topologies of Grothendieck

1989

By the work of Taskinen (see [4, 5]), we know that there is a Fréchet space E such that Lb(E, l2) is not a (DF)-space. Moreover there is a Fréchet–Montel space F such that is not (DF). In this second example, the duality theorem of Buchwalter (cf. [2, §45.3]) can be applied to obtain that and hence is a (gDF)-space (cf. [1, Ch. 12 or 3, Ch. 8]). The (gDF)-spaces were introduced by several authors to extend the (DF)-spaces of Grothendieck and to provide an adequate frame to consider strict topologies.

Discrete mathematicsFréchet spaceGeneral MathematicsFrame (networking)ComputingMethodologies_DOCUMENTANDTEXTPROCESSINGSpace (mathematics)Network topologyMathematicsCounterexampleProceedings of the Edinburgh Mathematical Society
researchProduct

Heyting-valued interpretations for Constructive Set Theory

2006

AbstractWe define and investigate Heyting-valued interpretations for Constructive Zermelo–Frankel set theory (CZF). These interpretations provide models for CZF that are analogous to Boolean-valued models for ZF and to Heyting-valued models for IZF. Heyting-valued interpretations are defined here using set-generated frames and formal topologies. As applications of Heyting-valued interpretations, we present a relative consistency result and an independence proof.

Discrete mathematicsLogicConstructive set theoryFormal topologyHeyting-valued modelsConstructive set theoryHeyting algebraConsistency (knowledge bases)ConstructiveAlgebraMathematics::LogicPointfree topologyConstructive set theory Heyting algebras independence proofsMathematics::Category TheoryComputer Science::Logic in Computer ScienceIndependence (mathematical logic)Heyting algebraFrame (artificial intelligence)FrameSet theoryFormal topologyMathematicsAnnals of Pure and Applied Logic
researchProduct

Time-Efficient Quantum Walks for 3-Distinctness

2013

We present two quantum walk algorithms for 3-Distinctness. Both algorithms have time complexity $\tilde{O}(n^{5/7})$, improving the previous $\tilde{O}(n^{3/4})$ and matching the best known upper bound for query complexity (obtained via learning graphs) up to log factors. The first algorithm is based on a connection between quantum walks and electric networks. The second algorithm uses an extension of the quantum walk search framework that facilitates quantum walks with nested updates.

Discrete mathematicsMatching (graph theory)0102 computer and information sciencesExtension (predicate logic)01 natural sciencesUpper and lower boundsTildeCombinatorics010201 computation theory & mathematics0103 physical sciencesQuantum algorithmQuantum walkConnection (algebraic framework)010306 general physicsTime complexityMathematics
researchProduct

Shrinking and boundedly complete Schauder frames in Fréchet spaces

2014

We study Schauder frames in Fréchet spaces and their duals, as well as perturbation results. We define shrinking and boundedly complete Schauder frames on a locally convex space, study the duality of these two concepts and their relation with the reflexivity of the space. We characterize when an unconditional Schauder frame is shrinking or boundedly complete in terms of properties of the space. Several examples of concrete Schauder frames in function spaces are also presented.

Discrete mathematicsMathematics::Functional AnalysisPure mathematicsShrinkingReflexivitySchauder basisFunction space(LB)-spacesApplied MathematicsMathematics::Analysis of PDEsConvex setMathematics::General TopologyFréchet spacesSchauder basisAtomic decompositionSchauder fixed point theoremSchauder frameLocally convex spacesLocally convex topological vector spaceBoundedly completeDual polyhedronAtomic decompositionMATEMATICA APLICADAAnalysisMathematics
researchProduct

Nonlinear embeddings: Applications to analysis, fractals and polynomial root finding

2016

We introduce $\mathcal{B}_{\kappa}$-embeddings, nonlinear mathematical structures that connect, through smooth paths parameterized by $\kappa$, a finite or denumerable set of objects at $\kappa=0$ (e.g. numbers, functions, vectors, coefficients of a generating function...) to their ordinary sum at $\kappa \to \infty$. We show that $\mathcal{B}_{\kappa}$-embeddings can be used to design nonlinear irreversible processes through this connection. A number of examples of increasing complexity are worked out to illustrate the possibilities uncovered by this concept. These include not only smooth functions but also fractals on the real line and on the complex plane. As an application, we use $\mat…

Discrete mathematicsPolynomialGeneral MathematicsApplied MathematicsGeneral Physics and AstronomyParameterized complexityFOS: Physical sciencesStatistical and Nonlinear PhysicsMathematical Physics (math-ph)Pattern Formation and Solitons (nlin.PS)Nonlinear Sciences - Pattern Formation and Solitons01 natural sciencesNonlinear Sciences - Adaptation and Self-Organizing Systems010305 fluids & plasmasProperties of polynomial rootsNonlinear system0103 physical sciencesCountable setConnection (algebraic framework)010306 general physicsComplex planeReal lineAdaptation and Self-Organizing Systems (nlin.AO)Mathematical PhysicsMathematics
researchProduct

Quasi-conformal mapping theorem and bifurcations

1998

LetH be a germ of holomorphic diffeomorphism at 0 ∈ ℂ. Using the existence theorem for quasi-conformal mappings, it is possible to prove that there exists a multivalued germS at 0, such thatS(ze 2πi )=H○S(z) (1). IfH λ is an unfolding of diffeomorphisms depending on λ ∈ (ℂ,0), withH 0=Id, one introduces its ideal $$\mathcal{I}_H$$ . It is the ideal generated by the germs of coefficients (a i (λ), 0) at 0 ∈ ℂ k , whereH λ(z)−z=Σa i (λ)z i . Then one can find a parameter solutionS λ (z) of (1) which has at each pointz 0 belonging to the domain of definition ofS 0, an expansion in seriesS λ(z)=z+Σb i (λ)(z−z 0) i with $$(b_i ,0) \in \mathcal{I}_H$$ , for alli. This result may be applied to the…

Discrete mathematicsPure mathematicsGeneral MathematicsSaddle pointTransversal (combinatorics)Holomorphic functionExistence theoremVector fieldIdeal (ring theory)Connection (algebraic framework)SaddleMathematicsBoletim da Sociedade Brasileira de Matem�tica
researchProduct

Discretionary fiscal policy over the cycle: new evidence based on the ESCB Disaggregated Approach

2009

This paper explores how discretionary fiscal policies on the revenue side of the government budget have reacted to economic fluctuations in European Union countries. For this purpose, it uses data on legislated revenue changes and structural indicators provided twice per year by National Central Banks of European Union countries in the ESCB framework for analysing fiscal policy. The analysis is based on the estimation of fiscal policy rules linking these measures of legislated fiscal policy changes to the output gap and other control variables. Then, baseline results are compared with regression estimates where variations of cyclically-adjusted indicators are used as proxy for discretionary…

Discretionary fiscal policies government revenues cyclical sensitivity legislation changes narrative approach ESCB disaggregated framework.Settore SECS-P/02 Politica Economica
researchProduct

The indirect force method

1990

Abstract It is known that the matrix force method shows some advantages over the displacement method for certain classes of problems, particularly in optimization and in the stress concentration analysis. Notwithstanding this, few efforts have been made to employ this method in engineering problems. In this paper, within the elastic analysis of frames and trusses, the indirect force method, utilizing beam-node type finite elements, is proposed. This method is based on the kinematical and mechanical study of nodes and of beams, the latter connected with the nodes by their first extremes according to a preliminary arrangement. In this formulation kinematical singularities are included, in the…

DiscretizationMechanical EngineeringMathematical analysisFrame (networking)Structure (category theory)TrussGeometryFinite element methodComputer Science ApplicationsMatrix (mathematics)Modeling and SimulationGeneral Materials ScienceGravitational singularityCivil and Structural EngineeringEquation solvingMathematicsComputers & Structures
researchProduct

El Activismo de ABC y El Debate frente a la educación en la II República

2013

El presente trabajo analiza la acción social desarrollada por los diarios católicos Abc y El Debate durante la II República española a propósito de las reformas aprobadas en el campo de la enseñanza. Para ello, se analizan las estrategias de enmarcado dominantes a partir del examen de 355 documentos, publicados entre 1931 y 1933. Los resultados muestran que el discurso de estos periódicos buscó promover la movilización social. This paper analyzes the social action developed by the Catholic newspapers Abc and El Debate during the Second Republic with regard to the reforms adopted in the field of education. With this aim, we analyze the dominant framing strategies by means of the examination …

DiscursoPeriodisme Aspectes políticsSecond RepublicII RepúblicaCampaignsDiscourseCommunication and educationAcción políticaFrame analysisPressComunicación y educaciónPrensaAnálisis de marcosPolitical actionCampañas
researchProduct

Targeted steel frames by means of innovative moment resisting connections

2021

Abstract The present paper proposes the use of stepped cross section devices on steel frames aiming at reproducing a pre-established target push-over curve. To this aim a Limited Resistance Plastic Device (LRPD) to be inserted along selected structural members is proposed. The following two main specific features for LRPD are required: any elastic flexural stiffness variation of the original selected member must be avoided; an ultimate plastic bending moment value equal to an assigned percentage of the original limit resistance value must be ensured. Steel frames equipped with LRPD are modeled by means of an extension of a recently proposed Fibre Smart Displacement Based (FSDB) beam element…

Distributed plasticityOptimal designComputer science020101 civil engineeringSteel frames02 engineering and technology0915 Interdisciplinary EngineeringCivil Engineering0905 Civil Engineering0201 civil engineeringCross section (physics)Distributed plasticity FSDB model Innovative RBS connections Minimum volume design Steel frames0203 mechanical engineeringmedicineCivil and Structural Engineeringbusiness.industryFSDB modelMetals and AlloysStiffnessFlexural rigidity1202 BuildingBuilding and ConstructionStructural engineeringFinite element methodMoment (mathematics)020303 mechanical engineering & transportsMinimum volume designMechanics of MaterialsPlastic bendingmedicine.symptombusinessSettore ICAR/08 - Scienza Delle CostruzioniBeam (structure)Innovative RBS connections
researchProduct