Accedi

Bibliografie tematiche / Weyl functional calculus / Articoli di riviste

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Weyl functional calculus.

Articoli di riviste sul tema "Weyl functional calculus"

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 19 febbraio 2022

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-50 articoli di riviste per l'attività di ricerca sul tema "Weyl functional calculus".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi gli articoli di riviste di molte aree scientifiche e compila una bibliografia corretta.

1

Jefferies, Brian, and Alan McIntosh. "The Weyl calculus and Clifford analysis." Bulletin of the Australian Mathematical Society 57, no. 2 (April 1998): 329–41. http://dx.doi.org/10.1017/s0004972700031695.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Kim, Joonil. "Marcinkiewicz multiplier theorem for the Weyl functional calculus." Mathematische Zeitschrift 258, no. 2 (April 25, 2007): 271–90. http://dx.doi.org/10.1007/s00209-007-0164-x.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Jefferies, Brian, and Bernd Straub. "Lacunas in the Support of the Weyl Calculus for Two Hermitian Matrices." Journal of the Australian Mathematical Society 75, no. 1 (August 2003): 85–124. http://dx.doi.org/10.1017/s1446788700003499.

Testo completo

Abstract (sommario):

AbstractThe connection between Clifford analysis and the Weyl functional calculus for a d-tuple of bounded selfadjoint operators is used to prove a geometric condition due to J. Bazer and D. H. Y. Yen for a point to be in the support of the Weyl functional calculus for a pair of hermitian matrices. Examples are exhibited in which the support has gaps.

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Ricker, Werner J. "The Weyl functional calculus and two-by-two selfadjoint matrices." Bulletin of the Australian Mathematical Society 55, no. 2 (April 1997): 321–25. http://dx.doi.org/10.1017/s0004972700033980.

Testo completo

Abstract (sommario):

Let D be a (2 × 2) matrix with distinct eigenvalues λ1 and λ2. There is a basic and well known functional equation which provides a formula for constructing the matrix g (D), for any ℂ-valued function g defined on a subset of ℂ containing {λ1,λ2}, namely .This equation is used to give a direct and transparent proof of the following fact due to Anderson: A pair of (2 × 2) selfadjoint matrices A1 and A2 commute if and only if the Weyl functional calculus of the pair (A1,A2), which is a matrix-valued distribution, has order zero (that is, is a measure).

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Eydenberg, Michael. "The Weyl Correspondence as a Functional Calculus for Non-Commuting Operators." Rocky Mountain Journal of Mathematics 39, no. 5 (October 2009): 1467–96. http://dx.doi.org/10.1216/rmj-2009-39-5-1467.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Le Merdy, Christian. "Two Results About H∞ Functional Calculus on Analytic umd Banach Spaces." Journal of the Australian Mathematical Society 74, no. 3 (June 2003): 351–78. http://dx.doi.org/10.1017/s1446788700003360.

Testo completo

Abstract (sommario):

AbstractLet X be a Banach space with the analytic UMD property, and let A and B be two commuting sectorial operators on X which admit bounded H∞ functional calculi with respect to angles θ1 and θ2 satisfying θ1 + θ2 > π. It was proved by Kalton and Weis that in this case, A + B is closed. The first result of this paper is that under the same conditions, A + B actually admits a bounded H∞ functional calculus. Our second result is that given a Banach space X and a number 1 ≦ p < ∞, the derivation operator on the vector valued Hardy space Hp (R; X) admits a bounded H∞ functional calculus if

Gli stili APA, Harvard, Vancouver, ISO e altri

7

PAVLOVIĆ, DUšKO. "Categorical logic of names and abstraction in action calculi." Mathematical Structures in Computer Science 7, no. 6 (December 1997): 619–37. http://dx.doi.org/10.1017/s0960129597002296.

Testo completo

Abstract (sommario):

Milner's action calculus implements abstraction in monoidal categories, so that familiar λ-calculi can be subsumed together with the π-calculus and the Petri nets. Variables are generalised to names, which allow only a restricted form of substitution.In the present paper, the well-known categorical semantics of the λ-calculus is generalised to the action calculus. A suitable functional completeness theorem for symmetric monoidal categories is proved: we determine the conditions under which the abstraction is definable. Algebraically, the distinction between the variables and the names boils do

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Doust, Ian, and Qiu Bozhou. "The spectral theorem for well-bounded operators." Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics 54, no. 3 (June 1993): 334–51. http://dx.doi.org/10.1017/s1446788700031827.

Testo completo

Abstract (sommario):

AbstractWell-bounded operators are those which possess a bounded functional calculus for the absolutely continuous functions on some compact interval. Depending on the weak compactness of this functional calculus, one obtains one of two types of spectral theorem for these operators. A method is given which enables one to obtain both spectral theorems by simply changing the topology used. Even for the case of well-bounded operators of type (B), the proof given is more elementary than that previously in the literature.

Gli stili APA, Harvard, Vancouver, ISO e altri

9

SCHMITT, T. "FUNCTIONALS OF CLASSICAL FIELDS IN QUANTUM FIELD THEORY." Reviews in Mathematical Physics 07, no. 08 (November 1995): 1249–301. http://dx.doi.org/10.1142/s0129055x95000463.

Testo completo

Abstract (sommario):

Many methods of modern quantum field theory rely heavily on functionals of classical fields; this notion is however problematic whenever anticommuting fields are present. We propose a calculus for such functionals which avoids the use of auxiliary Grassmann algebras, and which relies on an infinite-dimensional version of Berezin-Leites supermanifold theory. We begin by studying “functional power series expansions” without growth conditions; this already allows to make e.g. the Yang-Mills action functional with fermionic, anticommuting matter fields a well-defined mathematical object. We introd

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Jacobson, David K., Tanvi P. Honap, Cara Monroe, Justin Lund, Brett A. Houk, Anna C. Novotny, Cynthia Robin, Elisabetta Marini, and Cecil M. Lewis. "Functional diversity of microbial ecologies estimated from ancient human coprolites and dental calculus." Philosophical Transactions of the Royal Society B: Biological Sciences 375, no. 1812 (October 5, 2020): 20190586. http://dx.doi.org/10.1098/rstb.2019.0586.

Testo completo

Abstract (sommario):

Human microbiome studies are increasingly incorporating macroecological approaches, such as community assembly, network analysis and functional redundancy to more fully characterize the microbiome. Such analyses have not been applied to ancient human microbiomes, preventing insights into human microbiome evolution. We address this issue by analysing published ancient microbiome datasets: coprolites from Rio Zape ( n = 7; 700 CE Mexico) and historic dental calculus ( n = 44; 1770–1855 CE, UK), as well as two novel dental calculus datasets: Maya ( n = 7; 170 BCE-885 CE, Belize) and Nuragic Sardi

Gli stili APA, Harvard, Vancouver, ISO e altri

11

Sharyn, S. V. "Application of the functional calculus to solving of infinite dimensional heat equation." Carpathian Mathematical Publications 8, no. 2 (December 30, 2016): 313–22. http://dx.doi.org/10.15330/cmp.8.2.313-322.

Testo completo

Abstract (sommario):

In this paper we study infinite dimensional heat equation associated with the Gross Laplacian. Using the functional calculus method, we obtain the solution of appropriate Cauchy problem in the space of polynomial ultradifferentiable functions. The semigroup approach is considered as well.

Gli stili APA, Harvard, Vancouver, ISO e altri

12

Baltag, Alexandru, and Johan van Benthem. "A Simple Logic of Functional Dependence." Journal of Philosophical Logic 50, no. 5 (March 24, 2021): 939–1005. http://dx.doi.org/10.1007/s10992-020-09588-z.

Testo completo

Abstract (sommario):

AbstractThis paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized assignment semantics for first order logic. The expressive strength, complete proof calculus and meta-properties of LFD are explored. Various language extensions are presented as well, up to undecidable modal-style logics for independence and dynamic logics of changing dependence models. Finally, more concrete settings for dependence are discussed: cont

Gli stili APA, Harvard, Vancouver, ISO e altri

13

Gabbay, Michael. "A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language". Journal of Symbolic Logic 76, № 2 (червень 2011): 673–99. http://dx.doi.org/10.2178/jsl/1305810770.

Testo completo

Abstract (sommario):

AbstractWe build on an existing a term-sequent logic for the λ-calculus. We formulate a general sequent system that fully integrates αβη-reductions between untyped λ-terms into first order logic.We prove a cut-elimination result and then offer an application of cut-elimination by giving a notion of uniform proof for λ-terms. We suggest how this allows us to view the calculus of untyped αβ-reductions as a logic programming language (as well as a functional programming language, as it is traditionally seen).

Gli stili APA, Harvard, Vancouver, ISO e altri

14

Francfort, G., and J. Sivaloganathan. "On conservation laws and necessary conditions in the calculus of variations." Proceedings of the Royal Society of Edinburgh: Section A Mathematics 132, no. 6 (December 2002): 1361–71. http://dx.doi.org/10.1017/s0308210500002146.

Testo completo

Abstract (sommario):

It is well known from the work of Noether that every variational symmetry of an integral functional gives rise to a corresponding conservation law. In this paper, we prove that each such conservation law arises directly as the Euler-Lagrange equation for the functional on taking suitable variations around a minimizer.

Gli stili APA, Harvard, Vancouver, ISO e altri

15

Brealey, Jaelle C., Henrique G. Leitão, Tom van der Valk, Wenbo Xu, Katia Bougiouri, Love Dalén, and Katerina Guschanski. "Dental Calculus as a Tool to Study the Evolution of the Mammalian Oral Microbiome." Molecular Biology and Evolution 37, no. 10 (May 28, 2020): 3003–22. http://dx.doi.org/10.1093/molbev/msaa135.

Testo completo

Abstract (sommario):

Abstract Dental calculus, the calcified form of the mammalian oral microbial plaque biofilm, is a rich source of oral microbiome, host, and dietary biomolecules and is well preserved in museum and archaeological specimens. Despite its wide presence in mammals, to date, dental calculus has primarily been used to study primate microbiome evolution. We establish dental calculus as a valuable tool for the study of nonhuman host microbiome evolution, by using shotgun metagenomics to characterize the taxonomic and functional composition of the oral microbiome in species as diverse as gorillas, bears

Gli stili APA, Harvard, Vancouver, ISO e altri

16

Massa, Enrico, Danilo Bruno, Gianvittorio Luria, and Enrico Pagani. "Geometric constrained variational calculus I: Piecewise smooth extremals." International Journal of Geometric Methods in Modern Physics 12, no. 05 (May 2015): 1550061. http://dx.doi.org/10.1142/s0219887815500619.

Testo completo

Abstract (sommario):

A geometric setup for constrained variational calculus is presented. The analysis deals with the study of the extremals of an action functional defined on piecewise differentiable curves, subject to differentiable, non-holonomic constraints. Special attention is paid to the tensorial aspects of the theory. As far as the kinematical foundations are concerned, a fully covariant scheme is developed through the introduction of the concept of infinitesimal control. The standard classification of the extremals into normal and abnormal ones is discussed, pointing out the existence of an algebraic alg

Gli stili APA, Harvard, Vancouver, ISO e altri

17

OSHIMA, YOICHI. "TIME-DEPENDENT DIRICHLET FORMS AND RELATED STOCHASTIC CALCULUS." Infinite Dimensional Analysis, Quantum Probability and Related Topics 07, no. 02 (June 2004): 281–316. http://dx.doi.org/10.1142/s021902570400158x.

Testo completo

Abstract (sommario):

Analytic and probabilistic properties of symmetric or non-symmetric Dirichlet forms are well studied. But the processes with parabolic generators are out of the framework of symmetric Dirichlet forms. To cover these cases, we have introduced the time-dependent Dirichlet forms and studied their properties so far. In this expository article, we intend to explain in detail the analytic and probabilistic properties for time-dependent Dirichlet forms parallel to the symmetric Dirichlet forms. New results on a characterization of the minimal α-excessive function dominating a quasi-continuous functio

Gli stili APA, Harvard, Vancouver, ISO e altri

18

FLORINDO, JOÃO BATISTA, MÁRIO DE CASTRO, and ODEMIR MARTINEZ BRUNO. "ENHANCING VOLUMETRIC BOULIGAND–MINKOWSKI FRACTAL DESCRIPTORS BY USING FUNCTIONAL DATA ANALYSIS." International Journal of Modern Physics C 22, no. 09 (September 2011): 929–52. http://dx.doi.org/10.1142/s0129183111016701.

Testo completo

Abstract (sommario):

This work proposes and studies the concept of Functional Data Analysis transform, applying it to the performance improving of volumetric Bouligand–Minkowski fractal descriptors. The proposed transform consists essentially in changing the descriptors originally defined in the space of the calculus of fractal dimension into the space of coefficients used in the functional data representation of these descriptors. The transformed descriptors are used here in texture classification problems. The enhancement provided by the FDA transform is measured by comparing the transformed to the original desc

Gli stili APA, Harvard, Vancouver, ISO e altri

19

Dhersin, Jean-Stéphane, and Laurent Serlet. "A Stochastic Calculus Approach for the Brownian Snake." Canadian Journal of Mathematics 52, no. 1 (February 1, 2000): 92–118. http://dx.doi.org/10.4153/cjm-2000-004-3.

Testo completo

Abstract (sommario):

AbstractWe study the “Brownian snake” introduced by Le Gall, and also studied by Dynkin, Kuznetsov, Watanabe. We prove that Itô’s formula holds for a wide class of functionals. As a consequence, we give a new proof of the connections between the Brownian snake and super-Brownian motion. We also give a new definition of the Brownian snake as the solution of a well-posed martingale problem. Finally, we construct a modified Brownian snake whose lifetime is driven by a path-dependent stochastic equation. This process gives a representation of some super-processes.

Gli stili APA, Harvard, Vancouver, ISO e altri

20

SCHMÜDGEN, KONRAD. "THE QUANTUM QUARTER PLANE AND THE REAL QUANTUM PLANE." International Journal of Mathematics 13, no. 03 (May 2002): 279–321. http://dx.doi.org/10.1142/s0129167x02001307.

Testo completo

Abstract (sommario):

Suppose q≠±1 is a complex number of modulus one. Let [Formula: see text] be the *-algebra with two hermitean generators x and y satisfying the relation xy=qyx. Using Hilbert space representations of [Formula: see text] and the Weyl calculus of pseudodifferential operators we construct *-algebras of "functions" on the quantum quarter plane [Formula: see text] and on the real quantum plane [Formula: see text] which are left module *-algebras for the Hopf *-algebra [Formula: see text]. We define covariant positive linear functionals hk, k∈ℤ2, and study the actions of the *-algebras [Formula: see

Gli stili APA, Harvard, Vancouver, ISO e altri

21

STREICHER, Th, and B. REUS. "Classical logic, continuation semantics and abstract machines." Journal of Functional Programming 8, no. 6 (November 1998): 543–72. http://dx.doi.org/10.1017/s0956796898003141.

Testo completo

Abstract (sommario):

One of the goals of this paper is to demonstrate that denotational semantics is useful for operational issues like implementation of functional languages by abstract machines. This is exemplified in a tutorial way by studying the case of extensional untyped call-by-name λ-calculus with Felleisen's control operator [Cscr ]. We derive the transition rules for an abstract machine from a continuation semantics which appears as a generalization of the ¬¬-translation known from logic. The resulting abstract machine appears as an extension of Krivine's machine implementing head reduction. Though the

Gli stili APA, Harvard, Vancouver, ISO e altri

22

Leipholz, H. H. E. "On Some Developments in Direct Methods of the Calculus of Variations." Applied Mechanics Reviews 40, no. 10 (October 1, 1987): 1379–92. http://dx.doi.org/10.1115/1.3149540.

Testo completo

Abstract (sommario):

One of the significant events in mathematical physics, in this century, is the introduction and further development of the so-called direct methods which were first applied by Rayleigh and Ritz to possibly extremum but at least stationary variational problems; they have been extended by Galerkin to problems which are not even stationary but involve only variations in the sense of the principle of virtual work. It is shown in this paper how, in the course of a further development of direct methods, the question of a proper choice of coordinate functions and of a proof of convergence of the meth

Gli stili APA, Harvard, Vancouver, ISO e altri

23

Chevreau, Bernard, та Aurelian Crăciunescu. "Factorizations in preduals associated to ρ-contractions". Annals of West University of Timisoara - Mathematics and Computer Science 53, № 1 (1 липня 2015): 3–17. http://dx.doi.org/10.1515/awutm-2015-0001.

Testo completo

Abstract (sommario):

Abstract We establish directly factorization results for classes of ρ-contractions, corresponding to those obtained for certain classes of contractions. As an example of result which is not an immediate consequence of the fact that any ρ-contraction is similar to an ordinary contraction we give an "optimal" characterization of absolutely continuous ρ-contractions whose associated functional calculus has Property (Aא₀). Along the way we show that a ρ-contraction is absolutely continuous if and only if it admits an absolutely continuous unitary ρ-dilation generalizing a well- known result for us

Gli stili APA, Harvard, Vancouver, ISO e altri

24

Backhoff, Julio, Giovanni Conforti, Ivan Gentil, and Christian Léonard. "The mean field Schrödinger problem: ergodic behavior, entropy estimates and functional inequalities." Probability Theory and Related Fields 178, no. 1-2 (June 23, 2020): 475–530. http://dx.doi.org/10.1007/s00440-020-00977-8.

Testo completo

Abstract (sommario):

Abstract We study the mean field Schrödinger problem (MFSP), that is the problem of finding the most likely evolution of a cloud of interacting Brownian particles conditionally on the observation of their initial and final configuration. Its rigorous formulation is in terms of an optimization problem with marginal constraints whose objective function is the large deviation rate function associated with a system of weakly dependent Brownian particles. We undertake a fine study of the dynamics of its solutions, including quantitative energy dissipation estimates yielding the exponential converge

Gli stili APA, Harvard, Vancouver, ISO e altri

25

Lazarevic, Mihailo. "Biologically inspired control and modeling of (bio)robotic systems and some applications of fractional calculus in mechanics." Theoretical and Applied Mechanics 40, no. 1 (2013): 163–87. http://dx.doi.org/10.2298/tam1301163l.

Testo completo

Abstract (sommario):

In this paper, the applications of biologically inspired modeling and control of (bio)mechanical (non)redundant mechanisms are presented, as well as newly obtained results of author in mechanics which are based on using fractional calculus. First, it is proposed to use biological analog-synergy due to existence of invariant features in the execution of functional motion. Second, the model of (bio)mechanical system may be obtained using another biological concept called distributed positioning (DP), which is based on the inertial properties and actuation of joints of considered mechanical syste

Gli stili APA, Harvard, Vancouver, ISO e altri

26

Charlesworth, Ian, Ken Dykema, Fedor Sukochev, and Dmitriy Zanin. "Simultaneous Upper Triangular Forms for Commuting Operators in a Finite von Neumann Algebra." Canadian Journal of Mathematics 72, no. 5 (May 15, 2019): 1188–245. http://dx.doi.org/10.4153/s0008414x19000282.

Testo completo

Abstract (sommario):

AbstractThe joint Brown measure and joint Haagerup–Schultz projections for tuples of commuting operators in a von Neumann algebra equipped with a faithful tracial state are investigated, and several natural properties are proved for these. It is shown that the support of the joint Brown measure is contained in the Taylor joint spectrum of the tuple, and also in the ostensibly smaller left Harte spectrum. A simultaneous upper triangularization result for finite commuting tuples is proved, and the joint Brown measure and joint Haagerup–Schultz projections are shown to behave well under the Arens

Gli stili APA, Harvard, Vancouver, ISO e altri

27

ASHTEKAR, ABHAY. "POLYMER GEOMETRY AT PLANCK SCALE AND QUANTUM EINSTEIN EQUATIONS." International Journal of Modern Physics D 05, no. 06 (December 1996): 629–48. http://dx.doi.org/10.1142/s0218271896000400.

Testo completo

Abstract (sommario):

Over the last two years, the canonical approach to quantum gravity based on connections and triads has been put on a firm mathematical footing through the development and application of a new functional calculus on the space of gauge equivalent connections. This calculus does not use any background fields (such as a metric) and thus well-suited to a fully non-perturbative treatment of quantum gravity. Using this framework, quantum geometry is examined. Fundamental excitations turn out to be one-dimensional, rather like polymers. Geometrical observables such as areas of surfaces and volumes of

Gli stili APA, Harvard, Vancouver, ISO e altri

28

Mishra, Lakshmi Narayan, Shikha Pandey та Vishnu Narayan Mishra. "King type generalization of Baskakov operators based on (𝑝, 𝑞) calculus with better approximation properties". Analysis 40, № 4 (1 листопада 2020): 163–73. http://dx.doi.org/10.1515/anly-2019-0054.

Testo completo

Abstract (sommario):

AbstractApproximation using linear positive operators is a well-studied research area. Many operators and their generalizations are investigated for their better approximation properties. In the present paper, we construct and investigate a variant of modified (p,q)-Baskakov operators, which reproduce the test function x^{2}. We have determined the order of approximation of the operators via K-functional and second order, the usual modulus of continuity, weighted and statistical approximation properties. In the end, some graphical results which depict the comparison with (p,q)-Baskakov operato

Gli stili APA, Harvard, Vancouver, ISO e altri

29

SAPORITO, YURI F. "FIRST-ORDER ASYMPTOTICS OF PATH-DEPENDENT DERIVATIVES IN MULTISCALE STOCHASTIC VOLATILITY ENVIRONMENT." International Journal of Theoretical and Applied Finance 21, no. 03 (May 2018): 1850024. http://dx.doi.org/10.1142/s0219024918500243.

Testo completo

Abstract (sommario):

In this paper, we extend the first-order asymptotics analysis of Fouque et al. to general path-dependent financial derivatives using Dupire’s functional Itô calculus. The main conclusion is that the market group parameters calibrated to vanilla options can be used to price to the same order exotic, path-dependent derivatives as well. Under general conditions, the first-order condition is represented by a conditional expectation that could be numerically evaluated. Moreover, if the path-dependence is not too severe, we are able to find path-dependent closed-form solutions equivalent to the firs

Gli stili APA, Harvard, Vancouver, ISO e altri

30

Sun, Lin, Xinchao Meng, Jiucheng Xu, and Shiguang Zhang. "An Image Segmentation Method Based on Improved Regularized Level Set Model." Applied Sciences 8, no. 12 (November 26, 2018): 2393. http://dx.doi.org/10.3390/app8122393.

Testo completo

Abstract (sommario):

When the level set algorithm is used to segment an image, the level set function must be initialized periodically to ensure that it remains a signed distance function (SDF). To avoid this defect, an improved regularized level set method-based image segmentation approach is presented. First, a new potential function is defined and introduced to reconstruct a new distance regularization term to solve this issue of periodically initializing the level set function. Second, by combining the distance regularization term with the internal and external energy terms, a new energy functional is develope

Gli stili APA, Harvard, Vancouver, ISO e altri

31

Taheri, Ali. "Sufficiency theorems for local minimizers of the multiple integrals of the calculus of variations." Proceedings of the Royal Society of Edinburgh: Section A Mathematics 131, no. 1 (February 2001): 155–84. http://dx.doi.org/10.1017/s0308210500000822.

Testo completo

Abstract (sommario):

Let Ω ⊂ Rn be a bounded domain and let f : Ω × RN × RN×n → R. Consider the functional over the class of Sobolev functions W1,q(Ω;RN) (1 ≤ q ≤ ∞) for which the integral on the right is well defined. In this paper we establish sufficient conditions on a given function u0 and f to ensure that u0 provides an Lr local minimizer for I where 1 ≤ r ≤ ∞. The case r = ∞ is somewhat known and there is a considerable literature on the subject treating the case min(n, N) = 1, mostly based on the field theory of the calculus of variations. The main contribution here is to present a set of sufficient conditi

Gli stili APA, Harvard, Vancouver, ISO e altri

32

CHAVAN, SAMEER. "ON A FRIEDRICHS EXTENSION RELATED TO UNBOUNDED SUBNORMALS-II." Glasgow Mathematical Journal 50, no. 1 (January 2008): 97–109. http://dx.doi.org/10.1017/s0017089507003941.

Testo completo

Abstract (sommario):

AbstractWe study the Friedrichs extensions of unbounded cyclic subnormals. The main result of the present paper is the identification of the Friedrichs extensions of certain cyclic subnormals with their closures. This generalizes as well as complements the main result obtained in [5]. Such characterizations lead to abstract Galerkin approximations, generalized wave equations, and bounded${\mathcal H}^{\infty}$-functional calculi.

Gli stili APA, Harvard, Vancouver, ISO e altri

33

Di Cosmo, Roberto. "Deciding type isomorphisms in a type-assignment framework." Journal of Functional Programming 3, no. 4 (October 1993): 485–525. http://dx.doi.org/10.1017/s0956796800000861.

Testo completo

Abstract (sommario):

AbstractThis paper provides a formal treatment of isomorphic types for languages equipped with an ML style polymorphic type inference mechanism. The results obtained make less justified the commonplace feeling that (the core of) ML is a subset of second order λ-calculus: we can provide an isomorphism of types that holds in the core ML language, but not in second order λ-calculus. This new isomorphism allows to provide a complete (and decidable) axiomatization of all the types isomorphic in ML style languages, a relevant issue for thetype as specificationsparadigm in library searches. This work

Gli stili APA, Harvard, Vancouver, ISO e altri

34

Petrişor, Silviu Mihai, and Ghiţă Bârsan. "Calculus and Implementation of a TRTR Industrial Robot Servicing a Flexible Manufacturing Cell Destined for the AAV Building Industry." Applied Mechanics and Materials 332 (July 2013): 171–80. http://dx.doi.org/10.4028/www.scientific.net/amm.332.171.

Testo completo

Abstract (sommario):

The authors of this paper aims to highlight the basic design of a flexible manufacturing cell with parallel organization destined for the assembly of tires on AAV carcasses shafts, operation performed by a TRTR serial-modular industrial robot. The paper describes, in detail: the direct and inverse geometric modeling of the mechanical structure, the direct kinematic modeling of the industrial robot under study, by calculating and illustrating, by means of time development graphs, the column vectors of the generalized coordinates as well as the prehension device characteristic point trajectory t

Gli stili APA, Harvard, Vancouver, ISO e altri

35

Nolte, Bodo, Sigmar Kempfle, and Ingo Schäfer. "Does a Real Material Behave Fractionally? Applications of Fractional Differential Operators to the Damped Structure Borne Sound in Viscoelastic Solids." Journal of Computational Acoustics 11, no. 03 (September 2003): 451–89. http://dx.doi.org/10.1142/s0218396x03002024.

Testo completo

Abstract (sommario):

Time dependent analysis of the dynamic damped behavior of continua are mathematically modelled by partial differential equations. One obtains uniqueness, existence and stability (well posed problems) by the implementation of the correct initial boundary conditions. However, by taking memory effects into consideration, any change in the past of the system changes the future dynamic behavior. Classical damping descriptions fail when describing the behavior of many materials, like teflon. This is because in classical theory the operators are local ones. The implementation of fractional time deriv

Gli stili APA, Harvard, Vancouver, ISO e altri

36

Shieh, Tien-Tsan, and Daniel E. Spector. "On a new class of fractional partial differential equations II." Advances in Calculus of Variations 11, no. 3 (July 1, 2018): 289–307. http://dx.doi.org/10.1515/acv-2016-0056.

Testo completo

Abstract (sommario):

AbstractIn this paper we continue to advance the theory regarding the Riesz fractional gradient in the calculus of variations and fractional partial differential equations begun in an earlier work of the same name. In particular, we here establish an {L^{1}} Hardy inequality, obtain further regularity results for solutions of certain fractional PDE, demonstrate the existence of minimizers for integral functionals of the fractional gradient with non-linear dependence in the field, and also establish the existence of solutions to corresponding Euler–Lagrange equations obtained as conditions of m

Gli stili APA, Harvard, Vancouver, ISO e altri

37

Musilová, Jana, and Stanislav Hronek. "The calculus of variations on jet bundles as a universal approach for a variational formulation of fundamental physical theories." Communications in Mathematics 24, no. 2 (December 1, 2016): 173–93. http://dx.doi.org/10.1515/cm-2016-0012.

Testo completo

Abstract (sommario):

Abstract As widely accepted, justified by the historical developments of physics, the background for standard formulation of postulates of physical theories leading to equations of motion, or even the form of equations of motion themselves, come from empirical experience. Equations of motion are then a starting point for obtaining specific conservation laws, as, for example, the well-known conservation laws of momenta and mechanical energy in mechanics. On the other hand, there are numerous examples of physical laws or equations of motion which can be obtained from a certain variational princi

Gli stili APA, Harvard, Vancouver, ISO e altri

38

Veselovska, Natalia, Alexander Malakov, and Sergiy Burlaka. "MATHEMATICAL MODELING OF THE MECHANISM POST-TRAILED KPP-4.2." ENGINEERING, ENERGY, TRANSPORT AIC, no. 4(107) (December 20, 2019): 5–10. http://dx.doi.org/10.37128/2520-6168-2019-4-1.

Testo completo

Abstract (sommario):

Maintaining the required cut height minimizes losses and ensures continuous shoe contact with the surface. Thus the excessive pressure of the shoe destroys the stubble and leads to its accelerated wear, and insufficient pressure is accompanied by increased losses and provokes the galloping of the header. An analytical solution to the problem of modeling the mechanism of the KPP-4.2 hanging is an iterative execution of the analysis procedures based on the formed hypothesis, as well as the procedures of comparison and selection of options in the procedure of parametric synthesis. It is a choice

Gli stili APA, Harvard, Vancouver, ISO e altri

39

Ebenbeck, Matthias, and Patrik Knopf. "Optimal control theory and advanced optimality conditions for a diffuse interface model of tumor growth." ESAIM: Control, Optimisation and Calculus of Variations 26 (2020): 71. http://dx.doi.org/10.1051/cocv/2019059.

Testo completo

Abstract (sommario):

We investigate a distributed optimal control problem for a diffuse interface model for tumor growth. The model consists of a Cahn–Hilliard type equation for the phase field variable, a reaction diffusion equation for the nutrient concentration and a Brinkman type equation for the velocity field. These PDEs are endowed with homogeneous Neumann boundary conditions for the phase field variable, the chemical potential and the nutrient as well as a “no-friction” boundary condition for the velocity. The control represents a medication by cytotoxic drugs and enters the phase field equation. The aim i

Gli stili APA, Harvard, Vancouver, ISO e altri

40

Marco, F. J., J. A. Lopez, and M. J. Martinez. "A time-dependent extension to Brouwer's method for orbital elements correction." Symposium - International Astronomical Union 172 (1996): 199–202. http://dx.doi.org/10.1017/s0074180900127354.

Testo completo

Abstract (sommario):

One of the most popular methods for orbital elements correction, by means of O-C calculus, is based on Brouwer's method [2], which is very well adapted for integrating short periods of time. We propose a general method to integrate over long intervals of time, when we have good observations, based upon a time-dependent functional relation between the derivatives of all elements with respect to all variations in the initial elements. First, we verify the truth of the unrestricted hypothesis by means of the proposed analytical method and a numerical derivation. In [6], we have incorporated a cor

Gli stili APA, Harvard, Vancouver, ISO e altri

41

Phillips, John. "Self-Adjoint Fredholm Operators And Spectral Flow." Canadian Mathematical Bulletin 39, no. 4 (December 1, 1996): 460–67. http://dx.doi.org/10.4153/cmb-1996-054-4.

Testo completo

Abstract (sommario):

AbstractWe study the topology of the nontrivial component, , of self-adjoint Fredholm operators on a separable Hilbert space. In particular, if {Bt} is a path of such operators, we can associate to {Bt} an integer, sf({Bt}), called the spectral flow of the path. This notion, due to M. Atiyah and G. Lusztig, assigns to the path {Bt} the net number of eigenvalues (counted with multiplicities) which pass through 0 in the positive direction. There are difficulties in making this precise — the usual argument involves looking at the graph of the spectrum of the family (after a suitable perturbation)

Gli stili APA, Harvard, Vancouver, ISO e altri

42

Karolak, Stanislaw. "Réflexions Sur la Théorie de L'article de Gustave Guillaume." Lingvisticæ Investigationes. International Journal of Linguistics and Language Resources 10, no. 1 (January 1, 1986): 131–51. http://dx.doi.org/10.1075/li.10.1.05kar.

Testo completo

Abstract (sommario):

This paper is concerned with the analysis of the theory of the French article presented in the classical work by Guillaume "Le problème de l'article et sa solution dans la langue française". The paper emphasizes Guillaume's search for the semantic nature of the relationships determining the distribution of articles. The paper supports Guillaume, who seems to claim, contrary to what is commonly believed, that the function of the articles is non inherent in them, but that it is determined by the semantic properties of the nouns which select them. Treating this claim as the starting point, the pa

Gli stili APA, Harvard, Vancouver, ISO e altri

43

Pejovic, Branko, Vladan Micic, Mitar Perusic, Goran Tadic, Ljubica Vasiljevic, and Slavko Smiljanic. "Proposal for determining changes in entropy of semi ideal gas using mean values of temperature functions." Chemical Industry 68, no. 5 (2014): 615–28. http://dx.doi.org/10.2298/hemind130825090p.

Testo completo

Abstract (sommario):

In a semi-ideal gas, entropy changes cannot be determined through the medium specific heat capacity in a manner as determined by the change of internal energy and enthalpy, i.e. the amount of heat exchanged. Taking this into account, the authors conducted two models through which it is possible to determine the change in the specific entropy of a semi-ideal gas for arbitrary temperature interval using the spread sheet method, using the mean values of the appropriate functions. The idea is to replace integration, which occurs here in evitably, with mean values of the previous functions. The mod

Gli stili APA, Harvard, Vancouver, ISO e altri

44

Gabbay, D. M., and V. B. Shehtman. "Undecidability of modal and intermediate first-order logics with two individual variables." Journal of Symbolic Logic 58, no. 3 (September 1993): 800–823. http://dx.doi.org/10.2307/2275098.

Testo completo

Abstract (sommario):

The interest in fragments of predicate logics is motivated by the well-known fact that full classical predicate calculus is undecidable (cf. Church [1936]). So it is desirable to find decidable fragments which are in some sense “maximal”, i.e., which become undecidable if they are “slightly” extended. Or, alternatively, we can look for “minimal” undecidable fragments and try to identify the vague boundary between decidability and undecidability. A great deal of work in this area concerning mainly classical logic has been done since the thirties. We will not give a complete review of decidabili

Gli stili APA, Harvard, Vancouver, ISO e altri

45

MCBRIDE, CONOR, and JAMES MCKINNA. "The view from the left." Journal of Functional Programming 14, no. 1 (January 2004): 69–111. http://dx.doi.org/10.1017/s0956796803004829.

Testo completo

Abstract (sommario):

Pattern matching has proved an extremely powerful and durable notion in functional programming. This paper contributes a new programming notation for type theory which elaborates the notion in various ways. First, as is by now quite well-known in the type theory community, definition by pattern matching becomes a more discriminating tool in the presence of dependent types, since it refines the explanation of types as well as values. This becomes all the more true in the presence of the rich class of datatypes known as inductive families (Dybjer, 1991). Secondly, as proposed by Peyton Jones (19

Gli stili APA, Harvard, Vancouver, ISO e altri

46

Moor, Oege De. "Categories, relations and dynamic programming." Mathematical Structures in Computer Science 4, no. 1 (March 1994): 33–69. http://dx.doi.org/10.1017/s0960129500000360.

Testo completo

Abstract (sommario):

Dynamic programming is a strategy for solving optimisation problems. In this paper, we show how many problems that may be solved by dynamic programming are instances of the same abstract specification. This specification is phrased using the calculus of relations offered by topos theory. The main theorem underlying dynamic programming can then be proved by straightforward equational reasoning.The generic specification of dynamic programming makes use of higher-order operators on relations, akin to the fold operators found in functional programming languages. In the present context, a data type

Gli stili APA, Harvard, Vancouver, ISO e altri

47

Kortbeek, S., S. Bhandal, H. Machida, S. R. Martin, and G. J. Galante. "A135 HEPATOLITHIASIS AND CHOLANGIOPATHY IN PEDIATRIC CYSTIC FIBROSIS: A CASE REPORT." Journal of the Canadian Association of Gastroenterology 3, Supplement_1 (February 2020): 156–57. http://dx.doi.org/10.1093/jcag/gwz047.134.

Testo completo

Abstract (sommario):

Abstract Background Liver disease has emerged as an important cause of cystic fibrosis (CF)-associated morbidity due to recent advancements in management and a resultant increase in life expectancy. Although focal biliary cirrhosis remains the pathognomonic finding in CF, other hepatic manifestations exist but are not as well described, particularly in the pediatric population. Aims Present two rare manifestations of pediatric CF-associated liver disease. Methods In this report, we present a pediatric CF patient with chronic abdominal pain who was found to have hepatolithiasis, cholangitis and

Gli stili APA, Harvard, Vancouver, ISO e altri

48

Barthe, Gilles, Peter Dybjer, and Peter Thiemann. "Special issue on Dependent Type Theory Meets Programming Practice CALL FOR PAPERS." Journal of Functional Programming 11, no. 4 (July 2001): 437. http://dx.doi.org/10.1017/s0956796801004105.

Testo completo

Abstract (sommario):

Modern programming languages rely on advanced type systems that detect errors at compile-time. While the benefits of type systems have long been recognized, there are some areas where the standard systems in programming languages are not expressive enough. Language designers usually trade expressiveness for decidability of the type system. Some interesting programs will always be rejected (despite their semantical soundness) or be assigned uninformative types.There are several remedies to this situation. Dependent type systems, which allow the formation of types that explicitly depend on other

Gli stili APA, Harvard, Vancouver, ISO e altri

49

Firlej, Marcel, Daniel Pieniak, Agata M. Niewczas, Agata Walczak, Ivo Domagała, Anna Borucka, Krzysztof Przystupa, Joanna Igielska-Kalwat, Wojciech Jarosz, and Barbara Biedziak. "Effect of Artificial Aging on Mechanical and Tribological Properties of CAD/CAM Composite Materials Used in Dentistry." Materials 14, no. 16 (August 20, 2021): 4678. http://dx.doi.org/10.3390/ma14164678.

Testo completo

Abstract (sommario):

With easy-to-process 3D printing materials and fast production, the quality of dental services can be improved. In the conventional procedure, the dentist makes temporary crowns directly in the patient’s mouth, e.g., from the most commonly used bis-acrylic composites. Temporary crowns made directly in the office without the use of CAD/CAM are often of inferior quality, which directly results in impaired hygiene, poorer masticatory mechanics, greater deposition of plaque, calculus and sediment, and may adversely affect periodontal and gum health. The mechanical strength, resistance to aging and

Gli stili APA, Harvard, Vancouver, ISO e altri

50

Sapozhnikov, A. Yu, A. A. Kuznetsov, A. S. Mavrina, and G. G. Kulikov. "An Approach to the Transformation of a Virtual Metastructure of a Digital Design Twin of a Machine-building Enterprise Corporate Information System." Bulletin of the South Ural State University. Ser. Computer Technologies, Automatic Control & Radioelectronics 21, no. 2 (May 2021): 5–15. http://dx.doi.org/10.14529/ctcr210201.

Testo completo

Abstract (sommario):

Currently, the methodology of system engineering is being formed, the product of which is, as usual, the creation of real objects information models, supplemented by virtual components, and on the contrary, virtual objects, supplemented by real components. For example, an information model of a technological object is a specification of real equipment, supplemented by a specification of the purchased equipment of a technological process and on the contrary. By analogy with general engineering in the field of technical activity, the metastructures of such information models must meet the V-shap

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!