A key pillar of modern cosmology, Big Bang Nucleosynthesis (BBN) offers a probe of the particle content and expansion rate of the Universe a mere few minutes after the beginning. When compared with the BBN predictions, the observationally inferred primordial abundances of deuterium and helium-4 provide an excellent baryometer and chronometer respectively. Several hundred thousand years later, w...

The data cache organization of a computer can significantly affect overall data access latencies when a program is executed. The cache performance depends on the locality characteristics of the data being processed in a program as well as the underlying architecture. A typical executing program has a data access profile that exhibits both temporal and spatial locality characteristics. Since mos...

We present a general framework for addressing the problem of semantic intelligibility among artificial agents based on concepts integral to the case-based reasoning research program. For this purpose, we define case-based semiotics (CBS) (based on the well known notion of the semiotic triangle) as the model that defines semantic intelligibility. We show how traditional CBR notions like transfor...

We introduce the “extended literal” encoding of SAT into CSP. This is the first encoding which is “propagation-optimal”. That is, propagation using the standard search algorithm MAC in the CSP encoding performs the same search as Davis Putnam on the original SAT instance, and does so in the same worst case time complexity. We provide theoretical analysis of the encoding and a sample implementation

Stochastic simulation algorithms (SSAs) allow biologists to perform accurate simulations of chemical systems at low species concentrations. As the complexity of models increases, this computationally expensive algorithm can become intractable. Numerous improvements to SSAs have been introduced but they each tend to only apply to a certain class of model. In my talk I will give an overview of a ...

Verifying code equivalence is useful in many situations, such as checking: yesterday’s code against today’s, different implementations of the same (standardized) interface, or an optimized routine against a reference implementation. We present a tool designed to easily check the equivalence of two arbitrary C functions. The tool provides guarantees far beyond those possible with testing, yet it...

In this paper a short description of the EPOCH design optimization environment will be given and results on the parallelization of the electromagnetic analysis codes based on the Bulk Synchronous Parallel approach, as well as testing of the environment using industrially relevant 2d and 3d test cases, such as the design of a microwave oven, eddy current brake, advanced accelerator magnet and th...

hr strategy is the pattern of hr-related decisions. that is, the gestalt of negotiated people related policies and practices in use indeed the formulation and enactment of an hr strategy designed to link hr policies and practices with the strategic goals and objective of the firm. the purpose of this research is human resources strategy formulation for prk company. integrative model (bamberger ...

abstract one of the losses decrease's ways in fields, is the proper irrigation management, which its base is the accurate estimation of crop water requirement. equations which are used to calculate the reference evapotranspiration (eto), do not use the same climatic parameters and due to their empirical base, are not match to all climatic situations. so it is needed to clarify proper methods fo...

dear editor:   sir, the recent published case report on corneal bee sting by sedaghat et al is very interesting.1 sedaghat et al concluded that “bee sting can lead to serious visual impairment despite adequate medical and surgical approaches.1” indeed, the arthropod sting on cornea is usually serious and difficult-to-manage case. based on the experience on another similar situation, corneal was...