Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

effet à ordre

Under consideration for publication in j. functional programming 1 a monadic analysis of information flow security with mutable state... Thus, our logic deals with mutation explicitly, with impurity reflected in the types, in contrast to most higher-order security-typed languages, which deal with mutation implicitly via side-effects....

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

A note on the security of higher-order threshold implementations. cryptology eprint archive, report 2015/001... In this note, we point out that higher-order threshold implementations do not necessarily provide higher-order security....

PDF: eprint.iacr.org

A monadic analysis of information flow security with mutable state... Thus, our logic deals with mutation explicitly, with impurity reflected in the types, in contrast to most higher-order security-typed languages, which deal with mutation implicitly via side-e#ects

PDF: citeseerx.ist.psu.edu

On the project of federal law "on the citizen’s partipation in the public order security" (on the threshold of consideration in the first reading by the state duma of the rf federal assembly)The article deals with the analysis of the legal normative acts adopted in the RF subjects, the acts providing for the citizens’ participation in the public order security in cooperation with public bodyguards, students’ detachments, Cossack formations....

PDF: doaj.org

order document

finances - iate.europa.eu

▷

A weight function theory of positive order basis function interpolants and smoothers... Version 2: Replaced a zero order document by the consolidation of all positive order documents as requested by Moderator....

général - core.ac.uk - PDF: arxiv.org

License types 8 license operations on cisco cmts devices 9... The registration process requires a Product Authorization Key (PAK), an 11-character alphanumeric key printed on the purchase order document shipped with your device hardware....

PDF: www.cisco.com

document endorsable to order

finances - iate.europa.eu

order instrument

finances - iate.europa.eu

▷

Thirty meter telescope narrow field infrared adaptive optics system real-time controller prototyping results... The RTC receives wavefront information from six Laser Guide Star (LGS) Shack- Hartmann WaveFront Sensors (WFS), one high-order Natural Guide Star Pyramid WaveFront Sensor (PWFS) and multiple low-order instrument detectors....

général - core.ac.uk - PDF: authors.library.caltech.edu

Effects of orientation to the epicentre on the response of long span bridges subject to multiple support excitation using smart-1 array data and corroborative experimental results... The SMART-1 accelerogram data is corrected using a wavelet de-noising algorithm, bidirectional filtering and a second order instrument deconvolution....

PDF: www.cen.bris.ac.uk

Optimization of multimode servomechanism with adjustable initial conditions.Approved for public release; distribution is unlimitedA study of a multimode third order instrument servomechanism ispresented....

PDF: archive.org