he purpose of this work is to introduce and study the concept of minimal deterministic automaton with IF-outputs which realizes the given IF-language. Among two methods for construction of such automaton presented here, one is based on Myhill-Nerode's theory while the other is based on derivatives of the given IF-language. Meanwhile, the categories of deterministic automata with IF-outputs and ...

Koutsoupias and Papadimitriou recently raised the question of how well deterministic on-line paging algorithms can do against a certain class of adversarially biased random inputs [3]. Such an input is given in an on-line fashion; the adversary determines the next request probabilistically, subject to the constraint that no page may be requested with probability more than a xed > 0. In this pap...

In formal language theory, we are mainly interested in the natural language computational aspects of ω-languages. Therefore in this respect it is convenient to consider fuzzy ω-languages. In this paper, we introduce two subclasses of fuzzy regular ω-languages called fuzzy n-local ω-languages and Buchi fuzzy n-local ω-languages, and give some closure properties for those subclasses. We define a ...

Scientific consequences are dependent on premisses that are logical propositions of the phenomena concerned. Propositions are verbal and linguistic statements, and at the initial philosophical thinking stage they all include vaguneness and imprecision. As more scientific evidence becomes available either rationally or empirically proposition validity degree increases at the cost of vagueness. I...

In this position paper, we point out the importance of teaching a basic understanding of parallel computations and parallel programming early in computer science education, in order to give students the necessary expertise to cope with future computer architectures that will exhibit an explicitly parallel programming model. We elaborate on a programming model, namely sharedmemory bulk-synchrono...

A factor common to all adaptation measures is the uncertainty that is the hallmark of climate change. The timing, intensity and location of climate change impacts is not known to any degree of precision. Because most deterministic analyses and policy prescriptions ignore this uncertainty, their recommendations are likely to waste community resources. Except by chance, adaptation measures will e...

In this short presentation I will attempt to accomplish a couple of different goals. First, I will discuss a series of recent cases that set out the doctrine for biotechnology patenting. Judge Lourie of the Federal Circuit has written most of the opinions, and recently one or two other judges have joined in. Looking at these cases is much like looking at a wonderful machine, as the cases progre...

Distinguishing between myth and science is subtle, for both seek to understand the things around us. The characteristic style of mythic thinking is to place special emphasis on a selective conjecture, based typically on the initial observation or recognition of a phenomenon, which is thereafter given privileged status over alternate interpretations. Concepts in geoscience are quite commonly myt...

It has recently been suggested that epidemiologists should avoid thinking of causes in deterministic terms. This would mean giving up the component-cause model in its original form. A model that has provided important contributions as to how we develop hypotheses, design our study, analyse data, interpret and communicate our results. The component-cause model has considerably more to offer than...