Project acronym AI4REASON
Project Artificial Intelligence for Large-Scale Computer-Assisted Reasoning
Researcher (PI) Josef Urban
Host Institution (HI) CESKE VYSOKE UCENI TECHNICKE V PRAZE
Call Details Consolidator Grant (CoG), PE6, ERC-2014-CoG
Summary The goal of the AI4REASON project is a breakthrough in what is considered a very hard problem in AI and automation of reasoning, namely the problem of automatically proving theorems in large and complex theories. Such complex formal theories arise in projects aimed at verification of today's advanced mathematics such as the Formal Proof of the Kepler Conjecture (Flyspeck), verification of software and hardware designs such as the seL4 operating system kernel, and verification of other advanced systems and technologies on which today's information society critically depends.
It seems extremely complex and unlikely to design an explicitly programmed solution to the problem. However, we have recently demonstrated that the performance of existing approaches can be multiplied by data-driven AI methods that learn reasoning guidance from large proof corpora. The breakthrough will be achieved by developing such novel AI methods. First, we will devise suitable Automated Reasoning and Machine Learning methods that learn reasoning knowledge and steer the reasoning processes at various levels of granularity. Second, we will combine them into autonomous self-improving AI systems that interleave deduction and learning in positive feedback loops. Third, we will develop approaches that aggregate reasoning knowledge across many formal, semi-formal and informal corpora and deploy the methods as strong automation services for the formal proof community.
The expected outcome is our ability to prove automatically at least 50% more theorems in high-assurance projects such as Flyspeck and seL4, bringing a major breakthrough in formal reasoning and verification. As an AI effort, the project offers a unique path to large-scale semantic AI. The formal corpora concentrate centuries of deep human thinking in a computer-understandable form on which deductive and inductive AI can be combined and co-evolved, providing new insights into how humans do mathematics and science.
Summary
The goal of the AI4REASON project is a breakthrough in what is considered a very hard problem in AI and automation of reasoning, namely the problem of automatically proving theorems in large and complex theories. Such complex formal theories arise in projects aimed at verification of today's advanced mathematics such as the Formal Proof of the Kepler Conjecture (Flyspeck), verification of software and hardware designs such as the seL4 operating system kernel, and verification of other advanced systems and technologies on which today's information society critically depends.
It seems extremely complex and unlikely to design an explicitly programmed solution to the problem. However, we have recently demonstrated that the performance of existing approaches can be multiplied by data-driven AI methods that learn reasoning guidance from large proof corpora. The breakthrough will be achieved by developing such novel AI methods. First, we will devise suitable Automated Reasoning and Machine Learning methods that learn reasoning knowledge and steer the reasoning processes at various levels of granularity. Second, we will combine them into autonomous self-improving AI systems that interleave deduction and learning in positive feedback loops. Third, we will develop approaches that aggregate reasoning knowledge across many formal, semi-formal and informal corpora and deploy the methods as strong automation services for the formal proof community.
The expected outcome is our ability to prove automatically at least 50% more theorems in high-assurance projects such as Flyspeck and seL4, bringing a major breakthrough in formal reasoning and verification. As an AI effort, the project offers a unique path to large-scale semantic AI. The formal corpora concentrate centuries of deep human thinking in a computer-understandable form on which deductive and inductive AI can be combined and co-evolved, providing new insights into how humans do mathematics and science.
Max ERC Funding
1 499 500 €
Duration
Start date: 2015-09-01, End date: 2020-08-31
Project acronym BIOCARDE
Project Biosensing and surface characterization using a Cavity-Ring-Down Ellipsometer
Researcher (PI) Theodore Peter RAKITZIS
Host Institution (HI) IDRYMA TECHNOLOGIAS KAI EREVNAS
Call Details Proof of Concept (PoC), PC1, ERC-2011-PoC
Summary We propose to construct a pre-commercial microsecond-resolved, spectrally broadband, ellipsometer, based on our recently-developed, ERC-funded technique of cavity-ring-down ellipsometry (CRDE), for which we have a US and international (PCT) patents pending.
This BIOCARDE instrument will have unprecedented time resolution and sensitivity, compared to commercial ellipsometers, and will have potential application in the biosensing and surface characterization (semiconductor) industries.
The BIOCARDE instrument will be tested by the Biosensors group at FORTH (Prof. Gizeli), and by our industrial partners SOPRALAB in Paris (world-leading ellipsometry company).
Interest in the instrument will be from three directions:
1) Research groups in the biosensing and surface characterization fields. Instruments will be sold to these groups, which will increase the profile and research scope of CRDE.
2) SOPRALAB, is interested in the enabling technologies of the instrument (the combination of the broad-band laser and microsecond-resolved data acquisition)
3) Biosensing companies, as the BIOCARDE instrument will be made to be compatible with (and tested with) their commercial prisms and biosensing delivery systems, to prove that the new capabilities (microsecond ellipsometric detection) is compatible with their existing technologies.
Summary
We propose to construct a pre-commercial microsecond-resolved, spectrally broadband, ellipsometer, based on our recently-developed, ERC-funded technique of cavity-ring-down ellipsometry (CRDE), for which we have a US and international (PCT) patents pending.
This BIOCARDE instrument will have unprecedented time resolution and sensitivity, compared to commercial ellipsometers, and will have potential application in the biosensing and surface characterization (semiconductor) industries.
The BIOCARDE instrument will be tested by the Biosensors group at FORTH (Prof. Gizeli), and by our industrial partners SOPRALAB in Paris (world-leading ellipsometry company).
Interest in the instrument will be from three directions:
1) Research groups in the biosensing and surface characterization fields. Instruments will be sold to these groups, which will increase the profile and research scope of CRDE.
2) SOPRALAB, is interested in the enabling technologies of the instrument (the combination of the broad-band laser and microsecond-resolved data acquisition)
3) Biosensing companies, as the BIOCARDE instrument will be made to be compatible with (and tested with) their commercial prisms and biosensing delivery systems, to prove that the new capabilities (microsecond ellipsometric detection) is compatible with their existing technologies.
Max ERC Funding
150 000 €
Duration
Start date: 2012-07-01, End date: 2013-12-31
Project acronym CHANGE-POINT TESTS
Project New Results on Structural Change Tests: Theory and Applications
Researcher (PI) Elena Andreou
Host Institution (HI) UNIVERSITY OF CYPRUS
Call Details Starting Grant (StG), SH1, ERC-2007-StG
Summary The research project has two broad objectives and provides novel results in the literature of structural change or change-point tests. The first objective is to provide two new methods for restoring the non-monotone power problem of a large family of structural breaks tests that have been widely used in econometrics and statistics, as well as to show that these methods have additional contributions and can be extended to: (i) tests for a change in persistence, (ii) partial sums tests of cointegration and (iii) tests for changes in dynamic volatility models. The significance of these methods is demonstrated via the consistency of the long-run variance estimator which scales the change-point statistics, the asymptotic properties of the tests, their finite sample performance and their relevance in empirical applications and policy analysis. The second objective is threefold: First, to show that ignoring structural changes in financial time series yields biased and inconsistent risk management (Value at Risk, VaR and Excess Shortfall, ES) estimates and consequently leads to investment misallocations. Second, to propose methods for evaluating the stability of financial time series sequentially or on-line which can be used as a quality control procedure for financial risk management as well as to show that monitoring implied volatilities yields early warning indicators of a changing risk structure. Moreover we show that model averaging in the presence of structural breaks as well as other model uncertainties involved in risk management estimates, can provide robust estimates of VaR and ES. New results are derived on the optimal weights for model averaging in the context of dynamic volatility models and asymmetric loss functions. Third, we propose a novel way to construct prediction-based change-point statistics that reduce the detection delay of existing sequential tests and provide a probability about the likelihood of a structural change.
Summary
The research project has two broad objectives and provides novel results in the literature of structural change or change-point tests. The first objective is to provide two new methods for restoring the non-monotone power problem of a large family of structural breaks tests that have been widely used in econometrics and statistics, as well as to show that these methods have additional contributions and can be extended to: (i) tests for a change in persistence, (ii) partial sums tests of cointegration and (iii) tests for changes in dynamic volatility models. The significance of these methods is demonstrated via the consistency of the long-run variance estimator which scales the change-point statistics, the asymptotic properties of the tests, their finite sample performance and their relevance in empirical applications and policy analysis. The second objective is threefold: First, to show that ignoring structural changes in financial time series yields biased and inconsistent risk management (Value at Risk, VaR and Excess Shortfall, ES) estimates and consequently leads to investment misallocations. Second, to propose methods for evaluating the stability of financial time series sequentially or on-line which can be used as a quality control procedure for financial risk management as well as to show that monitoring implied volatilities yields early warning indicators of a changing risk structure. Moreover we show that model averaging in the presence of structural breaks as well as other model uncertainties involved in risk management estimates, can provide robust estimates of VaR and ES. New results are derived on the optimal weights for model averaging in the context of dynamic volatility models and asymmetric loss functions. Third, we propose a novel way to construct prediction-based change-point statistics that reduce the detection delay of existing sequential tests and provide a probability about the likelihood of a structural change.
Max ERC Funding
517 200 €
Duration
Start date: 2008-09-01, End date: 2013-08-31
Project acronym CHIRALSENSE
Project CHIRALSENSE : Sensing Chirality using cavity-enhanced polarimetry: advances in sensitivity and time-resolution
Researcher (PI) Theodoros Petros Rakitzis
Host Institution (HI) IDRYMA TECHNOLOGIAS KAI EREVNAS
Call Details Proof of Concept (PoC), PC1, ERC-2014-PoC
Summary Chiral sensing is crucial to many fields, constituting a multibillion Euro industry. The polarimetric techniques of optical rotation (OR) and circular dichroism (CD) are the most widely-used techniques for the analysis of chiral samples, ranging from the measurement of protein structure, to quality control in the pharmaceutical, chemical, cosmetic, and food industries. In general, the OR and CD signals are very small, which place severe constraints on detection sensitivity and time-resolution. Through the ERC grant TRICEPS, we have developed a groundbreaking cavity-based polarimeter [Sofikitis et al. Nature 514, 76 (2014)] with 3 main advantages: (a) The OR and CD signals are enhanced by the number of cavity passes (typically 1000); (b) birefringent backgrounds are suppressed; (c) signal reversals give absolute polarimetry measurements, not requiring the sample to be removed to measure a null sample. These advantages represent orders-of-magnitude improvements in sensitivity, acquisition time, and sample size, with respect to commercially available polarimeters, and will reduce measurement time, sample sizes, and costs in the chiral sensing industry. We propose, through CHIRALSENSE, to: (1) file a non-provisional US patent application, to follow our filing of a US provisional patent application for our polarimeter, which will provide IPR protection for the first stages of the product development; (2) demonstrate our existing CHIRALSENSE polarimeter to leading polarimetry companies, by performing measurements on commercial-standard samples; and (3) adapt our polarimeter to measure complex samples separated using HPLC (high-performance liquid chromatography) for analytical chemistry applications, to be demonstrated to leading HPLC companies.
Summary
Chiral sensing is crucial to many fields, constituting a multibillion Euro industry. The polarimetric techniques of optical rotation (OR) and circular dichroism (CD) are the most widely-used techniques for the analysis of chiral samples, ranging from the measurement of protein structure, to quality control in the pharmaceutical, chemical, cosmetic, and food industries. In general, the OR and CD signals are very small, which place severe constraints on detection sensitivity and time-resolution. Through the ERC grant TRICEPS, we have developed a groundbreaking cavity-based polarimeter [Sofikitis et al. Nature 514, 76 (2014)] with 3 main advantages: (a) The OR and CD signals are enhanced by the number of cavity passes (typically 1000); (b) birefringent backgrounds are suppressed; (c) signal reversals give absolute polarimetry measurements, not requiring the sample to be removed to measure a null sample. These advantages represent orders-of-magnitude improvements in sensitivity, acquisition time, and sample size, with respect to commercially available polarimeters, and will reduce measurement time, sample sizes, and costs in the chiral sensing industry. We propose, through CHIRALSENSE, to: (1) file a non-provisional US patent application, to follow our filing of a US provisional patent application for our polarimeter, which will provide IPR protection for the first stages of the product development; (2) demonstrate our existing CHIRALSENSE polarimeter to leading polarimetry companies, by performing measurements on commercial-standard samples; and (3) adapt our polarimeter to measure complex samples separated using HPLC (high-performance liquid chromatography) for analytical chemistry applications, to be demonstrated to leading HPLC companies.
Max ERC Funding
150 000 €
Duration
Start date: 2015-04-01, End date: 2016-09-30
Project acronym CHOBOTIX
Project Chemical Processing by Swarm Robotics
Researcher (PI) Frantisek Stepanek
Host Institution (HI) VYSOKA SKOLA CHEMICKO-TECHNOLOGICKA V PRAZE
Call Details Starting Grant (StG), PE6, ERC-2007-StG
Summary The aim of the project is to develop chemical processing systems based on the principle of swarm robotics. The inspiration for swarm robotics comes from the behaviour of collective organisms – such as bees or ants – that can perform complex tasks by the combined actions of a large number of relatively simple, identical agents. The main scientific challenge of the project will be the design and synthesis of chemical swarm robots (“chobots”), which we envisage as internally structured particulate entities in the 10-100 µm size range that can move in their environment, selectively exchange molecules with their surrounding in response to a local change in temperature or concentration, chemically process those molecules and either accumulate or release the product. Such chemically active autonomous entities can be viewed as very simple pre-biotic life forms, although without the ability to self-replicate or evolve. In the course of the project, the following topics will be explored in detail: (i) the synthesis of suitable shells for chemically active swarm robots, both soft (with a flexible membrane) and hard (porous solid shells); (ii) the mechanisms of molecular transport into and out of such shells and means of its active control; (iii) chemical reaction kinetics in spatially complex compartmental structures within the shells; (iv) collective behaviour of chemical swarm robots and their response to external stimuli. The project will be carried out by a multi-disciplinary team of enthusiastic young researchers and the concepts and technologies developed in course of the project, as well as the advancements in the fundamental understanding of the behaviour of “chemical robots” and their functional sub-systems, will open up new opportunities in diverse areas including next-generation distributed chemical processing, synthesis and delivery of personalised medicines, recovery of valuable chemicals from dilute resources, environmental clean-up, and others.
Summary
The aim of the project is to develop chemical processing systems based on the principle of swarm robotics. The inspiration for swarm robotics comes from the behaviour of collective organisms – such as bees or ants – that can perform complex tasks by the combined actions of a large number of relatively simple, identical agents. The main scientific challenge of the project will be the design and synthesis of chemical swarm robots (“chobots”), which we envisage as internally structured particulate entities in the 10-100 µm size range that can move in their environment, selectively exchange molecules with their surrounding in response to a local change in temperature or concentration, chemically process those molecules and either accumulate or release the product. Such chemically active autonomous entities can be viewed as very simple pre-biotic life forms, although without the ability to self-replicate or evolve. In the course of the project, the following topics will be explored in detail: (i) the synthesis of suitable shells for chemically active swarm robots, both soft (with a flexible membrane) and hard (porous solid shells); (ii) the mechanisms of molecular transport into and out of such shells and means of its active control; (iii) chemical reaction kinetics in spatially complex compartmental structures within the shells; (iv) collective behaviour of chemical swarm robots and their response to external stimuli. The project will be carried out by a multi-disciplinary team of enthusiastic young researchers and the concepts and technologies developed in course of the project, as well as the advancements in the fundamental understanding of the behaviour of “chemical robots” and their functional sub-systems, will open up new opportunities in diverse areas including next-generation distributed chemical processing, synthesis and delivery of personalised medicines, recovery of valuable chemicals from dilute resources, environmental clean-up, and others.
Max ERC Funding
1 644 000 €
Duration
Start date: 2008-06-01, End date: 2013-05-31
Project acronym CHROMTISOL
Project Towards New Generation of Solid-State Photovoltaic Cell: Harvesting Nanotubular Titania and Hybrid Chromophores
Researcher (PI) Jan Macak
Host Institution (HI) UNIVERZITA PARDUBICE
Call Details Starting Grant (StG), PE5, ERC-2014-STG
Summary In photovoltaics (PVs), a significant scientific and technological attention has been given to technologies that have the potential to boost the solar-to-electricity conversion efficiency and to power recently unpowerable devices and objects. The research of various solar cell concepts for diversified applications (building integrated PVs, powering mobile devices) has recently resulted in many innovations. However, designs and concepts of solar cells fulfilling stringent criteria of efficiency, stability, low prize, flexibility, transparency, tunable cell size, esthetics, are still lacking.
Herein, the research focus is given to a new physical concept of a solar cell that explores extremely promising materials, yet unseen and unexplored in a joint device, whose combination may solve traditional solar cells drawbacks (carrier recombination, narrow light absorption).
It features a high surface area interface (higher than any other known PVs concept) based on ordered anodic TiO2 nanotube arrays, homogenously infilled with nanolayers of high absorption coefficient crystalline chalcogenide or organic chromophores using different techniques, yet unexplored for this purpose. After addition of supporting constituents, a solid-state solar cell with an extremely large incident area for the solar light absorption and optimized electron pathways will be created. The CHROMTISOL solar cell concept bears a large potential to outperform existing thin film photovoltaic technologies and concepts due to unique combination of materials and their complementary properties.
The project aims towards important scientific findings in highly interdisciplinary fields. Being extremely challenging and in the same time risky, it is based on feasible ideas and steps, that will result in exciting achievements.
The principal investigator, Jan Macak, has an outstanding research profile in the field of self-organized anodic nanostructures and is an experienced researcher in the photovoltaic field
Summary
In photovoltaics (PVs), a significant scientific and technological attention has been given to technologies that have the potential to boost the solar-to-electricity conversion efficiency and to power recently unpowerable devices and objects. The research of various solar cell concepts for diversified applications (building integrated PVs, powering mobile devices) has recently resulted in many innovations. However, designs and concepts of solar cells fulfilling stringent criteria of efficiency, stability, low prize, flexibility, transparency, tunable cell size, esthetics, are still lacking.
Herein, the research focus is given to a new physical concept of a solar cell that explores extremely promising materials, yet unseen and unexplored in a joint device, whose combination may solve traditional solar cells drawbacks (carrier recombination, narrow light absorption).
It features a high surface area interface (higher than any other known PVs concept) based on ordered anodic TiO2 nanotube arrays, homogenously infilled with nanolayers of high absorption coefficient crystalline chalcogenide or organic chromophores using different techniques, yet unexplored for this purpose. After addition of supporting constituents, a solid-state solar cell with an extremely large incident area for the solar light absorption and optimized electron pathways will be created. The CHROMTISOL solar cell concept bears a large potential to outperform existing thin film photovoltaic technologies and concepts due to unique combination of materials and their complementary properties.
The project aims towards important scientific findings in highly interdisciplinary fields. Being extremely challenging and in the same time risky, it is based on feasible ideas and steps, that will result in exciting achievements.
The principal investigator, Jan Macak, has an outstanding research profile in the field of self-organized anodic nanostructures and is an experienced researcher in the photovoltaic field
Max ERC Funding
1 644 380 €
Duration
Start date: 2015-03-01, End date: 2020-02-29
Project acronym D-FENS
Project Dicer-Dependent Defense in Mammals
Researcher (PI) Petr Svoboda
Host Institution (HI) USTAV MOLEKULARNI GENETIKY AKADEMIE VED CESKE REPUBLIKY VEREJNA VYZKUMNA INSTITUCE
Call Details Consolidator Grant (CoG), LS2, ERC-2014-CoG
Summary Viral infection or retrotransposon expansion in the genome often result in production of double-stranded RNA (dsRNA). dsRNA can be intercepted by RNase III Dicer acting in the RNA interference (RNAi) pathway, an ancient eukaryotic defense mechanism. Notably, endogenous mammalian RNAi appears dormant while its common and unique physiological roles remain poorly understood. A factor underlying mammalian RNAi dormancy is inefficient processing of dsRNA by the full-length Dicer. Yet, a simple truncation of Dicer leads to hyperactive RNAi, which is naturally present in mouse oocytes.
The D-FENS project will use genetic animal models to define common, cell-specific and species-specific roles of mammalian RNAi. D-FENS has three complementary and synergizing objectives:
(1) Explore consequences of hyperactive RNAi in vivo. A mouse expressing a truncated Dicer will reveal at the organismal level any negative effect of hyperactive RNAi, the relationship between RNAi and mammalian immune system, and potential of RNAi to suppress viral infections in mammals.
(2) Define common and species-specific features of RNAi in the oocyte. Functional and bioinformatics analyses in mouse, bovine, and hamster oocytes will define rules and exceptions concerning endogenous RNAi roles, including RNAi contribution to maternal mRNA degradation and co-existence with the miRNA pathway.
(3) Uncover relationship between RNAi and piRNA pathways in suppression of retrotransposons. We hypothesize that hyperactive RNAi in mouse oocytes functionally complements the piRNA pathway, a Dicer-independent pathway suppressing retrotransposons in the germline. Using genetic models, we will explore unique and redundant roles of both pathways in the germline.
D-FENS will uncover physiological significance of the N-terminal part of Dicer, fundamentally improve understanding RNAi function in the germline, and provide a critical in vivo assessment of antiviral activity of RNAi with implications for human therapy.
Summary
Viral infection or retrotransposon expansion in the genome often result in production of double-stranded RNA (dsRNA). dsRNA can be intercepted by RNase III Dicer acting in the RNA interference (RNAi) pathway, an ancient eukaryotic defense mechanism. Notably, endogenous mammalian RNAi appears dormant while its common and unique physiological roles remain poorly understood. A factor underlying mammalian RNAi dormancy is inefficient processing of dsRNA by the full-length Dicer. Yet, a simple truncation of Dicer leads to hyperactive RNAi, which is naturally present in mouse oocytes.
The D-FENS project will use genetic animal models to define common, cell-specific and species-specific roles of mammalian RNAi. D-FENS has three complementary and synergizing objectives:
(1) Explore consequences of hyperactive RNAi in vivo. A mouse expressing a truncated Dicer will reveal at the organismal level any negative effect of hyperactive RNAi, the relationship between RNAi and mammalian immune system, and potential of RNAi to suppress viral infections in mammals.
(2) Define common and species-specific features of RNAi in the oocyte. Functional and bioinformatics analyses in mouse, bovine, and hamster oocytes will define rules and exceptions concerning endogenous RNAi roles, including RNAi contribution to maternal mRNA degradation and co-existence with the miRNA pathway.
(3) Uncover relationship between RNAi and piRNA pathways in suppression of retrotransposons. We hypothesize that hyperactive RNAi in mouse oocytes functionally complements the piRNA pathway, a Dicer-independent pathway suppressing retrotransposons in the germline. Using genetic models, we will explore unique and redundant roles of both pathways in the germline.
D-FENS will uncover physiological significance of the N-terminal part of Dicer, fundamentally improve understanding RNAi function in the germline, and provide a critical in vivo assessment of antiviral activity of RNAi with implications for human therapy.
Max ERC Funding
1 950 000 €
Duration
Start date: 2015-07-01, End date: 2020-06-30
Project acronym D-TECT
Project Does dust triboelectrification affect our climate?
Researcher (PI) Vasileios AMOIRIDIS
Host Institution (HI) NATIONAL OBSERVATORY OF ATHENS
Call Details Consolidator Grant (CoG), PE10, ERC-2016-COG
Summary The recent IPCC report identifies mineral dust and the associated uncertainties in climate projections as key topics for future research. Dust size distribution in climate models controls the dust-radiation-cloud interactions and is a major contributor to these uncertainties. Observations show that the coarse mode of dust can be sustained during long-range transport, while current understanding fails in explaining why the lifetime of large airborne dust particles is longer than expected from gravitational settling theories. This discrepancy between observations and theory suggests that other processes counterbalance the effect of gravity along transport. D-TECT envisages filling this knowledge gap by studying the contribution of the triboelectrification (contact electrification) on particle removal processes. Our hypothesis is that triboelectric charging generates adequate electric fields to hold large dust particles up in the atmosphere. D-TECT aims to (i) parameterize the physical mechanisms responsible for dust triboelectrification; (ii) assess the impact of electrification on dust settling; (iii) quantify the climatic impacts of the process, particularly the effect on the dust size evolution during transport, on dry deposition and on CCN/IN reservoirs, and the effect of the electric field on particle orientation and on radiative transfer. The approach involves the development of a novel specialized high-power lidar system to detect and characterize aerosol particle orientation and a large-scale field experiment in the Mediterranean Basin using unprecedented ground-based remote sensing and airborne in-situ observation synergies. Considering aerosol-electricity interactions, the observations will be used to improve theoretical understanding and simulations of dust lifecycle. The project will provide new fundamental understanding, able to open new horizons for weather and climate science, including biogeochemistry, volcanic ash and extraterrestrial dust research.
Summary
The recent IPCC report identifies mineral dust and the associated uncertainties in climate projections as key topics for future research. Dust size distribution in climate models controls the dust-radiation-cloud interactions and is a major contributor to these uncertainties. Observations show that the coarse mode of dust can be sustained during long-range transport, while current understanding fails in explaining why the lifetime of large airborne dust particles is longer than expected from gravitational settling theories. This discrepancy between observations and theory suggests that other processes counterbalance the effect of gravity along transport. D-TECT envisages filling this knowledge gap by studying the contribution of the triboelectrification (contact electrification) on particle removal processes. Our hypothesis is that triboelectric charging generates adequate electric fields to hold large dust particles up in the atmosphere. D-TECT aims to (i) parameterize the physical mechanisms responsible for dust triboelectrification; (ii) assess the impact of electrification on dust settling; (iii) quantify the climatic impacts of the process, particularly the effect on the dust size evolution during transport, on dry deposition and on CCN/IN reservoirs, and the effect of the electric field on particle orientation and on radiative transfer. The approach involves the development of a novel specialized high-power lidar system to detect and characterize aerosol particle orientation and a large-scale field experiment in the Mediterranean Basin using unprecedented ground-based remote sensing and airborne in-situ observation synergies. Considering aerosol-electricity interactions, the observations will be used to improve theoretical understanding and simulations of dust lifecycle. The project will provide new fundamental understanding, able to open new horizons for weather and climate science, including biogeochemistry, volcanic ash and extraterrestrial dust research.
Max ERC Funding
1 968 000 €
Duration
Start date: 2017-09-01, End date: 2022-08-31
Project acronym DECOR
Project Dynamic assembly and exchange of RNA polymerase II CTD factors
Researcher (PI) Richard Stefl
Host Institution (HI) Masarykova univerzita
Call Details Consolidator Grant (CoG), LS1, ERC-2014-CoG
Summary The C-terminal domain (CTD) of the RNA polymerase II (RNAPII) largest subunit coordinates co-transcriptional processing and it is decorated by many processing factors throughout the transcription cycle. The composition of this supramolecular assembly is diverse and highly dynamic. Many of the factors associate with RNAPII weakly and transiently, and the association is dictated by different post-translational modification patterns and conformational changes of the CTD. To determine how these accessory factors assemble and exchange on the CTD of RNAPII has remained a major challenge. Here, we aim to unravel the structural and mechanistic bases for the dynamic assembly of RNAPII CTD with its processing factors.
Using NMR, we will determine high-resolution structures of several protein factors bound to the CTD carrying specific modifications. This will enable to decode how CTD modification patterns stimulate or prevent binding of a given processing factor. We will also establish the structural and mechanistic bases of proline isomerisation in the CTD that control the timing of isomer-specific protein-protein interactions. Next, we will combine NMR and SAXS approaches to unravel how the overall CTD structure is remodelled by binding of multiple copies of processing factors and how these factors cross-talk with each other. Finally, we will elucidate a mechanistic basis for the exchange of processing factors on the CTD.
Our study will answer the long-standing questions of how the overall CTD structure is modulated on binding to processing factors, and whether these factors cross-talk and compete with each other. The level of detail that we aim to achieve is currently not available for any transient molecular assemblies of such complexity. In this respect, the project will also provide knowledge and methodology for further studies of large and highly flexible molecular assemblies that still remain poorly understood.
Summary
The C-terminal domain (CTD) of the RNA polymerase II (RNAPII) largest subunit coordinates co-transcriptional processing and it is decorated by many processing factors throughout the transcription cycle. The composition of this supramolecular assembly is diverse and highly dynamic. Many of the factors associate with RNAPII weakly and transiently, and the association is dictated by different post-translational modification patterns and conformational changes of the CTD. To determine how these accessory factors assemble and exchange on the CTD of RNAPII has remained a major challenge. Here, we aim to unravel the structural and mechanistic bases for the dynamic assembly of RNAPII CTD with its processing factors.
Using NMR, we will determine high-resolution structures of several protein factors bound to the CTD carrying specific modifications. This will enable to decode how CTD modification patterns stimulate or prevent binding of a given processing factor. We will also establish the structural and mechanistic bases of proline isomerisation in the CTD that control the timing of isomer-specific protein-protein interactions. Next, we will combine NMR and SAXS approaches to unravel how the overall CTD structure is remodelled by binding of multiple copies of processing factors and how these factors cross-talk with each other. Finally, we will elucidate a mechanistic basis for the exchange of processing factors on the CTD.
Our study will answer the long-standing questions of how the overall CTD structure is modulated on binding to processing factors, and whether these factors cross-talk and compete with each other. The level of detail that we aim to achieve is currently not available for any transient molecular assemblies of such complexity. In this respect, the project will also provide knowledge and methodology for further studies of large and highly flexible molecular assemblies that still remain poorly understood.
Max ERC Funding
1 844 604 €
Duration
Start date: 2015-08-01, End date: 2020-07-31
Project acronym DeFiNER
Project Nucleotide Excision Repair: Decoding its Functional Role in Mammals
Researcher (PI) Georgios Garinis
Host Institution (HI) IDRYMA TECHNOLOGIAS KAI EREVNAS
Call Details Consolidator Grant (CoG), LS4, ERC-2014-CoG
Summary Genome maintenance, chromatin remodelling and transcription are tightly linked biological processes that are currently poorly understood and vastly unexplored. Nucleotide excision repair (NER) is a major DNA repair pathway that mammalian cells employ to maintain their genome intact and faithfully transmit it into their progeny. Besides cancer and aging, however, defects in NER give rise to developmental disorders whose clinical heterogeneity and varying severity can only insufficiently be explained by the DNA repair defect. Recent work reveals that NER factors play a role, in addition to DNA repair, in transcription and the three-dimensional organization of our genome. Indeed, NER factors are now known to function in the regulation of gene expression, the transcriptional reprogramming of pluripotent stem cells and the fine-tuning of growth hormones during mammalian development. In this regard, the non-random organization of our genome, chromatin and the process of transcription itself are expected to play paramount roles in how NER factors coordinate, prioritize and execute their distinct tasks during development and disease progression. At present, however, no solid evidence exists as to how NER is functionally involved in such complex processes, what are the NER-associated protein complexes and underlying gene networks or how NER factors operate within the complex chromatin architecture. This is primarily due to our difficulties in dissecting the diverse functional contributions of NER proteins in an intact organism. Here, we propose to use a unique series of knock-in, transgenic and NER progeroid mice to decode the functional role of NER in mammals, thus paving the way for understanding how genome maintenance pathways are connected to developmental defects and disease mechanisms in vivo.
Summary
Genome maintenance, chromatin remodelling and transcription are tightly linked biological processes that are currently poorly understood and vastly unexplored. Nucleotide excision repair (NER) is a major DNA repair pathway that mammalian cells employ to maintain their genome intact and faithfully transmit it into their progeny. Besides cancer and aging, however, defects in NER give rise to developmental disorders whose clinical heterogeneity and varying severity can only insufficiently be explained by the DNA repair defect. Recent work reveals that NER factors play a role, in addition to DNA repair, in transcription and the three-dimensional organization of our genome. Indeed, NER factors are now known to function in the regulation of gene expression, the transcriptional reprogramming of pluripotent stem cells and the fine-tuning of growth hormones during mammalian development. In this regard, the non-random organization of our genome, chromatin and the process of transcription itself are expected to play paramount roles in how NER factors coordinate, prioritize and execute their distinct tasks during development and disease progression. At present, however, no solid evidence exists as to how NER is functionally involved in such complex processes, what are the NER-associated protein complexes and underlying gene networks or how NER factors operate within the complex chromatin architecture. This is primarily due to our difficulties in dissecting the diverse functional contributions of NER proteins in an intact organism. Here, we propose to use a unique series of knock-in, transgenic and NER progeroid mice to decode the functional role of NER in mammals, thus paving the way for understanding how genome maintenance pathways are connected to developmental defects and disease mechanisms in vivo.
Max ERC Funding
1 995 000 €
Duration
Start date: 2016-01-01, End date: 2020-12-31
