Embedding linear orders in grids

A grid (or a mesh) is a two-dimensional permutation: an m× n-grid of size mn is an m× n-matrix where the entries run through the elements {1,2, …, mn}. We prove that if δ₁ and δ₂ are any two linear orders on {1,2, …, N}, then they can be simultaneously embedded (in a well defined sense) into a unique grid having the smallest size.     

Optical Properties of Self‐Assembled Cellulose Nanocrystals Films Suspended at Planar–Symmetrical Interfaces

Hierarchically structured materials comprising rod‐like, chiral, nanoparticles are commonly encountered in nature as they can form assemblies with exceptional optical and mechanical characteristics. These include cellulose nanocrystals (CNCs), which have a large potential for the fabrication of bioinspired materials mimicking those advanced properties. Fine‐tuning the optomechanical properties of assemblies obtained from CNCs hinges on the transformations from suspensions of liquid crystals to long‐range order in the dry state. So far, associated transitions have been studied using trivial interfaces such as planar substrates. Such transitions are explored as they evolve onto meshed supports. The meshed substrate offers a complex topology, as is encountered in nature, for the formation of CNCs films. The CNCs self‐assembly occurs under confinement and support of the framework bounding the mesh openings. This leads to coexisting suspended and supported nanoparticle layers exhibiting nematic and/or chiral nematic order. Optical microscopy combined with crossed polarizers indicate that the formation of the suspended films occurs via intermediate gelation or kinetic arrest of CNCs across the mesh's open areas. The formation of self‐standing, ultrathin films of CNCs with tunable optical properties, such as selective reflections in the visible range (structural color), is demonstrated by using the presented simple and scalable approach.     

Efficient sparse voxel octrees

In this paper, we examine the possibilities of using voxel representations as a generic way for expressing complex and feature-rich geometry on current and future GPUs. We present in detail a compact data structure for storing voxels and an efficient algorithm for performing ray casts using this structure. We augment the voxel data with novel contour information that increases geometric resolution, allows more compact encoding of smooth surfaces, and accelerates ray casts. We also employ a novel normal compression format for storing high-precision object-space normals. Finally, we present a variable-radius postprocess filtering technique for smoothing out blockiness caused by discrete sampling of shading attributes. Based on benchmark results, we show that our voxel representation is competitive with triangle-based representations in terms of ray casting performance, while allowing tremendously greater geometric detail and unique shading information for every voxel. Our voxel codebase is open sourced and available at http://code.google.com/p/efficient-sparse-voxel-octrees/.     

Overlap-freeness in infinite partial words

We prove that there exist infinitely many infinite overlap-free binary partial words containing at least one hole. Moreover, we show that these words cannot contain more than one hole and the only hole must occur either in the first or in the second position. We define that a partial word is $k$-overlap-free if it does not contain a factor of the form $xyxyx$ where the length of $x$ is at least $k$. We prove that there exist infinitely many 2-overlap-free binary partial words containing an infinite number of holes.     

Hybrid Logic Meets IF Modal Logic

The hybrid logic H(@,ˉ){\mathcal{H}(@,\downarrow)} and the independence friendly modal logic IFML are compared for their expressive powers. We introduce a logic IFML _c having a non-standard syntax and a compositional semantics; in terms of this logic a syntactic fragment of IFML is singled out, denoted IFML _c . (In the Appendix it is shown that the game-theoretic semantics of IFML _c coincides with the compositional semantics of IFML _c .) The hybrid logic H(@,ˉ){\mathcal{H}(@,\downarrow)} is proven to be strictly more expressive than IFML _c . By contrast, H(@,ˉ){\mathcal{H}(@,\downarrow)} and the full IFML are shown to be incomparable for their expressive powers. Building on earlier research (Tulenheimo and Sevenster 2006), a PSPACE-decidable fragment of the undecidable logic H(@,ˉ){\mathcal{H}(@,\downarrow)} is disclosed. This fragment is not translatable into the hybrid logic H(@){\mathcal{H}(@)} and has not been studied previously in connection with hybrid logics. In the Appendix IFML _c is shown to lack the property of ‘quasi-positionality’ but proven to enjoy the weaker property of ‘bounded quasi-positionality’. The latter fact provides from the IFML internal perspective an account of what makes the compositional semantics of IFML _c possible.     

What levels of moral reasoning and values explain adherence to information security rules? An empirical study

It is widely agreed that employee non-adherence to information security policies poses a major problem for organizations. Previous research has pointed to the potential of theories of moral reasoning to better understand this problem. However, we find no empirical studies that examine the influence of moral reasoning on compliance with information security policies. We address this research gap by proposing a theoretical model that explains non-compliance in terms of moral reasoning and values. The model integrates two well-known psychological theories: the Theory of Cognitive Moral Development by Kohlberg and the Theory of Motivational Types of Values by Schwartz. Our empirical findings largely support the proposed model and suggest implications for practice and research on how to improve information security policy compliance.     

Optimal structure for heat and cold protection under transient heat conduction

A suitable combination of materials for sheltering a system from a sudden change of environmental temperature has been theoretically studied. The protective composite wall consists of two materials. An insulating material is placed on the outer surface, while, for the inner surface, materials that have good heat storage properties but negligible heat transfer resistance are chosen. The results show that by replacing some of the insulation material with a heat storage material, the temperature of the protected system can be maintained at a considerably lower level. Although the optimal thickness ratio X depends on the Biot number, Fourier number, and on the heat capacity ratio K _C, for a large number of thermal protection cases, the approximation X = 0.45 yields practically the minimum progress of the transient. If the Biot number is sufficiently small, it is better to replace all of the insulation material with a good heat storage material.     

Extension of the decidability of the marked PCP to instances with unique blocks

In the Post Correspondence Problem (PCP) an instance (h,g)$(h,g)$ consists of two morphisms h$h$ and g$g$, and the problem is to determine whether or not there exists a nonempty word w$w$ such that h(w)=g(w)$h\left(w\right)=g\left(w\right)$. Here we prove that the PCP is decidable for instances with unique blocks using the decidability of the marked PCP. Also, we show that it is decidable whether an instance satisfying the uniqueness condition for continuations has an infinite solution. These results establish a new and larger class of decidable instances of the PCP, including the class of marked instances.     

Live delivery of neurosurgical operating theater experience in virtual reality

A system for assisting in microneurosurgical training and for delivering interactive mixed reality surgical experience live was developed and experimented in hospital premises. An interactive experience from the neurosurgical operating theater was presented together with associated medical content on virtual reality eyewear of remote users. Details of the stereoscopic 360‐degree capture, surgery imaging equipment, signal delivery, and display systems are presented, and the presence experience and the visual quality questionnaire results are discussed. The users reported positive scores on the questionnaire on topics related to the user experience achieved in the trial.     

Optimization of the metakaolin geopolymer preparation for maximized ammonium adsorption capacity

Geopolymers are functional materials that can be used in various environmental applications such as adsorbents in pollutant removal from wastewaters. Metakaolin geopolymer (MK-GP) has been proven to be especially suitable for ammonium (NH₄ ⁺) removal. In this research, the optimal reagent and raw material ratios in the preparation of MK-GP in terms of NH₄ ⁺ adsorption capacity were investigated. The response surface methodology based on the face-centered central composite design was used to optimize the levels of three factors: the amounts of hydroxide, silicate, and metakaolin. In addition, the effect of Na or K as the charge-balancing cation was studied. Empirical models were fitted to the experimental data using multiple linear regression. The significance of the models was confirmed by means of analysis of variance. Optimal NH₄ ⁺ removal efficiency was achieved when the amounts of hydroxide and silicate were maximized, the amount of metakaolin was minimized, and Na-based reagents were used. These trends are most likely a result of optimized conversion of metakaolin into MK-GP.