We report the results of a molecular dynamics simulation that looked for the triple point of Lennard-Jones fluid in slit-shaped nanopores. The simulation method employed for this purpose is able to maintain vapor-liquid coexistence in a nanopore at a specific equilibrium bulk-phase pressure. The triple point is the freezing point of the critical condensate. The triple-point temperature could be...

Constraint Handling Rules (CHRs) are a high-level rule-based programming language commonly used to define constraint solvers. We present a method for automatic implication checking between constraints of CHR solvers. Supporting implication is important for implementing extensible solvers and reification, and for building hierarchical CHR constraint solvers. Our method does not copy the entire c...

In this article, we consider the computational aspects of deciding whether a conditional independence statement t is implied by a list of conditional independence statements L using the implication related to the method of structural imsets. We present two methods which have the interesting complementary properties that one method performs well to prove that t is implied by L, while the other p...

We use geometrical arguments based on grain boundary symmetries to introduce crystalline interfacial energies for interfaces in polycrystalline thin lms with a cubic lattice. These crystalline energies are incorporated into a multi{phase eld model. Our aim is to apply the multi{phase eld method to describe the evolution of faceted grain boundary triple junctions in epitaxially growing microstru...

We have devised a novel 1,3-benzdiyne equivalent, capable of quadruple functionalization by sequential benzyne generation and reaction with arynophiles. The key features of this method include the chemoselective generation of two triple bonds in a single benzene ring under fluoride-mediated mild conditions, and the regiocontrol of each benzyne reaction by the substituent next to the triple bond...

We present a nontrivial extension to Bose's method for the construction of Steiner triple systems, generalizing the traditional use of commutative and idempotent quasi-groups to employ a new algebraic structure called a 3-triangulation. Links between Steiner triple systems and 2-(v,3,3) designs via 3-triangulations are also explored.

A combinatorial method in conjuction with the results presented in [F] is introduced to prove that for any infinite cardinal κ, and every cardinal λ, 0≤λ≤κ, there are 2 mutually non-isomorphic Steiner triple systems of size κ that admit exactly 2 automorphisms. In particular, there are 2 mutually non-isomorphic rigid Steiner triple systems of size κ.