28 research outputs found

    MAPLE preparation and characterization of mixed arylenevinylene based oligomers:C60 layers

    Get PDF
    This paper presents some studies about the preparation by matrix-assisted pulsed laser evaporation (MAPLE) of mixed layers based on two arylenevinylene oligomers, 1,4-bis [4-(N,Nâ€Č-diphenylamino)phenylvinyl] benzene (L78) and 3,3â€Č-bis(N-hexylcarbazole)vinylbenzene (L13) as donor and buckminsterfullerene (C60) as acceptor, blended in three different weight ratios: 1:1, 1:2 and 1:3. The optical, morphological, structural and electrical properties of these mixed layers have been investigated emphasizing the effect of the layer composition and of the significant degree of disorder. I–V characteristics have revealed typically solar cell behaviour for the heterostructures prepared with mixed layers containing L78 (L13) and fullerene blended in a weight ratio of 1:2. The solar cell structure glass/ITO/L13:C60/Al has shown the best parameters

    Naturally Embedded Query Languages

    Get PDF
    We investigate the properties of a simple programming language whose main computational engine is structural recursion on sets. We describe a progression of sublanguages in this paradigm that (1) have increasing expressive power, and (2) illustrate robust conceptual restrictions thus exhibiting interesting additional properties. These properties suggest that we consider our sublanguages as candidates for "query languages". Viewing query languages as restrictions of our more general programming language has several advantages. First, there is no "impedance mismatch" problem; the query languages are already there, so they share common semantic foundation with the general language. Second, we suggest a uniform characterization of nested relational and complex-object algebras in terms of some surprisingly simple operators; and we can make comparisons of expressiveness in a general framework. Third, we exhibit differences in expressive power that are not always based on complexity arguments..

    Comprehension Syntax

    Get PDF
    The syntax of comprehensions is very close to the syntax of a number of practical database query languages and is, we believe, a better starting point than first-order logic for the development of database languages. We give an informal account of a language based on comprehension syntax that deals uniformly with a variety of collection types; it also includes pattern matching, variant types and function definition. We show, again informally, how comprehension syntax is a natural fragment of structural recursion, a much more powerful programming paradigm for collection types. We also show that a very small "abstract syntax language" can serve as a basis for the implementation and optimization of comprehension syntax

    MAPLE prepared heterostructures with oligoazomethine: Fullerene derivative mixed layer for photovoltaic applications

    Get PDF
    Mixed layers of azomethine oligomers containing 2,5-diamino-3,4-dicyanothiophene as central unit and triphenylamine (LV5) or carbazol (LV4) at both ends as donor and fullerene derivative, [6,6]-phenyl-C61 butyric acid butyl ester ([C60]PCB-C4) as acceptor, have been prepared by Matrix Assisted Pulsed Laser Evaporation (MAPLE) on glass/ITO and Si substrates. The effect of weight ratio between donor and acceptor (1:1; 1:2) and solvent type (chloroform, dimethylsulphoxide) on the optical (UV–vis transmission/absorption, photoluminescence) and morphological properties of LV4 (LV5): [C60]PCB-C4 mixed layers has been evidenced. Dark and under illumination I–V characteristics of the heterostructures realized with these mixed layers sandwiched between ITO and Al electrodes have revealed a solar cell behavior for the heterostructures prepared with both LV4 and LV5 using chloroform as matrix solvent. The solar cell structure realized with oligomer LV5, glass/ITO/LV5: [C60]PCB-C4 (1:1) has shown the best parameters

    Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference

    Get PDF
    Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and appropriate for database applications. In particular, a function that selects a field f of a records is polymorphic in the sense that it can be applied to any record which contains a field f with the appropriate type. When combined with a set data type and database operations including join and projection, this provides a natural medium for relational database programming. Moreover, by implementing database objects as reference types and generating the appropriate views — sets of structures with “identity ” — we can achieve a degree of static type checking for object-oriented databases.
    corecore