This paper gives an overview of early Australian computing milestones up to about 1970 and demonstrates a mesh of influences. Wartime radar, initially from Britain, provided basic experience for many computing engineers. UK academic Douglas Hartree seems to have known all the early developers and he played a significant part in the first Australian computing conference. John von Neumann’s two p...

We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches enhancing model checking through performing parallel matrix operations on the GPU, we parallelize the breadth-first layered construction of the state space graph. For efficient processing, the input model is translated ...

We define the Polish space R of non-degenerate rank-1 systems. Each non-degenerate rank-1 system can be viewed as a measurepreserving transformation of an atomless, σ-finite measure space and as a homeomorphism of a Cantor space. We completely characterize when two non-degenerate rank-1 systems are topologically isomorphic. We also analyze the complexity of the topological isomorphism relation ...

Definition 1.1. Let (X, τ) be a topological space. A subset D ⊆ X is called dense if D ∩O 6= ∅ for every nonempty open set O ⊆ X. X is called separable if X has a countable dense subset. X is called metrizable if there is a metric d on X such that the topology τ is the same as the topology induced by the metric. The metric is called complete if every Cauchy sequence converges in X. Finally, X i...

We prove a rank-dependent moderate deviation principle for Uempirical measures, where the underlying i. i. d. random variables take values in a measurable (not necessarily Polish) space (S,S). The result can be formulated on a suitable subset of all signed measures on (Sm,S⊗m). We endow this space with a topology, which is stronger than the usual τ -topology. A moderate deviation principle for ...

This paper describes the results of creating a shallow grammar of Polish capable of detecting multi-level nested nominal phrases, intended to be used as mentions in coreference resolution tasks. The work is based on existing grammar developed for the National Corpus of Polish and evaluated on manually annotated Polish Coreference Corpus.

1 Coordinators of the PFP Guidelines on smoking (Polish Society of Hypertension) 2 Chairman of the PFP Editorial Board 3 Secretary of the PFP Editorial Board 4 Member of the PFP Editorial Board (Polish Society for Atherosclerosis Research) 5 Member of the PFP Editorial Board (Polish Society of Neurology) 6 Member of the PFP Editorial Board (The College of Family Physicians in Poland) 7 Member o...

These notes introduce the reader to Polish groups|topological groups in which the underlying space is Polish. No background in topological groups is assumed, but I will present the material fairly rapidly and leave quite a lot for the reader to check on his or her own. My main motivation for writing such notes arises from the applications and connections in model theory, where closed subgroups ...

This paper is a contribution to a new direction in descriptive set theory that is being extensively pursued over the last decade or so. It deals with the development of the theory of definable actions of Polish groups, the structure and classification of their orbit spaces, and the closely related study of definable equivalence relations. This study is motivated by basic foundational questions,...