IMPLEMENTATION OF A QUASI-OPTICAL FREE-SPACE S-PARAMETERS MEASUREMENT SYSTEM

A quasi-optical (QO) free-space test bench, based on two dual reflector Compact Test Range (CTR) systems, has been developed to characterise the RF properties of materials and QO components used in mm-wave astronomical instrumentation. While this facility has been designed to operate for several spectral bandwidths, in the first instance measurements have been performed in the W-band (75-110 GHz). We present the modelled and measured performance of the test bench and the procedure for calibrating and measuring samples under test. First measured results of the field across a 10 cm quiet zone indicate a maximum intensity variation of -4.5 dB and a maximum phase variation of 7°. Measurements of the cross-polarisation indicate higher levels than were predicted. A free-space calibration method has been developed based on the use of 3 calibration standards (Thru-Reflect-Line). Initial measurements of the reflectivity and transmittance for a range of materials have been performed, allowing the deduction of the refractive index

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosion due to interleaving non-determinism, with symbolic execution to handle data non-determinism. Our technique iteratively and exhaustively finds all executions of the program. It represents program executions using partial orders and finds the next execution using an underlying unfolding semantics. We avoid the exploration of redundant program traces using cutoff events. We implemented our technique as an extension of KLEE and evaluated it on a set of large multi-threaded C programs. Our experiments found several previously undiscovered bugs and undefined behaviors in memcached and GNU sort, showing that the new method is capable of finding bugs in industrial-size benchmarks.Comment: Extended version of a paper presented at CAV'2

Evidence for the impact of the 8.2-kyBP climate event on Near Eastern early farmers.

The 8.2-thousand years B.P. event is evident in multiple proxy records across the globe, showing generally dry and cold conditions for ca. 160 years. Environmental changes around the event are mainly detected using geochemical or palynological analyses of ice cores, lacustrine, marine, and other sediments often distant from human settlements. The Late Neolithic excavated area of the archaeological site of Çatalhöyük East [Team Poznań (TP) area] was occupied for four centuries in the ninth and eighth millennia B.P., thus encompassing the 8.2-thousand years B.P. climatic event. A Bayesian analysis of 56 radiocarbon dates yielded a high-resolution chronological model comprising six building phases, with dates ranging from before 8325-8205 to 7925-7815 calibrated years (cal) B.P. Here, we correlate an onsite paleoclimate record constructed from δ2H values of lipid biomarkers preserved in pottery vessels recovered from these buildings with changes in architectural, archaeozoological, and consumption records from well-documented archaeological contexts. The overall sequence shows major changes in husbandry and consumption practices at ca. 8.2 thousand years B.P., synchronous with variations in the δ2H values of the animal fat residues. Changes in paleoclimate and archaeological records seem connected with the patterns of atmospheric precipitation during the occupation of the TP area predicted by climate modeling. Our multiproxy approach uses records derived directly from documented archaeological contexts. Through this, we provide compelling evidence for the specific impacts of the 8.2-thousand years B.P. climatic event on the economic and domestic activities of pioneer Neolithic farmers, influencing decisions relating to settlement planning and food procurement strategies

Neogene Uplift and Magmatism of Anatolia: Insights from Drainage Analysis and Basaltic Geochemistry

It is generally agreed that mantle dynamics have played a significant role in generating and maintaining the elevated topography of Anatolia during Neogene times. However, there is much debate about the relative importance of subduction zone and asthenospheric processes. Key issues concern onset and cause of regional uplift, thickness of the lithospheric plate, and the presence or absence of temperature and/or compositional anomalies within the convecting mantle. Here, we tackle these interlinked issues by analyzing and modeling two disparate suites of observations. First, a drainage inventory of 1,844 longitudinal river profiles is assembled. This geomorphic database is inverted to calculate the variation of Neogene regional uplift through time and space by minimizing the misfit between observed and calculated river profiles subject to independent calibration. Our results suggest that regional uplift commenced in the east at 20 Ma and propagated westward. Secondly, we have assembled a database of geochemical analyses of basaltic rocks. Two different approaches have been used to quantitatively model this database with a view to determining the depth and degree of asthenospheric melting across Anatolia. Our results suggest that melting occurs at depths as shallow as 60 km in the presence of mantle potential temperatures as high as 1400°C. There is evidence that potential temperatures are higher in the east, consistent with the pattern of sub-plate shear wave velocity anomalies. Our combined results are consistent with isostatic and admittance analyses and suggest that elevated asthenospheric temperatures beneath thinned Anatolian lithosphere have played a first order role in generating and maintaining regional dynamic topography and basaltic magmatism

NeuroBench:A Framework for Benchmarking Neuromorphic Computing Algorithms and Systems

Neuromorphic computing shows promise for advancing computing efficiency and capabilities of AI applications using brain-inspired principles. However, the neuromorphic research field currently lacks standardized benchmarks, making it difficult to accurately measure technological advancements, compare performance with conventional methods, and identify promising future research directions. Prior neuromorphic computing benchmark efforts have not seen widespread adoption due to a lack of inclusive, actionable, and iterative benchmark design and guidelines. To address these shortcomings, we present NeuroBench: a benchmark framework for neuromorphic computing algorithms and systems. NeuroBench is a collaboratively-designed effort from an open community of nearly 100 co-authors across over 50 institutions in industry and academia, aiming to provide a representative structure for standardizing the evaluation of neuromorphic approaches. The NeuroBench framework introduces a common set of tools and systematic methodology for inclusive benchmark measurement, delivering an objective reference framework for quantifying neuromorphic approaches in both hardware-independent (algorithm track) and hardware-dependent (system track) settings. In this article, we present initial performance baselines across various model architectures on the algorithm track and outline the system track benchmark tasks and guidelines. NeuroBench is intended to continually expand its benchmarks and features to foster and track the progress made by the research community