Filters








158,269 Hits in 3.1 sec

(De-)Constructing TLS 1.3 [chapter]

Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Björn Tackmann, Daniele Venturi
2015 Lecture Notes in Computer Science  
More precisely, we prove that TLS 1.3 in ephemeral Diffie-Hellman mode 6 constructs a unilaterally secure channel, that is, a channel where the client has the guarantee that it securely communicates with  ...  . 7 We stress that our result guarantees composability, both in the sense that multiple sessions of the protocol can be used concurrently, and in the sense that the constructed channel can safely be used  ...  De-constructing TLS 1.3 This section acts as a stage-by-stage proof for Theorem 2.  ... 
doi:10.1007/978-3-319-26617-6_5 fatcat:qy32ftanvrchllc74m72v7mkre

Design and construction of a shield for the 9" x 9" NaI(Tl) well-type detector

Jan Hansman
2014 Nuclear Technology and Radiation Protection  
CONSTRUCTION OF THE Pb SHIELD The de tec tor was sur rounded by a 4p ge om e try 15 cm thick, low-ac tiv ity lead shield.  ...  A de tailed cal i bra tion of well-type NaI(Tl) de tec tors is de scribed in [5] .  ... 
doi:10.2298/ntrp1402165h fatcat:drzk5wqdq5hmjlqyxzr7s3j3ui

Application of Terrestrial Laser Scanning (TLS) in the Architecture, Engineering and Construction (AEC) Industry

Chao Wu, Yongbo Yuan, Yang Tang, Boquan Tian
2021 Sensors  
TLS has extended a new approach to capturing extremely comprehensive data of the construction environment, providing detailed information for further analysis.  ...  As a revolutionary technology, terrestrial laser scanning (TLS) is attracting increasing interest in the fields of architecture, engineering and construction (AEC), with outstanding advantages, such as  ...  The co-occurrence keywords were extracted from "Title, Abstract, Author Keywords (DE) and Keywords Plus (ID) provided by WOS database" in the software.  ... 
doi:10.3390/s22010265 pmid:35009806 pmcid:PMC8749828 fatcat:tp3ctfjhtjbxxnmjqjjgg34xee

Fermionic construction of the partition function for multimatrix models and the multicomponent Toda lattice hierarchy

J. Harnad, A. Yu. Orlov
2007 Theoretical and mathematical physics  
Links with the p-component KP hierarchy and also with the p-component TL hierarchy are discussed.  ...  We show that the set of all (but two) flows of p-component TL changes standard matrix models to new ones.  ...  Shiota and J. van de Leur for helpful discussions, and (A.O.) thanks A. Odzijevicz for kind hospitality during his stay in Bialystok in June 2005, which helped stimulate ideas leading to this work.  ... 
doi:10.1007/s11232-007-0094-0 fatcat:xzsznecrcrboxcwoajfply6y64

Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture

Alain Finkel, Laure Petrucci
1994 RAIRO - Theoretical Informatics and Applications  
Tl Pc Pc T2 Tl Pc T2 PI Tc Tc P2 PI Tc P2 Tl Pc T2 Tl Pc T2 P2 Nous pouvons déduire des propriétés du réseau composé à partir de celles des sous-réseaux : (iii) M x est un marquage  ...  résultat = vrai, T^={fl, tl} sortie pour fmchoix Tj = {tl,tl} retour résultat = vrai, Tj -{ri, tl} vol. 28, n° 2, 1994 peut être analysé à partir de son squelette C/fe. 3). allons montrer  ... 
doi:10.1051/ita/1994280200731 fatcat:t4j75ppsqfc5depxbtwymqqukq

Mesure des facteurs d'intensité de contrainte critiques et des taux de restitution d'énergie dans le bois sur éprouvettes entaillées

P. TRIBOULOT, P. JODIN, G. PLUVINAGE
1982 Annales des Sciences Forestieres  
Le facteur d'intensité de contrainte critique peut ensuite être utilisé pour dimensionner les constructions en bois.  ...  Les éprouvettes ont été prélevées dans le sens LT et TL dans trois essences différentes.  ...  The values of K,,. obtained from G k can be used for sizing wood constructions.  ... 
doi:10.1051/forest:19820104 fatcat:vor7wearrjgctjqqxcygarlq64

Un modele rationnel de la suite spectrale de serre

Marc Aubry
1986 Journal of Pure and Applied Algebra  
Soit II (A), 0 et II (V), O' les modbles (minimaux) de Quillen de F et B respectivement.  ...  du noyau de ~ d~composable dans l'iddal noyau.  ...  un mod61e de cette inclusion. Alors, on d6finit TL(E, E') par TL(E)/~L(E') et: Lemme 1.2.  ... 
doi:10.1016/0022-4049(86)90095-2 fatcat:pryw366mwbfohimi73ytobyhxy

Dosage de la matière grasse des crèmes. Notes pour une étude rationnelle des méthodes acido-butyrométriques

P. CADOR, P. MACHEREL
1944 Le Lait  
-La teneur lue Tl est la teneur correspondant à v 1 qui par construction est égale à : . équation nO5 Cas de crèmes jratchee. da = dao' Formule qui a servi de principe à la construction de l'abaque de  ...  T + 1,0343) T = (0,00108 Tl + 1,0343) Tl 0,00108 (T2 -T:) + 1,0343 (Tl~Tl) =°[ 0,00108 (T + T) + 1,0343].  ... 
doi:10.1051/lait:1944237-2388 fatcat:au6znystmfegvicnzhpzcgwcm4

Construction de solutions ramifiées autour de deux hypersurfaces caractéristiques simples pour des opérateurs quasi-linéaires

Abdallah Nabaji
1999 Annales de la Faculté des Sciences de Toulouse  
, le problème de construction de solutions ramifiées d'un type plus général que celui de [9] et [11] a été étudié par E.  ...  Introduction Cet article a pour objet la construction de solution ramifiée autour de deux hypersurfaces caractéristiques simples.  ... 
doi:10.5802/afst.946 fatcat:tslu4agozng57iv53sami4qktq

Analyse de l'activité des professeurs des écoles sortants de l'IUFM (T1)1 dans une perspective d'accompagnement de l'entrée dans le métier

Philippe Veyrunes
2003 Tréma  
Celles-ci portent sur la construction d'une trame narrative simple et cohérente. Les autres élèves n'ont pas de problème particulier.  ...  L'analyse de son activité montre que, si, au début de la séance, elle est préoccupée par la construction du récit, au fur et à mesure de son avancement, ses préoccupations évoluent.  ... 
doi:10.4000/trema.1420 fatcat:rq5apoefibdlfkqt3vjou57gbq

L'impact de la politique de gestion de l'entreprise dans le discours organisationnel

Amelia Manceau
2019 Studia Romanica Posnaniensia  
Le même niveau de la hiérarchie. Un exemple d'échange de mails entre des managers des groupes techniques (TL à TL) : A.  ...  Dans la communication entre un TL et TL, la présence des emprunts anglais est devenue une norme.  ... 
doi:10.14746/strop.2019.461.011 fatcat:jetzrgdthfdrrpvnhws73kv23y

Observation simultanée de deux groupes de raies d'un spectre de masse

M. Becourt
1968 Revue de Physique Appliquée  
Par construction, V, ne peut jamais être inférieur à U2.  ...  polarise Tl en régime saturé ou bloqué.  ... 
doi:10.1051/rphysap:0196800303022201 fatcat:xqni7o5kivb3neew6aegvdmowy

Une nouvelle méthode de mesure des temps de relaxation très courts en résonance électronique : la méthode goniométrique

Henri Place
1968 Revue de Physique Appliquée  
Une nouvelle méthode de mesure des temps de relaxation très courts en résonancé electronique : la méthode goniométrique.  ...  Une nouvelle méthode de mesure des temps de relaxation très courts en résonanceélectronique : la méthode goniométrique Henri Place To cite this version: Henri Place.  ...  Construction de la courbe F et de la tangente à l'origine.  ... 
doi:10.1051/rphysap:0196800302020300 fatcat:aidnh3zkhnf6hgipwplzpjfase

Étude magnétostatique de l'aimantation nucléaire des protons de l'eau

M. François, J.P. Pozzi
1970 Revue de Physique Appliquée  
2014 En utilisant la méthode de prépolarisation et retournement par passage adiabatique rapide, nous avons effectué une mesure statique de l'aimantation nucléaire de l'eau et déduit le temps de relaxation  ...  spin-réseau T1 ainsi qu'une valeur de la susceptibilité nucléaire ~0.  ...  : Tl = A Tlil où A est une constante et il la viscosité de l'eau.  ... 
doi:10.1051/rphysap:0197000502030900 fatcat:dncdajlib5diff4gzzsf4anjku

Complexités de suites de Toeplitz

Michel Koskas
1998 Discrete Mathematics  
R~sum~ Nous calculons dans cet article les complexitrs de suites de Toeplitz obtenues ~t partir de suites prriodiques.  ...  Nous donnons ensuite explicitement des suites de Toeplitz dont la complexit6 vrrifie des proprirtrs donnres. Abstract In this paper we consider periodic sequences and Toeplitz transforms.  ...  Le sous-mot Tl°°[i i ÷ l ÷ flkl]o<~[l<~(B~-k~)/k~ est par construction 6gal au facteur de T2 ~ : T2°~[~ + fl]o~(~,-~,)/~.  ... 
doi:10.1016/s0012-365x(96)00077-5 fatcat:mnbx2j7n4vgo3c3b2oirpduuni
« Previous Showing results 1 — 15 out of 158,269 results