The fraction of unattached (fun) nanosized 222Rn short-lived decay products in indoor air has been measured in different environments and the following ranges obtained: 0.03-0.25 in kindergartens, 0.03-0.18 in schools, 0.08-0.20 in wineries, and 0.12-0.68 in a karst cave. The dependence of fun on the environmental conditions (air temperature, relative humidity and pressure), as well as on the w...

The FASD study gathered 1330 answers about fun and software development from open source developers as well as 114 answers from programmers working in commercial software projects. The analysis of these data proves that fun plays an important role when software developers decide to get engaged in an open source project. Moreover, the comparison of the answers gives evidence for the hypothesis t...

We onsider a fundamental problem in omputational learning theory: learning an arbitrary Boolean fun tion that depends on an unknown set of k out of n Boolean variables. We give an algorithm for learning su h fun tions from uniform random examples that runs in time roughly (n k ) ! !+1 ; where ! < 2:376 is the matrix multipli ation exponent. We thus obtain the rst polynomial fa tor improvement o...

We performed populations synthesis calculations of single stars and binaries and show that binary evolution is extremely important for Galactic astronomy. We review several binary evolution models and conclude that they give quite different results. These differences can be understood from the assumptions related to how mass is transfered in the binary systems. Most important are 1) the fractio...

We report our experience of including the implementation of a player of a computer game as a programming project in a CS2 course focusing in data structures and algorithms. Every semester, an instructor designs the rules of a game, prepares its visualization, and implements an elementary player with a very simple strategy. The game is then delivered to students who, as a first step in order to ...

Tony Hoare has always been a leader in writing down and proving properties of programs. To prove properties of programs automatically, the most widely used technology today is by far the ubiquitous type checker. Alas, static type systems inevitably exclude some good programs and allow some bad ones. This dilemma motivates us to describe some fun we’ve been having with Haskell, by making the typ...

This report describes the development and use of an online teaching tool giving students exercises in logical modelling, or formalisation as it is called in the older literature. The original version of the site, ‘Logic for Fun’, dates from 2001, though it was little used except by small groups of students at the Australian National University. It is currently in the process of being replaced b...

Amongst the lattice gauge community it has recently become quite popular to study the distributions of eigenvalues of the Dirac operator in the presence of the background gauge fields generated in simulations. There are a variety of motivations for this. First, in a classic work, Banks and Casher1 related the density of small Dirac eigenvalues to spontaneous chiral symmetry breaking. Second, la...

out how someone else would feel, given what is described: if you can’t, it’s not funny. As yet, the ‘what?’ question has not been explored systematically, but anecdotes of play suggest that some species may have cognitive abilities beyond those we credit them with. Baboons have been observed teasing cattle, pulling their tails when the cow was safely behind a wire fence and could not hurt the b...