Integration of renewable energy sources (RES) in a distribution network facilities the establishment sustainable power systems. Concurrently, incorporation storage system (ESS) plays pivotal role to maintain economical significance as well mitigates technical liabilities associated with uncontrollable and fluctuating output power. Nevertheless, ESS technologies require additional investments th...

We show that using deductive systems to specify an offline partial evaluator allows one to specify, prototype, and mechanically verify correctness via meta-programming — all within a single framework. For a λ-mix-style partial evaluator, we specify binding-time constraints using a natural-deduction logic, and the associated program specializer using natural (aka “deductive”) semantics. These de...

Any modern industrial manufacturing unit inevitably faces problems of vagueness in various aspects such as raw material availability, human resource availability, processing capability and constraints and limitations imposed by marketing department. Such a complex problem of vagueness and uncertainty can be handled by the theory of fuzzy linear programming. In this paper, a new fuzzy linear pro...

Modern data collection and analysis pipelines often involve a sophisticated mix of applications written in general purpose and specialized programming languages. Many formats commonly used to import and export data between different programs or systems, such as CSV or JSON, are verbose, inefficient, not type-safe, or tied to a specific programming language. Protocol Buffers are a popular method...

Our research examines the use of CodeCircle, an online, collaborative HTML, CSS, and JavaScript editor, as a rapid prototyping environment for musically expressive instruments. In CodeCircle, we use two primary libraries: MaxiLib and RapidLib. MaxiLib is a synthesis and sample processing library which interfaces with the Web Audio API for sound generation in the browser. RapidLib is a product o...

Introduction:The prevalence of atopic diseases has increased in recent decades dramatically. The most common aeroallergens in Northeastern Iran have not been fully defined. Define the most common aeroallergens in allergic patients based on the skin prick test (SPT) was aimed in this investigation.Materials and Methods:This cross-sectional study enrolled 1,006 allergic patients (aged 1–86 years)...

In the dependently typed functional programming language Agda one can easily mix induction and coinduction. The implementation of the termination/productivity checker is based on a simple extension of a termination checker for a language with inductive types. However, this simplicity comes at a price: only types of the form X .Y .F X Y can be handled directly, not types of the form Y .X .F X Y ...

The cyclic permutation flow shop is one flow shop that repetitively produces product mix under permutation schedules. We propose that the cyclic permutation flow shop given the general job sequence can be modeled as a time event graph, based on which the mixed-integer programming method is applied to find the optimal schedule with maximum throughput. Two cases of cyclic permutation flow shops w...

The main aim of this paper is to show an abstract machine for compiling logic programs composed by means of meta-operators; in particular, we deal with union, intersection and closure, which are directly supported by the most common abstract machine for logic programming: the Warren Abstract Machine. The proposed solution is a mix of the interpretation-oriented and the compilation-oriented appr...

We propose a new programming model that supports a compositionality of choreographies. The key of our approach is the introduction of partial choreographies, which can mix global descriptions with communications among external peers. We prove that if two choreographies are composable, then the endpoints independently generated from each choreography are also composable, preserving their typabil...