The weak choice principle WISC may fail in the category of sets

The set-theoretic axiom WISC states that for every set there is a set of surjections to it cofinal in all such surjections. By constructing an unbounded topos over the category of sets and using an extension of the internal logic of a topos due to Shulman, we show that WISC is independent of the rest of the axioms of the set theory given by a well-pointed topos. This also gives an example of a topos that is not a predicative topos as defined by van den Berg.Comment: v2 Change of title and abstract; v3 Almost completely rewritten after referee pointed out critical mistake. v4 Final version. Will be published in Studia Logica. License is CC-B

Identity Trust Framework for iGaming

The online gambling community, or the iGaming industry in the United States has individual solutions and a mix of classic processes to manage universal customer identity but it lacks a standard identity management framework in which to enroll new iGaming users, monitor those users and ensure secure transactions, which leaves it open to identity theft and financial fraud. The iGaming industry offers online poker, sports betting and casino table games. iGaming providers (provider/providers) include companies such as PartyPoker.com, Pokerstars.com, Bovada.com, BetOnline.com among others. An iGaming player (player/players) is anyone who plays to gamble on games through the Internet. This report focuses on the requirements and specification for an Identity Trust Framework to enhance security and privacy in the United States iGaming industry and players.Informatio

Determinants of salary in nonprofit organizations: A study of executive compensation in symphony orchestras

This thesis presents the development of a demand equation for symphony orchestras and a three equation, simultaneous model examining factors which influence nonprofit executive compensation. Results from the demand equation demonstrate that nonprofit orchestras operate in the inelastic portion of the demand curve. Thus, ticket sales generate negative marginal revenues and attendance is increased at the expense of profit. If total revenue is less than total cost, the orchestra must be subsidized by contributions from private and public sectors. The compensation model indicates that salary is positively correlated with the ability to increase contributions and improve organizational quality. Therefore, administrators seeking to enhance income and marketability would do well to focus their energies on these two critical areas. Additionally, private contributions and quality respond positively to executive pay. Organizations seeking to enhance their reputation by increasing their level of service will bid up the salary of superior managers

Design and development of a hybrid control system for flexible manufacturing : a thesis presented in partial fulfilment of the requirements for the degree of Master of Technology in Manufacturing and Industrial Technology at Massey University

Irregular Pagination MisnumberedFlexible Manufacturing Systems (FMS) appeared upon the manufacturing scene in the early 1970s, installations presently number in the thousands. However, many current installations in fact lack flexibility, do not operate in real-time and are prohibitively expensive. Therefore there are obvious benefits to be gained from making improvements to existing flexible manufacturing systems. Research conducted for this thesis focused on two major areas. The implementation of the FMS control system on a SCADA package and the development of an auction based scheduling system. This entailed the development of a hybrid control model composed of three distinct layers; factory, cell and intelligent entity. Key portions of both the factory and cell controllers were then implemented so as to create a minimal system. This has been completed to the point where the auction algorithm has been implemented and tested in an appropriate framework. In achieving the goals mentioned above a number of novel design concepts have been utilised. There are two which are most important, these are the use of low cost modules for the construction of a flexible co-operative manufacturing system, and the ability of this system to operate in a physically distributed area via a Local Area Network. Meaning it is inherently adaptable and resistant to failure. These novel design concepts were ingrained throughout the entire three layered control model. It is felt that this research has succeeded in demonstrating the possibility of implementing a FMS control system on a low cost SCADA package using low cost software and computing elements. The ability of the distributed, auction-based approach to operate successfully within this system, has also been demonstrated through simulation

Last man standing: Mike Walsh on new films by Hong Kong's Johnnie To

Sydney, NS

Experiential fantasies, prediction, and enactive minds

A recent surge of work on prediction-driven processing models--based on Bayesian inference and representation-heavy models--suggests that the material basis of conscious experience is inferentially secluded and neurocentrically brain bound. This paper develops an alternative account based on the free energy principle. It is argued that the free energy principle provides the right basic tools for understanding the anticipatory dynamics of the brain within a larger brain-body-environment dynamic, viewing the material basis of some conscious experiences as extensive--relational and thoroughly world-involving

The Markov blankets of life: autonomy, active inference and the free energy principle

This work addresses the autonomous organization of biological systems. It does so by considering the boundaries of biological systems, from individual cells to Home sapiens, in terms of the presence of Markov blankets under the active inference scheme—a corollary of the free energy principle. A Markov blanket defines the boundaries of a system in a statistical sense. Here we consider how a collective of Markov blankets can self-assemble into a global system that itself has a Markov blanket; thereby providing an illustration of how autonomous systems can be understood as having layers of nested and self-sustaining boundaries. This allows us to show that: (i) any living system is a Markov blanketed system and (ii) the boundaries of such systems need not be co-extensive with the biophysical boundaries of a living organism. In other words, autonomous systems are hierarchically composed of Markov blankets of Markov blankets—all the way down to individual cells, all the way up to you and me, and all the way out to include elements of the local environment

On the existence of bibundles

We consider the existence of bibundles, in other words locally trivial principal $G$ spaces with commuting left and right $G$ actions. We show that their existence is closely related to the structure of the group \Out(G) of outer automorphisms of $G$. We also develop a classifying theory for bibundles. The theory is developed in full generality for $(H, G)$ bibundles for a crossed-module $(H, G)$ and we show with examples the close links with loop group bundles.Comment: This version accepted to appear in the Proceedings of the London Mathematical Society. Various changes made at referee's suggestio