github.com/Orbit91/CCrefillpro
Orbit91/CCrefillpro
Carilion Clinic Refill Protocols configuration (⭐ 0)
en.wikipedia.org/wiki/Spatial_composition
Spatial composition - Wikipedia
commonly the elements being measured are spatial patches of different types. Together with spatial configuration, spatial composition is a basic component of
arxiv.org/abs/2501.06163v1
Exploring Metastability in Ising models: critical droplets, energy barriers and…
This paper provides an overview of the research on the metastable behavior of the Ising model. We analyze the transition times from the set of metastable states to the set of the stable states by identifying the critical configurations that the syste...
arxiv.org/abs/2602.19603v1
Traffic-Aware Configuration of OPC UA PubSub in Industrial Automation Networks
Interoperability across industrial automation systems is a cornerstone of Industry 4.0. To address this need, the OPC Unified Architecture (OPC UA) Publish-Subscribe (PubSub) model offers a promising mechanism for enabling efficient communication amo...
github.com/RavenSystem/esp-homekit-devices
RavenSystem/esp-homekit-devices
Advanced firmware to add native Apple HomeKit and custom configurations, compatible with any SoC based on ESP32, ESP32-S, ESP32-C and ESP8266 series. (Shelly, Sonoff, Electrodragon, Tuya...) (⭐ 2958)
arxiv.org/abs/2106.16172v2
Backgammon is Hard
We study the computational complexity of the popular board game backgammon. We show that deciding whether a player can win from a given board configuration is NP-Hard, PSPACE-Hard, and EXPTIME-Hard under different settings of known and unknown oppone...
arxiv.org/abs/2406.15210v1
Assessing Effectiveness of Cyber Essentials Technical Controls
Cyber Essentials (CE) comprise a set of controls designed to protect organisations, irrespective of their size, against cyber attacks. The controls are firewalls, secure configuration, user access control, malware protection & security update managem...
arxiv.org/abs/2112.07279v2
The Interaction between Inputs and Configurations fed to Software Systems: an Em…
Widely used software systems such as video encoders are by necessity highly configurable, with hundreds or even thousands of options to choose from. Their users often have a hard time finding suitable values for these options (i.e. finding a proper c...
arxiv.org/abs/1708.04850v3
Root system chip-firing I: Interval-firing
Jim Propp recently introduced a variant of chip-firing on a line where the chips are given distinct integer labels. Hopkins, McConville, and Propp showed that this process is confluent from some (but not all) initial configurations of chips. We recas...
arxiv.org/abs/1708.04849v3
Root system chip-firing II: Central-firing
Jim Propp recently proposed a labeled version of chip-firing on a line and conjectured that this process is confluent from some initial configurations. This was proved by Hopkins-McConville-Propp. We reinterpret Propp's labeled chip-firing moves in t...
arxiv.org/abs/2508.09720v1
Parking functions and chip-firing on hypergraphs
For a connected graph $G$ with sink vertex $q$, a $G$-parking function is a vector of nonnegative integers whose entries are determined by cut-sets in $G$. Such objects also arise as the superstable configurations in the context of chip-firing. The s...
arxiv.org/abs/2403.15672v2
Exploring the Ecosystem of DNS HTTPS Resource Records: An End-to-End Perspective
The DNS HTTPS resource record is a new DNS record type designed for the delivery of configuration information and parameters required to initiate connections to HTTPS network services. In addition, it is a key enabler for TLS Encrypted ClientHello (E...
en.wikipedia.org/wiki/NASCAR_engines
NASCAR engines - Wikipedia
a range of different types of engine configurations and displacements since its inaugural season in 1949. The engines are currently used in the Cup Series
arxiv.org/abs/1911.01817v3
Whence to Learn? Transferring Knowledge in Configurable Systems using BEETLE
As software systems grow in complexity and the space of possible configurations increases exponentially, finding the near-optimal configuration of a software system becomes challenging. Recent approaches address this challenge by learning performance...
arxiv.org/abs/2308.00302v1
Non-perturbative stabilization of two Kähler moduli in type-IIB/F theory and the…
We consider a combination of perturbative and non-perturbative corrections in Kähler moduli stabilizations in the configuration of three magnetised intersecting D7 branes in the type-IIB/F theory, compactified on the 6d T^6/Z_N orbifold of Calabi-Ya...
arxiv.org/abs/2208.06606v1
Single field slow-roll effective potential from Kähler moduli stabilizations in…
We derive a single field slow-roll inflaton potential in three intersecting $D7$ branes configuration under type IIB/F-theory compactification. Among three resulting Kähler moduli corresponding to three orthogonal directions, two are stabilized via...
arxiv.org/abs/2509.02828v1
Store Languages of Turing Machines and Counter Machines
The store language of an automaton is the set of store configurations (state and store contents, but not the input) that can appear as an intermediate step in an accepting computation. A one-way nondeterministic finite-visit Turing machine (fvNTM) is...
arxiv.org/abs/1702.07388v2
On Store Languages of Language Acceptors
It is well known that the "store language" of every pushdown automaton -- the set of store configurations (state and stack contents) that can appear as an intermediate step in accepting computations -- is a regular language. Here many models of langu...
arxiv.org/abs/2010.00523v1
On Store Languages and Applications
The store language of a machine of some arbitrary type is the set of all store configurations (state plus store contents but not the input) that can appear in an accepting computation. New algorithms and characterizations of store languages are obtai...
arxiv.org/abs/1804.04749v3
Predicting Good Configurations for GitHub and Stack Overflow Topic Models
Software repositories contain large amounts of textual data, ranging from source code comments and issue descriptions to questions, answers, and comments on Stack Overflow. To make sense of this textual data, topic modelling is frequently used as a t...