Abstract
METIS, the Mid-infrared ELT Imager and Spectrograph is among the first-generation instruments for ESO’s 39m Extremely Large Telescope (ELT). It will provide diffraction-limited spectroscopy and imaging, including coronagraphic capabilities, in the thermal/mid-infrared wavelength domain (3 µm – 13.3 µm). Its Single Conjugate Adaptive Optics (SCAO) system will be used for all observing modes, with High Contrast Imaging imposing the most demanding requirements on its performance. The final design review of METIS took place in the fall of 2022; the development of the instrument, including its SCAO system, has since entered the Manufacturing, Assembly, Integration and Testing (MAIT) phase. Numerous challenging aspects of an ELT AO system are addressed in the mature designs for the SCAO control system and the SCAO hardware module: the complex interaction with the telescope entities that participate in the AO control, wavefront reconstruction with a fragmented and moving pupil, secondary control tasks to deal with differential image motion, non-common path aberrations and mis-registration. A K-band pyramid wavefront sensor and a GPU-based RTC, tailored to needs of METIS at the ELT, are core components. The implementation of the METIS SCAO system includes thorough testing at several levels before the installation at the telescope. These tests require elaborate setups to mimic the conditions at the telescope. This paper provides an overview of the design of METIS SCAO as it will be implemented, the main results of the extensive analyses performed to support the final design, and the next steps on the path towards commissioning.

Abstract
Strategic term re-writing and attribute grammars are two powerful programming techniques widely used in language engineering. The former relies on strategies to apply term re-write rules in defining large-scale language transformations, while the latter is suitable to express context-dependent language processing algorithms. These two techniques can be expressed and combined via a powerful navigation abstraction: generic zippers. This results in a concise zipper-based embedding offering the expressiveness of both techniques. Such elegant embedding has a severe limitation since it recomputes attribute values. This paper presents a proper and efficient embedding of both techniques. First, attribute values are memoized in the zipper data structure, thus avoiding their re-computation. Moreover, strategic zipper based functions are adapted to access such memoized values. We have implemented our memoized embedding as the Ztrategic library and we benchmarked it against the state-of-the-art Strafunski and Kiama libraries. Our first results show that we are competitive against those two well established libraries. © 2023 ACM.

Abstract
Traditional retail business models price electricity using volumetric tariffs, which charge customers for the unit of energy consumed. These tariffs were designed for passive consumers with low flexibility. In this paper, we argue that these volumetric tariffs are unsuitable for prosumers with high flexibility since they are unable to adequately value the flexibility of their distributed energy resources in multiple electricity markets. This reduces the interest of prosumers participating in aggregators' business models. To address this issue, we propose a new business model for aggregators of prosumers, based on the concept of energy-as-a-service. In this business model, prosumers pay a monthly fee for aggregators to represent and optimize them in multiple wholesale electricity markets, including in energy and ancillary service markets. The monthly fee is computed by a new technoeconomic simulation framework proposed in this paper, which can also be used to estimate the profitability of the new business model from the perspectives of both the aggregator and prosumers. Our experiments on a portfolio of real prosumers from Australia show that the new business model maximizes the economic benefits of both the aggregator and prosumers by increasing the average profit of the aggregator by 438% and reducing the average electricity cost of prosumers from $583/year to $0 when compared to two of the most common retail business models available in the Australian market. In other words, the economic benefit for prosumers is free electricity. In addition to this benefit, the new business model also provides simplicity and predictability to prosumers, as they are offered a guaranteed outcome before providing the services.

Abstract

Abstract
In the evolving landscape of global education, Artificial Intelligence's (AI) integration into Learning Management Systems (LMS) promises a transformative shift. This paper presents Mozambique's journey in this domain, comparing it with global advancements. While the Mozambican higher education sector stands at the cusp of a digital revolution, its engagement with AI in LMS remains foundational. This is juxtaposed against the global trend where AI tools, such as ChatGPT, are rapidly becoming standard in many educational platforms, enhancing personalization, efficiency, and data-driven insights. The benefits of AI integration, such as tailored learning experiences and administrative automation, are counterbalanced by challenges, including data privacy concerns and over-reliance on technology. Drawing from real-world case studies, the paper highlights pioneering endeavours that showcase AI's potential in reshaping educational paradigms. As Mozambique navigates its unique challenges, insights from global best practices offer a roadmap for harnessing the transformative potential of AI in LMS, aiming to elevate its higher education sector to new heights.;Na evolução da educação global, a integração da Inteligência Artificial (IA) nos Sistemas de Gestão de Aprendizagem (LMS) promete uma transformação significativa. Este artigo investiga a jornada de Moçambique neste domínio, comparando-a com os avanços globais. Enquanto o setor de ensino superior moçambicano está à beira de uma revolução digital, seu envolvimento com a IA em LMS ainda está em uma fase inicial. Isso é contrastado com a tendência global, onde ferramentas de IA, como o ChatGPT, estão rapidamente se a se tornar padrão em muitas plataformas educativas, aprimorando a personalização, eficiência e insights baseados em dados. Os benefícios da integração da IA, como experiências de aprendizagem adaptadas e automação administrativa, são equilibrados por desafios, incluindo preocupações com a privacidade dos dados e excesso de dependência da tecnologia. Através de estudos de caso do mundo real, o artigo destaca esforços pioneiros que mostram o potencial da IA em remodelar os paradigmas educacionais. Enquanto Moçambique navega pelos seus desafios únicos, os insights das melhores práticas globais oferecem um roteiro para aproveitar o potencial transformador da IA em SGA, com o objetivo de elevar seu setor de ensino superior a novos patamares.

Abstract
AOB-1 is an Adaptive Optics (AO) facility currently designed to feed the Gemini infrared Multi Object Spectrograph (GIRMOS) on the GEMINI North 8m class telescope located in Hawaii. This AO system will be made of two AO modes. A laser tomography AO (LTAO) mode using 4 LGS (laser guide stars) and [1-3] NGS (natural guide stars) for high performance over a narrow field of view (a few arcsec). The LTAO reconstruction will benefit from the most recent developments in the field, such as the super-resolution concept for the multi-LGS tomographic system, the calibration and optimization of the system on the sky, etc. The system will also operate in Ground Layer Adaptive Optics (GLAO) mode providing a robust solution for homogeneous partial AO correction over a wide 2’ FOV. This last mode will also be used as a first step of a MOAO (Multi-object adaptive optics) mode integrated in the GIRMOS instrument. Both GLAO and LTAO modes are optimized to provide the best possible sky coverage, up to 60% at the North Galactic Pole. Finally, the project has been designed from day one as a fast-track, cost effective project, aiming to provide a first scientific light on the telescope by 2027 at the latest, with a good balance of innovative and creative concepts combined with standard and well controlled components and solutions. In this paper, we will present the innovative Phase A concepts, design and performance analysis of the two AO modes (LTAO and GLAO) of the AOB-1 project. © 2023 7th Adaptive Optics for Extremely Large Telescopes Conference, AO4ELT7 2023. All rights reserved.