Searching and retrieving in content-based repositories of formal mathematical knowledge

In this thesis, the author presents a query language for an RDF (Resource Description Framework) database and discusses its applications in the context of the HELM project (the Hypertextual Electronic Library of Mathematics). This language aims at meeting the main requirements coming from the RDF community. in particular it includes: a human readable textual syntax and a machine-processable XML (Extensible Markup Language) syntax both for queries and for query results, a rigorously exposed formal semantics, a graph-oriented RDF data access model capable of exploring an entire RDF graph (including both RDF Models and RDF Schemata), a full set of Boolean operators to compose the query constraints, fully customizable and highly structured query results having a 4-dimensional geometry, some constructions taken from ordinary programming languages that simplify the formulation of complex queries. The HELM project aims at integrating the modern tools for the automation of formal reasoning with the most recent electronic publishing technologies, in order create and maintain a hypertextual, distributed virtual library of formal mathematical knowledge. In the spirit of the Semantic Web, the documents of this library include RDF metadata describing their structure and content in a machine-understandable form. Using the author's query engine, HELM exploits this information to implement some functionalities allowing the interactive and automatic retrieval of documents on the basis of content-aware requests that take into account the mathematical nature of these documents.

Singular Temperatures Connected to Charge Transport Mechanism Transitions in Perylene Bisimides from Steady-State Photocurrent Measurements

Perylene bisimides (PBIs) are n-type semiconducting and photogenerating materials widely used in a variety of optoelectronic devices. Particularly interesting are PBIs that are simultaneously water-soluble and liquid-crystalline (PBI-W+LC) and, thus, attractive for the development of high-performing easily processable applications in biology and “green” organic electronics. In this work, singular temperatures connected to charge transport mechanism transitions in a PBI-W+LC derivative are determined with high accuracy by means of temperature-dependent photocurrent studies. These singular temperatures include not only the ones observed at 60 and 110 °C, corresponding to phase transition temperatures from crystalline to liquid-crystalline (LC) and from LC to the isotropic phase, respectively, as confirmed by differential scanning calorimetry (DSC), but also a transition at 45 °C, not observed by DSC. By analyzing the photocurrent dependence simultaneously on temperature and on light intensity, this transition is interpreted as a change from monomolecular to bimolecular recombination. These results might be useful for other semiconducting photogenerating materials, not necessarily PBIs or even organic semiconductors, which also show transport behavior changes at singular temperatures not connected with structural or phase transitions.

Computer-aided programming using formally specificed design templates

This paper describes a formal component language, used to support automated component-based program development. The components, referred to as templates, are machine processable, meaning that appropriate tool support, such as retrieval support, can be developed. The templates are highly adaptable, meaning that they can be applied to a wide range of problems. Some of the main features of the language are described, including: higher-order parameters; state variable declarations; specification statements and conditionals; applicability conditions and theories; meta-level place holders; and abstract data structures.

Adapting workflows to intelligent environments

Intelligent environments aim at supporting the user in executing her everyday tasks, e.g. by guiding her through a maintenance or cooking procedure. This requires a machine processable representation of the tasks for which workflows have proven an efficient means. The increasing number of available sensors in intelligent environments can facilitate the execution of workflows. The sensors can help to recognize when a user has finished a step in the workflow and thus to automatically proceed to the next step. This can heavily reduce the amount of required user interaction. However, manually specifying the conditions for triggering the next step in a workflow is very cumbersome and almost impossible for environments which are not known at design time. In this paper, we present a novel approach for learning and adapting these conditions from observation. We show that the learned conditions can even outperform the quality as conditions manually specified by workflow experts. Thus, the presented approach is very well suited for automatically adapting workflows in intelligent environments and can in that way increase the efficiency of the workflow execution. © 2011 IEEE.

Synthesis, thermal processing, and thin film morphology of poly(3-hexylthiophene)-poly(styrenesulfonate) block copolymers

A series of novel block copolymers, processable from single organic solvents and subsequently rendered amphiphilic by thermolysis, have been synthesized using Grignard metathesis (GRIM) and reversible addition-fragmentation chain transfer (RAFT) polymerizations and azide-alkyne click chemistry. This chemistry is simple and allows the fabrication of well-defined block copolymers with controllable block lengths. The block copolymers, designed for use as interfacial adhesive layers in organic photovoltaics to enhance contact between the photoactive and hole transport layers, comprise printable poly(3-hexylthiophene)-block-poly(neopentyl p-styrenesulfonate), P3HT-b-PNSS. Subsequently, they are converted to P3HT-b-poly(p-styrenesulfonate), P3HT-b-PSS, following deposition and thermal treatment at 150 °C. Grazing incidence small- and wide-angle X-ray scattering (GISAXS/GIWAXS) revealed that thin films of the amphiphilic block copolymers comprise lamellar nanodomains of P3HT crystallites that can be pushed further apart by increasing the PSS block lengths. The approach of using a thermally modifiable block allows deposition of this copolymer from a single organic solvent and subsequent conversion to an amphiphilic layer by nonchemical means, particularly attractive to large scale roll-to-roll industrial printing processes.

Polymerisable octahedral rhenium cluster complexes as precursors for photo/electroluminescent polymers

New polymerisable photoluminescent octahedral rhenium cluster complexes trans-[{Re6Q8}(TBP)4(VB)2] (Q = S or Se; TBP-p-tert-butylpyridine; VB-vinyl benzoate) have been synthesised, characterised and used to construct rhenium cluster-organic polymer hybrid materials. These novel polymer systems are solution-processable and the rhenium clusters retain their photoluminescent properties within the polymer environment. Notably, when the rhenium cluster complexes are incorporated into the matrix of the electroluminescent polymer poly(N-vinylcarbazole), the resultant cluster polymer hybrid combined properties of both components and was used successfully in the construction of a polymer light emitting diode (PLED). These prototype devices are the first PLEDs to incorporate octahedral rhenium clusters and provide the first direct evidence of the electroluminescent properties of rhenium clusters and indeed, to the best of our knowledge, of any member of the family of 24-electron hexanuclear cluster complexes of molybdenum, tungsten or rhenium.

Design, synthesis and thermal behaviour of a series of well-defined clickable and triggerable sulfonate polymers

In the printing industry, the exploitation of triggerable materials that can have their surface properties altered on application of a post-deposition external stimulus has been crucial for the production of robust layers and patterns. To this end, herein, a series of clickable poly(R-alkyl p-styrene sulfonate) homopolymers, with systematically varied thermally-labile protecting groups, has been synthesised via reversible addition-fragmentation chain transfer (RAFT) polymerisation. The polymer range has been designed to offer varied post-deposition thermal treatment to switch them from hydrophobic to hydrophilic. Suitable RAFT conditions have been identified to produce well-defined homopolymers (Đ, Mw/Mn < 1.11 in all cases) at high monomer conversions (>80% for all but one monomer) with controllable molar mass. Poly(p-styrene sulfonate) with an isobutyl protecting group has been shown to be the most readily thermolysed polymer that remains stable at room temperature, and was thus investigated further by incorporation into a diblock copolymer, P3HT-b-PiBSS, by click chemistry. The strategy for preparation of thermal modifiable block copolymers exploiting R-protected p-styrene sulfonates and azide-alkyne click chemistry presented herein allows the design of new, roll-to-roll processable materials for potential application in the printing industry, particularly organic electronics.

Consequences of interorganizational information systems: An empirical investigation of the effects of EDI use on interorganizational relationships in the retail industry

This dissertation examines the consequences of Electronic Data Interchange (EDI) use on interorganizational relations (IR) in the retail industry. EDI is a type of interorganizational information system that facilitates the exchange of business documents in structured, machine processable form. The research model links EDI use and three IR dimensions--structural, behavioral, and outcome. Based on relevant literature from organizational theory and marketing channels, fourteen hypotheses were proposed for the relationships among EDI use and the three IR dimensions.^ Data were collected through self-administered questionnaires from key informants in 97 retail companies (19% response rate). The hypotheses were tested using multiple regression analysis. The analysis supports the following hypothesis: (a) EDI use is positively related to information intensity and formalization, (b) formalization is positively related to cooperation, (c) information intensity is positively related to cooperation, (d) conflict is negatively related to performance and satisfaction, (e) cooperation is positively related to performance, and (f) performance is positively related to satisfaction. The results support the general premise of the model that the relationship between EDI use and satisfaction among channel members has to be viewed within an interorganizational context.^ Research on EDI is still in a nascent stage. By identifying and testing relevant interorganizational variables, this study offers insights for practitioners managing boundary-spanning activities in organizations using or planning to use EDI. Further, the thesis provides avenues for future research aimed at understanding the consequences of this interorganizational information technology. ^

Multiscale morphology design of hybrid halide perovskites through a polymeric template

Hybrid halide perovskites have emerged as promising active constituents of next generation solution processable optoelectronic devices. During their assembling process, perovskite components undergo very complex dynamic equilibria starting in solution and progressing throughout film formation. Finding a methodology to control and affect these equilibria, responsible for the unique morphological diversity observed in perovskite films, constitutes a fundamental step towards a reproducible material processability. Here we propose the exploitation of polymer matrices as cooperative assembling components of novel perovskite CH3NH3PbI3 : polymer composites, in which the control of the chemical interactions in solution allows a predictable tuning of the final film morphology. We reveal that the nature of the interactions between perovskite precursors and polymer functional groups, probed by Nuclear Magnetic Resonance (NMR) spectroscopy and Dynamic Light Scattering (DLS) techniques, allows the control of aggregates in solution whose characteristics are strictly maintained in the solid film, and permits the formation of nanostructures that are inaccessible to conventional perovskite depositions. These results demonstrate how the fundamental chemistry of perovskite precursors in solution has a paramount influence on controlling and monitoring the final morphology of CH3NH3PbI3 (MAPbI3) thin films, foreseeing the possibility of designing perovskite : polymer composites targeting diverse optoelectronic applications.

A four-directional non-fullerene acceptor based on tetraphenylethylene and diketopyrrolopyrrole functionalities for efficient photovoltaic devices with a high open-circuit voltage of 1.18 V

Through the conjunction of tetraphenylethylene and diketopyrrolopyrrole functionalities, a novel four-directional non-fullerene electron acceptor (denoted as 4D) was designed, synthesized and characterized. The new chromophore is highly soluble (for instance >30 mg mL(-1) in o-dichlorobenzene), thermally stable, and exhibits energy levels matching those of the conventional and routinely used donor polymer poly(3-hexyl thiophene). A power conversion efficiency of 3.86% was obtained in solution-processable bulk-heterojunction devices with a very high open circuit voltage of 1.18 V.