Detecting ultrafast interatomic electronic processes in media by fluorescence

Interatomic coulombic decay (ICD), a radiationless transition in weakly bonded systems, such as solutes or van der Waals bound aggregates, is an effective source for electrons of low kinetic energy. So far, the ICD processes could only be probed in ultra-high vacuum by using electron and/or ion spectroscopy. Here we show that resonant ICD processes can also be detected by measuring the subsequently emitted characteristic fluorescence radiation, which makes their study in dense media possible.

Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits

I have designed and implemented a system for the multilevel verification of synchronous MOS VLSI circuits. The system, called Silica Pithecus, accepts the schematic of an MOS circuit and a specification of the circuit's intended digital behavior. Silica Pithecus determines if the circuit meets its specification. If the circuit fails to meet its specification Silica Pithecus returns to the designer the reason for the failure. Unlike earlier verifiers which modelled primitives (e.g., transistors) as unidirectional digital devices, Silica Pithecus models primitives more realistically. Transistors are modelled as bidirectional devices of varying resistances, and nodes are modelled as capacitors. Silica Pithecus operates hierarchically, interactively, and incrementally. Major contributions of this research include a formal understanding of the relationship between different behavioral descriptions (e.g., signal, boolean, and arithmetic descriptions) of the same device, and a formalization of the relationship between the structure, behavior, and context of device. Given these formal structures my methods find sufficient conditions on the inputs of circuits which guarantee the correct operation of the circuit in the desired descriptive domain. These methods are algorithmic and complete. They also handle complex phenomena such as races and charge sharing. Informal notions such as races and hazards are shown to be derivable from the correctness conditions used by my methods.

Fluorescence Assay for Polymerase Arrival Rates

To engineer complex synthetic biological systems will require modular design, assembly, and characterization strategies. The RNA polymerase arrival rate (PAR) is defined to be the rate that RNA polymerases arrive at a specified location on the DNA. Designing and characterizing biological modules in terms of RNA polymerase arrival rates provides for many advantages in the construction and modeling of biological systems. PARMESAN is an in vitro method for measuring polymerase arrival rates using pyrrolo-dC, a fluorescent DNA base that can substitute for cytosine. Pyrrolo-dC shows a detectable fluorescence difference when in single-stranded versus double-stranded DNA. During transcription, RNA polymerase separates the two strands of DNA, leading to a change in the fluorescence of pyrrolo-dC. By incorporating pyrrolo-dC at specific locations in the DNA, fluorescence changes can be taken as a direct measurement of the polymerase arrival rate.

Lower Bounds for Achieving Synchronous Early Stopping Consensus with Orderly Crash Failures

In this paper, we discuss the consensus problem for synchronous distributed systems with orderly crash failures. For a synchronous distributed system of n processes with up to t crash failures and f failures actually occur, first, we present a bivalency argument proof to solve the open problem of proving the lower bound, min (t + 1, f + 2) rounds, for early-stopping synchronous consensus with orderly crash failures, where t < n - 1. Then, we extend the system model with orderly crash failures to a new model in which a process is allowed to send multiple messages to the same destination process in a round and the failing processes still respect the order specified by the protocol in sending messages. For this new model, we present a uniform consensus protocol, in which all non-faulty processes always decide and stop immediately by the end of f + 1 rounds. We prove that the lower bound of early stopping protocols for both consensus and uniform consensus are f + 1 rounds under the new model, and our proposed protocol is optimal.

The use of pulse amplitude modulated fluorescence techniques for metal toxicity assessment in fluvial biofilms

Metal pollution in rivers is in great concern with human activities in the fluvial watershed. This thesis aims to investigate the potential use of chl-a fluorescence parameters as biomarkers of metal toxicity, and to find cause-effect relationships between metal exposures, other environmental factor (i.e. light), and functional and structural biofilm responses. This thesis demonstrates that the use of chl-a fluorescence parameters allows detect early effects on biofilms caused by zinc toxicity, both in the laboratory as in polluted rivers. In microcosm experiments, the use of chl-a fluorescence parameters allows evaluates structural changes on photosynthetic apparatus and in algal groups’ composition of biofilms long-term exposed to zinc. In order to evaluate the effects of chronic metal pollution in rivers, it is recommended the use of biofilm translocation experiments and the use of a multi-biomarker approach.

Analytical methodologies based on X-Ray Fluorescence Spectrometry (XRF) and Inductively Couple Plasma Spectroscopy (ICP) for the assessment of metal dispersal around mining environments

La investigació que es presenta en aquesta tesi es centra en l'aplicació i millora de metodologies analítiques existents i el desenvolupament de nous procediments que poden ser utilitzats per a l'estudi dels efectes ambientals de la dispersió dels metalls entorn a les zones mineres abandonades. En primer lloc, es van aplicar diferents procediments d'extracció simple i seqüencial per a estudiar la mobilitat, perillositat i bio-disponibilitat dels metalls continguts en residus miners de característiques diferents. Per altra banda, per a estudiar les fonts potencials de Pb en la vegetació de les zones mineres d'estudi, una metodologia basada en la utilització de les relacions isotòpiques de Pb determinades mitjançant ICP-MS va ser avaluada. Finalment, tenint en compte l'elevat nombre de mostres analitzades per a avaluar l'impacte de les activitats mineres, es va considerar apropiat el desenvolupament de mètodes analítics d'elevada productivitat. En aquest sentit la implementació d'estratègies quantitatives així com l'aplicació de les millores instrumentals en els equips de XRF han estat avaluades per a aconseguir resultats analítics fiables en l'anàlisi de plantes. A més, alguns paràmetres de qualitat com la precisió, l'exactitud i els límits de detecció han estat curosament determinats en les diverses configuracions de espectròmetres de XRF utilitzats en el decurs d'aquest treball (EDXRF, WDXRF i EDPXRF) per a establir la capacitat de la tècnica de XRF com a tècnica alternativa a les clàssiques comunament aplicades en la determinació d'elements en mostres vegetals.

The role of sketches in supporting near-synchronous remote communication in computer supported collaborative design

This paper presents recent research into the functions and value of sketch outputs during computer supported collaborative design. Sketches made primarily exploiting whiteboard technology are shown to support subjects engaged in remote collaborative design, particularly when constructed in ‘nearsynchronous’ communication. The authors define near-synchronous communication and speculate that it is compatible with the reflective and iterative nature of design activity. There appears to be significant similarities between the making of sketches in near-synchronous remote collaborative design and those made on paper in more traditional face-to-face settings With the current increase in the use of computer supported collaborative working (CSCW) in undergraduate and postgraduate design education it is proposed that sketches and sketching can make important contributions to design learning in this context

Interaction of flavonoids with bovine serum albumin: a fluorescence quenching study

The interaction between four flavonoids (catechin, epicatechin, rutin and quercetin) and bovine serum albumin (BSA) was investigated using tryptophan fluorescence quenching. Quenching constants were determined using the Stern-Volmer equation to provide a measure of the binding affinity between the flavonoids and BSA. The binding affinity was found to be strongest for quercetin, and ranked in the order quercetin>rutin>epicatechin=catechin. The pH in the range of 5 to 7.4 does not affect significantly (p<0.05) the association of rutin, epicatechin and catechin with BSA, but quercetin exhibited a stronger affinity at pH 7.4 than at lower pH (p<0.05). Quercetin has a total quenching effect on BSA tryptophan fluorescence at a molar ratio of 10:1 and rutin at approximately 25:1. However, epicatechin and catechin did not fully quench tryptophan fluorescence over the concentration range studied. Furthermore, the data suggested that the association between flavonoids and BSA did not change molecular conformation of BSA and that hydrogen bonding, ionic and hydrophobic interaction are equally important driving forces for protein-flavonoid association.