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.
We initiate a study of large deviations for block model random graphs in the dense regime. Following [14], we establish an LDP for dense block models, viewed as random graphons. As an application of our result, we study upper tail large deviations for homomorphism densities of regular graphs. We identify the existence of a ‘symmetric’ phase, where the graph, conditioned on the rare event, looks like a block model with the same block sizes as the generating graphon. In specific examples, we also identify the existence of a ‘symmetry breaking’ regime, where the conditional structure is not a block model with compatible dimensions. This identifies a ‘reentrant phase transition’ phenomenon for this problem – analogous to one established for Erdős–Rényi random graphs [13, 14]. Finally, extending the analysis of [34], we identify the precise boundary between the symmetry and symmetry breaking regimes for homomorphism densities of regular graphs and the operator norm on Erdős–Rényi bipartite graphs.
A graph $H$ is said to be common if the number of monochromatic labelled copies of $H$ in a red/blue edge colouring of a large complete graph is asymptotically minimised by a random colouring in which each edge is equally likely to be red or blue. We extend this notion to an off-diagonal setting. That is, we define a pair $(H_1,H_2)$ of graphs to be $(p,1-p)$-common if a particular linear combination of the density of $H_1$ in red and $H_2$ in blue is asymptotically minimised by a random colouring in which each edge is coloured red with probability $p$ and blue with probability $1-p$. Our results include off-diagonal extensions of several standard theorems on common graphs and novel results for common pairs of graphs with no natural analogue in the classical setting.
Global food security worsened during the COVID-19 pandemic. In Nigeria, food security indicators increased in the first months of the pandemic and then decreased slightly but never returned to their pre-pandemic levels. We assess if savings groups provided household coping mechanisms during COVID-19 in Nigeria by combining the in-person LSMS-ISA/GHS-2018/19 with four rounds of the Nigerian Longitudinal Phone Survey collected during the first year of the pandemic. A quasi-difference-in-differences analysis setup leveraging the panel nature of the data indicates that savings group membership reduces the likelihood of skipping a meal but finds no statistically significant effect on the likelihood of running out of food or eating fewer kinds of food. Given theoretical priors and other literature positing a relationship, we also implement an OLS regression analysis controlling for baseline values finding that having at least one female household member in a savings group is associated with a 5–15% reduction in the likelihood of reporting skipping meals, running out of food, and eating fewer kinds of food. This analysis is not able to establish causality, however, and may in fact overestimate the effects. Together, the results indicate that savings group membership is positively associated with food security after COVID-19, but the causal effect is statistically significant for only one of the three food security indicators. To conclude, considering the interest in savings groups and expectations of continued food security shocks, the importance of collecting better gender-disaggregated longitudinal household data combined with experimental designs and institutional data on savings groups.
Morphological matrices (MMs) have traditionally been used to generate concepts by combining different means. However, exploring the vast design space resulting from the combinatorial explosion of large MMs is challenging. Additionally, all alternative means are not necessarily compatible with each other. At the same time, for a system to achieve long-term success, it is necessary for it to be flexible such that it can easily be changed. Attaining high system flexibility necessitates an elevated compatibility with alternative means of achieving system functions, which further complicates the design space exploration process. To that end, we present an approach that we refer to as multi-objective technology assortment combinatorics. It uses a shortest-path algorithm to rapidly converge to a set of promising design candidates. While this approach can take flexibility into account, it can also consider other quantifiable objectives such as the cost and performance of the system. The efficiency of this approach is demonstrated with a case study from the automotive industry.
During the past few decades, the gradual merger of Discrete Geometry and the newer discipline of Computational Geometry has provided enormous impetus to mathematicians and computer scientists interested in geometric problems. This 2005 volume, which contains 32 papers on a broad range of topics of interest in the field, is an outgrowth of that synergism. It includes surveys and research articles exploring geometric arrangements, polytopes, packing, covering, discrete convexity, geometric algorithms and their complexity, and the combinatorial complexity of geometric objects, particularly in low dimension. There are points of contact with many applied areas such as mathematical programming, visibility problems, kinetic data structures, and biochemistry, as well as with algebraic topology, geometric probability, real algebraic geometry, and combinatorics.
Participatory Design – an iterative, flexible design process that closely involves stakeholders, often end users – is growing in use across design disciplines. As more practitioners use Participatory Design (PD), it has become less rigidly defined, with stakeholders engaged to varying degrees through disjointed techniques. This ambiguity can be counterproductive when discussing PD processes. We performed a systematic literature review that builds shared, foundational knowledge of PD processes and techniques while also summarizing the state of PD research in the field, as a first step in supporting richer understandings of how best to equitably engage with stakeholders. We found that a majority of PD literature examined specific case studies of PD, with the design of intangible systems representing the most common design context. Stakeholders most often participated throughout multiple stages of a design process, recruited in a variety of ways, and engaged in several of the 14 specific participatory techniques identified. Our findings also identify leverage points for creators of PD processes and how the leverage points impact design equity, including: (1) emergent versus predetermined processes; (2) direct versus indirect participation; (3) early versus late participation; (4) one time versus iterative participation; and (5) singular versus multiple PD techniques.
Heating, Ventilation, and Air Conditioning (HVAC) systems are major energy consumers in buildings, challenging the balance between efficiency and occupant comfort. While prior research explored generative AI for HVAC control in simulations, real-world validation remained scarce. This study addresses this gap by designing, deploying, and evaluating “Office-in-the-Loop,” a novel cyber-physical system leveraging generative AI within an operational office setting. Capitalizing on multimodal foundation models and Agentic AI, our system integrates real-time environmental sensor data (temperature, occupancy, etc.), occupants’ subjective thermal comfort feedback, and historical context as input prompts for the generative AI to dynamically predict optimal HVAC temperature setpoints. Extensive real-world experiments demonstrate significant energy savings (up to 47.92%) while simultaneously improving comfort (up to 26.36%) compared to baseline operation. Regression analysis confirmed the robustness of our approach against confounding variables like outdoor conditions and occupancy levels. Furthermore, we introduce Data-Driven Reasoning using Agentic AI, finding that prompting the AI for data-grounded rationales significantly enhances prediction stability and enables the inference of system dynamics and cost functions, bypassing the need for traditional reinforcement learning paradigms. This work bridges simulation and reality, showcasing generative AI’s potential for efficient, comfortable building environments and indicating future scalability to large systems like data centers.
In this editorial, we draw insights from a special collection of peer-reviewed papers investigating how new data sources and technology can enhance peace. The collection examines local and global practices that strive towards positive peace through the responsible use of frontier technologies. In particular, the articles of the collection illustrate how advanced techniques—including machine learning, network analysis, specialised text classifiers, and large-scale predictive analytics—can deepen our understanding of conflict dynamics by revealing subtle interdependencies and patterns. Others assess innovative approaches reinterpreting peace as a relational phenomenon. Collectively, they assess ethical, technical, and governance challenges while advocating balanced frameworks that ensure accountability alongside innovation. The collection offers a practical roadmap for integrating technical tools into peacebuilding to foster resilient societies and non-violent conflict transformations.
Indoor positioning systems (IPS) are essential for mobile robot navigation in environments where global positioning systems (GPS) are unavailable, such as hospitals, warehouses, and intelligent infrastructure. While current surveys may limit themselves to specific technologies or fail to provide practical application-specific details, this review summarizes IPS developments directed specifically towards mobile robotics. It examines and compares a breadth of approaches that vary across non-radio frequency, radio frequency, and hybrid sensor fusion systems, through the lens of performance metrics that include accuracy, delay, scalability, and cost. Distinctively, this work explores emerging innovations, including synthetic aperture radar (SAR), federated learning, and privacy-aware AI, which are reshaping the IPS landscape. The motivation stems from the’ increasing complexity and dynamic nature of indoor environments, where high-precision, real-time localization is essential for safety and efficiency. This literature review provides a new conceptual, cross-border pathway for research and implementation of IPS in mobile robotics, addressing both technical and application-related challenges in sectors related to healthcare, industry, and smart cities. The findings from the literature review allow early career researchers, industry knowledge workers, and stakeholders to provide secure societal, human, and economic integration of IPS with AI and IoT in safe expansions and scale-ups.
This study presents an innovative framework to improve the accessibility and usability of collaborative robot programming. Building on previous research that evaluated the feasibility of using a domain-specific language based on behaviour-driven development, this paper addresses the limitations of earlier work by integrating additional features like a drag-and-drop Blockly web interface. The system enables end users to define and execute robot actions with minimal technical knowledge, making it more adaptable and intuitive. Additionally, a gesture-recognition module facilitates multimodal interaction, allowing users to control robots through natural gestures. The system was evaluated through a user study involving participants with varying levels of professional experience and little to no programming background. Results indicate significant improvements in user satisfaction, with the system usability scale overall score increasing from 7.50 to 8.67 out of a maximum of 10 and integration ratings rising from 4.42 to 4.58 out of 5. Participants completed tasks using a manageable number of blocks (5 to 8) and reported low frustration levels (mean: 8.75 out of 100) alongside moderate mental demand (mean: 38.33 out of 100). These findings demonstrate the tool’s effectiveness in reducing cognitive load, enhancing user engagement and supporting intuitive, efficient programming of collaborative robots for industrial applications.
The chapter examines the motivational dWPHP problem from three perspectives: logical (axiomatization and provability), computational complexity (witnessing) and proof complexity (propositional translation). It also defines strong proof systems and formulates some of their properties.
The engineering-to-order (ETO) sector, driven by the demands of new energy transition markets, is witnessing rapid innovation, especially in the design of complex systems of turbomachinery components. ETO involves tailoring products to meet specific customer requirements, often posing coordination challenges in integrating engineering and production. Meeting customer demands for short lead times without imposing high price premiums is a key industry challenge. This article explores the application of artificial neural networks as an enabler for design automation to deliver a first tentative optimal design solution in a short period of time with respect to more computationally demanding optimization methods. The research, conducted in collaboration with an energy company operating in the Oil & Gas and energy transition markets, focuses on the design process of reciprocating compressors as a means of study to develop and validate the developed methodology. Three case studies corresponding to as many representative jobs related to reciprocating compressor cylinders have been analyzed. The results indicate that the proposed method performs well within its training boundaries, delivering optimal solutions and providing reasonably accurate predictions for target configurations beyond these boundaries. However, in cases requiring a creative redesign using artificial neural networks may lead to errors that exceed acceptable tolerance levels. In any case, this methodology can significantly assist design engineers in the efficient design of complex systems of components, resulting in reduced operating and lead times.