Explicit mathematics and operational set theory: some ontological comparisons

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.

Assessing the function of the fronto-parietal attention network: Insights from resting-state fMRI and the attentional network test

In the recent past, various intrinsic connectivity networks (ICN) have been identified in the resting brain. It has been hypothesized that the fronto-parietal ICN is involved in attentional processes. Evidence for this claim stems from task-related activation studies that show a joint activation of the implicated brain regions during tasks that require sustained attention. In this study, we used functional magnetic resonance imaging (fMRI) to demonstrate that functional connectivity within the fronto-parietal network at rest directly relates to attention. We applied graph theory to functional connectivity data from multiple regions of interest and tested for associations with behavioral measures of attention as provided by the attentional network test (ANT), which we acquired in a separate session outside the MRI environment. We found robust statistical associations with centrality measures of global and local connectivity of nodes within the network with the alerting and executive control subfunctions of attention. The results provide further evidence for the functional significance of ICN and the hypothesized role of the fronto-parietal attention network. Hum Brain Mapp , 2013. © 2013 Wiley Periodicals, Inc.

The block numerical range of analytic operator functions

We introduce the block numerical range Wn(L) of an operator function L with respect to a decomposition H = H1⊕. . .⊕Hn of the underlying Hilbert space. Our main results include the spectral inclusion property and estimates of the norm of the resolvent for analytic L . They generalise, and improve, the corresponding results for the numerical range (which is the case n = 1) since the block numerical range is contained in, and may be much smaller than, the usual numerical range. We show that refinements of the decomposition entail inclusions between the corresponding block numerical ranges and that the block numerical range of the operator matrix function L contains those of its principal subminors. For the special case of operator polynomials, we investigate the boundedness of Wn(L) and we prove a Perron-Frobenius type result for the block numerical radius of monic operator polynomials with coefficients that are positive in Hilbert lattice sense.

Using the theory of planned behaviour to model antecedents of surgical checklist use: a cross-sectional study.

BACKGROUND Compliance with surgical checklist use remains an obstacle in the context of checklist implementation programs. The theory of planned behaviour was applied to analyse attitudes, perceived behaviour control, and norms as psychological antecedents of individuals' intentions to use the checklist. METHODS A cross-sectional survey study with staff (N = 866) of 10 Swiss hospitals was conducted in German and French. Group mean differences between individuals with and without managerial function were computed. Structural equation modelling and confirmatory factor analysis was applied to investigate the structural relation between attitudes, perceived behaviour control, norms, and intentions. RESULTS Significant mean differences in favour of individuals with managerial function emerged for norms, perceived behavioural control, and intentions, but not for attitudes. Attitudes and perceived behavioural control had a significant direct effect on intentions whereas norms had not. CONCLUSIONS Individuals with managerial function exhibit stronger perceived behavioural control, stronger norms, and stronger intentions. This could be applied in facilitating checklist implementation. The structural model of the theory of planned behaviour remains stable across groups, indicating a valid model to describe antecedents of intentions in the context of surgical checklist implementation.

Herbivore intoxication as a potential primary function of an inducible volatile plant signal

Plants release herbivore-induced volatiles (HIPVs), which can be used as cues by plants, herbivores and natural enemies. Theory predicts that HIPVs may initially have evolved because of their direct benefits for the emitter and were subsequently adopted as infochemicals. Here, we investigated the potential direct benefits of indole, a major HIPV constituent of many plant species and a key defence priming signal in maize. We used indole-deficient maize mutants and synthetic indole at physiologically relevant doses to document the impact of the volatile on the generalist herbivore Spodoptera littoralis. Our experiments demonstrate that indole directly decreases food consumption, plant damage and survival of S. littoralis caterpillars. Surprisingly, exposure to volatile indole increased caterpillar growth. Furthermore, we show that S. littoralis caterpillars and adults consistently avoid indole-producing plants in olfactometer experiments, feeding assays and oviposition trials. Synthesis. Together, these results provide a potential evolutionary trajectory by which the release of a HIPV as a direct defence precedes its use as a cue by herbivores and an alert signal by plants. Furthermore, our experiments show that the effects of a plant secondary metabolite on weight gain and food consumption can diverge in a counterintuitive manner, which implies that larval growth can be a poor proxy for herbivore fitness and plant resistance.

Calibrating a CGE model with NTBs that Incorporates Standard Models of Modern Trade Theory

We propose a way to incorporate NTBs for the four workhorse models of the modern trade literature in computable general equilibrium models (CGEs). CGE models feature intermediate linkages and thus allow us to study global value chains (GVCs). We show that the Ethier-Krugman monopolistic competition model, the Melitz firm heterogeneity model and the Eaton and Kortum model can be defined as an Armington model with generalized marginal costs, generalized trade costs and a demand externality. As already known in the literature in both the Ethier-Krugman model and the Melitz model generalized marginal costs are a function of the amount of factor input bundles. In the Melitz model generalized marginal costs are also a function of the price of the factor input bundles. Lower factor prices raise the number of firms that can enter the market profitably (extensive margin), reducing generalized marginal costs of a representative firm. For the same reason the Melitz model features a demand externality: in a larger market more firms can enter. We implement the different models in a CGE setting with multiple sectors, intermediate linkages, non-homothetic preferences and detailed data on trade costs. We find the largest welfare effects from trade cost reductions in the Melitz model. We also employ the Melitz model to mimic changes in Non tariff Barriers (NTBs) with a fixed cost-character by analysing the effect of changes in fixed trade costs. While we work here with a model calibrated to the GTAP database, the methods developed can also be applied to CGE models based on the WIOD database.

The Problem with Utility: Towards a Non-Consequentialist / Utility Theory Synthesis

I develop the argument that our current decision-making framework, utility theory, when used by itself, is 1) descriptively incomplete, 2) theoretically flawed, and 2) ethically questionable. In response, I offer an exploratory framework that incorporates both consequentialist and non-consequentialist motivations. Adding a commitment function provides a synthesis which remedies the problems associated with the sole use of utility theory. Finally, I show how philosophers Immanuel Kant, W.D. Ross, and Martin Buber provide an ethical basis for the framework.

The Making of Optimal and Consistent Policy: An Implementation Theory Framework for Monetary Policy

This paper shows that optimal policy and consistent policy outcomes require the use of control-theory and game-theory solution techniques. While optimal policy and consistent policy often produce different outcomes even in a one-period model, we analyze consistent policy and its outcome in a simple model, finding that the cause of the inconsistency with optimal policy traces to inconsistent targets in the social loss function. As a result, the social loss function cannot serve as a direct loss function for the central bank. Accordingly, we employ implementation theory to design a central bank loss function (mechanism design) with consistent targets, while the social loss function serves as a social welfare criterion. That is, with the correct mechanism design for the central bank loss function, optimal policy and consistent policy become identical. In other words, optimal policy proves implementable (consistent).

A Confirmatory Factor Analytic Study Examining the Dimensionality of Educational Achievement Tests

It is important to check the fundamental assumption of most popular Item Response Theory models, unidimensionality. However, it is hard for educational and psychological tests to be strictly unidimensional. The tests studied in this paper are from a standardized high-stake testing program. They feature potential multidimensionality by presenting various item types and item sets. Confirmatory factor analyses with one-factor and bifactor models, and based on both linear structural equation modeling approach and nonlinear IRT approach were conducted. The competing models were compared and the implications of the bifactor model for checking essential unidimensionality were discussed.

Prospective run theory for multinomial outcomes

The focus of this study was to generalize the theory of runs to multinomial outcomes using the generating function approach. Detailed discussion is provided for determining the probability distributions for all runs of length i in a sequence of n trials for the binomial and trinomial cases. The generalization to multinomial case is also presented. Application to data for patients from a long term disability care facility is presented to illustrate the use of Run Theory in determining the probability of a dominant state of treatment associated with a patient during his/her hospitalization. ^

Trade Credits under Imperfect Enforcement: A Theory with a Test on Chinese Experience

It is widely recognized that trade credit is an important financial mechanism, particularly in developing economies and transition economies where institutions are weak. This paper documents theoretical analysis and empirical accounts on what facilitates an effective supply of trade credit based on original surveys conducted in P.R. of China. Our theory predicts that trade volume and trade credit are increasing function of cash held by the buyer and enforcement technology of the seller. Furthermore, if the state sector’s enforcement technology is high, it has positive external effect to expand the volumes of trade credit and trades in the whole economy. From the data, we found that government made active commitment in enforcement of trade credit contract and the government owned firms are main supplier and receivers of trade credit, which suggest that enforcement by government and state sector were effective against presumptions in the previous literatures.

Theory of a Flowchart Approach to Industrial Cluster Policy

A flowchart approach to industrial cluster policy emphasizes the importance ofthe ordering of policy measures. The flow of policy implementation is to establish an industrial zone, to invite an anchor company, and to promote its related companies to invest in the industrial zone. This article delineated "a flowchart approach to industrial cluster policy" by proposing sufficient conditions for forming industrial clusters typical in the manufacturing industry in Asia to enhance regional economic growth. The typical industrial cluster policy was theorized by defining an industrial zone as "quasi-public goods", and it was shown that the policy enhances economic growth under a production function of "increasing returns to scale" of an anchor company. Critical amounts of the production of "scale economies" that are used by the related companies to decide whether or not to invest in clusters were also shown.

Analytic Kramer kernels, Lagrange-type interpolation series and de Branges spaces

The classical Kramer sampling theorem provides a method for obtaining orthogonal sampling formulas. In particular, when the involved kernel is analytic in the sampling parameter it can be stated in an abstract setting of reproducing kernel Hilbert spaces of entire functions which includes as a particular case the classical Shannon sampling theory. This abstract setting allows us to obtain a sort of converse result and to characterize when the sampling formula associated with an analytic Kramer kernel can be expressed as a Lagrange-type interpolation series. On the other hand, the de Branges spaces of entire functions satisfy orthogonal sampling formulas which can be written as Lagrange-type interpolation series. In this work some links between all these ideas are established.

Analytic model of a cache-only memory architecture

An approximate analytic model of a shared memory multiprocessor with a Cache Only Memory Architecture (COMA), the busbased Data Difussion Machine (DDM), is presented and validated. It describes the timing and interference in the system as a function of the hardware, the protocols, the topology and the workload. Model results have been compared to results from an independent simulator. The comparison shows good model accuracy specially for non-saturated systems, where the errors in response times and device utilizations are independent of the number of processors and remain below 10% in 90% of the simulations. Therefore, the model can be used as an average performance prediction tool that avoids expensive simulations in the design of systems with many processors.