We propose a decision procedure for a fragment of the hyperset theory, HMLSS, which takes inspiration from a tableau saturation strategy presented in [3] for the fragment MLSS of well-founded set theory. The procedure alternates deduction and model checking steps, driving the correct application of otherwise very liberal rules, thus significantly speeding up the process of discovering a satisfy...

A theory of counting nonintersecting lattice paths by the major index and generalizations of it is developed. We obtain determinantal expressions for the corresponding generating functions for families of nonintersecting lattice paths with given starting points and given final points, where the starting points lie on a line parallel to x+y = 0. In some cases these determinants can be evaluated ...

The paper develops an analytic integrated assessment model of climate change (AIAM). The model enhances our current understanding of climate policy and explains crucial relations to the broader audience. Is the first quantitative analytic model comprising all the relevant components of its numeric deterministic counterparts used in policy advising. The model comes with a new framework to addres...

In this paper, we propose an analytic model to analyze a wireless sensor network (WSN) operating the IEEE 802.15.4 slotted CSMA/CA protocol with ACK mode. Based on the renewal approximation, we first develop an analytic model for a homogeneous WSN where all nodes in the network have the same traffic characteristic. Using our analytical model, we obtain performance metrics such as network throug...

In this report a complete analytic description for the temperature dependence of the majority carrier in a single impurity doped equilibrium semiconductor is proposed. This model should provide an attractive alternative to commonly used rules predicting the temperature boundaries for the exhaustion regime. This model is used to provide a confidence test for a less restrictive robust numerical m...

In this work, using perturbation technique we have developed an approximate analytic model for evaluating the band structure of a 2-D octagonal photonic quasicrystal (PQC). Although numerical techniques are being used for evaluating such band structures, developing a numerical model to the best of our knowledge this work is the first instance of reporting helps to understand the physical proper...

‎in this paper, we present a two-stage model for ranking of decision making units (dmus) using interval analytic hierarchy process (ahp). since the efficiency score of unity is assigned to the efficient units, we evaluate the efficiency of each dmu by basic dea models and calculate the weights of the criteria using proposed model. in the first stage, the proposed model evaluates decision making...

This paper discusses analytic methods of acoustic model adaptation for automatic speech recognition and reviews other major methods. The main purpose of this paper is to demonstrate the potential of analytic approach for model adaptation. As an example of analytic methods, Jacobian Adaptation (JA) is intensively discussed and its potential of applicability to speech recognition problems is reve...