Graphene Liquid Cells Assembled through Loop‐Assisted Transfer Method and Located with Correlated Light‐Electron Microscopy

Graphene liquid cells (GLCs) for transmission electron microscopy (TEM) enable high‐resolution, real‐time imaging of dynamic processes in water. Large‐scale implementation, however, is prevented by major difficulties in reproducing GLC fabrication. Here, a high‐yield method is presented to fabricate GLCs under millimeter areas of continuous graphene, facilitating efficient GLC formation on a TEM grid. Additionally, GLCs are located on the grid using correlated light‐electron microscopy (CLEM), which reduces beam damage by limiting electron exposure time. CLEM allows the acquisition of reliable statistics and the investigation of the most common shapes of GLCs. In particular, a novel type of liquid cell is found, formed from only a single graphene sheet, greatly simplifying the fabrication process. The methods presented in this work—particularly the reproducibility and simplicity of fabrication—will enable future application of GLCs for high‐resolution dynamic imaging of biomolecular systems.     

Applications of Hierarchical Reasoning in the Verification of Complex Systems

In this paper we show how hierarchical reasoning can be used to verify properties of complex systems. Chains of local theory extensions are used to model a case study taken from the European Train Control System (ETCS) standard, but considerably simplified. We show how testing invariants and bounded model checking (for safety properties expressed by universally quantified formulae, depending on certain parameters of the systems) can automatically be reduced to checking satisfiability of ground formulae over a base theory.     

Bilingualism reduces native-language interference during novel-word learning.

The goal of the present work was to examine the effects of bilingualism on adults’ ability to resolve cross-linguistic inconsistencies in orthography-to-phonology mappings during novel-word learning. English monolinguals and English–Spanish bilinguals learned artificially constructed novel words that overlapped with English orthographically but diverged from English phonologically. Native-language orthographic information presented during learning interfered with encoding of novel words in monolinguals but not in bilinguals. In general, bilinguals outperformed monolinguals on the word-learning task. These findings indicate that knowledge of 2 languages facilitates word learning and shields English–Spanish bilinguals from interference associated with cross-linguistic inconsistencies in letter-to-phoneme mappings. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Sorption of some textile dyes by beech wood sawdust

The purpose of this paper is to establish the experimental conditions for removal of several textile dyes from aqueous solutions by sorption on beech wood sawdust, an industrial waste lignocellulosic product. From the six dyes tested, the sorbent shows preference for three dyes: Direct Brown, Direct Brown 2 and Basic Blue 86. Sorption of dyes on the beech wood sawdust is dependent on the nature of dye, pH, dyes concentration, contact time, and amount of sorbent. By comparative kinetic studies, the rate of sorption was found to conform with good correlation to pseudo-second-order kinetics. The parameters that characterize the sorption were determined on the basis of Langmuir isotherms. The preference of beech sawdust for dyes increases as follows: Basic Blue 86相似文献   

Model rheological equations of state in the linear viscoelasticity of polymeric composites

Summary The utility of model rheological equations of state is now a well established question in case of polymeric materials. Using the viscoelastic operators method, we indicate the possibility to derive such equations on the basis of mechanical models to be used for polymeric composite materials.     

Automated theorem proving by resolution in non-classical logics

This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem proving. We present several classes of non-classical logics, many of which are of great practical relevance in knowledge representation, which can be translated into tractable and relatively simple fragments of classical logic. In this context, we show that refinements of resolution can often be used successfully for automated theorem proving, and in many interesting cases yield optimal decision procedures.     

Establishing the archaeo‐metallurgic ornamentation process of an axe from the bronze age by OM,SEM‐EDX,and Micro‐FTIR

Our article presents the results of the analyses we performed by corroborating the Optical Microscopy, Scanning Electron Microscopy, Energy Dispersive Xray Analysis and micro Fourier Transformed InfraRed Analysis techniques to identify the archaeo‐metallurgic casting and ornamentation procedure of a decorated disk‐butted axe, which was discovered recently east of the Carpathian mountains, in the Moldavian Plateau. There are few known axes of that type found (A1, according to the usual typologies), as they are specific to the Middle Bronze Age period west of the Carpathians—the Wietenberg, Suciu de Sus, and Otomani‐Füzesabony cultures. The experimental data on the item under study revealed the fact that after casting it in molds made from porous silicone‐based stone, the object was coated with a thin layer, by immersing it in a lightly fusible tin alloy, whose main alloy component was copper and arsenic and iron as secondary components. After refining the shiny white layer, they applied a beautiful decoration pattern made by incision and engraving. This battle axe was an indication of higher status, such items usually being owned by community leaders. This important fact proves that the ancient metallurgic craftsmen were able to elaborate and manufacture various alloys from which they made beautiful objects and it also offers a new insight into the social and symbolic function of certain antique bronze items. Microsc. Res. Tech. 77:918–927, 2014. © 2014 Wiley Periodicals, Inc.     

Biotic and Abiotic Sequestration of Selenium in Anoxic Coal Waste Rock

Mobile selenium oxyanions (\({\text{S}}{{\text{e}}^{{\text{VI}}}}{\text{O}}_{4}^{{2 - }}\) and \({\text{S}}{{\text{e}}^{{\text{IV}}}}{\text{O}}_{3}^{{2 - }}\)) can be sequestered by biotic or abiotic reduction to non-mobile species or by adsorption to mineral surfaces. Microbial analyses and geochemical batch testing with samples collected from a coal waste rock dump in the Elk Valley, British Columbia, Canada were conducted to assess whether Se can be sequestered in anoxic, waste rock by these mechanisms. Bacteria that reduce Se(IV) and Se(VI) to Se(0) were isolated from the waste rock. Isolates that reduce Se(IV) to Se(0) were present in a water sample collected from an underlying rock drain. Three isolates were affiliated with Pseudomonas and Arthrobacter. One isolate was a putatively novel species. The production of Se(0) was confirmed by X-ray absorption near edge spectroscopy of a red precipitate isolated from a broth media containing rock-drain water. No adsorption or reduction of Se(VI) was observed in anoxic, abiotic (sterile) batch tests conducted with waste rock and a 1.0 mg/L Se(VI) solution, whereas Se(IV) was adsorbed by the waste rock and subsequently reduced to Se(0) in abiotic batch tests with a 0.7 mg/L Se(IV) solution. In non-sterile batch tests using waste rock and rock-drain water (0.39 mg/L Se(VI)), Se(VI) was biologically reduced to Se(IV), which was subsequently removed from solution by a combination of bioreduction, adsorption, and possibly abiotic reduction. This study suggests that, under anoxic conditions, Se sequestration in waste rock may occur via biotic reduction of Se(VI) to Se(IV) followed by adsorption of Se(IV) and abiotic and biotic reduction of Se(IV) to Se(0).