We state several ideas based on the view-point of particle behaviour of matter to explain wave character of photon and elementary particles. By using Newton’s suggestion of light ray, we clarify integrally the behaviour of light “wave”. And “wave” character of particles is also explained by the view-point of particle.

The Abstract State Machine Language, AsmL, is a novel executable specification language based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical data-structures, and is built around the notion of synchronous updates and finite choice. AsmL is fully integrated into the .NET framework and Microsoft development tools. In this paper, we explain the d...

This article demonstrates how a powerful and expressive abstraction from concurrency theory—monads of resumptions—plays a dual rôle as a programming tool for concurrent applications. The article demonstrates how a wide variety of typical OS behaviors may be specified in terms of resumption monads known heretofore exclusively in the literature of programming language semantics. We illustrate the...

Received: 13 August 2008 Accepted: 13 September 2008 Abstract This paper suggests ways to facilitate creativity and innovation in software development. The paper applies four perspectives – Product, Project, Process, and People – to identify an outlook for software innovation. The paper then describes a new facility – Software Innovation Research Lab (SIRL) – and a new method concept for softwa...

There are a number of mathematical theorems in the literature on the dynamics of cosmological models with accelerated expansion driven by a positive cosmological constant Λ or a nonlinear scalar field with potential V (quintessence) which do not assume homogeneity and isotropy from the beginning. The aim of this paper is to generalize these results to the case of k-essence models which are defi...

Functional programmers from all horizons strive to use, and sometimes abuse, their favorite type system in order to capture the invariants of their programs. A widely-used tool in that trade consists in defining finely-indexed datatypes. Operationally, these types classify the programmer’s data, following the ML tradition. Logically, these types enforce the program invariants in a novel manner....

The concept of essence has played an important role in the history and development of philosophy; and in no branch of the discipline is its importance more manifest than in metaphysics. Its significance for metaphysics is perhaps attributable to two main sources. In the first place, the concept may be used to characterize what the subject, or at least part of it, is about. For one of the centra...

an experiment was conducted to evaluate the effect of fennel essence on performance, egg quality and ovarian morphology of commercial laying eggs for ten weeks. in this experiment, one hundred and forty 30-wk-old commercial egg laying type hy-line (w36) were randomly assigned into 4 treatments with 5 replicates and 8 birds per each. treatments were a control (0.0% essence) and diets containing ...

In the construction of a large software system, it is inevitable that some aspects of program behavior will cut across the structure of the code. The changes that are needed to support a new feature, for example, may be spread across several different points in the original program, making them harder to maintain and harder to reuse. The designers of “aspect-oriented” programming languages aim ...