10,988 Hits in 2.8 sec

Uniform Normalisation beyond Orthogonality [chapter]

Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
2001 Lecture Notes in Computer Science  
Based on this analysis, a modular proof method for uniform normalisation is presented which allows to go beyond orthogonality.  ...  For such systems termination (SN) is equivalent to normalisation (WN). A well-known fact is uniform normalisation of orthogonal non-erasing term rewrite systems, e.g. the λI-calculus.  ...  Non-erasing biclosed TRSs are uniformly normalising. Note that we are beyond orthogonality since biclosed TRSs need not be conflu- ent.  ... 
doi:10.1007/3-540-45127-7_11 fatcat:gtumxveixjg75f36v2xetcnm6u

Purification and time-reversal deny entanglement in LOCC-distinguishable orthonormal bases [article]

Stefano Gogioso, Subhayan Roy Moulik
2019 arXiv   pre-print
As a consequence, our result extends beyond quantum theory, to any probabilistic theory with time-reversal.  ...  Introduction Quantum theory allows perfect deterministic distinguishability of orthogonal states: for example, there is a POVM (positive operator valued measure) which, given a state from the orthogonal  ...  ψ b is normalised, and hence all ψ b,i must be normalisable).  ... 
arXiv:1902.00316v1 fatcat:k4nc5jq2vbgmpnrq55mykxsa34

A numerical study on the flow upstream of a wind turbine in complex terrain

A R Meyer Forsting, A Bechmann, N Troldborg
2016 Journal of Physics, Conference Series  
By dividing the absolute difference by ∆û h the change from uniform inflow is normalised.  ...  Contours of the normalised absolute difference in the induction zone relative to uniform inflow.  ... 
doi:10.1088/1742-6596/753/3/032041 fatcat:h3thkjmuzvfqnlmdq2moa4glqm

Theoretical investigations of an annular elliptical ring microstrip antenna using Green's function technique

P. Mythili, Annapurna Das
1999 IEE Proceedings - Microwaves Antennas and Propagation  
The normalised Y, with respect to free space admittance Yo leads to (12) -1JneEk -gne:; + jbnezi and Pre;; and Pie;; can be found using [9] .  ...  The current source, assumed to be uniform (t << &), along z due to the probe can be expressed as f= 2IoS(u -110) 0 < z < t (18) 5 Evaluation of radiated fields The computation of radiation field at  ... 
doi:10.1049/ip-map:19990432 fatcat:skgfljk37rbn7hbsjabammfoca

Page 177 of Astronomy and Astrophysics Vol. 44, Issue 1 [page]

1975 Astronomy and Astrophysics  
In the first stage of analysis each telescope scan, con- sisting of data on a uniform grid in time, is filtered to remove impulsive interference and convolved onto a uniform grid in space.  ...  In the second stage of analysis each tabulated scan is normalised and a sloping linear base level is subtracted.  ... 

Shape effects on undrained capacity of mudmat foundations under multi-directional loading

Xiaowei Feng, Susan Gourvenec, Zhichao Shen
2017 Ocean Engineering  
The results show that shape effects are significant and are dependent on the degree of soil strength heterogeneity and loading direction (relative to the orthogonal axes of the mudmat).  ...  Expressions describing the uniaxial ultimate limit states and the normalised failure envelopes under multi-directional loading can be programmed into a calculation tool for automating optimised mudmat  ...  loading direction (relative to the orthogonal axes of the foundation).  ... 
doi:10.1016/j.oceaneng.2017.02.033 fatcat:dgr7vaaiqbgfpp7qsfnr5xwbnq

Spin-orbit angle distribution and the origin of (mis)aligned hot Jupiters

A. Crida, K. Batygin
2014 Astronomy and Astrophysics  
All models tested here look compatible with the observed distribution beyond 40 degrees, which is so far poorly constrained by only 18 observations.  ...  Nonetheless, it appears robust that the distribution of the projected spin-orbit angle beyond 60 • is almost uniform. Models should account for this.  ...  All the distributions of β have been normalised to have 18 cases with β > 40 • , for an easier comparison. The agreement between the curves and the histogram beyond 40 • is in general satisfactory.  ... 
doi:10.1051/0004-6361/201323292 fatcat:hea75whujzbdlnxe5zmyg7rrhm

Phase interpolation Fourier transform beamforming for spatial division applications

Alexey Shitvov, Dmitry Kozlov, Irina Munina, Pavel Turalchuk
2019 IET Microwaves, Antennas & Propagation  
Therefore, in applications where few orthogonal beams are required to span a narrow spatial sector, the proposed approach can offer a reduction of the hardware complexity.  ...  It can be implemented by spanning the channel in spatial domain with orthogonal beams generated by a Fourier transform (FT) beamforming network and using each beam to simultaneously convey an independent  ...  The orthogonality of the radiation patterns implies minimum mutual interference.  ... 
doi:10.1049/iet-map.2018.5025 fatcat:5c6n75ow6vdohnsaxz2nknifru

Snake Energy Analysis and Result Validation for a Mobile Laser Scanning Data-Based Automated Road Edge Extraction Algorithm

Pankaj Kumar, Paul Lewis, Conor P. McElhinney, Pawel Boguslawski, Tim McCarthy
2017 IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing  
The use of a properly normalised reflectance attribute along with a uniform and dense point cloud will provide an improved extraction of road edges in both the sections. Yang et al.  ...  It created an obstruction for the snake curve to move beyond them.  ... 
doi:10.1109/jstars.2016.2564984 fatcat:26vn543z3rd7riukfd2elqofrq

Sensitivity study for a 4-electrode Focused Impedance Method (FIM) using Finite Element Method analysis

Ahmed Raihan Abir, K Siddique e Rabbani
2015 Bangladesh Journal of Medical Physics  
Secondly, it obtained simulated impedances for finite sized objects embedded in a medium of uniform conductivity considering five important variables namely, electrode spacing, object size, object resistivity  ...  This happens since the transfer impedances in the two orthogonal directions are summed in FIM and the small negative sensitivity on one side is cancelled by a small positive sensitivity for the orthogonal  ...  Beyond this value the impedance increases gradually, a sharp increase is noted beyond a radius of 3.5 cm (diameter 7cm).  ... 
doi:10.3329/bjmp.v7i1.25254 fatcat:wuj6v2w2i5fedmmzqmmkzwurq4

Evolution strategies with cumulative step length adaptation on the noisy parabolic ridge

Dirk V. Arnold, Hans-Georg Beyer
2006 Natural Computing  
ϕ * of the (µ/µ, λ)-CSA-ES plotted against normalised noise strength σ * for the case of uniform noise strength.  ...  Figure 5 . 5 Normalised progress rate ϕ * plotted against normalised mutation strength σ * for the case of uniform noise strength. The solid lines have been obtained from Eq. (19) .  ... 
doi:10.1007/s11047-006-9025-5 fatcat:3dhqozpsqzfhzn3uvxbq5uera4

Frequency normalised wavelet transform for surface roughness analysis and characterisation

Bruno Josso, David R Burton, Michael J Lalor
2002 Wear  
After a short review of wavelet-based methods used in the field of surface roughness analysis, results obtained using a new tool of analysis called the frequency normalised wavelet transform (FNWT) are  ...  Indeed, they are well suited to detect defects like scratches on a uniform texture [11, 12] .  ...  Actually, beyond this intuitive approach of the use of the wavelet transform, one can push further the surface roughness analysis by using the FNWT [15] .  ... 
doi:10.1016/s0043-1648(02)00006-6 fatcat:w5isovljfvdrvp3qqju4ipzb5y

Quintessence in a quandary: Prior dependence in dark energy models

David J. E. Marsh, Philip Bull, Pedro G. Ferreira, Andrew Pontzen
2014 Physical Review D  
The orientation of the error ellipse, though unimportant in the uniform case, has a substantial effect for the quintessence prior; with the orthogonal ellipse, one always finds a greater information gain  ...  Here, k labels the bins, Q k is the prior (in our case, the 2D histogram in (w 0 , w a )space from our Monte Carlo simulations, normalised such that ∑ k Q k = 1), P k = CL k Q k is the normalised posterior  ... 
doi:10.1103/physrevd.90.105023 fatcat:3bl5kwvrhndd5fzi4x3mqehony

Non-idempotent intersection types and strong normalisation

Alexis Bernadet, Stéphane Lengrand, Marc Bezem
2013 Logical Methods in Computer Science  
We also present a filter model by means of orthogonality techniques, i.e. as an instance of an abstract notion of orthogonality model formalised in this paper and inspired by classical realisability.  ...  normalisation results for λS and λlxr.  ...  Strong Normalisation will then follow, in a very uniform way for the three calculi λ, λS, and λlxr, from the fact that terms typable with intersection types are themselves strongly normalising (Theorems  ... 
doi:10.2168/lmcs-9(4:3)2013 fatcat:7ntg4o45znc2llujfoqy6v555u

Cartan subalgebras in uniform Roe algebras [article]

Stuart White, Rufus Willett
2019 arXiv   pre-print
In this paper we study structural and uniqueness questions for Cartan subalgebras of uniform Roe algebras.  ...  We obtain uniqueness results for 'Roe Cartans' inside uniform Roe algebras up to automorphism when X coarsely embeds into Hilbert space, and up to inner automorphism when X has property A.  ...  Using a result of Braga and Farah ([6, Lemma 4.9] ), this can be achieved with no assumptions on X and Y beyond that they are bounded geometry metric spaces. 2.  ... 
arXiv:1808.04410v2 fatcat:dk7baf2emzcxhmcqgsny3ahtym
« Previous Showing results 1 — 15 out of 10,988 results