Project acronym 2DNanoSpec
Project Nanoscale Vibrational Spectroscopy of Sensitive 2D Molecular Materials
Researcher (PI) Renato ZENOBI
Host Institution (HI) EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH
Call Details Advanced Grant (AdG), PE4, ERC-2016-ADG
Summary I propose to investigate the nanometer scale organization of delicate 2-dimensional molecular materials using nanoscale vibrational spectroscopy. 2D structures are of great scientific and technological importance, for example as novel materials (graphene, MoS2, WS2, etc.), and in the form of biological membranes and synthetic 2D-polymers. Powerful methods for their analysis and imaging with molecular selectivity and sufficient spatial resolution, however, are lacking. Tip-enhanced Raman spectroscopy (TERS) allows label-free spectroscopic identification of molecular species, with ≈10 nm spatial resolution, and with single molecule sensitivity for strong Raman scatterers. So far, however, TERS is not being carried out in liquids, which is the natural environment for membranes, and its application to poor Raman scatterers such as components of 2D polymers, lipids, or other membrane compounds (proteins, sugars) is difficult. TERS has the potential to overcome the restrictions of other optical/spectroscopic methods to study 2D materials, namely (i) insufficient spatial resolution of diffraction-limited optical methods; (ii) the need for labelling for all methods relying on fluorescence; and (iii) the inability of some methods to work in liquids. I propose to address a number of scientific questions associated with the spatial organization, and the occurrence of defects in sensitive 2D molecular materials. The success of these studies will also rely critically on technical innovations of TERS that notably address the problem of energy dissipation. This will for the first time allow its application to study of complex, delicate 2D molecular systems without photochemical damage.
Summary
I propose to investigate the nanometer scale organization of delicate 2-dimensional molecular materials using nanoscale vibrational spectroscopy. 2D structures are of great scientific and technological importance, for example as novel materials (graphene, MoS2, WS2, etc.), and in the form of biological membranes and synthetic 2D-polymers. Powerful methods for their analysis and imaging with molecular selectivity and sufficient spatial resolution, however, are lacking. Tip-enhanced Raman spectroscopy (TERS) allows label-free spectroscopic identification of molecular species, with ≈10 nm spatial resolution, and with single molecule sensitivity for strong Raman scatterers. So far, however, TERS is not being carried out in liquids, which is the natural environment for membranes, and its application to poor Raman scatterers such as components of 2D polymers, lipids, or other membrane compounds (proteins, sugars) is difficult. TERS has the potential to overcome the restrictions of other optical/spectroscopic methods to study 2D materials, namely (i) insufficient spatial resolution of diffraction-limited optical methods; (ii) the need for labelling for all methods relying on fluorescence; and (iii) the inability of some methods to work in liquids. I propose to address a number of scientific questions associated with the spatial organization, and the occurrence of defects in sensitive 2D molecular materials. The success of these studies will also rely critically on technical innovations of TERS that notably address the problem of energy dissipation. This will for the first time allow its application to study of complex, delicate 2D molecular systems without photochemical damage.
Max ERC Funding
2 311 696 €
Duration
Start date: 2017-09-01, End date: 2022-08-31
Project acronym 9 SALT
Project Reassessing Ninth Century Philosophy. A Synchronic Approach to the Logical Traditions
Researcher (PI) Christophe Florian Erismann
Host Institution (HI) UNIVERSITAT WIEN
Call Details Consolidator Grant (CoG), SH5, ERC-2014-CoG
Summary This project aims at a better understanding of the philosophical richness of ninth century thought using the unprecedented and highly innovative method of the synchronic approach. The hypothesis directing this synchronic approach is that studying together in parallel the four main philosophical traditions of the century – i.e. Latin, Greek, Syriac and Arabic – will bring results that the traditional enquiry limited to one tradition alone can never reach. This implies pioneering a new methodology to overcome the compartmentalization of research which prevails nowadays. Using this method is only possible because the four conditions of applicability – comparable intellectual environment, common text corpus, similar methodological perspective, commensurable problems – are fulfilled. The ninth century, a time of cultural renewal in the Carolingian, Byzantine and Abbasid empires, possesses the remarkable characteristic – which ensures commensurability – that the same texts, namely the writings of Aristotelian logic (mainly Porphyry’s Isagoge and Aristotle’s Categories) were read and commented upon in Latin, Greek, Syriac and Arabic alike.
Logic is fundamental to philosophical enquiry. The contested question is the human capacity to rationalise, analyse and describe the sensible reality, to understand the ontological structure of the world, and to define the types of entities which exist. The use of this unprecedented synchronic approach will allow us a deeper understanding of the positions, a clear identification of the a priori postulates of the philosophical debates, and a critical evaluation of the arguments used. It provides a unique opportunity to compare the different traditions and highlight the heritage which is common, to stress the specificities of each tradition when tackling philosophical issues and to discover the doctrinal results triggered by their mutual interactions, be they constructive (scholarly exchanges) or polemic (religious controversies).
Summary
This project aims at a better understanding of the philosophical richness of ninth century thought using the unprecedented and highly innovative method of the synchronic approach. The hypothesis directing this synchronic approach is that studying together in parallel the four main philosophical traditions of the century – i.e. Latin, Greek, Syriac and Arabic – will bring results that the traditional enquiry limited to one tradition alone can never reach. This implies pioneering a new methodology to overcome the compartmentalization of research which prevails nowadays. Using this method is only possible because the four conditions of applicability – comparable intellectual environment, common text corpus, similar methodological perspective, commensurable problems – are fulfilled. The ninth century, a time of cultural renewal in the Carolingian, Byzantine and Abbasid empires, possesses the remarkable characteristic – which ensures commensurability – that the same texts, namely the writings of Aristotelian logic (mainly Porphyry’s Isagoge and Aristotle’s Categories) were read and commented upon in Latin, Greek, Syriac and Arabic alike.
Logic is fundamental to philosophical enquiry. The contested question is the human capacity to rationalise, analyse and describe the sensible reality, to understand the ontological structure of the world, and to define the types of entities which exist. The use of this unprecedented synchronic approach will allow us a deeper understanding of the positions, a clear identification of the a priori postulates of the philosophical debates, and a critical evaluation of the arguments used. It provides a unique opportunity to compare the different traditions and highlight the heritage which is common, to stress the specificities of each tradition when tackling philosophical issues and to discover the doctrinal results triggered by their mutual interactions, be they constructive (scholarly exchanges) or polemic (religious controversies).
Max ERC Funding
1 998 566 €
Duration
Start date: 2015-09-01, End date: 2020-08-31
Project acronym ACQDIV
Project Acquisition processes in maximally diverse languages: Min(d)ing the ambient language
Researcher (PI) Sabine Erika Stoll
Host Institution (HI) UNIVERSITAT ZURICH
Call Details Consolidator Grant (CoG), SH4, ERC-2013-CoG
Summary "Children learn any language that they grow up with, adapting to any of the ca. 7000 languages of the world, no matter how divergent or complex their structures are. What cognitive processes make this extreme flexibility possible? This is one of the most burning questions in cognitive science and the ACQDIV project aims at answering it by testing and refining the following leading hypothesis: Language acquisition is flexible and adaptive to any kind of language because it relies on a small set of universal cognitive processes that variably target different structures at different times during acquisition in every language. The project aims at establishing the precise set of processes and at determining the conditions of variation across maximally diverse languages. This project focuses on three processes: (i) distributional learning, (ii) generalization-based learning and (iii) interaction-based learning. To investigate these processes I will work with a sample of five clusters of languages including longitudinal data of two languages each. The clusters were determined by a clustering algorithm seeking the structurally most divergent languages in a typological database. The languages are: Cluster 1: Slavey and Cree, Cluster 2: Indonesian and Yucatec, Cluster 3: Inuktitut and Chintang, Cluster 4: Sesotho and Russian, Cluster 5: Japanese and Turkish. For all languages, corpora are available, except for Slavey where fieldwork is planned. The leading hypothesis will be tested against the acquisition of aspect and negation in each language of the sample and also against the two structures in each language that are most salient and challenging in them (e. g. complex morphology in Chintang). The acquisition processes also depend on statistical patterns in the input children receive. I will examine these patterns across the sample with respect to repetitiveness effects, applying data-mining methods and systematically comparing child-directed and child-surrounding speech."
Summary
"Children learn any language that they grow up with, adapting to any of the ca. 7000 languages of the world, no matter how divergent or complex their structures are. What cognitive processes make this extreme flexibility possible? This is one of the most burning questions in cognitive science and the ACQDIV project aims at answering it by testing and refining the following leading hypothesis: Language acquisition is flexible and adaptive to any kind of language because it relies on a small set of universal cognitive processes that variably target different structures at different times during acquisition in every language. The project aims at establishing the precise set of processes and at determining the conditions of variation across maximally diverse languages. This project focuses on three processes: (i) distributional learning, (ii) generalization-based learning and (iii) interaction-based learning. To investigate these processes I will work with a sample of five clusters of languages including longitudinal data of two languages each. The clusters were determined by a clustering algorithm seeking the structurally most divergent languages in a typological database. The languages are: Cluster 1: Slavey and Cree, Cluster 2: Indonesian and Yucatec, Cluster 3: Inuktitut and Chintang, Cluster 4: Sesotho and Russian, Cluster 5: Japanese and Turkish. For all languages, corpora are available, except for Slavey where fieldwork is planned. The leading hypothesis will be tested against the acquisition of aspect and negation in each language of the sample and also against the two structures in each language that are most salient and challenging in them (e. g. complex morphology in Chintang). The acquisition processes also depend on statistical patterns in the input children receive. I will examine these patterns across the sample with respect to repetitiveness effects, applying data-mining methods and systematically comparing child-directed and child-surrounding speech."
Max ERC Funding
1 998 438 €
Duration
Start date: 2014-09-01, End date: 2019-08-31
Project acronym ActionContraThreat
Project Action selection under threat: the complex control of human defense
Researcher (PI) Dominik BACH
Host Institution (HI) UNIVERSITAT ZURICH
Call Details Consolidator Grant (CoG), SH4, ERC-2018-COG
Summary Run away, sidestep, duck-and-cover, watch: when under threat, humans immediately choreograph a large repertoire of defensive actions. Understanding action-selection under threat is important for anybody wanting to explain why anxiety disorders imply some of these behaviours in harmless situations. Current concepts of human defensive behaviour are largely derived from rodent research and focus on a small number of broad, cross-species, action tendencies. This is likely to underestimate the complexity of the underlying action-selection mechanisms. This research programme will take decisive steps to understand these psychological mechanisms and elucidate their neural implementation.
To elicit threat-related action in the laboratory, I will use virtual reality computer games with full body motion, and track actions with motion-capture technology. Based on a cognitive-computational framework, I will systematically characterise the space of actions under threat, investigate the psychological mechanisms by which actions are selected in different scenarios, and describe them with computational algorithms that allow quantitative predictions. To independently verify their neural implementation, I will use wearable magnetoencephalography (MEG) in freely moving subjects.
This proposal fills a lacuna between defence system concepts based on rodent research, emotion psychology, and clinical accounts of anxiety disorders. By combining a stringent experimental approach with the formalism of cognitive-computational psychology, it furnishes a unique opportunity to understand the mechanisms of action-selection under threat, and how these are distinct from more general-purpose action-selection systems. Beyond its immediate scope, the proposal has a potential to lead to a better understanding of anxiety disorders, and to pave the way towards improved diagnostics and therapies.
Summary
Run away, sidestep, duck-and-cover, watch: when under threat, humans immediately choreograph a large repertoire of defensive actions. Understanding action-selection under threat is important for anybody wanting to explain why anxiety disorders imply some of these behaviours in harmless situations. Current concepts of human defensive behaviour are largely derived from rodent research and focus on a small number of broad, cross-species, action tendencies. This is likely to underestimate the complexity of the underlying action-selection mechanisms. This research programme will take decisive steps to understand these psychological mechanisms and elucidate their neural implementation.
To elicit threat-related action in the laboratory, I will use virtual reality computer games with full body motion, and track actions with motion-capture technology. Based on a cognitive-computational framework, I will systematically characterise the space of actions under threat, investigate the psychological mechanisms by which actions are selected in different scenarios, and describe them with computational algorithms that allow quantitative predictions. To independently verify their neural implementation, I will use wearable magnetoencephalography (MEG) in freely moving subjects.
This proposal fills a lacuna between defence system concepts based on rodent research, emotion psychology, and clinical accounts of anxiety disorders. By combining a stringent experimental approach with the formalism of cognitive-computational psychology, it furnishes a unique opportunity to understand the mechanisms of action-selection under threat, and how these are distinct from more general-purpose action-selection systems. Beyond its immediate scope, the proposal has a potential to lead to a better understanding of anxiety disorders, and to pave the way towards improved diagnostics and therapies.
Max ERC Funding
1 998 750 €
Duration
Start date: 2019-10-01, End date: 2024-09-30
Project acronym ALGILE
Project Foundations of Algebraic and Dynamic Data Management Systems
Researcher (PI) Christoph Koch
Host Institution (HI) ECOLE POLYTECHNIQUE FEDERALE DE LAUSANNE
Call Details Starting Grant (StG), PE6, ERC-2011-StG_20101014
Summary "Contemporary database query languages are ultimately founded on logic and feature an additive operation – usually a form of (multi)set union or disjunction – that is asymmetric in that additions or updates do not always have an inverse. This asymmetry puts a greater part of the machinery of abstract algebra for equation solving outside the reach of databases. However, such equation solving would be a key functionality that problems such as query equivalence testing and data integration could be reduced to: In the current scenario of the presence of an asymmetric additive operation they are undecidable. Moreover, query languages with a symmetric additive operation (i.e., which has an inverse and is thus based on ring theory) would open up databases for a large range of new scientific and mathematical applications.
The goal of the proposed project is to reinvent database management systems with a foundation in abstract algebra and specifically in ring theory. The presence of an additive inverse allows to cleanly define differences between queries. This gives rise to a database analog of differential calculus that leads to radically new incremental and adaptive query evaluation algorithms that substantially outperform the state of the art techniques. These algorithms enable a new class of systems which I call Dynamic Data Management Systems. Such systems can maintain continuously fresh query views at extremely high update rates and have important applications in interactive Large-scale Data Analysis. There is a natural connection between differences and updates, motivating the group theoretic study of updates that will lead to better ways of creating out-of-core data processing algorithms for new storage devices. Basing queries on ring theory leads to a new class of systems, Algebraic Data Management Systems, which herald a convergence of database systems and computer algebra systems."
Summary
"Contemporary database query languages are ultimately founded on logic and feature an additive operation – usually a form of (multi)set union or disjunction – that is asymmetric in that additions or updates do not always have an inverse. This asymmetry puts a greater part of the machinery of abstract algebra for equation solving outside the reach of databases. However, such equation solving would be a key functionality that problems such as query equivalence testing and data integration could be reduced to: In the current scenario of the presence of an asymmetric additive operation they are undecidable. Moreover, query languages with a symmetric additive operation (i.e., which has an inverse and is thus based on ring theory) would open up databases for a large range of new scientific and mathematical applications.
The goal of the proposed project is to reinvent database management systems with a foundation in abstract algebra and specifically in ring theory. The presence of an additive inverse allows to cleanly define differences between queries. This gives rise to a database analog of differential calculus that leads to radically new incremental and adaptive query evaluation algorithms that substantially outperform the state of the art techniques. These algorithms enable a new class of systems which I call Dynamic Data Management Systems. Such systems can maintain continuously fresh query views at extremely high update rates and have important applications in interactive Large-scale Data Analysis. There is a natural connection between differences and updates, motivating the group theoretic study of updates that will lead to better ways of creating out-of-core data processing algorithms for new storage devices. Basing queries on ring theory leads to a new class of systems, Algebraic Data Management Systems, which herald a convergence of database systems and computer algebra systems."
Max ERC Funding
1 480 548 €
Duration
Start date: 2012-01-01, End date: 2016-12-31
Project acronym AlgoRNN
Project Recurrent Neural Networks and Related Machines That Learn Algorithms
Researcher (PI) Juergen Schmidhuber
Host Institution (HI) UNIVERSITA DELLA SVIZZERA ITALIANA
Call Details Advanced Grant (AdG), PE6, ERC-2016-ADG
Summary Recurrent neural networks (RNNs) are general parallel-sequential computers. Some learn their programs or weights. Our supervised Long Short-Term Memory (LSTM) RNNs were the first to win pattern recognition contests, and recently enabled best known results in speech and handwriting recognition, machine translation, etc. They are now available to billions of users through the world's most valuable public companies including Google and Apple. Nevertheless, in lots of real-world tasks RNNs do not yet live up to their full potential. Although universal in theory, in practice they fail to learn important types of algorithms. This ERC project will go far beyond today's best RNNs through novel RNN-like systems that address some of the biggest open RNN problems and hottest RNN research topics: (1) How can RNNs learn to control (through internal spotlights of attention) separate large short-memory structures such as sub-networks with fast weights, to improve performance on many natural short-term memory-intensive tasks which are currently hard to learn by RNNs, such as answering detailed questions on recently observed videos? (2) How can such RNN-like systems metalearn entire learning algorithms that outperform the original learning algorithms? (3) How to achieve efficient transfer learning from one RNN-learned set of problem-solving programs to new RNN programs solving new tasks? In other words, how can one RNN-like system actively learn to exploit algorithmic information contained in the programs running on another? We will test our systems existing benchmarks, and create new, more challenging multi-task benchmarks. This will be supported by a rather cheap, GPU-based mini-brain for implementing large RNNs.
Summary
Recurrent neural networks (RNNs) are general parallel-sequential computers. Some learn their programs or weights. Our supervised Long Short-Term Memory (LSTM) RNNs were the first to win pattern recognition contests, and recently enabled best known results in speech and handwriting recognition, machine translation, etc. They are now available to billions of users through the world's most valuable public companies including Google and Apple. Nevertheless, in lots of real-world tasks RNNs do not yet live up to their full potential. Although universal in theory, in practice they fail to learn important types of algorithms. This ERC project will go far beyond today's best RNNs through novel RNN-like systems that address some of the biggest open RNN problems and hottest RNN research topics: (1) How can RNNs learn to control (through internal spotlights of attention) separate large short-memory structures such as sub-networks with fast weights, to improve performance on many natural short-term memory-intensive tasks which are currently hard to learn by RNNs, such as answering detailed questions on recently observed videos? (2) How can such RNN-like systems metalearn entire learning algorithms that outperform the original learning algorithms? (3) How to achieve efficient transfer learning from one RNN-learned set of problem-solving programs to new RNN programs solving new tasks? In other words, how can one RNN-like system actively learn to exploit algorithmic information contained in the programs running on another? We will test our systems existing benchmarks, and create new, more challenging multi-task benchmarks. This will be supported by a rather cheap, GPU-based mini-brain for implementing large RNNs.
Max ERC Funding
2 500 000 €
Duration
Start date: 2017-10-01, End date: 2022-09-30
Project acronym ALPHA
Project Alpha Shape Theory Extended
Researcher (PI) Herbert Edelsbrunner
Host Institution (HI) INSTITUTE OF SCIENCE AND TECHNOLOGYAUSTRIA
Call Details Advanced Grant (AdG), PE6, ERC-2017-ADG
Summary Alpha shapes were invented in the early 80s of last century, and their implementation in three dimensions in the early 90s was at the forefront of the exact arithmetic paradigm that enabled fast and correct geometric software. In the late 90s, alpha shapes motivated the development of the wrap algorithm for surface reconstruction, and of persistent homology, which was the starting point of rapidly expanding interest in topological algorithms aimed at data analysis questions.
We now see alpha shapes, wrap complexes, and persistent homology as three aspects of a larger theory, which we propose to fully develop. This viewpoint was a long time coming and finds its clear expression within a generalized
version of discrete Morse theory. This unified framework offers new opportunities, including
(I) the adaptive reconstruction of shapes driven by the cavity structure;
(II) the stochastic analysis of all aspects of the theory;
(III) the computation of persistence of dense data, both in scale and in depth;
(IV) the study of long-range order in periodic and near-periodic point configurations.
These capabilities will significantly deepen as well as widen the theory and enable new applications in the sciences. To gain focus, we concentrate on low-dimensional applications in structural molecular biology and particle systems.
Summary
Alpha shapes were invented in the early 80s of last century, and their implementation in three dimensions in the early 90s was at the forefront of the exact arithmetic paradigm that enabled fast and correct geometric software. In the late 90s, alpha shapes motivated the development of the wrap algorithm for surface reconstruction, and of persistent homology, which was the starting point of rapidly expanding interest in topological algorithms aimed at data analysis questions.
We now see alpha shapes, wrap complexes, and persistent homology as three aspects of a larger theory, which we propose to fully develop. This viewpoint was a long time coming and finds its clear expression within a generalized
version of discrete Morse theory. This unified framework offers new opportunities, including
(I) the adaptive reconstruction of shapes driven by the cavity structure;
(II) the stochastic analysis of all aspects of the theory;
(III) the computation of persistence of dense data, both in scale and in depth;
(IV) the study of long-range order in periodic and near-periodic point configurations.
These capabilities will significantly deepen as well as widen the theory and enable new applications in the sciences. To gain focus, we concentrate on low-dimensional applications in structural molecular biology and particle systems.
Max ERC Funding
1 678 432 €
Duration
Start date: 2018-07-01, End date: 2023-06-30
Project acronym AMBH
Project Ancient Music Beyond Hellenisation
Researcher (PI) Stefan HAGEL
Host Institution (HI) OESTERREICHISCHE AKADEMIE DER WISSENSCHAFTEN
Call Details Advanced Grant (AdG), SH5, ERC-2017-ADG
Summary From medieval times, Arabic as well as European music was analysed in terms that were inherited from Classical Antiquity and had thus developed in a very different music culture. In spite of recent breakthroughs in the understanding of the latter, whose technicalities we access not only through texts and iconography, but also through instrument finds and surviving notated melodies, its relation to music traditions known from later periods and different places is almost uncharted territory.
The present project explores relations between Hellenic/Hellenistic music as pervaded the theatres and concert halls throughout and beyond the Roman empire, Near Eastern traditions – from the diatonic system emerging from cuneiform sources to the flourishing musical world of the caliphates – and, as far as possible, African musical life south of Egypt as well – a region that maintained close ties both with the Hellenised culture of its northern neighbours and with the Arabian Peninsula.
On the one hand, this demands collaboration between Classical Philology and Arabic Studies, extending methods recently developed within music archaeological research related to the Classical Mediterranean. Arabic writings need to be examined in close reading, using recent insights into the interplay between ancient music theory and practice, in order to segregate the influence of Greek thinking from ideas and facts that must relate to contemporaneous ‘Arabic’ music-making. In this way we hope better to define the relation of this tradition to the ‘Classical world’, potentially breaking free of Orientalising bias informing modern views. On the other hand, the study and reconstruction, virtual and material, of wind instruments of Hellenistic pedigree but found outside the confinements of the Hellenistic ‘heartlands’ may provide evidence of ‘foreign’ tonality employed in those regions – specifically the royal city of Meroë in modern Sudan and the Oxus Temple in modern Tajikistan.
Summary
From medieval times, Arabic as well as European music was analysed in terms that were inherited from Classical Antiquity and had thus developed in a very different music culture. In spite of recent breakthroughs in the understanding of the latter, whose technicalities we access not only through texts and iconography, but also through instrument finds and surviving notated melodies, its relation to music traditions known from later periods and different places is almost uncharted territory.
The present project explores relations between Hellenic/Hellenistic music as pervaded the theatres and concert halls throughout and beyond the Roman empire, Near Eastern traditions – from the diatonic system emerging from cuneiform sources to the flourishing musical world of the caliphates – and, as far as possible, African musical life south of Egypt as well – a region that maintained close ties both with the Hellenised culture of its northern neighbours and with the Arabian Peninsula.
On the one hand, this demands collaboration between Classical Philology and Arabic Studies, extending methods recently developed within music archaeological research related to the Classical Mediterranean. Arabic writings need to be examined in close reading, using recent insights into the interplay between ancient music theory and practice, in order to segregate the influence of Greek thinking from ideas and facts that must relate to contemporaneous ‘Arabic’ music-making. In this way we hope better to define the relation of this tradition to the ‘Classical world’, potentially breaking free of Orientalising bias informing modern views. On the other hand, the study and reconstruction, virtual and material, of wind instruments of Hellenistic pedigree but found outside the confinements of the Hellenistic ‘heartlands’ may provide evidence of ‘foreign’ tonality employed in those regions – specifically the royal city of Meroë in modern Sudan and the Oxus Temple in modern Tajikistan.
Max ERC Funding
775 959 €
Duration
Start date: 2018-09-01, End date: 2023-08-31
Project acronym AMSEL
Project Atomic Force Microscopy for Molecular Structure Elucidation
Researcher (PI) Leo Gross
Host Institution (HI) IBM RESEARCH GMBH
Call Details Consolidator Grant (CoG), PE4, ERC-2015-CoG
Summary Molecular structure elucidation is of great importance in synthetic chemistry, pharmacy, life sciences, energy and environmental sciences, and technology applications. To date structure elucidation by atomic force microscopy (AFM) has been demonstrated for a few, small and mainly planar molecules. In this project high-risk, high-impact scientific questions will be solved using structure elucidation with the AFM employing a novel tool and novel methodologies.
A combined low-temperature scanning tunneling microscope/atomic force microscope (LT-STM/AFM) with high throughput and in situ electrospray deposition method will be developed. Chemical resolution will be achieved by novel measurement techniques, in particular the usage of different and novel tip functionalizations and combination with Kelvin probe force microscopy. Elements will be identified using substructure recognition provided by a database that will be erected and by refined theory and simulations.
The developed tools and techniques will be applied to molecules of increasing fragility, complexity, size, and three-dimensionality. In particular samples that are challenging to characterize with conventional methods will be studied. Complex molecular mixtures will be investigated molecule-by-molecule taking advantage of the single-molecule sensitivity. The absolute stereochemistry of molecules will be determined, resolving molecules with multiple stereocenters. The operation of single molecular machines as nanocars and molecular gears will be investigated. Reactive intermediates generated with atomic manipulation will be characterized and their on-surface reactivity will be studied by AFM.
Summary
Molecular structure elucidation is of great importance in synthetic chemistry, pharmacy, life sciences, energy and environmental sciences, and technology applications. To date structure elucidation by atomic force microscopy (AFM) has been demonstrated for a few, small and mainly planar molecules. In this project high-risk, high-impact scientific questions will be solved using structure elucidation with the AFM employing a novel tool and novel methodologies.
A combined low-temperature scanning tunneling microscope/atomic force microscope (LT-STM/AFM) with high throughput and in situ electrospray deposition method will be developed. Chemical resolution will be achieved by novel measurement techniques, in particular the usage of different and novel tip functionalizations and combination with Kelvin probe force microscopy. Elements will be identified using substructure recognition provided by a database that will be erected and by refined theory and simulations.
The developed tools and techniques will be applied to molecules of increasing fragility, complexity, size, and three-dimensionality. In particular samples that are challenging to characterize with conventional methods will be studied. Complex molecular mixtures will be investigated molecule-by-molecule taking advantage of the single-molecule sensitivity. The absolute stereochemistry of molecules will be determined, resolving molecules with multiple stereocenters. The operation of single molecular machines as nanocars and molecular gears will be investigated. Reactive intermediates generated with atomic manipulation will be characterized and their on-surface reactivity will be studied by AFM.
Max ERC Funding
2 000 000 €
Duration
Start date: 2016-06-01, End date: 2021-05-31
Project acronym AOC
Project Adversary-Oriented Computing
Researcher (PI) Rachid Guerraoui
Host Institution (HI) ECOLE POLYTECHNIQUE FEDERALE DE LAUSANNE
Call Details Advanced Grant (AdG), PE6, ERC-2013-ADG
Summary "Recent technological evolutions, including the cloud, the multicore, the social and the mobiles ones, are turning computing ubiquitously distributed. Yet, building high-assurance distributed programs is notoriously challenging. One of the main reasons is that these systems usually seek to achieve several goals at the same time. In short, they need to be efficient, responding effectively in various average-case conditions, as well as reliable, behaving correctly in severe, worst-case conditions. As a consequence, they typically intermingle different strategies: each to cope with some specific condition, e.g., with or without node failures, message losses, time-outs, contention, cache misses,
over-sizing, malicious attacks, etc. The resulting programs end up hard to design, prove, verify, implement, test and debug. Not surprisingly, there are anecdotal evidences of the fragility of the most celebrated distributed systems.
The goal of this project is to contribute to building high-assurance distributed programs by introducing a new dimension for separating and isolating their concerns, as well as a new scheme for composing and reusing them in a modular manner. In short, the project will explore the inherent power and limitations of a novel paradigm, Adversary-Oriented Computing (AOC). Sub-programs, each implementing a specific strategy to cope with a given adversary, modelling a specific working condition, are designed, proved, verified, implemented, tested and debugged independently. They are then composed, possibly dynamically, as black-boxes within the same global program. The AOC project is ambitious and it seeks to fundamentally revisit the way distributed algorithms are designed and distributed systems are implemented. The gain expected in comparison with today's approaches is substantial, and I believe it will be proportional to the degree of difficulty of the distributed problem at hand."
Summary
"Recent technological evolutions, including the cloud, the multicore, the social and the mobiles ones, are turning computing ubiquitously distributed. Yet, building high-assurance distributed programs is notoriously challenging. One of the main reasons is that these systems usually seek to achieve several goals at the same time. In short, they need to be efficient, responding effectively in various average-case conditions, as well as reliable, behaving correctly in severe, worst-case conditions. As a consequence, they typically intermingle different strategies: each to cope with some specific condition, e.g., with or without node failures, message losses, time-outs, contention, cache misses,
over-sizing, malicious attacks, etc. The resulting programs end up hard to design, prove, verify, implement, test and debug. Not surprisingly, there are anecdotal evidences of the fragility of the most celebrated distributed systems.
The goal of this project is to contribute to building high-assurance distributed programs by introducing a new dimension for separating and isolating their concerns, as well as a new scheme for composing and reusing them in a modular manner. In short, the project will explore the inherent power and limitations of a novel paradigm, Adversary-Oriented Computing (AOC). Sub-programs, each implementing a specific strategy to cope with a given adversary, modelling a specific working condition, are designed, proved, verified, implemented, tested and debugged independently. They are then composed, possibly dynamically, as black-boxes within the same global program. The AOC project is ambitious and it seeks to fundamentally revisit the way distributed algorithms are designed and distributed systems are implemented. The gain expected in comparison with today's approaches is substantial, and I believe it will be proportional to the degree of difficulty of the distributed problem at hand."
Max ERC Funding
2 147 012 €
Duration
Start date: 2014-06-01, End date: 2019-05-31
