Nematic liquid crystals in a polyhedral domain, a prototype for bistable displays, may be described by a unit-vector field subject to tangent boundary conditions. Here we consider the case of a rectangular prism. For configurations with reflection-symmetric topologies, we derive a new lower bound for the one-constant elastic energy. For certain topologies, called conformal and anticonformal, th...

We present a new endoscopic system that provides two different views simultaneously, one is a wide view (120 degrees) and the other is a zoomed view with image-shift mechanism. A Porro prism (II) is used to shift the zoomed image vertically and horizontally. With this endoscope, surgeons can observe throughout the surgical field without moving or rotating the endoscope itself. We have evaluated...

Deciding the desirable user experience qualities, i.e. UX goals, for a future product or service is important but difficult. This case study explores how a set of qualities is articulated in the concept design process. The case is a project aimed at exploring the use of smartphones to augment the childhood home of Astrid Lindgren—the children’s book author—with stories about her life and author...

In this paper it is presented the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.

This work studies the usage of the (currently state-of-the-art) Deep Neural Networks (DNN) i-vector/PLDA-based speaker recognition systems in multi-language (especially non-English) conditions. On the “Language Pack” of the PRISM set, we evaluate the systems’ performance using NIST’s standard metrics. We study the use of multi-lingual DNN in place of the original English DNN on these multi-lang...

Signalling pathways are abstractions that help life scientists structure the coordination of cellular activity. Cross-talk between pathways accounts for many of the complex behaviours exhibited by signalling pathways and is often critical in producing the correct signal-response relationship. Formal models of signalling pathways and cross-talk in particular can aid understanding and drive exper...

Pasternak, J., Alekou, A, Aslaninejad, M., Chudzinski, R., Jenner, L. J., Kurup, A., Shi, Y., Uchida, Y., Appleby, R., Owen, H.L., Barlow, Roger, Hock, K. M., Muratori, B. D., Kelliher, D.J., Machida, S., Prior, C.R., Kuno, Y, Sato, A, Lagrange, J­B, Mori, Y., Lancaster, M., Ohmori, C., Planche, T., Smith, S.L., Witte, H. and Yokoi, T. (2012) Status of the PRISM FFAG Design for the Next Generat...

A completely well-centered tetrahedral mesh is a triangulation of a three dimensional domain in which every tetrahedron and every triangle contains its circumcenter in its interior. Such meshes have applications in scientific computing and other fields. We show how to triangulate simple domains using completely well-centered tetrahedra. The domains we consider here are space, infinite slab, inf...

A closed knight’s tour of a chessboard uses legal moves of the knight to visit every square exactly once and return to its starting position. In 1991 Schwenk completely classified the m × n rectangular chessboards that admit a closed knight’s tour. In honor of the upcoming twentieth anniversary of the publication of Schwenk’s paper, this article extends his result by classifying the i × j × k r...