The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For efficient authoring of new Mizar articles it is necessary to have good tools for searching and browsing this library. It would be ideal if such tools were simple, intuitive and easy to access. Particularly, they should provide int...

53–63, 2001). This allows for rapid presentation of proIon Channels of Excitable Membranes, cessed antigen to T lymphocytes. The very recent dem3rd Edition onstration that ubiquitinated HIV Gag protein hijacks By Bertil Hille Tsg101 to drive virus particle budding from the cell surSunderland, MA: Sinauer Associates (2001). face (Garrus, et al., Cell 107, 55–65, 2001) is another 814 pp. $85.00 p...

A strain of Clostridium welchii produced spores in ordinary blood agar plates. Investigations confirmed that it was the character of this particular strain and that the laboratory media were not inducing sporulation. During a period of 12 months a total of 100 strains of Cl. welchii were studied. None of them produced spores in ordinary laboratory media and conditions when examined microscopica...

A simple scalar coupled map lattice (sCML) model for excitable media is derived in this paper. The new model, which has a simple structure, is shown to be closely related to the observed phenomena in excitable media. Properties of the sCML model are also investigated. Illustrative examples show that this kind of model is capable of reproducing the behavior of excitable media and of generating c...

This article has two aims. First I argue that the old habits of the printed book often have influence on our way of thinking in our work with electronic texts. I stress here the importance of evaluating the new possibilities that the new technological tools provide for philological work. In the second part I present a project that is currently working with the Old Swedish material from the Vads...

During embryonic morpho-genesis, a collection of individual neurons turns into a functioning network with unique capabilities. Only recently has this most staggering example of emergent process in the natural world, began to be studied. Here we propose a navigational strategy for neurites growth cones, based on sophisticated chemical signaling. We further propose that the embryonic environment ...

Graphene exhibits unique electronic properties, and its low dimensionality, structural robustness, and high work-function make it very promising as the charge storage media for memory applications. Along with the development of miniaturized and scaled up devices, nanostructured graphene emerges as an ideal material candidate. Here we proposed a novel non-volatile charge trapping memory utilizin...

Storytelling is an activity of intelligent play generated by humans for the benefit of humans. Qualities of intelligent play reflect the intentions, processes and tools that are available to humans for the purpose of story construction. Personal media collections speak to intention. They als serve as a tool to help us better communicate who we are and who we would like to become. Augmented by c...