Search results for "sorte"
showing 10 items of 13 documents
Efficient Parallel Sort on AVX-512-Based Multi-Core and Many-Core Architectures
2019
Sorting kernels are a fundamental part of numerous applications. The performance of sorting implementations is usually limited by a variety of factors such as computing power, memory bandwidth, and branch mispredictions. In this paper we propose an efficient hybrid sorting method which takes advantage of wide vector registers and the high bandwidth memory of modern AVX-512-based multi-core and many-core processors. Our approach employs a combination of vectorized bitonic sorting and load-balanced multi-threaded merging. Thread-level and data-level parallelism are used to exploit both compute power and memory bandwidth. Our single-threaded implementation is ~30x faster than qsort in the C st…
The ACRIDICON-CHUVA campaign: Studying tropical deep convective clouds and precipitation over Amazonia using the new German research aircraft HALO
2016
Abstract Between 1 September and 4 October 2014, a combined airborne and ground-based measurement campaign was conducted to study tropical deep convective clouds over the Brazilian Amazon rain forest. The new German research aircraft, High Altitude and Long Range Research Aircraft (HALO), a modified Gulfstream G550, and extensive ground-based instrumentation were deployed in and near Manaus (State of Amazonas). The campaign was part of the German–Brazilian Aerosol, Cloud, Precipitation, and Radiation Interactions and Dynamics of Convective Cloud Systems–Cloud Processes of the Main Precipitation Systems in Brazil: A Contribution to Cloud Resolving Modeling and to the GPM (Global Precipitatio…
Standard Vs Uniform Binary Search and Their Variants in Learned Static Indexing: The Case of the Searching on Sorted Data Benchmarking Software Platf…
2023
Learned Indexes are a novel approach to search in a sorted table. A model is used to predict an interval in which to search into and a Binary Search routine is used to finalize the search. They are quite effective. For the final stage, usually, the lower_bound routine of the Standard C++ library is used, although this is more of a natural choice rather than a requirement. However, recent studies, that do not use Machine Learning predictions, indicate that other implementations of Binary Search or variants, namely k-ary Search, are better suited to take advantage of the features offered by modern computer architectures. With the use of the Searching on Sorted Sets SOSD Learned Indexing bench…
Learned Sorted Table Search and Static Indexes in Small-Space Data Models
2023
Machine-learning techniques, properly combined with data structures, have resulted in Learned Static Indexes, innovative and powerful tools that speed up Binary Searches with the use of additional space with respect to the table being searched into. Such space is devoted to the machine-learning models. Although in their infancy, these are methodologically and practically important, due to the pervasiveness of Sorted Table Search procedures. In modern applications, model space is a key factor, and a major open question concerning this area is to assess to what extent one can enjoy the speeding up of Binary Searches achieved by Learned Indexes while using constant or nearly constant-space mod…
Learned Sorted Table Search and Static Indexes in Small Model Space
2022
Machine Learning Techniques, properly combined with Data Structures, have resulted in Learned Static Indexes, innovative and powerful tools that speed-up Binary Search, with the use of additional space with respect to the table being searched into. Such space is devoted to the ML model. Although in their infancy, they are methodologically and practically important, due to the pervasiveness of Sorted Table Search procedures. In modern applications, model space is a key factor and, infact, a major open question concerning this area is to assess to whatextent one can enjoy the speed-up of Learned Indexes while using constant or nearly constant space models.We address it here by (a) introducing…
Environmental conditions for gravelly and pebbly dunes and sorted bedforms on a moderate-energy inner shelf (Marettimo Island, Italy, western Mediter…
2008
12 pages, 11 figures, 1 table
Entwicklung von Textsortenkonventionen
2001
On the Directly and Subdirectly Irreducible Many-Sorted Algebras
2015
AbstractA theorem of single-sorted universal algebra asserts that every finite algebra can be represented as a product of a finite family of finite directly irreducible algebras. In this article, we show that the many-sorted counterpart of the above theorem is also true, but under the condition of requiring, in the definition of directly reducible many-sorted algebra, that the supports of the factors should be included in the support of the many-sorted algebra. Moreover, we show that the theorem of Birkhoff, according to which every single-sorted algebra is isomorphic to a subdirect product of subdirectly irreducible algebras, is also true in the field of many-sorted algebras.
Experimental Sorting of Municipal-Like Waste in the Hospital “Civico”, Palermo (IT)
2013
An experiment of source sorting - based management of Health Care Waste (HCW) was carried out in 2011 in 4 Departments of the Public Hospital “Civico” (Palermo, IT), where the basic mandatory separation between hazardous and non-hazardous waste was already going on since year 2000.The experiment consisted in weighing every day for 15 days 4 predefined fractions collected in the Infirmaries (namely paper, plastics, glass and unsorted fraction), and the bags with unsorted waste from the patient’s stay room. Furthermore, in 1 of the 4 Departments also the boxes of Infectious Waste (IW) were weighed for a week.As a result a weighted average value of 0.56 kg of Municipal-like Waste (MLW) per bed…
Fortuna in Seneca tragico ed Herc. Oet. 104-5
1998
Contro l'interpretazione di Friedrich,secondo il quale ire deve intendersi nel senso di esse che nel corpus tragico senecano costituirebbe un unicum semantico e comproverebbe quindi la non autenticità dell'Hercules Oetaeus, ritengo la presenza del verbo di movimento indispensabile sulla base dei vv.344 sg. ire ire ad umbras Herculis nuptam libet,/sed non inultam, dove l'esplicitazione del luogo in cui la regina vuole "recarsi" si traduce in chiaro indizio della libido moriendi manifestata precedentemente.