stateright/stateright
A model checker for implementing distributed systems. (⭐ 1786)
No Limit Records - Wikipedia
No Limit Records is an American record company founded by Master P. The label's albums were distributed by Priority Records, Universal and Koch Records
Hyperon photo- and electroproduction at CLAS
The large acceptance and high multiplicity capabilities of the CLAS detector make it possible to study a wide range of previously unmeasured strange baryon production processes. Studies of the decay angular distributions of electroproduced strange...
vutran1710/KafkaOffShore
A minimal DEMO with Kafka + Spark, a simple consumer sink, counting messages, examining event distribution between brokers with a pretty Frontend inspired by "Kafka on the Shore" by Haruki Murakami (⭐ 8)
Solving the problem of batch deletion and insertion members in the Logical Key Hierarchy s…
In secure group communications, users of a group share a common group key to prevent eavesdropping and protect the exchange content. A key server distributes the group key as well as performs group rekeying whenever the membership changes dynamically...
Distributed Primary Frequency Control through Multi-Terminal HVDC Transmission Systems
This paper presents a decentralized controller for sharing primary AC frequency control reserves through a multi-terminal HVDC grid. By using Lyapunov arguments, the proposed controller is shown to stabilize the equilibrium of the closed-loop system...
Multiperiod Martingale Transport
Consider a multiperiod optimal transport problem where distributions $μ_{0},\dots,μ_{n}$ are prescribed and a transport corresponds to a scalar martingale $X$ with marginals $X_{t}\simμ_{t}$. We introduce particular couplings called left-monotone...
Cognitive Control in the Controllable Connectome
Cognition is supported by neurophysiological processes that occur both in local anatomical neighborhoods and in distributed large-scale circuits. Recent evidence from network control theory suggests that white matter pathways linking large-scale brai...
Predicting the spatial distribution and demographics of commercial swine farms in the Unit…
Data on livestock farm locations and demographics are essential for disease monitoring, risk assessment, and developing spatially explicit epidemiological models. Our semantic segmentation model achieved an F2 score of 92 % and a mean Intersection ov...
nums-project/nums
A library that translates Python and NumPy to optimized distributed systems code. (⭐ 131)
NumS: Scalable Array Programming for the Cloud
Scientists increasingly rely on Python tools to perform scalable distributed memory array operations using rich, NumPy-like expressions. However, many of these tools rely on dynamic schedulers optimized for abstract task graphs, which often encounter...
Deep Appearance Prefiltering
Physically based rendering of complex scenes can be prohibitively costly with a potentially unbounded and uneven distribution of complexity across the rendered image. The goal of an ideal level of detail (LoD) method is to make rendering costs indepe...
Six Hot Topics in Planetary Astronomy
Six hot topics in modern planetary astronomy are described: 1) lightcurves and densities of small bodies 2) colors of Kuiper belt objects and the distribution of the ultrared matter 3) spectroscopy and the crystallinity of ice in the outer Solar sy...
Ride-pooling potential under alternative spatial demand patterns
Shared rides are often considered to be a promising travel alternative that could efficiently pool people together while offering a door-to-door service. Notwithstanding, even though demand distribution patterns are expected to greatly affect the pot...
Seeing a Rose in Five Thousand Ways
What is a rose, visually? A rose comprises its intrinsics, including the distribution of geometry, texture, and material specific to its object category. With knowledge of these intrinsic properties, we may render roses of different sizes and shapes,...
Independent record label - Wikipedia
independent record label (or indie label) is a music company that operates without the funding or distribution of major record labels. These labels typically function
A simplified model of the source channel of the Leksell Gamma Knife$^(R)$: testing multiso…
A simplification of the source channel geometry of the Leksell Gamma Knife$^{\circledR}$, recently proposed by the authors and checked for a single source configuration (Al-Dweri et al 2004), has been used to calculate the dose distributions along...
Dosimetry characterization of $^{32}$P intravascular brachytherapy source wires using Mont…
Monte Carlo calculations using the codes PENELOPE and GEANT4 have been performed to characterize the dosimetric parameters of the new 20 mm long catheter based $^{32}$P beta source manufactured by Guidant Corporation. The dose distribution along th...
Dose distribution in water for monoenergetic photon point sources in the energy range of i…
Monte Carlo calculations using the codes PENELOPE and GEANT4 have been performed to characterize the dosimetric properties of monoenergetic photon point sources in water. The dose rate in water has been calculated for energies of interest in brachy...
Cooperative repair: Constructions of optimal MDS codes for all admissible parameters
Two widely studied models of multiple-node repair in distributed storage systems are centralized repair and cooperative repair. The centralized model assumes that all the failed nodes are recreated in one location, while the cooperative one stipulate...