• Aucun résultat trouvé

[PDF] Top 20 Some highlights on Source-to-Source Adjoint AD

Has 10000 "Some highlights on Source-to-Source Adjoint AD" found on our website. Below are the top 20 most common "Some highlights on Source-to-Source Adjoint AD".

Some highlights on Source-to-Source Adjoint AD

Some highlights on Source-to-Source Adjoint AD

... arrow to the ...arrow to the ...arrows, to make them available again during the backward ...of adjoint AD, as this storage grows linearly with the program run ... Voir le document complet

6

On the correct application of AD checkpointing to adjoint MPI-parallel programs

On the correct application of AD checkpointing to adjoint MPI-parallel programs

... technique to replace message logging with communications duplication whenever it is possible, so that the refined technique now encompasses the popular ...give some sufficient conditions on the MPI adapted ... Voir le document complet

25

On the correct application of AD checkpointing to adjoint MPI-parallel programs

On the correct application of AD checkpointing to adjoint MPI-parallel programs

... technique to replace message logging with communications du- plication whenever it is possible, so that the refined technique now encompasses the popular ...give some sufficient conditions on the MPI ... Voir le document complet

20

L’industrialisation de l’Open Source

L’industrialisation de l’Open Source

... Open Source, une entreprise peut diminuer le coˆ ut de d´ eveloppement d’un programme informatique en jouant ` a la fois sur la raret´ e et sur ...Open Source. En utilisant par exemple des biblioth` eques ... Voir le document complet

266

Source-specific routing

Source-specific routing

... Implementing source-specific routing within the routing protocol has been proposed by Bagnulo et ...implementing source-specific routing. We find our more direct approach to be more intuitive, and ... Voir le document complet

10

Student's t Source and Mixing Models for Multichannel Audio Source Separation

Student's t Source and Mixing Models for Multichannel Audio Source Separation

... order to compensate for the exponential ...according to (12) using the knowledge of the reverberation ...are some strong deviations at the beginning of the RIR due to the direct path and early ... Voir le document complet

16

Protocol Analysis of Any-Source Multicast and Source-Specific Multicast

Protocol Analysis of Any-Source Multicast and Source-Specific Multicast

... Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex France Unité de recherche INRIA Futurs : Parc Club Orsay Université - ZAC des Vi[r] ... Voir le document complet

28

Tapping into the source: corporate involvement in open source software

Tapping into the source: corporate involvement in open source software

... likely to conflate two effects ...likely to fix bugs and address feature requests than less performing ones and could therefore also attract more attention from ...attempt to interpret the results ... Voir le document complet

141

Bandgap current source

Bandgap current source

... The circuit exhibited a temperature coefficient of 113 ppm/ 0 C. Commercial bandgap references typically have dependencies of 25-50 ppm/ 0 C. Considering that the circu[r] ... Voir le document complet

48

L'eau, source de vie

L'eau, source de vie

... L’EAU, SOURCE DE VIE Ken Tapping, le 5 février 2019 Comme la Terre, Titan, le plus gros satellite de Saturne, possède une atmosphère et est couvert de rivières, de lacs et ... Voir le document complet

3

A Set-Valued Approach to Multiple Source Evidence

A Set-Valued Approach to Multiple Source Evidence

... multiple source extension of categorical mass functions in the sense of Shafer’s evidence ...respect to the union of events. In a special case where each source refers to a single information ... Voir le document complet

7

Acoustic source localization

Acoustic source localization

... Three methods of reconstruction - Disciplined Convex Programming, Orthogonal Matching Pursuit, and Compressive Sensing- will be explored, and their robustness to noise, a[r] ... Voir le document complet

61

L'école, source de résilience

L'école, source de résilience

... - L’ ole lui a p o u des outils : co e la le tu e et l’ itu e. Pour elle, lire est un savoir-être qui lui permet de comprendre le monde, les autres. - De la fiction à la réalité : par la fiction, Sophie peut rejouer des ... Voir le document complet

8

Source du droit (théorie des)

Source du droit (théorie des)

... une source du droit. Les juristes ont certes toujours constitué une source d’influence des solutions juridiques comme en témoigne la tradition des jurisconsultes du droit romain et des glossateurs au ... Voir le document complet

5

Marier la source et la blessure

Marier la source et la blessure

... Alain Bosquet, Premier poème L'être a besoin de se dépasser et de s'exprimer. Il cherche à redécouvrir cet autre lui- même, le plus proche de lui parce que inlassablement « les pendules traînent leurs revenants assoiffés ... Voir le document complet

107

Source of the great AD 1257 mystery eruption unveiled, Samalas volcano, Rinjani Volcanic Complex, Indonesia

Source of the great AD 1257 mystery eruption unveiled, Samalas volcano, Rinjani Volcanic Complex, Indonesia

... attest to a colossal volcanic eruption that took place ...release to the strato- sphere of the past 7,000 ...the source of this long-sought eruption is the Samalas volcano, ... Voir le document complet

7

"Webjournalisme: Ma source s'appelle 72.678.456.393"

"Webjournalisme: Ma source s'appelle 72.678.456.393"

... ! Webjournalisme: ma source s'appelle Webjournalisme: ma source s'appelle 72.678.456.393 72.678.456.393 Trois milliards d'internautes dans le monde. Autant de collaborateurs potentiels pour les ... Voir le document complet

8

XOR-based Source Routing

XOR-based Source Routing

... XOR-based source routing, a new data plane scheme enabling fast forwarding by performing only simple linear operations over a binary vector label which embeds an encoded routing path ...Compared to recent ... Voir le document complet

8

Recherche de similarité dans du code source

Recherche de similarité dans du code source

... Les langages informatiques, tout comme les langages que nous qualifions de naturels, sont des constructions humaines, mais à la différence des seconds ceux-ci ont été élaborés sur un court laps de temps, par un nombre ... Voir le document complet

280

Identification de source dans une Edp parabolique

Identification de source dans une Edp parabolique

... wish to determine the surface temperature on the interior surface {r = a} from the Cauchy data on the exterior surface {r = ...reduced to a Volterra integral equation of the ...applied to the ... Voir le document complet

92

Show all 10000 documents...