Fabrication of polystyrene latex nanostructures by nanomanipulation and thermal processing

The capability to fabricate nanoscale structures is a fundamental step toward realizing the promise and potential of nanotechnology. We report on precise manipulation and thermal processing using 100-nm polystyrene latex nanoparticles. This approach is illustrated by fabricating a three-dimensional nanostructure by using an AFM tip to position nanoparticles and then thermally processing to "sinter" the particles to form a contiguous, stable structure. We suggest that this is a general approach, but the use of polystyrene latex particles offers an advantage of low-temperature processing. Use of polystyrene latex also extends the range of materials for which we have demonstrated manipulation and suggests applications including fluorescent doping and electrically conducting polymers.     

Performance heuristics for GR(1) synthesis and related algorithms

Acta Informatica - Reactive synthesis for the GR(1) fragment of LTL has been implemented and studied in many works. In this work we present and evaluate a list of heuristics to potentially reduce...     

A framework for relating syntactic and semantic model differences

Model differencing is an important activity in model-based development processes. Differences need to be detected, analyzed, and understood to evolve systems and explore alternatives. Two distinct approaches have been studied in the literature: syntactic differencing, which compares the concrete or abstract syntax of models, and semantic differencing, which compares models in terms of their meaning. Syntactic differencing identifies change operations that transform the syntactical representation of one model to the syntactical representation of the other. However, it does not explain their impact on the meaning of the model. Semantic model differencing is independent of syntactic changes and presents differences as elements in the semantics of one model but not the other. However, it does not reveal the syntactic changes causing these semantic differences. We define Diffuse, a language-independent, abstract framework, which relates syntactic change operations and semantic difference witnesses. We formalize fundamental relations of necessary, exhibiting, and sufficient sets of change operations and analyze their properties. We further demonstrate concrete instances of the Diffuse framework for three different popular modeling languages, namely class diagrams, activity diagrams, and feature models. The Diffuse framework provides a novel foundation for combining syntactic and semantic differencing.     

Effect of agitation, turbidity, aluminium foil reflectors and container volume on the inactivation efficiency of batch-process solar disinfectors

We report the results of experiments designed to improve the efficacy of the solar disinfection of drinking water, inactivation process. The effects of periodic agitation, covering the rear surface of the container with aluminium foil, container volume and turbidity on the solar inactivation kinetics of Escherichia coli (starting population = 10(6) CFU ml(-1)) were investigated. It was shown that agitation promoted the release of dissolved oxygen from water with subsequent decrease in the inactivation rates of E. coli. In contrast, covering the rear surface of the solar disinfection container with aluminium foil improved the inactivation efficiency of the system. The mean decay constant for bacterial populations in foil-backed bottles was found to be a factor of 1.85 (std. dev. = 0.43) higher than that of non-foil-backed bottles. Inactivation rates decrease as turbidity increases. However, total inactivation was achievable in 300 NTU samples within 8 h exposure to strong sunshine. Inactivation kinetics was not dependent on the volume of the water container for volumes in the range 500-1500 ml.     

Oriented Multiwalled Organic–Co(OH)2 Nanotubes for Energy Storage

In energy storage materials, large surface areas and oriented structures are key architecture design features for improving performance through enhanced electrolyte access and efficient electron conduction pathways. Layered hydroxides provide a tunable materials platform with opportunities for achieving such nanostructures via bottom‐up syntheses. These nanostructures, however, can degrade in the presence of the alkaline electrolytes required for their redox‐based energy storage. A layered Co(OH)₂–organic hybrid material that forms a hierarchical structure consisting of micrometer‐long, 30 nm diameter tubes with concentric curved layers of Co(OH)₂ and 1‐pyrenebutyric acid is reported. The nanotubular structure offers high surface area as well as macroscopic orientation perpendicular to the substrate for efficient electron transfer. Using a comparison with flat films of the same composition, it is demonstrated that the superior performance of the nanotubular films is the result of a large accessible surface area for redox activity. It is found that the organic molecules used to template nanotubular growth also impart stability to the hybrid when present in the alkaline environments necessary for redox function.     

A reduction approach to the two-campus transport problem

The two-campus transport problem (TCTP) is a dial-a-ride problem with only two destinations. The problem is motivated by a transport problem between two campuses of an academic college. The two campuses are located in two different cities. Lecturers living in one city are sometimes asked to teach at the other city’s campus. The problem is that of transporting the lecturers from one campus to the other, using a known set of vehicles, so as to minimize the time the lecturers wait for their transport. We mathematically model the general TCTP, and provide an algorithm that solves it, which is polynomial in the number of lecturers. The algorithm is based on a reduction to a shortest path problem.     

Polymorphic scenario-based specification models: semantics and applications

We present polymorphic scenarios, a generalization of a UML2-compliant variant of Damm and Harel??s live sequence charts (LSC) in the context of object-orientation. Polymorphic scenarios are visualized using (modal) sequence diagrams where lifelines may represent classes and interfaces rather than concrete objects. Their semantics takes advantage of inheritance and interface realization to allow the specification of most expressive, succinct, and reusable universal and existential inter-object scenarios for object-oriented system models. We motivate the use of polymorphic scenarios, formally define their trace-based semantics, and present their application for scenario-based testing and execution, as implemented in the S2A compiler developed at the Weizmann Institute of Science. We further discuss advanced semantic issues arising from the use of scenarios in a polymorphic setting, suggest possible extensions, present a UML profile to support polymorphic scenarios, consider the application of the polymorphic semantics to other variants of scenario-based specification languages, and position our work in the broader context of behavioral subtyping.     

Equilibrium segregation of Ti to Au–sapphire interfaces

Equilibrium segregation of Ti to Au–sapphire interfaces was measured from dewetted Au(Ti) films on the (0001) surface of sapphire. Quantitative energy dispersive spectroscopy was used to determine a Ti excess at the Au–sapphire interface of 2.2 Ti atoms/nm², which together with an excess of 4.6 Ti atoms/nm² at the (0001) sapphire surface, is associated with a decrease in the solid–solid Au–sapphire interface energy. Quantitative high resolution transmission electron microscopy showed that the segregated Ti is distributed within a 1.54-nm thick intergranular film at the Au–sapphire interface, which is not a bulk phase but rather an equilibrium interface state. As a result, Ti segregation without the formation of a bulk reaction at the interface is associated with a decreased interface energy, improved wetting, and may be an important part of the total complex mechanism responsible for improved wetting and spreading in “reactive” braze systems.