To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Visible satellite imagery (VIS) is essential for monitoring weather patterns and tracking ground surface changes associated with climate change. However, its availability is limited during nighttime. To address this limitation, we present a discrete variational autoencoder (VQVAE) method for translating infrared satellite imagery to VIS. This method departs from previous efforts that utilize a U-Net architecture. By removing the connections between corresponding layers of the encoder and decoder, the model learns a discrete and rich codebook of latent priors for the translation task. We train and test our model on mesoscale data from the Geostationary Operational Environmental Satellite (GOES) West Advanced Baseline Imager (ABI) sensor, spanning 4 years (2019 to 2022) using the Conditional Generative Adversarial Nets (CGAN) framework. This work demonstrates the practical use of a VQVAE for meteorological satellite image translation. Our approach provides a modular framework for data compression and reconstruction, with a latent representation space specifically designed for handling meteorological satellite imagery.
The rise of visually driven platforms like Instagram has reshaped how information is shared and understood. This study examines the role of social, cultural, and political (SCP) symbols in Instagram posts during Taiwan’s 2024 election, focusing on their influence in anti-misinformation efforts. Using large language models (LLMs)—GPT-4 Omni and Gemini Pro Vision—we analyzed thousands of posts to extract and classify symbolic elements, comparing model performance in consistency and interpretive depth. We evaluated how SCP symbols affect user engagement, perceptions of fairness, and content spread. Engagement was measured by likes, while diffusion patterns followed the SEIZ epidemiological model. Findings show that posts featuring SCP symbols consistently received more interaction, even when follower counts were equal. Although political content creators often had larger audiences, posts with cultural symbols drove the highest engagement, were perceived as more fair and trustworthy, and spread more rapidly across networks. Our results suggest that symbolic richness influences online interactions more than audience size. By integrating semiotic analysis, LLM-based interpretation, and diffusion modeling, this study offers a novel framework for understanding how symbolic communication shapes engagement on visual platforms. These insights can guide designers, policymakers, and strategists in developing culturally resonant, symbol-aware messaging to combat misinformation and promote credible narratives.
We investigate a system of modal semantics in which $\Box \phi $ is true if and only if $\phi $ is entailed by a designated set of formulas by a designated logics. We prove some strong completeness results as well as a natural connection to normal modal logics via an application of some lattice-theoretic fixpoint theorems. We raise a difficult problem that arises naturally in this setting about logics which are identical with their own ‘meta-logic’, and draw a surprising connection to recent work by Andrew Bacon and Kit Fine on McKinsey’s substitutional modal semantics.
In this paper, we consider an approach introduced in term rewriting for the automatic detection of non-looping non-termination from patterns of rules. We adapt it to logic programing by defining a new unfolding technique that produces patterns describing possibly infinite sets of finite rewrite sequences. We present an experimental evaluation of our contributions that we implemented in our tool NTI (Non-Termination Inference).
The capabilities of large language models (LLMs) have advanced to the point where entire textbooks can be queried using retrieval-augmented generation (RAG), enabling AI to integrate external, up-to-date information into its responses. This study evaluates the ability of two OpenAI models, GPT-3.5 Turbo and GPT-4 Turbo, to create and answer exam questions based on an undergraduate textbook. 14 exams were created with four true-false, four multiple-choice, and two short-answer questions derived from an open-source Pacific Studies textbook. Model performance was evaluated with and without access to the source material using text-similarity metrics such as ROUGE-1, cosine similarity, and word embeddings. Fifty-six exam scores were analyzed, revealing that RAG-assisted models significantly outperformed those relying solely on pre-trained knowledge. GPT-4 Turbo also consistently outperformed GPT-3.5 Turbo in accuracy and coherence, especially in short-answer responses. These findings demonstrate the potential of LLMs in automating exam generation while maintaining assessment quality. However, they also underscore the need for policy frameworks that promote fairness, transparency, and accessibility. Given regulatory considerations outlined in the European Union AI Act and the NIST AI Risk Management Framework, institutions using AI in education must establish governance protocols, bias mitigation strategies, and human oversight measures. The results of this study contribute to ongoing discussions on responsibly integrating AI in education, advocating for institutional policies that support AI-assisted assessment while preserving academic integrity. The empirical results suggest not only performance benefits but also actionable governance mechanisms, such as verifiable retrieval pipelines and oversight protocols, that can guide institutional policies.
This study investigates the incorporation of advanced heating, ventilation, and air conditioning (HVAC) systems with reinforcement learning (RL) control to enhance energy efficiency in low-energy buildings amid the extreme seasonal temperatures of Tehran. We conducted comprehensive simulation assessments using the EnergyPlus and HoneybeeGym platforms to evaluate two distinct reinforcement learning models: traditional Q-learning (Model A) and deep reinforcement learning (DRL) with neural networks (Model B). Model B consisted of a deep convolutional network architecture with 256 neurons in each hidden layer, employing rectified linear units as activation functions and the Adam optimizer at a learning rate of 0.001. The results demonstrated that the RL-managed systems resulted in a statistically significant reduction in energy-use intensity of 25 percent (p < 0.001), decreasing from 250 to 200 kWh/m² annually in comparison to the baseline scenario. The thermal comfort showed notable improvements, with the expected mean vote adjusting to 0.25, which falls within the ASHRAE Standard 55 comfort range, and the percentage of anticipated dissatisfaction reduced to 10%. Model B (DRL) demonstrated a 50 percent improvement in prediction accuracy over Model A, with a mean absolute error of 0.579366 compared to 1.140008 and a root mean square error of 0.689770 versus 1.408069. This indicates enhanced adaptability to consistent daily trends and irregular periodicities, such as weather patterns. The proposed reinforcement learning method achieved energy savings of 10–15 percent compared to both rule-based and model predictive control and approximately 10 percent improvement over rule-based control, while employing fewer building features than existing state-of-the-art control systems.
After acquiring sufficient vocabulary in a foreign language, learners start understanding parts of conversations in that language. Speaking, in contrast, is a harder task. Forming grammatical sentences requires choosing the right tenses and following syntax rules. Every beginner EFL speaker makes grammar errors – and the type of grammar errors can reveal hints about their native language. For instance, Russian speakers tend to omit the determiner “the” because Russian doesn’t use such modifying words. One linguistic phenomenon that is actually easier in English than in many other languages is grammatical gender. English doesn’t assign gender to inanimate nouns such as “table” or “cup.” A few years ago, the differences in grammatical gender between languages helped reveal societal gender bias in automatic translation: translation systems that were shown gender-neutral statements in Turkish about doctors and nurses assumed that the doctor was male while the nurse was female.
At what time does the afternoon start, at 1 p.m. or 3 p.m.? Language understanding requires the ability to correctly match statements to their real-world meaning. This mapping process is a function of the context, which includes various factors such as location and time as well as the speaker’s and listeners’ backgrounds. For example, an utterance like, “It is hot today,” would mean different things were it expressed in Death Valley versus Alaska. Based on our background and experiences, people have different interpretations for time expressions, color descriptions, geographic expressions, qualities, relative expressions, and more. This ability to map language to real-world meaning is also required from the language technology tools we use. For example, translating a recipe that contains instructions to “preheat the oven to 180 degrees” requires a translation system to understand the implicit scale (e.g. Celsius versus Fahrenheit) based on the source language and the user’s location. To date, no automatic translation systems can do this, and there is little “grounding” in any widely used language technology tool.
In order to be effective mathematics educators, teachers need more than content knowledge: they need to be able to make mathematics comprehensible and accessible to their students. Teaching Key Concepts in the Australian Mathematics Curriculum Years 7 to 10 ensures that pre-service and practising teachers in Australia have the tools and resources required to teach lower secondary mathematics.
By simplifying the underlying concepts of mathematics, this book equips teachers to design and deliver mathematics lessons at the lower secondary level. The text provides a variety of practical activities and teaching ideas that translate the latest version of the Australian Curriculum into classroom practice. It covers the challenges of middle year mathematics, including the current decline in student numeracy, as well as complex theories which teachers can struggle to explain clearly. Topics include number, algebra, measurement, space, statistics and probability. Whether educators have recently studied more complicated mathematics or are teaching out of field, they are supported to recall ideas and concepts that they may have forgotten – or that may not have been made explicit in their own education.
Authored by experienced classroom educators and academics, this book is a vital resource for pre-service and practising Years 7 to 10 mathematics teachers, regardless of their backgrounds and experiences.
In order to be effective mathematics educators, teachers need more than content knowledge: they need to be able to make mathematics comprehensible and accessible to their students. Teaching Key Concepts in the Australian Mathematics Curriculum Years 7 to 10 ensures that pre-service and practising teachers in Australia have the tools and resources required to teach lower secondary mathematics.
By simplifying the underlying concepts of mathematics, this book equips teachers to design and deliver mathematics lessons at the lower secondary level. The text provides a variety of practical activities and teaching ideas that translate the latest version of the Australian Curriculum into classroom practice. It covers the challenges of middle year mathematics, including the current decline in student numeracy, as well as complex theories which teachers can struggle to explain clearly. Topics include number, algebra, measurement, space, statistics and probability. Whether educators have recently studied more complicated mathematics or are teaching out of field, they are supported to recall ideas and concepts that they may have forgotten – or that may not have been made explicit in their own education.
Authored by experienced classroom educators and academics, this book is a vital resource for pre-service and practising Years 7 to 10 mathematics teachers, regardless of their backgrounds and experiences.
Non-compositional phrases such as “by and large” are phrases whose meaning cannot be unlocked by simply translating the combination of words they constitute. In particular, figurative expressions – such as idioms, similes and metaphors – are ubiquitous in English. Among other reasons, figurative expressions are acquired late in the language learning journey because they often capture cultural conventions and social norms associated with the people speaking the language. Figurative expressions are especially prevalent in creative writing, acting as the spice that adds flavor to the writing. Artificial intelligence (AI) writing assistants such as ChatGPT are now capable of editing raw drafts into well-written pieces, to the advantage of native and non-native speakers alike. These AI tools, which have gained their writing skills from exposure to vast amounts of online text, are extremely adept at generating text similar to the texts they have been exposed to. Unfortunately, they have demonstrated shortcomings in creative writing that requires deviating from the norm.
In order to be effective mathematics educators, teachers need more than content knowledge: they need to be able to make mathematics comprehensible and accessible to their students. Teaching Key Concepts in the Australian Mathematics Curriculum Years 7 to 10 ensures that pre-service and practising teachers in Australia have the tools and resources required to teach lower secondary mathematics.
By simplifying the underlying concepts of mathematics, this book equips teachers to design and deliver mathematics lessons at the lower secondary level. The text provides a variety of practical activities and teaching ideas that translate the latest version of the Australian Curriculum into classroom practice. It covers the challenges of middle year mathematics, including the current decline in student numeracy, as well as complex theories which teachers can struggle to explain clearly. Topics include number, algebra, measurement, space, statistics and probability. Whether educators have recently studied more complicated mathematics or are teaching out of field, they are supported to recall ideas and concepts that they may have forgotten – or that may not have been made explicit in their own education.
Authored by experienced classroom educators and academics, this book is a vital resource for pre-service and practising Years 7 to 10 mathematics teachers, regardless of their backgrounds and experiences.