Using Canonical Forms for Isomorphism Reduction in Graph-based Model Checking

Graph isomorphism checking can be used in graph-based model checking to achieve symmetry reduction. Instead of one-to-one comparing the graph representations of states, canonical forms of state graphs can be computed. These canonical forms can be used to store and compare states. However, computing a canonical form for a graph is computationally expensive. Whether computing a canonical representation for states and reducing the state space is more efficient than using canonical hashcodes for states and comparing states one-to-one is not a priori clear. In this paper these approaches to isomorphism reduction are described and a preliminary comparison is presented for checking isomorphism of pairs of graphs. An existing algorithm that does not compute a canonical form performs better that tools that do for graphs that are used in graph-based model checking. Computing canonical forms seems to scale better for larger graphs

Three-loop corrections to the mass of the light Higgs boson in the MSSM

The Minimal Supersymmetric extension of the Standard Model (MSSM) predicts the existence of a light neutral Higgs boson. Once found at the LHC, its mass will immediately become a precision observable. The theoretical value of the Higgs mass Mh is subject to large radiative corrections. Due to the large top Yukawa coupling, loops of top quarks and their superpartners provide the dominant contribution to the radiative corrections. We present a calculation of the SUSY-QCD corrections to these diagrams, up to the three-loop order. We find that our three-loop results can be in the range of one GeV, and are thus relevant when compared with the expected experimental accuracy at the LHC. We also find a significantly reduced dependency on the renormalisation prescription, thus decreasing the theoretical uncertainty of the prediction of Mh.Comment: 4 pages, 3 figures, contribution to the proceedings of the European Physical Society Europhysics Conference on High Energy Physics 2009, Krakow, Polan

Kant, Morality, and Hell

In this paper I argue that, although Kant argues that morality is independent of God (and hence, agrees with the Euthyphro), and rejects Divine Command Theory (or Theological Voluntarism), he believes that all moral duties are also the commands of God, who is a moral being, and who is morally required to punish those who transgress the moral law: "God’s justice is the precise allocation of punishments and rewards in accordance with men’s good or bad behavior." However, since we lack a strict proof of God's existence, we can still fulfill our duties from the motive of duty. if we did know that God exists, then this would undermine our pure moral motivation to do our duty, since we would have an even stronger interest in pleasing God through our good conduct. The effect of undermining our pure moral motivation would be to make us less eligible for divine reward, since God rewards us for doing our duty from the motive of duty

Three-Loop Predictions for the Light Higgs Mass in the MSSM

The Minimal Supersymmetric Extension of the Standard Model (MSSM) features a light Higgs boson, the mass Mh of which is predicted by the theory. Given that the LHC will be able to measure the mass of a light Higgs with great accuracy, a precise theoretical calculation of Mh yields an important test of the MSSM. In order to deliver this precision, we present three-loop radiative corrections of O(alpha_t*alpha_s^2) and provide a computer code that combines our results with corrections to Mh at lower loop orders that are available in the literature.Comment: 3 pages, 1 figure, contribution to the proceedings of the conference "Physics at LHC 2010

Emotional Intelligence: a Study on University Students

Nature bestowed humans with emotions. Emotions are significant predictors of anyone's success. Now Emotional Intelligence is an established phenomenon is under eye of researcher and psychologist. The objectives of this study were (i) to explore the level of Emotional Intelligence of University's students. (ii) to find ouu the difference between Emotional Intelligence on the basis of gender, locality, level of course and School of study. This survey based study used data from 200 students of Central University of South Bihar, Gaya, India. Results indicated that all university's students were having high level of emotional intelligence. Result indicates that all students of School of Education have emotional Intelligence of high level except in comparison of students of School of Law & Governance. Male and female students are significantly differed from each other on Emotional Intelligence on overall sample. Female students found more Emotional Intelligent with high mean value. UG and PG students of were found not significantly differ from each other on Emotional intelligence. UG students were more emotionally intelligent on the basis of mean value. Residential location does not have any significant role but rural students were more emotionally intelligent in comparison to their counterpart

Automating the design of scientific computing software

SINAPSE is a domain-specific software design system that generates code from specifications of equations and algorithm methods. This paper describes the system's design techniques (planning in a space of knowledge-based refinement and optimization rules), user interaction style (user has option to control decision making), and representation of knowledge (rules and objects). It also summarizes how the system knowledge has evolved over time and suggests some issues in building software design systems to facilitate reuse

Topic Detection and Tracking in Personal Search History

This thesis describes a system for tracking and detecting topics in personal search history. In particular, we developed a time tracking tool that helps users in analyzing their time and discovering their activity patterns. The system allows a user to specify interesting topics to monitor with a keyword description. The system would then keep track of the log and the time spent on each document and produce a time graph to show how much time has been spent on each topic to be monitored. The system can also detect new topics and potentially recommend relevant information about them to the user. This work has been integrated with the UCAIR Toolbar, a client side agent. Considering limited resources on the client side, we designed an e????cient incremental algorithm for topic tracking and detection. Various unsupervised learning approaches have been considered to improve the accuracy in categorizing the user log into appropriate categories. Experiments show that our tool is effective in categorizing the documents into existing categories and detecting the new useful catgeories. Moreover, the quality of categorization improves over time as more and more log is available