A low cost structured light system

The aim of this paper is to present the current development status of a low cost system for surface reconstruction with structured light. The acquisition system is composed of a single off-the-shelf digital camera and a pattern projector. A pattern codification strategy was developed to allow the pattern recognition automatically and a calibration methodology ensures the determination of the direction vector of each pattern. The experiments indicated that an accuracy of 0.5mm in depth could be achieved for typical applications.

A ferrovia e o automóvel: ícones da modernidade na cidade de Bauru (1917-1939)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Variáveis influenciadoras da continuidade ou descontinuidade de parcerias de Teletandem à luz da teoria da atividade

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Stabilization for an ensemble of half-spin systems

Feedback stabilization of an ensemble of non interacting half spins described by the Bloch equations is considered. This system may be seen as an interesting example for infinite dimensional systems with continuous spectra. We propose an explicit feedback law that stabilizes asymptotically the system around a uniform state of spin +1/2 or -1/2. The proof of the convergence is done locally around the equilibrium in the H-1 topology. This local convergence is shown to be a weak asymptotic convergence for the H-1 topology and thus a strong convergence for the C topology. The proof relies on an adaptation of the LaSalle invariance principle to infinite dimensional systems. Numerical simulations illustrate the efficiency of these feedback laws, even for initial conditions far from the equilibrium. (C) 2011 Elsevier Ltd. All rights reserved.

Valence band tail states in disordered superlattices embedded in wide parabolic AlGaAs well

Optical properties of intentionally disordered multiple quantum well (QW) system embedded in a wide AlGaAs parabolic well were investigated by photoluminescence (PL) measurements as functions of the laser excitation power and the temperature. The characterization of the carriers localized in the individual wells was allowed due to the artificial disorder that caused spectral separation of the photoluminescence lines emitted by different wells. We observed that the photoluminescence peak intensity from each quantum well shifted to high energy as the excitation power was increased. This blue-shift is associated with the filling of localized states in the valence band tail. We also found that the dependence of the peak intensity on the temperature is very sensitive to the excitation power. The temperature dependence of the photoluminescence peak energy from each QW was well fitted using a model that takes into account the thermal redistribution of the localized carriers. Our results demonstrate that the band tails in the studied structures are caused by alloy potential fluctuations and the band tail states dominate the emission from the peripheral wells. (C) 2012 American Institute of Physics. [http://dx.doi.org/10.1063/1.4730769]

Multichromophore Systeme auf Basis von Rylencarbonsäureimiden

Die Leistung multichromophorer Systeme geht oftmals über die der einzelnen Chromophor-Einheiten hinaus. Ziel der vorliegenden Dissertation mit dem Titel „Multichromophore Systeme auf Basis von Rylencarbonsäureimiden“ war daher die Synthese und Charakterisierung multichromophorer Molekülarchitekturen. Die verwendeten Rylenfarbstoffe zeichnen sich durch hohe photochemische Stabilitäten sowie nahezu quantitative Fluoreszenzquantenausbeuten aus. Die optischen und elektronischen Eigenschaften multichromophorer Systeme hängen stark von der geometrischen Ordnung ab, in der die Farbstoffe zueinander stehen. Daher wurden für den Einbau formpersistente Gerüststrukturen gewählt. Der erste Teil der Arbeit beschäftigt sich mit dem Einbau ein und desselben Chromophortyps und hat neben dem Verständnis von Chromophor-Wechselwirkungen vor allem die Erhöhung des Absorptionsquerschnitts und der Fluoreszenzintensität zum Ziel. Als Gerüststruktur dienen dabei Polyphenylen-Dendrimere, Ethinyl-verbrückte Dendrimere sowie Übergangsmetall-vermittelte supramolekulare Strukturen. Aufgrund der hohen Farbstoffanzahl, des ortsdefinierten Einbaus und den hohen Fluoreszenzquantenausbeuten eignen sich diese multichromophoren Systeme als Fluoreszenzsonden und als Einzelphotonenemitter. Im zweiten Teil der Arbeit werden verschiedene Chromophortypen zu multichromophoren Systemen verknüpft, mit deren Hilfe ein vektorieller Energietransfer möglich ist. Mit Hinsicht auf die Verwendung in photovoltaischen Zellen wurde eine dendritische Triade dargestellt. Eine lineare Variante einer Rylen-Triade stellt einen molekularen Draht dar, deren Brückenelement durch eine geeignete Syntheseführung verlängert und der Energietransport daher abstandsabhängig untersucht werden kann.

S-0 and S-1 State Structure, Methyl Torsional Barrier Heights, and Fast Intersystem Crossing Dynamics of 5-Methyl-2-hydroxypyrimidine

We report the analysis of the SI So rotational band contours of jet-cooled 5-methyl-2-hydroxypyrimidine (5M2HP), the enol form of deoxythymine. Unlike thymine, which exhibits a structureless spectrum, the vibronic spectrum of 5M2HP is well structured, allowing us to determine the rotational constants and the methyl group torsional barriers in the S-0 and S-1 states. The 0(0)(0), 6a(0)(1), 6b(0)(1), and 14(0)(1) band contours were measured at 900 MHz (0.03 cm(-1)) resolution using mass-specific two-color resonant two-photon ionization (2C-R2PI) spectroscopy. All four bands are polarized perpendicular to the pyrimidine plane (>90% c type), identifying the S-1 <- S-0 excitation of 5M2HP as a 1n pi* transition. All contours exhibit two methyl rotor subbands that arise from the lowest 5-methyl torsional states 0A '' and 1E ''. The S-0 and S-1 state torsional barriers were extracted from fits to the torsional subbands. The 3-fold barriers are V-3 '' = 13 cm(-1) and V3' = SI cm(-1); the 6-fold barrier contributions V-6 '' and V-6' are in the range of 2-3 cm(-1) and are positive in both states. The changes of A, B, and C rotational constants upon S-1 <- S-0 excitation were extracted from the contours and reflect an "anti-quinoidal" distortion. The 0(0)(0) contour can only be simulated if a 3 GHz Lorentzian line shape is included, which implies that the S-1(1n pi*) lifetime is similar to 55 ps. For the 6a(0)(1) and 6b(0)(1) bands, the Lorentzian component increases to 5.5 GHz, reflecting a lifetime decrease to similar to 30 ps. The short lifetimes are consistent with the absence of fluorescence from the 1n pi* state. Combining these measurements with the previous observation of efficient intersystem crossing (ISC) from the Si state to a long-lived T-1((3)n pi*) state that lies similar to 2200 cm(-1) below [S. Lobsiger, S. et al. Phys. Chem. Chem. Phys. 2010, 12, 5032] implies that the broadening arises from fast intersystem crossing with k(ISC) approximate to 2 x 10(10) s(-1). In comparison to 5-methylpyrimidine, the ISC rate is enhanced by at least 10 000 by the additional hydroxy group in position 2.

From Broadstone to Zackenberg

Ecological networks are typically complex constructions of species and their interactions. During the last decade, the study of networks has moved from static to dynamic analyses, and has attained a deeper insight into their internal structure, heterogeneity, and temporal and spatial resolution. Here, we review, discuss and suggest research lines in the study of the spatio-temporal heterogeneity of networks and their hierarchical nature. We use case study data from two well-characterized model systems (the food web in Broadstone Stream in England and the pollination network at Zackenberg in Greenland), which are complemented with additional information from other studies. We focus upon eight topics: temporal dynamic space-for-time substitutions linkage constraints habitat borders network modularity individual-based networks invasions of networks and super networks that integrate different network types. Few studies have explicitly examined temporal change in networks, and we present examples that span from daily to decadal change: a common pattern that we see is a stable core surrounded by a group of dynamic, peripheral species, which, in pollinator networks enter the web via preferential linkage to the most generalist species. To some extent, temporal and spatial scales are interchangeable (i.e. networks exhibit ‘ergodicity’) and we explore how space-for-time substitutions can be used in the study of networks. Network structure is commonly constrained by phenological uncoupling (a temporal phenomenon), abundance, body size and population structure. Some potential links are never observed, that is they are ‘forbidden’ (fully constrained) or ‘missing’ (a sampling effect), and their absence can be just as ecologically significant as their presence. Spatial habitat borders can add heterogeneity to network structure, but their importance has rarely been studied: we explore how habitat generalization can be related to other resource dimensions. Many networks are hierarchically structured, with modules forming the basic building blocks, which can result in self-similarity. Scaling down from networks of species reveals another, finer-grained level of individual-based organization, the ecological consequences of which have yet to be fully explored. The few studies of individual-based ecological networks that are available suggest the potential for large intraspecific variance and, in the case of food webs, strong size-structuring. However, such data are still scarce and more studies are required to link individual-level and species-level networks. Invasions by alien species can be tracked by following the topological ‘career’ of the invader as it establishes itself within a network, with potentially important implications for conservation biology. Finally, by scaling up to a higher level of organization, it is possible to combine different network types (e.g. food webs and mutualistic networks) to form super networks, and this new approach has yet to be integrated into mainstream ecological research. We conclude by listing a set of research topics that we see as emerging candidates for ecological network studies in the near future.

Transition bei angeborenen Herzfehlern in der Schweiz

Die Chance, mit einem angeborenen Herzfehler erwachsen zu werden, liegt mittlerweile bei über 90 %. Trotz aller Erfolge der Medizin können Herzfehler auch nach erfolgreicher Korrektur nicht als geheilt betrachtet werden. Langzeitkomplikationen im Sinn von Herzrhythmusstörungen, Herzinsuffizienz, embolischen Ereignissen, Endokarditis, oder Reoperationen aufgrund residualer Befunde oder Klappendegenerationen sind häufig. Aus diesem Grund wird für eine Vielzahl angeborener Herzfehler eine lebenslange spezialisierte Betreuung empfohlen. Jugendliche mit Herzfehlern müssen darauf vorbereitet werden, im Erwachsenenalter Eigenverantwortung zu übernehmen. Dazu ist eine strukturierte Transition ein entscheidender Vorteil. Dadurch werden einerseits Jugendliche selbst auf ihre Erwachsenenrolle vorbereitet und andererseits kann ein adäquater Transfer der Betreuung vom Kinder- zum Erwachsenenmediziner gewährleistet werden. Jugendliche ohne Transfer und ohne spezialisierte Betreuung im Erwachsenenalter haben ein erhöhtes Risiko, kardiovaskuläre Komplikationen zu erleiden. Es wurde gezeigt, dass die Mortalität bei angeborenen Herzfehlern bei Erwachsenen mit spezialisierter Betreuung geringer ist als bei Patienten ohne entsprechende Betreuung. Am Beispiel des Zentrums für angeborene Herzfehler in Bern wird aufgezeigt, wie eine pflegegeleitete Transitionssprechstunde aufgebaut und erfolgreich umgesetzt werden kann.

Comparative adsorption of spherical argon and flexible n-butane in carbon slit pores - a GCMC computer simulation study

In this paper we investigate the difference between the adsorption of spherical molecule argon (at 87.3 K) and the flexible normal butane (at an equivalent temperature of 150 K) in carbon slit pores. These temperatures are equivalent in the sense that they have the same relative distances between their respective triple points and critical points. Higher equivalent temperatures are also studied (122.67 K for argon and 303 K for n-butane) to investigate the effects of temperature on the 2D-transition in adsorbed density. The Grand Canonical Monte Carlo simulation is used to study the adsorption of these two model adsorbates. Beside the longer computation times involved in the computation of n-butane adsorption, n-butane exhibits many interesting behaviors such as: (i) the onset of adsorption occurs sooner (in terms of relative pressure), (ii) the hysteresis for 2D- and 3D-transitions is larger, (iii) liquid-solid transition is not possible, (iv) 2D-transition occurs for n-butane at 150 K while it does not happen for argon except for pores that accommodate two layers of molecules, (v) the maximum pore density is about four times less than that of argon and (vi) the sieving pore width is slightly larger than that for argon. Finally another feature obtained from the Grand Canonical Monte Carlo (GCMC) simulation is the configurational arrangement of molecules in pores. For spherical argon, the arrangement is rather well structured, while for n-butane the arrangement depends very much on the pore size. (C) 2004 Elsevier B.V. All rights reserved.

[Fe(μ-btzmp)2(btzmp)2](ClO4)2:a doubly-bridged 1D spin-transition bistetrazole-based polymer showing thermal hysteresis behaviour

The reaction of btzmp (1,2-bis(tetrazol-1-yl)-2-methylpropane) with Fe(ClO4)2 generates a 1D polymeric species, [Fe(μ-btzmp)2(btzmp)2](ClO4)2, showing a steep spin transition (T½↑ = 136 K and T ½↓ = 133 K) with a 3 K thermal hysteresis. The crystal structure at 100 and 200 K reveals that, in contrast to other bistetrazole based spin-transition systems such as [Fe(endi)3](BF4)2 and [Fe(btzp)3](ClO4)2, the present compound has only two ligands bridging the metallic centres, while the other two coordination positions are occupied by two mono-coordinated (non-bridging) btzmp ligands. This peculiarity confers an unprecedented crystal packing in the series of 1D bistetrazole based polymers. The change in spin state is accompanied by an order/disorder transition of the ClO4- counterion. A careful examination of the structural changes occurring upon the spin transition indicates that this order/disorder is most likely affected by the modification of the [tetrazole-centroid]-ND-Fe angle (which is typical of bistetrazole spin-transition materials). Apart from X-ray analysis, also magnetic susceptibility, Mössbauer and UV-vis spectroscopies have been used to characterise the HS and the LS states of [Fe(µ-btzmp)2(btzmp)2](ClO4)2. © The Royal Society of Chemistry.

Performance management of event processing systems

This thesis is a study of performance management of Complex Event Processing (CEP) systems. Since CEP systems have distinct characteristics from other well-studied computer systems such as batch and online transaction processing systems and database-centric applications, these characteristics introduce new challenges and opportunities to the performance management for CEP systems. Methodologies used in benchmarking CEP systems in many performance studies focus on scaling the load injection, but not considering the impact of the functional capabilities of CEP systems. This thesis proposes the approach of evaluating the performance of CEP engines’ functional behaviours on events and develops a benchmark platform for CEP systems: CEPBen. The CEPBen benchmark platform is developed to explore the fundamental functional performance of event processing systems: filtering, transformation and event pattern detection. It is also designed to provide a flexible environment for exploring new metrics and influential factors for CEP systems and evaluating the performance of CEP systems. Studies on factors and new metrics are carried out using the CEPBen benchmark platform on Esper. Different measurement points of response time in performance management of CEP systems are discussed and response time of targeted event is proposed to be used as a metric for quality of service evaluation combining with the traditional response time in CEP systems. Maximum query load as a capacity indicator regarding to the complexity of queries and number of live objects in memory as a performance indicator regarding to the memory management are proposed in performance management of CEP systems. Query depth is studied as a performance factor that influences CEP system performance.

Statistical dialog management for health interventions

Research endeavors on spoken dialogue systems in the 1990s and 2000s have led to the deployment of commercial spoken dialogue systems (SDS) in microdomains such as customer service automation, reservation/booking and question answering systems. Recent research in SDS has been focused on the development of applications in different domains (e.g. virtual counseling, personal coaches, social companions) which requires more sophistication than the previous generation of commercial SDS. The focus of this research project is the delivery of behavior change interventions based on the brief intervention counseling style via spoken dialogue systems. ^ Brief interventions (BI) are evidence-based, short, well structured, one-on-one counseling sessions. Many challenges are involved in delivering BIs to people in need, such as finding the time to administer them in busy doctors' offices, obtaining the extra training that helps staff become comfortable providing these interventions, and managing the cost of delivering the interventions. Fortunately, recent developments in spoken dialogue systems make the development of systems that can deliver brief interventions possible. ^ The overall objective of this research is to develop a data-driven, adaptable dialogue system for brief interventions for problematic drinking behavior, based on reinforcement learning methods. The implications of this research project includes, but are not limited to, assessing the feasibility of delivering structured brief health interventions with a data-driven spoken dialogue system. Furthermore, while the experimental system focuses on harmful alcohol drinking as a target behavior in this project, the produced knowledge and experience may also lead to implementation of similarly structured health interventions and assessments other than the alcohol domain (e.g. obesity, drug use, lack of exercise), using statistical machine learning approaches. ^ In addition to designing a dialog system, the semantic and emotional meanings of user utterances have high impact on interaction. To perform domain specific reasoning and recognize concepts in user utterances, a named-entity recognizer and an ontology are designed and evaluated. To understand affective information conveyed through text, lexicons and sentiment analysis module are developed and tested.^

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

Statistical Dialog Management for Health Interventions

Research endeavors on spoken dialogue systems in the 1990s and 2000s have led to the deployment of commercial spoken dialogue systems (SDS) in microdomains such as customer service automation, reservation/booking and question answering systems. Recent research in SDS has been focused on the development of applications in different domains (e.g. virtual counseling, personal coaches, social companions) which requires more sophistication than the previous generation of commercial SDS. The focus of this research project is the delivery of behavior change interventions based on the brief intervention counseling style via spoken dialogue systems. Brief interventions (BI) are evidence-based, short, well structured, one-on-one counseling sessions. Many challenges are involved in delivering BIs to people in need, such as finding the time to administer them in busy doctors' offices, obtaining the extra training that helps staff become comfortable providing these interventions, and managing the cost of delivering the interventions. Fortunately, recent developments in spoken dialogue systems make the development of systems that can deliver brief interventions possible. The overall objective of this research is to develop a data-driven, adaptable dialogue system for brief interventions for problematic drinking behavior, based on reinforcement learning methods. The implications of this research project includes, but are not limited to, assessing the feasibility of delivering structured brief health interventions with a data-driven spoken dialogue system. Furthermore, while the experimental system focuses on harmful alcohol drinking as a target behavior in this project, the produced knowledge and experience may also lead to implementation of similarly structured health interventions and assessments other than the alcohol domain (e.g. obesity, drug use, lack of exercise), using statistical machine learning approaches. In addition to designing a dialog system, the semantic and emotional meanings of user utterances have high impact on interaction. To perform domain specific reasoning and recognize concepts in user utterances, a named-entity recognizer and an ontology are designed and evaluated. To understand affective information conveyed through text, lexicons and sentiment analysis module are developed and tested.