This paper proposes a method to simplify a computational model from logistic regression for clinical use without computer. The model was built using human interpreted featrues including some BI-RADS standardized features for diagnosing the malignant masses. It was compared with the diagnosis using only assessment categorization from BI-RADS. The research aims at assisting radiologists to diagno...

The combination of reward and potential threat is termed approach/avoidance conflict and elicits specific behaviors, including passive avoidance and behavioral inhibition (BI). Anxiety-relieving drugs reduce these behaviors, and a rich psychological literature has addressed how personality traits dominated by BI predispose for anxiety disorders. Yet, a formal understanding of the cognitive infe...

First-principles calculations based on density functional theory have been performed for the quaternary GaAs1-x-y N x Bi y alloy lattice-matched to GaAs. Using the state-of-the-art computational method with the Heyd-Scuseria-Ernzerhof (HSE) hybrid functional, electronic, and optical properties were obtained, including band structures, density of states (DOSs), dielectric function, absorption co...

In this paper the computational complexity of the (bi)simulation problem over restricted graph classes is studied. For trees given as pointer structures or terms the (bi)simulation problem is complete for logarithmic space or NC1, respectively. This solves an open problem from Balcázar, Gabarró, and Sántha. We also show that the simulation problem is P-complete even for graphs of bounded path-w...

We consider how, for quasi-degenerate neutrinos with tri-bi-maximal mixing at a high-energy scale, the mixing angles are affected by radiative running from high to low-energy scales in a supersymmetric theory. The limits on the high-energy scale that follow from consistency with the observed mixing are determined. We construct a model in which a non-Abelian discrete family symmetry leads both t...

X-ray standing wave measurements, along with local-density molecular cluster calculations, were used to determine the surface structure of the low-coverage Bi/Si~001! surface. The 232 Bi phase, predicted by theory to be the stable low-coverage structure, was found experimentally to be a metastable phase and was observed to have a thermally activated irreversible phase transition to the stable 1...

The logic of bunched implications, BI, provides a logical analysis of a basic notion of resource rich enough, for example, to form the logical basis for “pointer logic” and “separation logic” semantics for programs which manipulate mutable data structures. We develop a theory of semantic tableaux for BI, so providing an elegant basis for efficient theorem proving tools for BI. It is based on th...

Business Intelligence (BI) has received wide recognition in IT, business and academia. Through the use of BI businesses are able to address ‘big data’ related problems for better management decisions across all industries. However, few studies have clearly articulated a theoretically grounded model or provided empirical data to explain what factors influence the effective use of BI. Drawing on ...

Bi-capacities arise as a natural generalization of capacities (or fuzzy measures) in a context of decision making where underlying scales are bipolar. They are able to capture a wide variety of decision behaviours, encompassing models such as Cumulative Prospect Theory (CPT). The aim of this paper in two parts is to present the machinery behind bicapacities, and thus remains on a rather theoret...

This paper describes the use of a system of semantic rules to generate noun compounds, vague or polyse-mous words, and cases of metonymy. The rules are bi-directional and are used by the understanding system to interpret the same constructions.