Status and perspectives at the new tandem accelerators in IFIN–HH I. Burducea,1 M. Straticiuc,1 D.G. Ghita,1 C.I. Calinescu,1 D.V. Mosu,1 M.S. Dogaru,1 M.M. Gugiu,1 I.V. Popescu,2 Gh. Cata-Danil,1, 3 N. Marginean,1 M.

Source URL: hias.anu.edu.au

• Materials science
• Semiconductor device fabrication
• Particle accelerators
• Nuclear physics
• Ions
• Rutherford backscattering spectrometry
• Măgurele
• Particle-induced X-ray emission
• Ion beam
• Physics
• Science
• Scientific method

PaginaCurriculum vitae al Popescu Dan Pentru mai multe informaţii despre Europass accesaţi http://europass.cedefop.eu.int © Uniunea Europeană,

Source URL: www.mmediu.ro

Efficient PV blends comprising more than two semiconductors Lacramioara Popescu,2 Patrick van ‘t Hof1, Floris Kooistra2, David Kronholm1, Alexander B. Sieval1, and Jan C. Hummelen2* 1. Solenne BV, Zernikepark 12 ,9747

Source URL: www.quantsol.org

• Technology
• Solar cell
• Materials science
• N-type semiconductor
• Photoconductive atomic force microscopy
• Carbon nanotubes in photovoltaics
• Fullerenes
• Chemistry
• Phenyl-C61-butyric acid methyl ester

PDF Document

Source URL: www.unibuc.ro

• Hopf algebras
• Category theory
• F-coalgebra
• Braided Hopf algebra
• Quasi-Hopf algebra
• Connection
• Nicolae Popescu
• Differential topology
• Abstract algebra
• Algebra
• Mathematics

Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu

Source URL: www21.in.tum.de

• Recursion
• Theoretical computer science
• Category theory
• Functional programming
• Higher-order functions
• Corecursion
• Fold
• Coinduction
• Map
• Software engineering
• Computer programming
• Declarative programming

Enabling Workspace Awareness for Collaborative Software Modeling Jae young Bang, Daniel Popescu, Nenad Medvidovic University of Southern California Los Angeles, California, USA {jaeyounb, dpopescu, neno}@usc.edu

Source URL: ronia.net

• Collaboration
• Human–computer interaction
• Multimodal interaction
• Business software
• Collaborative software
• Computer-mediated communication
• Modeling language
• Software design
• Revision control
• Computing
• Software
• Groupware

ENCODING MONOMORPHIC AND POLYMORPHIC TYPES JASMIN CHRISTIAN BLANCHETTE, SASCHA BÖHME, ANDREI POPESCU, AND NICHOLAS SMALLBONE Inria & LORIA, Nancy, France; Max-Planck-Institut für Informatik, Saarbrücken, Germany e-mai

Source URL: www21.in.tum.de

• Metalogic
• Symbol
• Structure
• Interpretation
• First-order logic
• Functional predicate
• Model theory
• Logic
• Mathematical logic

Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o

Source URL: www21.in.tum.de

• Mathematical logic
• Structure
• Interpretation
• First-order logic
• Symbol
• Permutation
• Signature
• Parity of a permutation
• Combinatorial species
• Mathematics
• Model theory
• Logic

Sorina Popescu Discovering and Validating Protein Interactions Boyce Thompson Institute Mission: To advance and communicate scientific knowledge in plant biology to

Source URL: bti.cornell.edu

• Molecular biology
• Microarrays
• Protein methods
• Proteins
• Luciferase
• Oxidoreductases
• Protein microarray
• Calmodulin
• Transfection
• Biology
• Chemistry
• Biochemistry