Kuhn’s incommensurability thesis seems to challenge scientific realism. One response to that challenge is to focus on the continuity of reference. The causal theory of reference in particular seems to offer the possibility of continuity of reference that would provide a basis for the sort of comparability between theories that the realist requires. In “Dubbing and Redubbing: The Vulnerability o...

In this paper, we give a re-formulation of our previously defined distillation algorithm, which can automatically transform higherorder functional programs into equivalent tail-recursive programs. Our re-formulation simplifies the presentation of the transformation and hopefully makes it easier to understand. Using distillation, it is possible to produce superlinear improvement in the run-time ...

SEMAT/OMG Essence provides a powerful Language and a Kernel for describing software development processes. How can it be tweaked to apply it to systems engineering methods description? We must harmonize Essence and various systems engineering standards in order to provide a more formal system approach to obtaining a Systems Engineering Essence. In this paper, an approach of using Essence for sy...

“I’m late, I’m late ...” cries the Mad Hatter in Alice in Wonderland. Mad though he may be, he seems to be singing our song. How often do conversations end abruptly when one conversant looks at his watch and leans impatiently into the “rush” position? How often do people dash past each other, eyes averted, muttering “Late for a meeting, gotta run...” as a substitute for a personal greeting and ...

Development of languages for specifying or modelling problems is an important direction in constraint modelling. To provide greater abstraction and modelling convenience, these languages are becoming more syntactically rich, leading to a variety of questions about their expressive power. In this paper, we consider the expressiveness of Essence, a specification language with a rich variety of sy...

in this study, the concentrations of 25, 375 and 500 ml l -1 of cola+ 2000 mg l -1 of peppermint essence and concentrations of 30, 45 and 60 ml l -1 of apple extract +2000 mg l -1 rosemary essence on alstroemeria cut flowers (cv. balance) were investigated to verify the use of natural ingredients in flowers preservative solutions. this experiment was conducted in the laboratory of gorgan univer...

one of the important philosophical issues and debates dating back over two thousand years, and the beginning of wisdom in ancient greece has been proposed, is the problem of essence. some believe that the discussion on the issue of substance is aristotelian thought, and believe that the roots of this attribution in aristotle approach to the existence and its relation with the essence and nature...

Empowering learners and using powerful techniques are prominent elements in the discourse of adult and vocational education. But what constitutes the elements of what might be considered as powerful teaching? This paper begins by examining the way educators talk about power and then proposes four elements that lie at the heart of powerful teaching; understanding how power dynamics intersect wit...

Abstraction is the cornerstone of high-level programming; HTML forms are the principal medium of web interaction. However, most web programming environments do not support abstraction of form components, leading to a lack of compositionality. Using a semantics based on idioms, we show how to support compositional form construction and give a convenient syntax.