Publications associées à Algèbre de Boole (structure)

Steric hindrance at metal centre quenches green phosphorescence of cationic iridium(III) complexes with 1-(2-pyridyl)-pyrazoles

Michael Graetzel, Mohammad Khaja Nazeeruddin, Rosario Scopelliti

Cationic cyclometalated iridium(III) complexes (N,C-2'-2-phenylpyridyl)(2)Ir((NN)-N-boolean AND) with alkyl-substituted 1-(2'-pyridyl)-pyrazole (NN)-N-boolean AND ligands exhibit green phosphorescence from a cyclometalating-ligand-centered excited s ...

Elsevier2013

Extreme Tuning of Redox and Optical Properties of Cationic Cyclometalated Iridium(III) Isocyanide Complexes

Michael Graetzel, Mohammad Khaja Nazeeruddin, Rosario Scopelliti

We report seven heteroleptic cationic iridium(III) complexes with cyclometalating N-arylazoles and alkyl/aryl isocyanides, ((CN)-N-boolean AND)(2)Ir(CNR)(2), and characterize two of them by crystal structure analysis. The complexes are air- and m ...

American Chemical Society2013

Near-UV to red-emitting charged bis-cyclometallated iridium(III) complexes for light-emitting electrochemical cells

Michael Graetzel, Mohammad Khaja Nazeeruddin, Rosario Scopelliti, Davide Di Censo

Herein we report a series of charged iridium complexes emitting from near-UV to red using carbene-based (NC)-C-boolean AND: ancillary ligands. Synthesis, photophysical and electrochemical properties of this series are described in detail together with X-ra ...

Royal Society of Chemistry2012

Bright Blue Phosphorescence from Cationic Bis-Cyclometalated Iridium(III) Isocyanide Complexes

Michael Graetzel, Mohammad Khaja Nazeeruddin, Rosario Scopelliti

We report new bis-cyclometalated cationic indium(III) complexes ((CN)-N-boolean AND)(2)Ir(CN-tert-Bu)(2) that have tert-butyl isocyanides as neutral auxiliary ligands and 2-phenylpyridine or 2-(4'-fluoropheny1)-R-pyridines (where R is 4-methoxy, ...

2012

Sets with Cardinality Constraints in Satisfiability Modulo Theories

Viktor Kuncak, Philippe Paul Henri Suter, Robin Steiger

Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that can express constraints on sets of elements and their cardinalities. Problems from verification of complex properties of software often contain fragments that belong to quantifier- ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

Bio-Inspired Self-Testing and Self-Organizing Processing Arrays

Joël Rossier

Inspired by the basic processes of molecular biology, our previous studies resulted in defining a configurable molecule implementing self-replication and self-repair mechanisms made up of simple processes. The goal of our paper is to add error detection fe ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2010

Ordered Sets in the Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints with a rich set of operations. A key challenge is to define such classes of ...

Springer2010

Causal semantics for the algebra of connectors

Joseph Sifakis, Simon Bliudze

The Algebra of Connectors AC(P) is used to model structured interactions in the BIP component framework. Its terms are connectors, relations describing synchronization constraints between the ports of component-based systems. Connectors are structured comb ...

Springer Verlag2010

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Algèbre de Boole (structure)

Steric hindrance at metal centre quenches green phosphorescence of cationic iridium(III) complexes with 1-(2-pyridyl)-pyrazoles

Extreme Tuning of Redox and Optical Properties of Cationic Cyclometalated Iridium(III) Isocyanide Complexes

Near-UV to red-emitting charged bis-cyclometallated iridium(III) complexes for light-emitting electrochemical cells

Bright Blue Phosphorescence from Cationic Bis-Cyclometalated Iridium(III) Isocyanide Complexes

Consistent Digital Line Segments

Sets with Cardinality Constraints in Satisfiability Modulo Theories

A Global Version Of The Darboux Theorem With Optimal Regularity And Dirichlet Condition

Bio-Inspired Self-Testing and Self-Organizing Processing Arrays

Ordered Sets in the Calculus of Data Structures

Causal semantics for the algebra of connectors

Graph Chatbot

Chattez avec Graph Search

Consistent Digital Line Segments

Bio-Inspired Self-Testing and Self-Organizing Processing Arrays

Steric hindrance at metal centre quenches green phosphorescence of cationic iridium(III) complexes with 1-(2-pyridyl)-pyrazoles

A Global Version Of The Darboux Theorem With Optimal Regularity And Dirichlet Condition

Ordered Sets in the Calculus of Data Structures

Near-UV to red-emitting charged bis-cyclometallated iridium(III) complexes for light-emitting electrochemical cells

Causal semantics for the algebra of connectors

Extreme Tuning of Redox and Optical Properties of Cationic Cyclometalated Iridium(III) Isocyanide Complexes

Sets with Cardinality Constraints in Satisfiability Modulo Theories

Bright Blue Phosphorescence from Cationic Bis-Cyclometalated Iridium(III) Isocyanide Complexes