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.     

Effect of birch (Betula pendula) bark and food protein level on root voles (Microtus oeconomus): II. detoxification capacity

The effect of protein and birch bark powder (BBP) content of forage on detoxification capacity of root voles (Microtus oeconomus) was studied. Young voles were fed with eight different diets for two weeks. Individuals on low (3%) protein diets had significantly lighter livers and kidneys than those on moderate (6%) or high (12%) protein diets. Birch bark powder addition did not have significant effect on organ weight. Detoxification was significantly induced, apparently due to secondary compounds in BBP. The activity of ethoxyresorufin-O-dealkylase (EROD) was high when protein content or BBP concentration in forage was high as compared to low protein diets or diets containing no BBP. Glucuronidation, on the other hand, was not induced by BBP. High BBP content caused serious physiological stress to the voles. The only individuals surviving were those capable of sufficiently allocating energy and protein to detoxification.     

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.     

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.     

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/.