We present a user-level thread scheduler for shared-memory mul-

No abstract

In this paper, the concept of a two layer coil based electromagnetic actuator for planar motions is presented. The actuator is composed of two pairs of fixed overlapped 2D electric drive coils and a mobile part consists of permanent magnets arrays which perform motions in xy plane due to the generation of Lorentz force. A multi-layer printed circuit board is used for the two layers of drive coils. An electromagnetic model of the actuator has been developed in order to compute the electromagnetic force exerted on the magnets arrays. A prototype of the device has been manufactured and tested. The mobile part displacement along the two displacement axes have been shown and determined using image processing method.

No abstract

A research concept that was first presented on a poster at a Comprehensive Nuclear-Test-Ban Treaty (CTBT) conference in 2009 has resulted in a fully-fledged operational software product named NET-VISA (Network Processing Vertically Integrated Seismic Analysis), which performs the Network Processing step of the automatic processing at the International Data Centre (IDC). It has become one of the tools of the waveform analysts to review and improve the IDC standard automatic third Standard Events List (SEL3) bulletin and produce the Reviewed Events Bulletin (REB), the only global seismo-acoustic bulletin. The basic scientific concepts imbedded into NET-VISA are briefly summarized in this paper but the emphasis is on the process of adopting, developing, adapting, testing, and operationalizing the initial prototype. Extensive off-line testing has shown that one of the expected benefits of NET-VISA was the significant reduction in missed events rate compared to the current Network Processing software, Global Association (GA). NET-VISA also finds some events previously missed by manual review. Starting in July 2017, and as of January 2020, NET-VISA generates an automatic bulletin, called VSEL3, in parallel to SEL3, which is also used by analysts since January 2018. Tracing the origin of the REB events has confirmed the significant reduction in missed events when complementary VSEL3 events are reviewed in addition to the SEL3 events. If sufficient confidence is established, NET-VISA has the potential to replace GA in producing the standard automatic SEL3 bulletin.

HackPPL is a probabilistic programming language (PPL) built within the Hack programming language. Its universal inference engine allows developers to perform inference across a diverse set of models expressible in arbitrary Hack code. Through language-level extensions and direct integration with developer tools, HackPPL aims to bridge the gap between domain-specific and embedded PPLs. This paper overviews the design and implementation choices for the HackPPL toolchain and presents findings by applying it to a representative problem faced by social media companies.

No abstract

No abstract