The Event-B method, and its tools, provide a way to formally model systems; Tasking Event-B is an extension facilitating code generation. We have recently begun to explore how we can configure the code generator, for deployment on different target systems. In this paper, we describe how templates can be used to avoid hard-coding ‘boilerplate’ code, and how to merge this with code generated from...

Abstract Nanocasting is a convenient way for preparing highly porous, nanostructured soft materials. Mesoporous polymer nanocasts have been reported over decade, however, several aspects remain to be explored further. To do so, we report comprehensive investigation of the physicochemical characteristics high surface area functional organic polymers and copolymers obtained by nanocasting. Diviny...

a straightforward approach for the extraction of the quercetin was carried out by a nanoporous molecularly imprinted acrylic acid-based network copolymer as asolid sorbent. this technique involves a molecular template (quercetin) which is surrounded by functional monomers and are subsequently co-polymerized in the presence of an excess of the cross linkers. in this process, three-dimensional bi...

Carbon monoliths were tested as electrodes for vanadium redox batteries. The materials synthesised by a hard-templating route, employing sucrose carbon precursor and sodium chloride crystals the hard template. For preparation process, both ball-milled together molten into paste which was hot-pressed to achieve polycondensation of monolith. resultant material pyrolysed in nitrogen at 750 °C, the...

OBJECTIVES To compare the intra-osseous temperature reached during bone drilling for dental implant placement using open versus closed static surgical guides and evaluate influence of density, osteotomy depth, irrigation fluid temperature. MATERIAL AND METHODS 960 osteotomies were performed with 2 mm pilot drills in 16 solid rigid polyurethane foam blocks. Two main variables considered: guide t...

In this study, a novel solid dendrimer amine (hyperbranched polymers) was prepared using mesoporous carbon nitride functionalized by melamine based dendrimer amines. This adsorbent was denoted MDA-MCN-1. The process was stepwise synthesis and hard-templating method using mesoporous silica SBA-15 as a template. Cyanuric chloride and N,N-diisopropylethylamine (DIPEA, Merck) were used for function...

An insufficiently appreciated paradox in the origin of life is that the replication of information-carrying molecules requires the molecules to be very specifically shaped; but such specific molecules are hard to produce without natural selection. We demonstrate and investigate this problem by building a physical model of self-replication out of specifically shaped plastic pieces with embedded ...