wyszukanych pozycji: 3
Automated Verification of Concurrent Search Structures
ISBN: 9783031006784 / Angielski / Miękka / 2021 / 192 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access to search structures on multicore and distributed servers. These sophisticated algorithms perform fine-grained synchronization between threads, making them notoriously difficult to design correctly. Indeed, bugs have been found both in actual implementations and in the designs proposed by experts in peer-reviewed publications. The rapid development and...
Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the valu...
|
|
cena:
214,47 zł |
Temperature Dependent Collective Dynamics of Liquid Alkali Metals
ISBN: 9783659343353 / Angielski / Miękka / 2014 / 92 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. The properties of the liquid metals are of great interest both because of their fundamental importance as well as their engineering applications. Considering a fact that local pseudopotentials offer mathematical ease, non-local pseudopotentials are to be preferred for correct assessment of the physical properties. However, with an intension to include features of the non-locality into the local potential formulation, a modified empty core potential was used.We believe that the present estimates for different thermo-elastic properties may serve as good starting point and the guideline for...
The properties of the liquid metals are of great interest both because of their fundamental importance as well as their engineering applications. Cons...
|
|
cena:
251,91 zł |
Thermo-physical properties of FLUORSPAR
ISBN: 9783659401183 / Angielski / Miękka / 2014 / 108 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. We presently conclude that the present study supplemented by previousobservations reveals that though the anharmonicity in CaF2 is very strong, high-T thermodynamic properties can be accurately obtained only by considering the volume dependence of the phonon frequencies. Sent Although, X-point softening in opticalmode is clearly obtained in the present case study via only thermal expansion effect, anharmonicity due to phonon decay process expected at -point of BZ still remainsthe subject of interest, so as the high-P melting curve and P-T phase diagram. Simpleapproach within the TB-SMA, which...
We presently conclude that the present study supplemented by previousobservations reveals that though the anharmonicity in CaF2 is very strong, high-T...
|
|
cena:
251,91 zł |