Spatial Logics have been recently proposed as modal logics inspecting the ‘spatial’ nature of models (as opposed to ‘temporal logics’ inspecting model behavior). Spatial Logics, essentially, lift constructors (and structural properties) of underlying models to the logical level, obtaining new ‘spatial’ logical connectives. The semantics of spatial logics is model dependant: different properties...

Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place graph for locations and a link (hyper-)graph for connections. Aiming at describing bigraphical structures, we introduce a general framework, BiLog, whose formulae describe arrows in monoidal categories. We then instant...

We examined Myers-Briggs Type Indicator (MBTI) score distributions computed using itemresponse theory (IRT) to assess the generalizability of earlier bimodality reports which have been cited in support of the “type” versus “trait” view of personality. Using the BILOG IRT program to score a sample of approximately 12,000 individuals who participated in leadership development programs, θ score di...

The current study aimed to examine differential item functioning (DIF) of a numerical ability test for Gulf state school students. This examined the DIF items by gender and country using two analysis methods; Likelihood Ratio Test (LRT) Mantel-Haenszel (MH). sample size was 2689 individuals throughout grades 5 6, researchers used MH with SPSS LRT BILOG-MG. classification stability coefficient k...

The standard error of equating is a useful index to quantify the amount of equating error. It is the standard deviation of equated scores over replications of an equating procedure in samples from a population or populations of examines. The current study estimates the SE of item response theory true score equating in the Nonequivalent Groups with Anchor Test design using simulations. Specifica...

Since its release in 1976, Wingersky, Barton, and Lord's (1982) LOGIST has been the most widely used computer program for estimating the parameters of the 3-parameter logistic (Birnbaum) item response model.. An alternative program, Mislevy and Bock's (1983) BILOG, has recently become available. This paper compares the approaches taken by the two programs, and offers some initial guidelines for...