A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Uniform Normalisation beyond Orthogonality
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2016
Journal of Physics, Conference Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1999
IEE Proceedings - Microwaves Antennas and Propagation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2017
Ocean Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2014
Astronomy and Astrophysics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2019
IET Microwaves, Antennas & Propagation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2017
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Bangladesh Journal of Medical Physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Natural Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
ϕ * 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
2002
Wear
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2014
Physical Review D
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2014 pre-print arXiv:1406.2301v1 fatcat:b7tghbh4qbe47j6j6luro775qqOther Versions
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
2013
Logical Methods in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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