Cambridge Energy and Environment Group
Cambridge Energy and Environment Group
  • 68
  • 7 570
Optimising Sustainable Energy with Functional Programming
Abstract:
This talk describes some results from a collaboration between Computer Science, Physics, and Climate Impact Research on theories and tools for performance optimisation of strongly coupled physical systems with a large parameter space. The first part of the talk discusses computing optimal policies; we have used these techniques for climate decisions and for fusion energy designs. The second part of the talk will focus on one particularly important concept: the Pareto-front, which mathematically captures the trade-offs between two (or more) conflicting objectives. The core object of study is an expensive black-box function computing multiple objectives, for which we approximate the Pareto front using adaptive mesh refinement.
Bio:
Patrik Jansson is a professor in the Computer Science and Engineering Department, joint between Chalmers University of Technology and the University of Gothenburg, Sweden. His main research areas are Programming Languages, Functional Programming, Domain-Specific Languages, and their application to climate, physics, etc. His research focus is on systems for constructing correct and reusable software. The goal is to develop the programming languages of the future and theories, tests and proofs of the correctness of high-level models of complex systems. Important techniques include functional programming, domain-specific languages and type theory. Examples of applications are climate impact research, physics, and language technology but many results are also curiosity-driven basic research with generic applicability in most areas.
Patrik has been on sabbatical in Oxford, as a Visiting Fellow of Kellogg College for Michaelmas term 2024, visiting Prof Jeremy Gibbons.
Переглядів: 91

Відео

Smart Grid Trust Assessment
Переглядів 33День тому
Abstract: Energy systems are highly complex. State determination and detection of anomalies, faults or even attacks are only possible to a limited extent with traditional approaches. This talk will investigate how such systems can be planned and operated in the future in the area of conflict between high automation and trust by human operators. Bio: Sebastian Lehnhoff is a Full Professor of Ene...
Conservation Evidence
Переглядів 4914 днів тому
Abstract: Grey literature’s inherent nature means that it is a difficult form of media to discover, typically being hidden deep within websites, analyse, following no standard file formats or structures, and process, due to the sheer volume of existing and actively produced literature, this forms a massive cost and time problem for organisations that require such literature in their function. W...
Long-term Biodiversity Monitoring at Scale
Переглядів 15Місяць тому
Abstract: Comprehensive data on global biodiversity patterns is only obtainable through in-situ distributed sensor networks. However, these multi-device networks are constrained by battery lifetimes, must gather rich data from power-hungry sensors, and yet must be deployed in remote environments for long periods. We look at the feasibility of a prototype multi-sensor device using on-device rein...
A CarbonFirst Approach for Decarbonizing Cloud Computing
Переглядів 156Місяць тому
Abstract: The exponential growth of cloud computing has been a defining trend of our time, fueled by rapidly growing demands from data-intensive and machine learning workloads. Despite the end of Dennard scaling, the cloud's energy demand grew more slowly than expected over the past decade due to the aggressive implementation of energy-efficiency optimizations. Unfortunately, there are few sign...
How a Positive Tipping Point Cascade Can Accelerate the Low Carbon Transition
Переглядів 240Місяць тому
Full Title: How a Positive Tipping Point Cascade in Power, Transport and Heating Can Accelerate the Low Carbon Transition Abstract: The energy system is becoming increasingly intertwined due to electrification in heating and transport. This carries risks and opportunities for speeding up the transition. Opportunities involve lowered electricity costs, V2G applications, repurposed EV batteries f...
Challenges in Cyber-Physical Energy Systems - of Agents and Data
Переглядів 33Місяць тому
Abstract: In this talk, first, some special challenges in cyber-physical energy systems will be reflected. Then, examples from research projects and field tests will be discussed to show how multi-agent systems can be used to tackle these challenges. Finally, the topic of research data management and its role in open research will be discussed. Bio: Prof. Dr.-Ing. Astrid Nieße has been Professo...
Visual Digital Twins of Forests
Переглядів 572 місяці тому
Abstract: Methods developed by the computer graphics community allow for the photorealistic rendering of complex geometry. In this talk we explore how such mathematical procedures can be leveraged to describe the growth, biomechanics, and combustion of trees at a detailed spatial level. These models facilitate a realistic 3D visualization of these processes at forest scale which allows explorin...
Partner-driven Environmental Sensing:
Переглядів 282 місяці тому
Full Title: Partner-driven Environmental Sensing: Co-design with Indigenous Ojibwe Scientists and Malagasy Conservationists Abstract: Evolving environmental sensing technologies present a myriad of opportunities for gathering data to understand and promote environmental justice, biodiversity, and climate change mitigation. However, technical development from academic and commercial settings oft...
Real-time Wildlife Monitoring
Переглядів 445 місяців тому
Abstract: This research introduces an AI-based alert system to reduce human-wildlife conflicts in the Romanian Carpathian Mountains. Globally, conflicts between people and wildlife are rising due to population growth, shifting land use patterns and climate change. In Romania, mountain communities are impacted by bears and wild boars, which damage livestock, crops and property. These conflicts c...
Grid-friendly Energy Community Coordination for Reducing Grid Reinforcement Needs
Переглядів 515 місяців тому
Abstract: This talk discusses how market mechanisms and automated trading strategies can be used to control the flexible consumption and generation units of the community members in such a way that they make the best possible use of existing distribution networks and support the network operator in avoiding and eliminating congestion situations. This ultimately helps avoiding grid reinforcement...
Annual Monitoring of Forest AGB
Переглядів 935 місяців тому
Title: Annual Monitoring of Forest AGB over a Period of 10 years Using SSL-derived Representations from Optical Time Series Abstract: I recap the functioning of our fully self-supervised learning pipeline based on the spectral-temporal Barlow Twins. The SSL approach generates highly informative representations at 10m spatial resolution from cloud-corrupted optical time series. The resulting rep...
HyWay: Enabling Mingling in the Hybrid World
Переглядів 1395 місяців тому
We present HyWay, short for “Hybrid Hallway”, to enable mingling and informal interaction among in-person and remote users in semi-structured and unstructured hybrid settings. Key to the design of HyWay is bridging the awareness gap between physical and virtual users and providing the virtual users the same agency as physical users. We explain how HyWay achieves these goals with an agile, light...
Tackling the Hidden Costs of Computational Science
Переглядів 515 місяців тому
Title: Tackling the Hidden Costs of Computational Science: GREENER Principles for Environmentally Sustainable Research Abstract: From genetic studies and astrophysics simulations to AI, scientific computing has enabled amazing discoveries and there is no doubt it will continue to do so. However, the corresponding energy usage and environmental impacts are a growing concern in light of the urgen...
An App for Tree Trunk Diameter Estimation from Coarse Optical Depth Maps
Переглядів 476 місяців тому
Abstract: Trunk diameter is related to the overall health and level of carbon sequestration in a tree. Trunk diameter measurement, therefore, is a key task in both forest plot and urban settings. Unlike the traditional approach of manual measurement with a measuring tape or calipers, several recent approaches rely on sophisticated technologies such as LiDAR and time-of-flight cameras that provi...
Automated Fact-Checking of Climate Change Claims with Large Language Models
Переглядів 1207 місяців тому
Automated Fact-Checking of Climate Change Claims with Large Language Models
Digital Participatory Tools for Rural Communities in India to Adapt to Climate Change
Переглядів 977 місяців тому
Digital Participatory Tools for Rural Communities in India to Adapt to Climate Change
Using AI to Accelerate Evidence Synthesis and Decision Support to Save Biodiversity
Переглядів 277 місяців тому
Using AI to Accelerate Evidence Synthesis and Decision Support to Save Biodiversity
Transforming Your Understanding of Large Language Models: A Primer
Переглядів 3267 місяців тому
Transforming Your Understanding of Large Language Models: A Primer
Mechanisms Against Climate Change
Переглядів 338 місяців тому
Mechanisms Against Climate Change
Tracking Compound Heat and Humidity Impacts
Переглядів 718 місяців тому
Tracking Compound Heat and Humidity Impacts
Towards Global, General-Purpose Geographic Location Encoders
Переглядів 198 місяців тому
Towards Global, General-Purpose Geographic Location Encoders
The Future of 24/7 Clean Energy driven by AI
Переглядів 5458 місяців тому
The Future of 24/7 Clean Energy driven by AI
Renewables as Reserve Providers; Turning a Challenge into an Opportunity
Переглядів 939 місяців тому
Renewables as Reserve Providers; Turning a Challenge into an Opportunity
Analyzing the Impacts of Extreme Heat on Buildings
Переглядів 359 місяців тому
Analyzing the Impacts of Extreme Heat on Buildings
Challenges in Computing Climate Sensitivity and Climate Solutions
Переглядів 2589 місяців тому
Challenges in Computing Climate Sensitivity and Climate Solutions
AI-Refined Radiative Transfer Modelling to Retrieve Biophysical Variables in Forests
Переглядів 689 місяців тому
AI-Refined Radiative Transfer Modelling to Retrieve Biophysical Variables in Forests
Carbon Clarity in the Global Petrochemical Supply Chain
Переглядів 6810 місяців тому
Carbon Clarity in the Global Petrochemical Supply Chain
Uncertainty at Scale: How CS Hinders Climate Research
Переглядів 2010 місяців тому
Uncertainty at Scale: How CS Hinders Climate Research
Programming for the Planet
Переглядів 27410 місяців тому
Programming for the Planet

КОМЕНТАРІ

  • @lucas-z1j8z
    @lucas-z1j8z 17 днів тому

    Thanks for the breakdown! I have a quick question: I have a SafePal wallet with USDT, and I have the seed phrase. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). What's the best way to send them to Binance?

  • @romulosoares5216
    @romulosoares5216 Місяць тому

    For god sake, you researchers are launching rockets and satellites into the space but can't afford a decent microphone... every lecture/presentation the same issue.

  • @lucbos7516
    @lucbos7516 Місяць тому

    The IPCC climate scam for total controle over every citizen ! Only 4% of all CO2 produced on earth comes from humans and human activity That is only max 0,00152% of air and that has no impact what so ever on the climate and temperature on earth !

  • @leslielandberg5620
    @leslielandberg5620 7 місяців тому

    Smells like another fancy UN sponsored boondoggle. They got nothing. Sure, it might make things a bit more streamlined, but at the end of the day, centralized alternative energy won’t scale.

  • @anthonymorris5084
    @anthonymorris5084 8 місяців тому

    The method for keeping humanity safe from every aspect of climate since humans began walking upright, is economic growth. All climate policies induce greater poverty. Poverty is vastly worse than warming will ever be.

  • @Nehner
    @Nehner 9 місяців тому

    Antarctica has a average yearly temperature of minus 32 degree Celsius. How should there be significant melting? I know in east antarctica there are 100 undersea volcanos. But they are there hundred and thousands of years. Without any substantial change. So why do also Cambridge guys tell us lies? They always have said a friend to me.

  • @sanjuansteve
    @sanjuansteve 9 місяців тому

    Let's put solar panels on every home, business and covered parking rooftop and switch to electric vehicles making nearly everything we do solar powered while completely decentralizing our power supply and empowering everyone as power generation owners. Solar power is CHEAPER and electric vehicles are soon to be CHEAPER to make and already are considerably CHEAPER to maintain and operate, especially if charged from your own solar power. A 3-5 year ROI (return on investment) for a solar array that will generate power for decades is a no-brainer and the panels can even be made locally too. #EndFossilFuels #EndNukes #SwitchToSolar #SwitchToElectric #GreenNewDeal #EmpowerEveryone #DEMEXIT #StillSandersPlatform #RepublicansAreNazis

  • @sanjuansteve
    @sanjuansteve 9 місяців тому

    Science-denying American Republicans are so certain they're right and the science world is wrong that they're even fighting to deregulate everything to further accelerate our rate of burning fossil fuels and the pillaging of the planet for their limitless greed (fear). They're willing to bet the world and all of its inhabitants on their certainty (limitless greed). #FearAndGreedRule #EmpathyFreeGOP Every single American Republican policy puts fear and greed (fear) before people and planet. Fear (and the empathy and critical thought it kills) is what separates the right from the left. The fear at the root of ”Nationalism is an infantile disease. It is the measles of mankind.” -- Albert Einstein Liberals hate American Republicans because all of their policies put fear and greed (fear) before people and planet (including equality and empathy). American Republicans hate liberals for the exact same reasons, because they’re afraid we’ll get in the way of their fear and greed. #SwitchToSolar #SwitchToElectric #EndFossilFuels #OneEarth #GreenNewDeal #ScienceDeniers #GOP #GreedOverPeople/Planet #RepublicansAreNazis #BanAllInsurrectionists #DEMEXIT #StillSandersPlatform

  • @janhow342104
    @janhow342104 10 місяців тому

    Wow It is an honor to listen to Laura Duncanson talking about GEDI.

  • @BaillehachePascal
    @BaillehachePascal 11 місяців тому

    That's probably a very interesting talk, however, I'm really sorry but, the sound quality is incredibly awful. I tried following with automatic caption, but even then, I gave up after 6 minutes. Really disappointing.

  • @daveandrews9634
    @daveandrews9634 11 місяців тому

    It’s going take a significant improvement to make climate programs usable.

  • @victorarnault
    @victorarnault Рік тому

    That's interesting

  • @space-time-somdeep
    @space-time-somdeep Рік тому

    So fascinating

  • @edthoreum7625
    @edthoreum7625 Рік тому

    9:00 loop ml

  • @oluwasegunaina3092
    @oluwasegunaina3092 2 роки тому

    Thank you