Significato di "normalisable" sul dizionario di inglese

PRONUNCIA DI NORMALISABLE IN INGLESE

normalisable  [ˈnɔːməˌlaɪzəbəl]

CATEGORIA GRAMMATICALE DI NORMALISABLE

Normalisable è un aggettivo.

L'aggettivo è la parola che accompagna il nome per determinarlo o qualificarlo.

CHE SIGNIFICA NORMALISABLE IN INGLESE

Funzione ondata

Wave function

Una funzione d'onda o una funzione d'onda nella meccanica quantistica descrive lo stato quantistico di un sistema di una o più particelle e contiene tutte le informazioni sul sistema. Le quantità associate alle misurazioni, come il momento medio di una particella, sono derivate dalla funzione d'onda. Così è una quantità centrale nella meccanica quantistica. I simboli più comuni per una funzione d'onda sono le lettere greche ψ o Ψ. L'equazione di Schrödinger determina come la funzione d'onda si evolve nel tempo, cioè la funzione d'onda è la soluzione dell'equazione Schrödinger. La funzione d'onda si comporta qualitativamente come altre onde, come onde d'acqua o onde su una stringa, perché l'equazione di Schrödinger è matematicamente un tipo di equazione d'onda. Questo spiega il nome "funzione d'onda" e genera dualità delle particelle d'onda. La funzione d'onda per un dato sistema non ha una rappresentazione univoca. Più comunemente, è presa per essere una funzione di tutte le coordinate di posizione delle particelle e del tempo, cioè la funzione d'onda è in "spazio di posizione".

A wave function or wavefunction in quantum mechanics describes the quantum state of a system of one or more particles, and contains all the information about the system. Quantities associated with measurements, like the average momentum of a particle, are derived from the wavefunction. Thus it is a central quantity in quantum mechanics. The most common symbols for a wave function are the Greek letters ψ or Ψ. The Schrödinger equation determines how the wave function evolves over time, that is, the wavefunction is the solution of the Schrödinger equation. The wave function behaves qualitatively like other waves, like water waves or waves on a string, because the Schrödinger equation is mathematically a type of wave equation. This explains the name "wave function", and gives rise to wave–particle duality. The wave function for a given system does not have a unique representation. Most commonly, it is taken to be a function of all the position coordinates of the particles and time, that is, the wavefunction is in "position space".

TRADUZIONE DI NORMALISABLE

Conosci la traduzione di normalisable in 25 lingue con il nostro traduttore inglese multilingue.

Le traduzioni di normalisable verso altre lingue presenti in questa sezione sono il risultato di una traduzione automatica statistica; dove l'unità essenziale della traduzione è la parola «normalisable» in inglese.

• Traduttore italiano - cinese: normalisable
• Traduttore italiano - spagnolo: normalisable
• inglese: normalisable
• Traduttore italiano - hindi: normalisable
• Traduttore italiano - arabo: normalisable
• Traduttore italiano - russo: normalisable
• Traduttore italiano - portoghese: normalisable
• Traduttore italiano - bengalese: normalisable
• Traduttore italiano - francese: normalisable
• Traduttore italiano - malese: Biasa
• Traduttore italiano - tedesco: normalisable
• Traduttore italiano - giapponese: normalisable
• Traduttore italiano - coreano: normalisable
• Traduttore italiano - giavanese: Normalisable
• Traduttore italiano - vietnamita: normalisable
• Traduttore italiano - tamil: normalisable
• Traduttore italiano - marathi: सामान्य स्थिती
• Traduttore italiano - turco: normalisable
• Traduttore italiano - italiano: normalisable
• Traduttore italiano - polacco: normalisable
• Traduttore italiano - ucraino: normalisable
• Traduttore italiano - rumeno: normalisable
• Traduttore italiano - greco: normalisable
• Traduttore italiano - afrikaans: normalisable
• Traduttore italiano - svedese: normalisable
• Traduttore italiano - norvegese: normalisable

10 LIBRI IN INGLESE ASSOCIATI CON «NORMALISABLE»

Scopri l'uso di normalisable nella seguente selezione bibliografica. Libri associati con normalisable e piccoli estratti per contestualizzare il loro uso nella letteratura.

Computational Logic

If M red M' and M' is normal then we call M' a normal form of M. A term M is ( weakly) normalisable if M has a normal form and is strongly normalisable if every contraction path M contr M' contr M" . . . is finite. Some Examples: Trivially all normal ...

Ulrich Berger, Helmut Schwichtenberg, 1999

Logical Frameworks

Let M € A be simple and normalisable. For any a such that <pAa(a), we have that apply ( A/, a) is simple and normalisable, because M is simple and a normalisable, and hence by induction hypothesis, tpAl[a](appiy(M,a)). For any a, 6 such that ...

Gerard Huet, G. Plotkin, 1991

Typed Lambda Calculi and Applications: Third International ...

We first introduce a translation which translates lambda-terms into lambda- I- terms, and show that every lambda-term is strongly beta-normalisable if and only if its translation is weakly beta-normalisable. We then prove that the translation ...

Philippe de Groote, J. Roger Hindley, 1997

An Approach to the Extension of a Theorem Prover by Advanced ...

normalisable. signature. morphisms. By the de nition, the mappings Σclass(T1) φ −→ Σclass(T2), Σtype(T1) φ −→ φ Σtype(T2) and Σlogop(T1) ψ −→ φ,φ Σop(T2) already determine the base signature morphism σ(Σlogop(T1)) : T1 −→ T2.

Maksym Bortin, 2010

Computer Science Logic: 9th International Workshop, CSl '95, ...

This suffices to show that t is strongly normalisable, by lemma 10. — (CR2) if* — >t', we need to show that {t'u) e REDu2 [I?/X*] for all term u C REDVl [lt/T]. Take u C REDVl [Tt/X*]\ we have (tu) C REDu2 [T?/X*\ by definition of reducibility ...

Hans Kleine Buening, 1996

Confinement, Topology, and Other Non-Perturbative Aspects of QCD

Our solution corresponds to z at the boundary of this range, where the zero-mode fails to be normalisable. This boundary value of z is defined by det(O,) = 0, and the abelian field AQ given above corresponds to the isospin component of Oz ...

Jeff Paul Greensite, Stefan Olejna-K, 2002

Bayesian Time Series Models

We say that Step 4 in Algorithm 7.2 is supported, if all the beliefs that change because of the construction of the new messages remain normalisable. On the first forward pass this is automatically satisfied. Since a1 is a proper distribution and B, ...

David Barber, A. Taylan Cemgil, Silvia Chiappa, 2011

Functional Programming and Input/Output

... take advantage of the following theorem. Theorem 2.1 (Mendler) Jf no constant Elim" or lntro" occurs in a term M, then M is strongly normalisable, which is to say that there is no infinite sequence of reductions starting from M. Proof. The proof ...

Andrew D. Gordon, 1994

Rewriting Techniques and Applications: 10th International ...

Therefore, since the simply typed A-calculus is strongly ,3-normalisable, we immediately obtain the following proposition. Proposition 15. AT/W is strongly normalisable with respect to detour-conversions. I] 5 Strong Normalisation In this section ...

Paliath Narendran, Michael Rusinowitch, 1999

Modern Physics

Normalisable. Wave. Functions. For those wave functions which go to zero as r -> oo or x -> ± oo the total probability has to be one i.e. Jo" Jo Jo2?t/> ('. 8.9,0 ^ smQdBity = 1 (see page 119) or j^ \^ ]^P(x,y,z,t)dxdydz = 1 (4-2-15) because the ...

Prof. S.P. Khare