Results of a comprehensive simulation study are reported investigating the effects of sample size, test length, number of attributes and base rate of mastery on item parameter recovery and classification accuracy of four DCMs. Effects were evaluated using bias and RMSE computed between true parameters and estimated parameters. Effects of simulated factors on attribute assignment were also evaluated using the percentage of classification accuracy. More precise estimates of item parameters were obtained with larger sample size and longer test (...) length. Recovery of item parameters decreased as the number of attributes increased from three to five but base rate of mastery had a varying effect on the item recovery. Item parameter and classification accuracy were higher for DINA and DINO models. (shrink)

Lehar argues that a simple Neuron Doctrine cannot explain perceptual phenomena such as size constancy but he fails to discuss existing, more complex neurological models. Size models that rely purely on scaling for distance are sparse, but several models are also concerned with other aspects of size perception such as geometrical illusions, relative size, adaptation, perceptual learning, and size discrimination.

Cluster growth models are utilized for a wide range of scientific and engineering applications, including modeling epidemics and the dynamics of liquid propagation in porous media. Invasion percolation is a stochastic branching process in which a network of sites is getting occupied that leads to the formation of clusters. The occupation of sites is governed by their resistance distribution; the invasion annexes the sites with the least resistance. An iterative cluster growth model is considered for computing the expected (...) class='Hi'>size and perimeter of the growing cluster. A necessary ingredient of the model is the description of the mean perimeter as the function of the cluster size. We propose such a relationship for the site square lattice. The proposed model exhibits the expected phase transition of percolation models, i.e., it diverges at the percolation threshold p c. We describe an application for the porosimetry percolation model. The calculations of the cluster growth model compare well with simulation results. (shrink)

LetL be any modal or tense logic with the finite model property. For eachm, definer L (m) to be the smallest numberr such that for any formulaA withm modal operators,A is provable inL if and only ifA is valid in everyL-model with at mostr worlds. Thus, the functionr L determines the size of refutation Kripke models forL. In this paper, we will give an estimation ofr L (m) for some linear modal and tense logicsL.

In their book ‘Corporate Social Opportunity’, Grayson and Hodges maintain that ‘the driver for business success is entrepreneurialism, a competitive instinct and a willingness to look for innovation from non‐traditional areas such as those increasingly found within the corporate social responsibility (CSR) agenda’. Such opportunities are described as ‘commercially viable activities which also advance environmental and social sustainability’. There are three dimensions to corporate social opportunity (CSO) – innovation in products and services, serving unserved markets and building new business models. (...) While small‐ and medium‐sized enterprises (SMEs) have traditionally been presented as non‐entrepreneurial in this area, this paper demonstrates how SMEs can take advantage of the opportunities presented by CSR. Using data from 24 detailed case studies of UK SMEs from a range of sectors, the paper explores the numerous CSR opportunities that present themselves to SMEs, such as developing innovative products and services and exploiting niche markets. There are inevitable challenges for SMEs undertaking CSR, but by their very nature they have many characteristics that can aid the adoption of CSR; the paper explores these characteristics and how the utilisation of positive qualities will help SMEs make the most of CSOs. Integrating CSR into the core of a company is crucial to its success. Using the case studies to illustrate key points, the paper suggests how CSR can be built into a company's systems and become ‘just the way we do things’. There are a number of factors that characterise the CSO ‘mentality’ in an organisation, and Grayson and Hodges's book describes seven steps that will move a company in the direction of a ‘want to do’ CSO mentality. This paper adapts these steps for SMEs, and by transferring and building on knowledge from the 24 detailed case studies, it develops a ‘business opportunity’ model of CSR for SMEs. (shrink)

We describe techniques for constructing models of size continuum inωsteps by simultaneously building a perfect set of enmeshed countable Henkin sets. Such models have perfect, asymptotically similar subsets. We survey applications involving Borel models, atomic models, two-cardinal transfers and models respecting various closure relations.

Studies of callosal sexual differentiation have concentrated on global measures of callosal size, using the rat as a model for studies of potential hormonal mechanisms. It is time to shift the study of callosal sexual differentiation to a more cellular level. Finally, there are potential problems with using the female rat as the primary model for understanding hormonal mechanisms during postnatal life.

In this article, a mixed integer linear program model is proposed for the production, lot sizing, and scheduling of automotive plastic components to minimize the setup, inventory, stockout, and backorder costs, by taking into account injection molds as the main index to schedule on parallel flexible injection machines. The proposed MILP considers the minimum and maximum inventory capacities and penalizes stockout. A relevant characteristic of the modeled problem is the dependence between mold setups to produce plastic components. The lot (...) sizing and scheduling problem solution results in the assignment of molds to machines during a specific time period and in the calculation of the number of components to be produced, which is often called lot size, following a sequence-dependent setup time. Depending on the machine on which the mold is setup, the number of units to be produced will be distinct because machines differ from one another. The stock coverage, defined in demand days, is also included in the MILP to avoid backorders, which is highly penalized in the automotive supply chain. Added to this, the proposed model is extended by considering setup common operators to respond to and fulfill the constraints that appear in automotive plastic enterprises. In this regard, the MILP presented solves a lot-sizing and scheduling problem, emerged in a second-tier supplier of a real automotive supply chain. Finally, this article validates the MILP by performing experiments with different sized instances, including small, medium, and large. The large-sized dataset is characterized by replicating the amount of data used in the real enterprise, which is the object of this study. The goodness of the model is evaluated with the computational time and the deviation of the obtained results as regards to the optimal solution. (shrink)

We show that if κ is a weakly compact cardinal then the embeddability relation on trees of size κ is invariantly universal. This means that for every analytic quasi-order R on the generalized Cantor space View the MathML source there is an Lκ+κ-sentence φ such that the embeddability relation on its models of size κ, which are all trees, is Borel bi-reducible to R. In particular, this implies that the relation of embeddability on trees of size κ (...) is complete for analytic quasi-orders on View the MathML source. These facts generalize analogous results for κ=ω obtained in Louveau and Rosendal [17] and Friedman and Motto Ros [6], and it also partially extends a result from Baumgartner [3] concerning the structure of the embeddability relation on linear orders of size κ. (shrink)

Freight transportation plays a critical role in improving company performance in the modern manufacturing industry. To reduce costs, companies must take advantage of the use of large vehicles. It caused fewer deliveries, but inventory costs and degradation quality are high. One of the joint economic lot size problems in supply chain is Integrated Single-Vendor Single-Buyer Inventory Problem. This study developed the I-SVSB-IP model that considers raw materials’ exponential quality degradation and transportation costs. The objective function of this research (...) was to maximize the Joint Total Profit. Three decision variables used were inventory cycle time, raw material ordering frequency, and frequency of delivery of finished products to buyers. This study proposed a sophisticated Chimp Optimization Algorithm procedure to solve the I-SVSB-IP problem. A case study on the food industry in Indonesia was presented to optimize the I-SVSB-IP. The results showed that the ChOA procedure had produced an optimal solution compared to the state-of-the-art algorithm. This study also demonstrated a sensitivity analysis of decision and transportation variables to cost, revenue, and JTP. The results show that increasing transport frequency of ordering raw materials and finished products to buyers enhances the total cost and reduces joint total profit. In addition, increasing the rate of quality degradation of raw materials reduces JTP. (shrink)

We show that every proper normal extension of the bi-modal system S5 2 has the poly-size model property. In fact, to every proper normal extension L of S5 2 corresponds a natural number b(L) - the bound of L. For every L, there exists a polynomial P(·) of degree b(L) + 1 such that every L-consistent formula is satisfiable on an L-frame whose universe is bounded by P(||), where || denotes the number of subformulas of . It is (...) shown that this bound is optimal. (shrink)

We show that every proper normal extension of the bi-modal system S52 has the poly-size model property. In fact, to every proper normal extension L of S52 corresponds a natural number b(L) - the bound of L. For every L, there exists a polynomial P(·) of degree b(L) + 1 such that every L-consistent formula ϕ is satisfiable on an L-frame whose universe is bounded by P(|ϕ|), where |ϕ| denotes the number of subformulas of ϕ. It is shown (...) that this bound is optimal. (shrink)

Abstract:We present a model of collective decision making in which aggregation and deliberation are treated simultaneously. Individuals debate in a public forum and potentially revise their judgements in light of deliberation. Once this process is exhausted, a rule is applied to aggregate post-deliberation judgements in order to make a social choice. Restricting attention to three alternatives, we identify conditions under which a democracy is ‘truth-revealing’. This condition says that the deliberation path and the aggregation rule always lead to the (...) correct social choice being made, irrespective of both the original profile of judgements and the size of the electorate. (shrink)

Sexual size dimorphism is generally associated with sexual selection via agonistic male competition in nonhuman primates. These primate models play an important role in understanding the origins and evolution of human behavior. Human size dimorphism is often hypothesized to be associated with high rates of male violence and polygyny. This raises the question of whether human dimorphism and patterns of male violence are inherited from a common ancestor with chimpanzees or are uniquely derived. Here I review patterns of, (...) and causal models for, dimorphism in humans and other primates. While dimorphism in primates is associated with agonistic male mate competition, a variety of factors can affect male and female size, and thereby dimorphism. The causes of human sexual size dimorphism are uncertain, and could involve several non-mutually-exclusive mechanisms, such as mate competition, resource competition, intergroup violence, and female choice. A phylogenetic reconstruction of the evolution of dimorphism, including fossil hominins, indicates that the modern human condition is derived. This suggests that at least some behavioral similarities with Pan associated with dimorphism may have arisen independently, and not directly from a common ancestor. (shrink)

With small to modest sample sizes and complex models, maximum likelihood estimation of confirmatory factor analysis models can show serious estimation problems such as non-convergence or parameter estimates outside the admissible parameter space. In this article, we distinguish different Bayesian estimators that can be used to stabilize the parameter estimates of a CFA: the mode of the joint posterior distribution that is obtained from penalized maximum likelihood estimation, and the mean, median, or mode of the marginal posterior distribution that are (...) calculated by using Markov Chain Monte Carlo methods. In two simulation studies, we evaluated the performance of the Bayesian estimators from a frequentist point of view. The results show that the EAP produced more accurate estimates of the latent correlation in many conditions and outperformed the other Bayesian estimators in terms of root mean squared error. We also argue that it is often advantageous to choose a parameterization in which the main parameters of interest are bounded, and we suggest the four-parameter beta distribution as a prior distribution for loadings and correlations. Using simulated data, we show that selecting weakly informative four-parameter beta priors can further stabilize parameter estimates, even in cases when the priors were mildly misspecified. Finally, we derive recommendations and propose directions for further research. (shrink)

Anuj Dawar poses two questions which give finitary analogies to the Löwenheim–Skolem theorems. Grohe , has shown that the first of these, which corresponds to the downward Löwenheim–Skolem theorem, has a negative answer. In this paper we combine Grohe's technique with that of Robinson's famous paper ) to show that the second question, which corresponds to the upward Löwenheim–Skolem theorem, also has a negative answer.

Recent downward trends in corporate giving have renewed interest in the factors that shape corporate philanthropy. This paper examines the relationships between charitable contributions, firm size and industry. Improvements over previous studies include an IRS data base that covers a much broader range of firm sizes and industries as compared to previous studies and estimation using an instrumental variable technique that explicitly addresses potential simultaneity between charitable contributions and profitability. Important findings provide evidence of a cubic relationship between charitable (...) giving and firm size and evidence of strong industry effects. The plus-minus-plus regression coefficient sign pattern for the cubic firm size model suggests that small and large firms give more relative to total receipts with lower giving ratios among medium size firms. One interpretation for this finding is that small firms are close to the communities they serve while high visibility creates a need for large firm philanthropy. Strong industry effects provide evidence of inter-industry differences in giving culture and/or different public relations requirements across industries. (shrink)

We show that a $$ -simplified morass can be added by a forcing with working parts of size smaller than $\kappa $. This answers affirmatively the question, asked independently by Shelah and Velleman in the early 1990s, of whether it is possible to do so.Our argument use a modification of a technique of Mitchell’s for adding objects of size $\omega _2$ in which collections of models – all of equal, countable size – are used as side conditions. (...) In our modification, whilst the individual models are, as in Mitchell’s technique, taken ad hoc from quite general classes, the collections of models are very highly structured, in a way that is somewhat different from, perhaps more stringent than, Mitchell’s original, arguably making the method more wieldy and giving the prospect of further uses with more delicate working parts. (shrink)

Human group size seemingly has no limit, with many individuals living alongside thousands – even millions – of others. Non-human primate groups, on the other hand, cannot be sustained past a certain, relatively small size. I propose that Pascal Boyer's model of ownership psychology may offer an explanation for such a significant divergence.

Many ethical frameworks require artificial intelligence (AI) systems to be explainable. Explainable AI (XAI) models are frequently tested for their adequacy in user studies. Since different people may have different explanatory needs, it is important that participant samples in user studies are large enough to represent the target population to enable generalizations. However, it is unclear to what extent XAI researchers reflect on and justify their sample sizes or avoid broad generalizations across people. We analyzed XAI user studies (N = (...) 220) published between 2012 and 2022. Most studies did not offer rationales for their sample sizes. Moreover, most papers generalized their conclusions beyond their target population, and there was no evidence that broader conclusions in quantitative studies were correlated with larger samples. These methodological problems can impede evaluations of whether XAI systems implement the explainability called for in ethical frameworks. We outline principles for more inclusive XAI user studies. (shrink)

The aim of this work is twofold. First, we survey the techniques developed in Perthame and Zubelli (Inverse Probl 23(3):1037–1052, 2007 ), Doumic et al. (Inverse Probl 25, 2009 ) to reconstruct the division (birth) rate from the cell volume distribution data in certain structured population structured population models. Secondly, we implement such techniques on experimental cell volume distributions available in the literature so as to validate the theoretical and numerical results. As a proof of concept, we use the experimental (...) data experimental data reported in the classical work of Kubitschek (Biophys J 9(6):792–809, 1969 ) concerning Escherichia coli in vitro experiments measured by means of a Coulter transducer-multichannel analyzer system (Coulter Electronics, Inc., Hialeah, FL, USA). Despite the rather old measurement technology, the reconstructed division rates still display potentially useful biological features. (shrink)

Exact solutions of epidemic models are critical for identifying the severity and mitigation possibility for epidemics. However, solving complex models can be difficult when interfering conditions from the real-world are incorporated into the models. In this paper, we focus on the generally unsolvable adaptive susceptible-infected-susceptible epidemic model, a typical example of a class of epidemic models that characterize the complex interplays between the virus spread and network structural evolution. We propose two methods based on mean-field approximation, i.e., the first-order (...) mean-field approximation and higher-order mean-field approximation, to derive the exact solutions to ASIS models. Both methods demonstrate the capability of accurately approximating the metastable-state statistics of the model, such as the infection fraction and network density, with low computational cost. These methods are potentially powerful tools in understanding, mitigating, and controlling disease outbreaks and infodemics. (shrink)

Recently Díaz, Hössjer and Marks (DHM) presented a Bayesian framework to measure cosmological tuning (either fine or coarse) that uses maximum entropy (maxent) distributions on unbounded sample spaces as priors for the parameters of the physical models (https://doi.org/10.1088/1475-7516/2021/07/020). The DHM framework stands in contrast to previous attempts to measure tuning that rely on a uniform prior assumption. However, since the parameters of the models often take values in spaces of infinite size, the uniformity assumption is unwarranted. This is known (...) as the normalization problem. In this paper we explain why and how the DHM framework not only evades the normalization problem but also circumvents other objections to the tuning measurement like the so called weak anthropic principle, the selection of a single maxent distribution and, importantly, the lack of invariance of maxent distributions with respect to data transformations. We also propose to treat fine-tuning as an emergence problem to avoid infinite loops in the prior distribution of hyperparameters (common to all Bayesian analysis), and explain that previous attempts to measure tuning using uniform priors are particular cases of the DHM framework. Finally, we prove a theorem, explaining when tuning is fine or coarse for different families of distributions. The theorem is summarized in a table for ease of reference, and the tuning of three physical parameters is analyzed using the conclusions of the theorem. (shrink)

Unstable Accumulating Activator models for cellular size control propose an activator that accumulates in a size-dependent manner and triggers cell cycle progression once it has reached a certain threshold. Having a short half life makes such an activator responsive to changes in cell size and makes specific predictions for how cells respond to perturbation. In particular, it explains the curious phenomenon of excess mitotic delay. Excess mitotic delay, first observed in Tetrahymena in the '50s, is a phenomenon (...) in which a pulse of protein synthesis inhibition causes a delay in mitotic entry that is longer than the pulse and that gets longer the later in the cell cycle the pulse is delivered. The interpretation of this phenomenon championed by Zeuthen and Mitchison in the '60s and '70s is that an unstable activator of mitosis is degraded during the pulse and has to be resynthesized to a threshold level to trigger mitosis; small cells have more time to resynthesize the activator before mitosis and so suffer less excess delay, whereas, large cells have less time thus suffer greater excess delay. Fifty years later, with our detailed understanding of cell cycle biochemistry, we can identify and test candidate Unstable Accumulating Activators. Here I review the field and further develop this concept. Excess mitotic delay, the phenomenon in which inhibition of protein synthesis causes a longer delay than the pulse of inhibition, is consistent with cell size control by an unstable accumulating activator, but not a stable activator. (shrink)

Much human adaptation depends on the gradual accumulation of culturally transmitted knowledge and technology. Recent models of this process predict that large, well-connected populations will have more diverse and complex tool kits than small, isolated populations. While several examples of the loss of technology in small populations are consistent with this prediction, it found no support in two systematic quantitative tests. Both studies were based on data from continental populations in which contact rates were not available, and therefore these studies (...) do not provide a test of the models. Here, we show that in Oceania, around the time of early European contact, islands with small populations had less complicated marine foraging technology. This finding suggests that explanations of existing cultural variation based on optimality models alone are incomplete because demography plays an important role in generating cumulative cultural adaptation. It also indicates that hominin populations with similar cognitive abilities may leave very different archaeological records, a conclusion that has important implications for our understanding of the origin of anatomically modern humans and their evolved psychology. (shrink)

In this paper, a stochastic simulation model for a standalone PV system sizing is replicated and extended to supply a dairy’s power demand. A detailed hourly-based simulation is conducted considering an hourly load profile and global solar radiation prediction model. The stochastic simulation model is based on a thorough statistical analysis of the solar radiation data and simulates the energy yield, the excess energy curtailed, and the state of charge of the batteries for the sizing month and (...) the whole year, providing the designer autonomy factor values d to properly size the PV system, finding the optimum combination of installed peak power P m and battery storage capacity C L that meets the application load requirements, considering a preset reliability level at minimum cost. The model makes use of the NASA’S Surface Meteorology and Solar Energy database to obtain solar radiation data. Results show a substantial reduction of 44% in installed peak power and battery storage capacity when compared to conventional methodologies, considering three days of autonomy, and an 85% reduction considering four days. Considering the goodness of fit test results, the Wakeby distribution best represents the behavior of historical solar radiation data for the site in almost half of the months. This article seeks to contribute to the literature gap in the application of methodologies for the multicomponent power supply in the dairy industry through the use of renewable energy. (shrink)

Let T be an uncountable, superstable theory. In this paper we prove Theorem A. If T has finite rank, then I(|T|, T) ≥ ℵ0. Theorem B. If T is trivial, then I(|T|, T) ≥ ℵ0.

Among all organisms, the size of each body part or organ scales with overall body size, a phenomenon called allometry. The study of shape and form has attracted enormous interest from biologists, but the genetic, developmental and physiological mechanisms that control allometry and the proportional growth of parts have remained elusive. Recent progress in our understanding of body‐size regulation provides a new synthetic framework for thinking about the mechanisms and the evolution of allometric scaling. In particular, insulin/IGF (...) signaling, which plays major roles in longevity, diabetes and the regulation of cell, organ and body size, might also be centrally involved in regulating organismal shape. Here we review recent advances in the fields of growth regulation and endocrinology and use them to construct a developmental model of static allometry expression in insects. This model serves as the foundation for a research program that will result in a deeper understanding of the relationship between growth and form, a question that has fascinated biologists for centuries. BioEssays 29:536–548, 2007. © 2007 Wiley Periodicals, Inc. (shrink)

There has been some theoretical and empirical debate that the positive relationship between corporate social performance (CSP) and firm financial performance (FFP) is spurious and in fact caused by a third factor, namely large firm size. This study examines this question by integrating three meta-analyses of more than two decades of research on (1) CSP and FFP, (2) firm size and CSP, and (3) firm size and FFP into one path-analytic model. The present study does not (...) confirm size as a third factor which would confound the relationship between CSP and FFP. That is, even if firm size is controlled for across studies (comprising, on average, over 15 000 observations), CSP and FFP remain positively correlated, showing a "true-score" corrected path coefficient p of 0.37. (shrink)