A tethered ethylenebis(indenyl) zirconocene was covalently immobilized on H-terminated Si(111) surfaces using UV-mediated alkene hydrosilylation, thus making possible the development of structured catalytic surfaces with highly controlled properties.

In this paper, we discuss the problem of the software engineering of a class of business spreadsheet models. A methodology for structured software development is proposed, which is based on structured analysis of data, represented as Jackson diagrams. It is shown that this analysis allows a straightforward modularisation, and that individual modules may be represented with indentation in the bl...

This paper presents a modular and extensible style of language speci cation based on metacomputations. This style uses two monads to factor the static and dynamic parts of the speci cation, thereby staging the speci cation and achieving strong binding-time separation. Because metacomputations are de ned in terms of monads, they can be constructed modularly and extensibly using monad transformer...

In this paper, the effects of two different Particle Size Distributions (PSD) on packingbehavior of ideal rigid spherical nanoparticles using a novel packing model based on parallelalgorithms have been reported. A mersenne twister algorithm was used to generate pseudorandomnumbers for the particles initial coordinates. Also, for this purpose a nanosized tetragonal confinedcontainer with a squar...

Structured catalysts formed from the growth of zeolites on substrates is an area of increasing interest due to the increased efficiency of the catalytic process, and the ability to provide superior heat transfer and thermal conductivity for both exothermic and endothermic processes. However, the generation of structured catalysts represents a significant challenge when balancing the relationshi...

Concept maps, or mind maps as learning tools mirror the knowledge constructed through observation of events or objects in relation to the concepts already known. Different types of computer based concept mapping tools allow various forms of expressions and the versatility of some special tools promote their use from providing course maps for users to adaptations of learners knowledge maps. Modu...

The formal development method of VSE (Veriication Support Environment) for state-based systems is based on a variant of TLA. VSE supports structured speciications, modular reenements, and also modular proofs. There are applications where one wants (or has) to consider an indeenite number of processes or even processes that are created and deleted dynamically. The general problem that arises in ...

Electron paramagnetic resonance (EPR)-based hybrid experimental and computational approaches were applied to determine the structure of a full-length E. coli integral membrane sulfurtransferase, dimeric YgaP, and its structural and dynamic changes upon ligand binding. The solution NMR structures of the YgaP transmembrane domain (TMD) and cytosolic catalytic rhodanese domain were reported recent...

Novel recursive formulations of Block Pseudocirculant Matrices, which are reordered using stride permutations, lead to fully structured higher order Block Pseudocirculants, termed Super Block Pseudocirculant Matrices. These matrices provide a unified framework to develop highly modular parallel cyclic convolution architectures as well as to develop reduced complexity parallel FIR filtering cons...

Modular neural networks structured as associative memories are capable of processing inputs built from tensorial products of vectors. In this context, the operators of propositional and modal logic can be represented as modular distributed memories that can process not only classical Boolean but also fuzzy evaluations of truth-values of sentences. Furthermore, projecting memory outputs onto uni...