Project acronym AIRSEA
Project Air-Sea Exchanges driven by Light
Researcher (PI) Christian George
Host Institution (HI) CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
Call Details Advanced Grant (AdG), PE10, ERC-2011-ADG_20110209
Summary The scientific motivation of this project is the significant presence of organic compounds at the surface of the ocean. They form the link between ocean biogeochemistry through the physico-chemical processes near the water-air interface with primary and secondary aerosol formation and evolution in the air aloft and finally to the climate impact of marine boundary layer aerosols. However, their photochemistry and photosensitizer properties have only been suggested and discussed but never fully addressed because they were beyond reach. This project suggests going significantly beyond this matter of fact by a combination of innovative tools and the development of new ideas.
This project is therefore devoted to new laboratory investigations of processes occurring at the air sea interface to predict emission, formation and evolution of halogenated radicals and aerosols from this vast interface between oceans and atmosphere. It progresses from fundamental laboratory measurements, marine science, surface chemistry, photochemistry … and is therefore interdisciplinary in nature.
It will lead to the development of innovative techniques for characterising chemical processing at the air sea interface (e.g., a multiphase atmospheric simulation chamber, a time-resolved fluorescence technique for characterising chemical processing at the air-sea interface). It will allow the assessment of new emerging ideas such as a quantitative description of the importance of photosensitized reactions in the visible at the air/sea interface as a major source of halogenated radicals and aerosols in the marine environment.
This new understanding will impact on our ability to describe atmospheric chemistry in the marine environment which has strong impact on the urban air quality of coastal regions (which by the way represent highly populated regions ) but also on climate change by providing new input for global climate models.
Summary
The scientific motivation of this project is the significant presence of organic compounds at the surface of the ocean. They form the link between ocean biogeochemistry through the physico-chemical processes near the water-air interface with primary and secondary aerosol formation and evolution in the air aloft and finally to the climate impact of marine boundary layer aerosols. However, their photochemistry and photosensitizer properties have only been suggested and discussed but never fully addressed because they were beyond reach. This project suggests going significantly beyond this matter of fact by a combination of innovative tools and the development of new ideas.
This project is therefore devoted to new laboratory investigations of processes occurring at the air sea interface to predict emission, formation and evolution of halogenated radicals and aerosols from this vast interface between oceans and atmosphere. It progresses from fundamental laboratory measurements, marine science, surface chemistry, photochemistry … and is therefore interdisciplinary in nature.
It will lead to the development of innovative techniques for characterising chemical processing at the air sea interface (e.g., a multiphase atmospheric simulation chamber, a time-resolved fluorescence technique for characterising chemical processing at the air-sea interface). It will allow the assessment of new emerging ideas such as a quantitative description of the importance of photosensitized reactions in the visible at the air/sea interface as a major source of halogenated radicals and aerosols in the marine environment.
This new understanding will impact on our ability to describe atmospheric chemistry in the marine environment which has strong impact on the urban air quality of coastal regions (which by the way represent highly populated regions ) but also on climate change by providing new input for global climate models.
Max ERC Funding
2 366 276 €
Duration
Start date: 2012-04-01, End date: 2017-03-31
Project acronym ALBUGON
Project Genomics and effectoromics to understand defence suppression and disease resistance in Arabidopsis-Albugo candida interactions
Researcher (PI) Jonathan Jones
Host Institution (HI) THE SAINSBURY LABORATORY
Call Details Advanced Grant (AdG), LS6, ERC-2008-AdG
Summary This project focuses on two questions about host/parasite interactions: how do biotrophic plant pathogens suppress host defence? and, what is the basis for pathogen specialization on specific host species? A broadly accepted model explains resistance and susceptibility to plant pathogens. First, pathogens make conserved molecules ( PAMPS ) such as flagellin, that plants detect via cell surface receptors, leading to PAMP-Triggered Immunity (PTI). Second, pathogens make effectors that suppress PTI. Third, plants carry 100s of Resistance (R) genes that detect an effector, and activate Effector-Triggered Immunity (ETI). One effector is sufficient to trigger resistance. Albugo candida (Ac) (white rust) strongly suppresses host defence; Ac-infected Arabidopsis are susceptible to pathogen races to which they are otherwise resistant. Ac is an oomycete, not a fungus. Arabidopsis is resistant to races of Ac that infect brassicas. The proposed project involves three programs. First ( genomics, transcriptomics and bioinformatics ), we will use next-generation sequencing (NGS) methods (Solexa and GS-Flex), and novel transcriptomics methods to define the genome sequence and effector set of three Ac strains, as well as carrying out >40- deep resequencing of 7 additional Ac strains. Second, ( effectoromics ), we will carry out functional assays using Effector Detector Vectors (Sohn Plant Cell 19:4077 [2007]), with the set of Ac effectors, screening for enhanced virulence, for suppression of defence, for effectors that are recognized by R genes in disease resistant Arabidopsis and for host effector targets. Third, ( resistance diversity ), we will characterize Arabidopsis germplasm for R genes to Ac, both for recognition of Arabidopsis strains of Ac, and for recognition in Arabidopsis of effectors from Ac strains that infect brassica. This proposal focuses on Ac, but will establish methods that could discover new R genes in non-hosts against many plant diseases.
Summary
This project focuses on two questions about host/parasite interactions: how do biotrophic plant pathogens suppress host defence? and, what is the basis for pathogen specialization on specific host species? A broadly accepted model explains resistance and susceptibility to plant pathogens. First, pathogens make conserved molecules ( PAMPS ) such as flagellin, that plants detect via cell surface receptors, leading to PAMP-Triggered Immunity (PTI). Second, pathogens make effectors that suppress PTI. Third, plants carry 100s of Resistance (R) genes that detect an effector, and activate Effector-Triggered Immunity (ETI). One effector is sufficient to trigger resistance. Albugo candida (Ac) (white rust) strongly suppresses host defence; Ac-infected Arabidopsis are susceptible to pathogen races to which they are otherwise resistant. Ac is an oomycete, not a fungus. Arabidopsis is resistant to races of Ac that infect brassicas. The proposed project involves three programs. First ( genomics, transcriptomics and bioinformatics ), we will use next-generation sequencing (NGS) methods (Solexa and GS-Flex), and novel transcriptomics methods to define the genome sequence and effector set of three Ac strains, as well as carrying out >40- deep resequencing of 7 additional Ac strains. Second, ( effectoromics ), we will carry out functional assays using Effector Detector Vectors (Sohn Plant Cell 19:4077 [2007]), with the set of Ac effectors, screening for enhanced virulence, for suppression of defence, for effectors that are recognized by R genes in disease resistant Arabidopsis and for host effector targets. Third, ( resistance diversity ), we will characterize Arabidopsis germplasm for R genes to Ac, both for recognition of Arabidopsis strains of Ac, and for recognition in Arabidopsis of effectors from Ac strains that infect brassica. This proposal focuses on Ac, but will establish methods that could discover new R genes in non-hosts against many plant diseases.
Max ERC Funding
2 498 923 €
Duration
Start date: 2009-01-01, End date: 2014-06-30
Project acronym ALEM
Project ADDITIONAL LOSSES IN ELECTRICAL MACHINES
Researcher (PI) Matti Antero Arkkio
Host Institution (HI) AALTO KORKEAKOULUSAATIO SR
Call Details Advanced Grant (AdG), PE8, ERC-2013-ADG
Summary "Electrical motors consume about 40 % of the electrical energy produced in the European Union. About 90 % of this energy is converted to mechanical work. However, 0.5-2.5 % of it goes to so called additional load losses whose exact origins are unknown. Our ambitious aim is to reveal the origins of these losses, build up numerical tools for modeling them and optimize electrical motors to minimize the losses.
As the hypothesis of the research, we assume that the additional losses mainly result from the deterioration of the core materials during the manufacturing process of the machine. By calorimetric measurements, we have found that the core losses of electrical machines may be twice as large as comprehensive loss models predict. The electrical steel sheets are punched, welded together and shrink fit to the frame. This causes residual strains in the core sheets deteriorating their magnetic characteristics. The cutting burrs make galvanic contacts between the sheets and form paths for inter-lamination currents. Another potential source of additional losses are the circulating currents between the parallel strands of random-wound armature windings. The stochastic nature of these potential sources of additional losses puts more challenge on the research.
We shall develop a physical loss model that couples the mechanical strains and electromagnetic losses in electrical steel sheets and apply the new model for comprehensive loss analysis of electrical machines. The stochastic variables related to the core losses and circulating-current losses will be discretized together with the temporal and spatial discretization of the electromechanical field variables. The numerical stochastic loss model will be used to search for such machine constructions that are insensitive to the manufacturing defects. We shall validate the new numerical loss models by electromechanical and calorimetric measurements."
Summary
"Electrical motors consume about 40 % of the electrical energy produced in the European Union. About 90 % of this energy is converted to mechanical work. However, 0.5-2.5 % of it goes to so called additional load losses whose exact origins are unknown. Our ambitious aim is to reveal the origins of these losses, build up numerical tools for modeling them and optimize electrical motors to minimize the losses.
As the hypothesis of the research, we assume that the additional losses mainly result from the deterioration of the core materials during the manufacturing process of the machine. By calorimetric measurements, we have found that the core losses of electrical machines may be twice as large as comprehensive loss models predict. The electrical steel sheets are punched, welded together and shrink fit to the frame. This causes residual strains in the core sheets deteriorating their magnetic characteristics. The cutting burrs make galvanic contacts between the sheets and form paths for inter-lamination currents. Another potential source of additional losses are the circulating currents between the parallel strands of random-wound armature windings. The stochastic nature of these potential sources of additional losses puts more challenge on the research.
We shall develop a physical loss model that couples the mechanical strains and electromagnetic losses in electrical steel sheets and apply the new model for comprehensive loss analysis of electrical machines. The stochastic variables related to the core losses and circulating-current losses will be discretized together with the temporal and spatial discretization of the electromechanical field variables. The numerical stochastic loss model will be used to search for such machine constructions that are insensitive to the manufacturing defects. We shall validate the new numerical loss models by electromechanical and calorimetric measurements."
Max ERC Funding
2 489 949 €
Duration
Start date: 2014-03-01, End date: 2019-02-28
Project acronym ALEXANDRIA
Project "Foundations for Temporal Retrieval, Exploration and Analytics in Web Archives"
Researcher (PI) Wolfgang Nejdl
Host Institution (HI) GOTTFRIED WILHELM LEIBNIZ UNIVERSITAET HANNOVER
Call Details Advanced Grant (AdG), PE6, ERC-2013-ADG
Summary "Significant parts of our cultural heritage are produced on the Web, yet only insufficient opportunities exist for accessing and exploring the past of the Web. The ALEXANDRIA project aims to develop models, tools and techniques necessary to archive and index relevant parts of the Web, and to retrieve and explore this information in a meaningful way. While the easy accessibility to the current Web is a good baseline, optimal access to Web archives requires new models and algorithms for retrieval, exploration, and analytics which go far beyond what is needed to access the current state of the Web. This includes taking into account the unique temporal dimension of Web archives, structured semantic information already available on the Web, as well as social media and network information.
Within ALEXANDRIA, we will significantly advance semantic and time-based indexing for Web archives using human-compiled knowledge available on the Web, to efficiently index, retrieve and explore information about entities and events from the past. In doing so, we will focus on the concurrent evolution of this knowledge and the Web content to be indexed, and take into account diversity and incompleteness of this knowledge. We will further investigate mixed crowd- and machine-based Web analytics to support long- running and collaborative retrieval and analysis processes on Web archives. Usage of implicit human feedback will be essential to provide better indexing through insights during the analysis process and to better focus harvesting of content.
The ALEXANDRIA Testbed will provide an important context for research, exploration and evaluation of the concepts, methods and algorithms developed in this project, and will provide both relevant collections and algorithms that enable further research on and practical application of our research results to existing archives like the Internet Archive, the Internet Memory Foundation and Web archives maintained by European national libraries."
Summary
"Significant parts of our cultural heritage are produced on the Web, yet only insufficient opportunities exist for accessing and exploring the past of the Web. The ALEXANDRIA project aims to develop models, tools and techniques necessary to archive and index relevant parts of the Web, and to retrieve and explore this information in a meaningful way. While the easy accessibility to the current Web is a good baseline, optimal access to Web archives requires new models and algorithms for retrieval, exploration, and analytics which go far beyond what is needed to access the current state of the Web. This includes taking into account the unique temporal dimension of Web archives, structured semantic information already available on the Web, as well as social media and network information.
Within ALEXANDRIA, we will significantly advance semantic and time-based indexing for Web archives using human-compiled knowledge available on the Web, to efficiently index, retrieve and explore information about entities and events from the past. In doing so, we will focus on the concurrent evolution of this knowledge and the Web content to be indexed, and take into account diversity and incompleteness of this knowledge. We will further investigate mixed crowd- and machine-based Web analytics to support long- running and collaborative retrieval and analysis processes on Web archives. Usage of implicit human feedback will be essential to provide better indexing through insights during the analysis process and to better focus harvesting of content.
The ALEXANDRIA Testbed will provide an important context for research, exploration and evaluation of the concepts, methods and algorithms developed in this project, and will provide both relevant collections and algorithms that enable further research on and practical application of our research results to existing archives like the Internet Archive, the Internet Memory Foundation and Web archives maintained by European national libraries."
Max ERC Funding
2 493 600 €
Duration
Start date: 2014-03-01, End date: 2019-02-28
Project acronym ALEXANDRIA
Project Large-Scale Formal Proof for the Working Mathematician
Researcher (PI) Lawrence PAULSON
Host Institution (HI) THE CHANCELLOR MASTERS AND SCHOLARSOF THE UNIVERSITY OF CAMBRIDGE
Call Details Advanced Grant (AdG), PE6, ERC-2016-ADG
Summary Mathematical proofs have always been prone to error. Today, proofs can be hundreds of pages long and combine results from many specialisms, making them almost impossible to check. One solution is to deploy modern verification technology. Interactive theorem provers have demonstrated their potential as vehicles for formalising mathematics through achievements such as the verification of the Kepler Conjecture. Proofs done using such tools reach a high standard of correctness.
However, existing theorem provers are unsuitable for mathematics. Their formal proofs are unreadable. They struggle to do simple tasks, such as evaluating limits. They lack much basic mathematics, and the material they do have is difficult to locate and apply.
ALEXANDRIA will create a proof development environment attractive to working mathematicians, utilising the best technology available across computer science. Its focus will be the management and use of large-scale mathematical knowledge, both theorems and algorithms. The project will employ mathematicians to investigate the formalisation of mathematics in practice. Our already substantial formalised libraries will serve as the starting point. They will be extended and annotated to support sophisticated searches. Techniques will be borrowed from machine learning, information retrieval and natural language processing. Algorithms will be treated similarly: ALEXANDRIA will help users find and invoke the proof methods and algorithms appropriate for the task.
ALEXANDRIA will provide (1) comprehensive formal mathematical libraries; (2) search within libraries, and the mining of libraries for proof patterns; (3) automated support for the construction of large formal proofs; (4) sound and practical computer algebra tools.
ALEXANDRIA will be based on legible structured proofs. Formal proofs should be not mere code, but a machine-checkable form of communication between mathematicians.
Summary
Mathematical proofs have always been prone to error. Today, proofs can be hundreds of pages long and combine results from many specialisms, making them almost impossible to check. One solution is to deploy modern verification technology. Interactive theorem provers have demonstrated their potential as vehicles for formalising mathematics through achievements such as the verification of the Kepler Conjecture. Proofs done using such tools reach a high standard of correctness.
However, existing theorem provers are unsuitable for mathematics. Their formal proofs are unreadable. They struggle to do simple tasks, such as evaluating limits. They lack much basic mathematics, and the material they do have is difficult to locate and apply.
ALEXANDRIA will create a proof development environment attractive to working mathematicians, utilising the best technology available across computer science. Its focus will be the management and use of large-scale mathematical knowledge, both theorems and algorithms. The project will employ mathematicians to investigate the formalisation of mathematics in practice. Our already substantial formalised libraries will serve as the starting point. They will be extended and annotated to support sophisticated searches. Techniques will be borrowed from machine learning, information retrieval and natural language processing. Algorithms will be treated similarly: ALEXANDRIA will help users find and invoke the proof methods and algorithms appropriate for the task.
ALEXANDRIA will provide (1) comprehensive formal mathematical libraries; (2) search within libraries, and the mining of libraries for proof patterns; (3) automated support for the construction of large formal proofs; (4) sound and practical computer algebra tools.
ALEXANDRIA will be based on legible structured proofs. Formal proofs should be not mere code, but a machine-checkable form of communication between mathematicians.
Max ERC Funding
2 430 140 €
Duration
Start date: 2017-09-01, End date: 2022-08-31
Project acronym ALGAME
Project Algorithms, Games, Mechanisms, and the Price of Anarchy
Researcher (PI) Elias Koutsoupias
Host Institution (HI) THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Call Details Advanced Grant (AdG), PE6, ERC-2012-ADG_20120216
Summary The objective of this proposal is to bring together a local team of young researchers who will work closely with international collaborators to advance the state of the art of Algorithmic Game Theory and open new venues of research at the interface of Computer Science, Game Theory, and Economics. The proposal consists mainly of three intertwined research strands: algorithmic mechanism design, price of anarchy, and online algorithms.
Specifically, we will attempt to resolve some outstanding open problems in algorithmic mechanism design: characterizing the incentive compatible mechanisms for important domains, such as the domain of combinatorial auctions, and resolving the approximation ratio of mechanisms for scheduling unrelated machines. More generally, we will study centralized and distributed algorithms whose inputs are controlled by selfish agents that are interested in the outcome of the computation. We will investigate new notions of mechanisms with strong truthfulness and limited susceptibility to externalities that can facilitate modular design of mechanisms of complex domains.
We will expand the current research on the price of anarchy to time-dependent games where the players can select not only how to act but also when to act. We also plan to resolve outstanding questions on the price of stability and to build a robust approach to these questions, similar to smooth analysis. For repeated games, we will investigate convergence of simple strategies (e.g., fictitious play), online fairness, and strategic considerations (e.g., metagames). More generally, our aim is to find a productive formulation of playing unknown games by drawing on the fields of online algorithms and machine learning.
Summary
The objective of this proposal is to bring together a local team of young researchers who will work closely with international collaborators to advance the state of the art of Algorithmic Game Theory and open new venues of research at the interface of Computer Science, Game Theory, and Economics. The proposal consists mainly of three intertwined research strands: algorithmic mechanism design, price of anarchy, and online algorithms.
Specifically, we will attempt to resolve some outstanding open problems in algorithmic mechanism design: characterizing the incentive compatible mechanisms for important domains, such as the domain of combinatorial auctions, and resolving the approximation ratio of mechanisms for scheduling unrelated machines. More generally, we will study centralized and distributed algorithms whose inputs are controlled by selfish agents that are interested in the outcome of the computation. We will investigate new notions of mechanisms with strong truthfulness and limited susceptibility to externalities that can facilitate modular design of mechanisms of complex domains.
We will expand the current research on the price of anarchy to time-dependent games where the players can select not only how to act but also when to act. We also plan to resolve outstanding questions on the price of stability and to build a robust approach to these questions, similar to smooth analysis. For repeated games, we will investigate convergence of simple strategies (e.g., fictitious play), online fairness, and strategic considerations (e.g., metagames). More generally, our aim is to find a productive formulation of playing unknown games by drawing on the fields of online algorithms and machine learning.
Max ERC Funding
2 461 000 €
Duration
Start date: 2013-04-01, End date: 2019-03-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 ALGSTRONGCRYPTO
Project Algebraic Methods for Stronger Crypto
Researcher (PI) Ronald John Fitzgerald CRAMER
Host Institution (HI) STICHTING NEDERLANDSE WETENSCHAPPELIJK ONDERZOEK INSTITUTEN
Call Details Advanced Grant (AdG), PE6, ERC-2016-ADG
Summary Our field is cryptology. Our overarching objective is to advance significantly the frontiers in
design and analysis of high-security cryptography for the future generation.
Particularly, we wish to enhance the efficiency, functionality, and, last-but-not-least, fundamental understanding of cryptographic security against very powerful adversaries.
Our approach here is to develop completely novel methods by
deepening, strengthening and broadening the
algebraic foundations of the field.
Concretely, our lens builds on
the arithmetic codex. This is a general, abstract cryptographic primitive whose basic theory we recently developed and whose asymptotic part, which relies on algebraic geometry, enjoys crucial applications in surprising foundational results on constant communication-rate two-party cryptography. A codex is a linear (error correcting) code that, when endowing its ambient vector space just with coordinate-wise multiplication, can be viewed as simulating, up to some degree, richer arithmetical structures such as finite fields (or products thereof), or generally, finite-dimensional algebras over finite fields. Besides this degree, coordinate-localities for which simulation holds and for which it does not at all are also captured.
Our method is based on novel perspectives on codices which significantly
widen their scope and strengthen their utility. Particularly, we bring
symmetries, computational- and complexity theoretic aspects, and connections with algebraic number theory, -geometry, and -combinatorics into play in novel ways. Our applications range from public-key cryptography to secure multi-party computation.
Our proposal is subdivided into 3 interconnected modules:
(1) Algebraic- and Number Theoretical Cryptanalysis
(2) Construction of Algebraic Crypto Primitives
(3) Advanced Theory of Arithmetic Codices
Summary
Our field is cryptology. Our overarching objective is to advance significantly the frontiers in
design and analysis of high-security cryptography for the future generation.
Particularly, we wish to enhance the efficiency, functionality, and, last-but-not-least, fundamental understanding of cryptographic security against very powerful adversaries.
Our approach here is to develop completely novel methods by
deepening, strengthening and broadening the
algebraic foundations of the field.
Concretely, our lens builds on
the arithmetic codex. This is a general, abstract cryptographic primitive whose basic theory we recently developed and whose asymptotic part, which relies on algebraic geometry, enjoys crucial applications in surprising foundational results on constant communication-rate two-party cryptography. A codex is a linear (error correcting) code that, when endowing its ambient vector space just with coordinate-wise multiplication, can be viewed as simulating, up to some degree, richer arithmetical structures such as finite fields (or products thereof), or generally, finite-dimensional algebras over finite fields. Besides this degree, coordinate-localities for which simulation holds and for which it does not at all are also captured.
Our method is based on novel perspectives on codices which significantly
widen their scope and strengthen their utility. Particularly, we bring
symmetries, computational- and complexity theoretic aspects, and connections with algebraic number theory, -geometry, and -combinatorics into play in novel ways. Our applications range from public-key cryptography to secure multi-party computation.
Our proposal is subdivided into 3 interconnected modules:
(1) Algebraic- and Number Theoretical Cryptanalysis
(2) Construction of Algebraic Crypto Primitives
(3) Advanced Theory of Arithmetic Codices
Max ERC Funding
2 447 439 €
Duration
Start date: 2017-10-01, End date: 2022-09-30
Project acronym ALICE
Project Strange Mirrors, Unsuspected Lessons: Leading Europe to a new way of sharing the world experiences
Researcher (PI) Boaventura De Sousa Santos
Host Institution (HI) CENTRO DE ESTUDOS SOCIAIS
Call Details Advanced Grant (AdG), SH2, ERC-2010-AdG_20100407
Summary Europe sits uncomfortably on the idea that there are no political and cultural alternatives credible enough to respond to the current uneasiness or malaise caused by both a world that is more and more non-European and a Europe that increasingly questions what is European about itself. This project will develop a new grounded theoretical paradigm for contemporary Europe based on two key ideas: the understanding of the world by far exceeds the European understanding of the world; social, political and institutional transformation in Europe may benefit from innovations taking place in regions and countries with which Europe is increasingly interdependent. I will pursue this objective focusing on four main interconnected topics: democratizing democracy, intercultural constitutionalism, the other economy, human rights (right to health in particular).
In a sense that the European challenges are unique but, in one way or another, are being experienced in different corners of the world. The novelty resides in bringing new ideas and experiences into the European conversation, show their relevance to our current uncertainties and aspirations and thereby contribute to face them with new intellectual and political resources. The usefulness and relevance of non-European conceptions and experiences un-thinking the conventional knowledge through two epistemological devices I have developed: the ecology of knowledges and intercultural translation. By resorting to them I will show that there are alternatives but they cannot be made credible and powerful if we go on relying on the modes of theoretical and political thinking that have dominated so far. In other words, the claim put forward by and worked through this project is that in Europe we don’t need alternatives but rather an alternative thinking of alternatives.
Summary
Europe sits uncomfortably on the idea that there are no political and cultural alternatives credible enough to respond to the current uneasiness or malaise caused by both a world that is more and more non-European and a Europe that increasingly questions what is European about itself. This project will develop a new grounded theoretical paradigm for contemporary Europe based on two key ideas: the understanding of the world by far exceeds the European understanding of the world; social, political and institutional transformation in Europe may benefit from innovations taking place in regions and countries with which Europe is increasingly interdependent. I will pursue this objective focusing on four main interconnected topics: democratizing democracy, intercultural constitutionalism, the other economy, human rights (right to health in particular).
In a sense that the European challenges are unique but, in one way or another, are being experienced in different corners of the world. The novelty resides in bringing new ideas and experiences into the European conversation, show their relevance to our current uncertainties and aspirations and thereby contribute to face them with new intellectual and political resources. The usefulness and relevance of non-European conceptions and experiences un-thinking the conventional knowledge through two epistemological devices I have developed: the ecology of knowledges and intercultural translation. By resorting to them I will show that there are alternatives but they cannot be made credible and powerful if we go on relying on the modes of theoretical and political thinking that have dominated so far. In other words, the claim put forward by and worked through this project is that in Europe we don’t need alternatives but rather an alternative thinking of alternatives.
Max ERC Funding
2 423 140 €
Duration
Start date: 2011-07-01, End date: 2016-12-31
Project acronym ALK7
Project Metabolic control by the TGF-² superfamily receptor ALK7: A novel regulator of insulin secretion, fat accumulation and energy balance
Researcher (PI) Carlos Ibanez
Host Institution (HI) KAROLINSKA INSTITUTET
Call Details Advanced Grant (AdG), LS4, ERC-2008-AdG
Summary The aim of this proposal is to understand a novel regulatory signaling network controlling insulin secretion, fat accumulation and energy balance centered around selected components of the TGF-² signaling system, including Activins A and B, GDF-3 and their receptors ALK7 and ALK4. Recent results from my laboratory indicate that these molecules are part of paracrine signaling networks that control important functions in pancreatic islets and adipose tissue through feedback inhibition and feed-forward regulation. These discoveries have open up a new research area with important implications for the understanding of metabolic networks and the treatment of human metabolic syndromes, such as diabetes and obesity.
To drive progress in this new research area beyond the state-of-the-art it is proposed to: i) Elucidate the molecular mechanisms by which Activins regulate Ca2+ influx and insulin secretion in pancreatic ²-cells; ii) Elucidate the molecular mechanisms underlying the effects of GDF-3 on adipocyte metabolism, turnover and fat accumulation; iii) Investigate the interplay between insulin levels and fat deposition in the development of insulin resistance using mutant mice lacking Activin B and GDF-3; iv) Investigate tissue-specific contributions of ALK7 and ALK4 signaling to metabolic control by generating and characterizing conditional mutant mice; v) Investigate the effects of specific and reversible inactivation of ALK7 and ALK4 on metabolic regulation using a novel chemical-genetic approach based on analog-sensitive alleles.
This is research of a high-gain/high-risk nature. It is posed to open unique opportunities for further exploration of complex metabolic networks. The development of drugs capable of enhancing insulin secretion, limiting fat accumulation and ameliorating diet-induced obesity by targeting components of the ALK7 signaling network will find a strong rationale in the results of the proposed work.
Summary
The aim of this proposal is to understand a novel regulatory signaling network controlling insulin secretion, fat accumulation and energy balance centered around selected components of the TGF-² signaling system, including Activins A and B, GDF-3 and their receptors ALK7 and ALK4. Recent results from my laboratory indicate that these molecules are part of paracrine signaling networks that control important functions in pancreatic islets and adipose tissue through feedback inhibition and feed-forward regulation. These discoveries have open up a new research area with important implications for the understanding of metabolic networks and the treatment of human metabolic syndromes, such as diabetes and obesity.
To drive progress in this new research area beyond the state-of-the-art it is proposed to: i) Elucidate the molecular mechanisms by which Activins regulate Ca2+ influx and insulin secretion in pancreatic ²-cells; ii) Elucidate the molecular mechanisms underlying the effects of GDF-3 on adipocyte metabolism, turnover and fat accumulation; iii) Investigate the interplay between insulin levels and fat deposition in the development of insulin resistance using mutant mice lacking Activin B and GDF-3; iv) Investigate tissue-specific contributions of ALK7 and ALK4 signaling to metabolic control by generating and characterizing conditional mutant mice; v) Investigate the effects of specific and reversible inactivation of ALK7 and ALK4 on metabolic regulation using a novel chemical-genetic approach based on analog-sensitive alleles.
This is research of a high-gain/high-risk nature. It is posed to open unique opportunities for further exploration of complex metabolic networks. The development of drugs capable of enhancing insulin secretion, limiting fat accumulation and ameliorating diet-induced obesity by targeting components of the ALK7 signaling network will find a strong rationale in the results of the proposed work.
Max ERC Funding
2 462 154 €
Duration
Start date: 2009-04-01, End date: 2014-03-31
