This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched with hyperintensional operators such as counterfactual conditionals and belief operators.

To integrate the uneven terrain adaptivity of legged robots and the fast capacity of wheeled robots on even terrains, a four wheel-legged robot is addressed and the cooperative control strategy of wheels and legs based on attitude balance is investigated. Firstly, the kinematics of wheel-legged robot is analyzed, which contains the legged and wheeled motion modal. Secondly, the cooperative control strategy of wheel-legged robot based on attitude balance is proposed. The attitude is calculated by using the quaternion method and complementary filtering, and the attitude stability control of the wheel-legged robot is studied. The trajectory planning of leg motion including walk and trot gait is implemented, and the differential control of wheeled motion is deduced. And then, the cooperative motion control of wheels and legs is achieved by keeping the attitude balance of robot body. Finally, a small prototype is set up to validate the feasibility and effectiveness of proposed method. The experimental results show that the established wheel-legged robot can do walk, trot, and wheel-leg compound motion to overcome many complex terrains and environments.

Chronic food insecurity remains a challenge globally, exacerbated by climate change-driven shocks such as droughts and floods. Forecasting food insecurity levels and targeting vulnerable households is apriority for humanitarian programming to ensure timely delivery of assistance. In this study, we propose to harness a machine learning approach trained on high-frequency household survey data to infer the predictors of food insecurity and forecast household level outcomes in near real-time. Our empirical analyses leverage the Measurement Indicators for Resilience Analysis (MIRA) data collection protocol implemented by Catholic Relief Services (CRS) in southern Malawi, a series of sentinel sites collecting household data monthly. When focusing on predictors of community-level vulnerability, we show that a random forest model outperforms other algorithms and that location and self-reported welfare are the best predictors of food insecurity. We also show performance results across several neural networks and classical models for various data modeling scenarios to forecast food security. We pose that problem as binary classification via dichotomization of the food security score based on two different thresholds, which results in two different positive class to negative class ratios. Our best performing model has an F1 of 81% and an accuracy of 83% in predicting food security outcomes when the outcome is dichotomized based on threshold 16 and predictor features consist of historical food security score along with 20 variables selected by artificial intelligence explainability frameworks. These results showcase the value of combining high-frequency sentinel site data with machine learning algorithms to predict future food insecurity outcomes.

Over the past decades, the field of memory studies has produced a wealth of research on explicit (conscious, commemorative, official) collective memory. But beyond this realm of the visible, there is a largely hidden world of ‘implicit collective memory’. Elements of this invisible world include narrative schemata, stereotypes, patterns of framing, or world models, which are usually not explicitly known or addressed, but get passed on from generation to generation – in order to shape perception and action in new situations. Implicit collective memory is pervasive and powerful. But it is difficult to trace. It is therefore time to join forces for its systematic study: Drawing on approaches from psychology, sociology, communication studies, anthropology, media culture studies, literary studies, and mnemohistory, this article proposes some building blocks for a future transdisciplinary field of research on implicit collective memory.

In this paper, the realization of any specified planar Cartesian compliance for an object grasped by a compliant hand is addressed. The hands considered have 2 or more fingers for which each has 3 modulated elastic joints and predetermined link lengths. Geometric construction-based compliance synthesis procedures are developed. Using these procedures, a large set of compliant behaviors can be realized by a single hand simply by adjusting the configuration of each finger and by adjusting the joint stiffness (using variable stiffness actuation) of each finger joint.

Electric vehicles (EVs) are very quiet at low speed, which can be hazardous for pedestrians, especially visually impaired people. It is now mandatory (since mid-2019 in Europe) to add external warning sounds, but poor sound design can lead to noise pollution, and consequently annoyance. Moreover, it is possible that EVs are not sufficiently detectable in urban areas because of the masking effect from the background noise. In this paper, we propose a method for the design of warning sounds that takes into account both detectability and unpleasantness. The method implements a multiobjective interactive genetic algorithm (IGA) for the optimisation of the characteristics of synthesised sounds. An experiment is proposed to a first panel of participants in order to define a set of Pareto efficient sounds. At the individual level, sounds obtained with the IGA are compared to different sound design proposals. Results show that the quality of the sounds designed by the IGA method is comparable to those provided by a sound designer. From the sounds of the Pareto set, a design recommendation method based on the probability distributions of the sounds’ characteristics is proposed. An external validation with a second panel of participants shows that these recommended sounds constitute relevant trade-offs when compared to other design proposals.

The distribution of human leukocyte antigens in the population assists in matching solid organ donors and recipients when the typing methods used do not provide sufficiently precise information. This is made possible by linkage disequilibrium (LD), where alleles co-occur more often than random chance would suggest. There is a trade-off between the high bias and low variance of a broad sample from the population and the low bias but high variance of a focused sample. Some of this trade-off could be alleviated if sub-populations shared LD despite having different allele frequencies. These experiments show that Bayesian estimation can balance bias and variance by tuning the effective sample size of the reference panel, but the LD as represented by an additive or multiplicative copula is not shared.

A neural network framework is used to design a new Ni-based superalloy that surpasses the performance of IN718 for laser-blown-powder directed-energy-deposition repair applications. The framework utilized a large database comprising physical and thermodynamic properties for different alloy compositions to learn both composition to property and also property to property relationships. The alloy composition space was based on IN718, although, W was additionally included and the limiting Al and Co content were allowed to increase compared standard IN718, thereby allowing the alloy to approach the composition of ATI 718Plus® (718Plus). The composition with the highest probability of satisfying target properties including phase stability, solidification strain, and tensile strength was identified. The alloy was fabricated, and the properties were experimentally investigated. The testing confirms that this alloy offers advantages for additive repair applications over standard IN718.

This paper presents the process considerations contained within the first ever framework for implementing Product Lifecycle Management (PLM) within high-value Engineering-to-Order (ETO) programmes. The scientific contribution of the research is the identification of the process-oriented factors that are instrumental in the successful implementation of PLM within an ETO context. The framework has been developed using a qualitative methodology based on the thematic analysis of 27 semi-structured interviews. The participants were senior personnel from 11 ETO organisations in the United Kingdom, France, Australia, the United States and Canada. The thematic analysis resulted in framework themes described in relation to the process objectives, challenges or enablers, and the contributing elements of the themes were then synthesised to illustrate their interconnectedness in supporting PLM implementation. Validation of the framework using 19 participants selected from seven ETO organisations resulted in 95% agreement with statements that assessed the quality, structure and versatility of the framework. This research contributed to the updated BAE Systems Maritime Naval Ships PLM strategy for the design, build and in-service support for the First of Class new generation Royal Navy vessel for a recent shipbuilding programme.

In the control of space robots, flexible vibrations exist in the base, links and joints. When building a motion control scheme, the following three aspects should be considered: (1) the complexity in dynamic modeling; (2) the low accuracy of motion control and (3) the simultaneous suppression of multiple flexible vibrations. In this paper, we propose a motion vibration integrated saturation control scheme. First, the dynamic model of space robot with flexible-base, flexible-link and flexible-joint is established according to the assumed modes method and Lagrange equation. Second, singular perturbation theory is used to decompose the model into two subsystems: a slow subsystem containing the rigid motions of base and joints as well as the vibration of links, and a fast subsystem containing vibrations of base and joints. Third, an integrated sliding mode control with input restriction, output feedback and repetitive learning (ISMC-IOR) is designed, which can track the desired trajectories of base and joints with −3 orders of magnitude accuracy, while suppressing the multiple flexible vibrations of base, links and joints 50%–80% and 37% performance improvement over ISMC-IOR-NV were achieved. Finally, the algorithm is verified by simulations.

Gradual typing allows programs to enjoy the benefits of both static typing and dynamic typing. While it is often desirable to migrate a program from more dynamically typed to more statically typed or vice versa, gradual typing itself does not provide a way to facilitate this migration. This places the burden on programmers who have to manually add or remove type annotations. Besides the general challenge of adding type annotations to dynamically typed code, there are subtle interactions between these annotations in gradually typed code that exacerbate the situation. For example, to migrate a program to be as static as possible, in general, all possible combinations of adding or removing type annotations from parameters must be tried out and compared. In this paper, we address this problem by developing migrational typing, which efficiently types all possible ways of replacing dynamic types with fully static types for a gradually typed program. The typing result supports automatically migrating a program to be as static as possible or introducing the least number of dynamic types necessary to remove a type error. The approach can be extended to support user-defined criteria about which annotations to modify. We have implemented migrational typing and evaluated it on large programs. The results show that migrational typing scales linearly with the size of the program and takes only 2–4 times longer than plain gradual typing.

The repetitive motion planning movements of the redundant manipulator will cause oscillations and unintended swings of joints, which increase the risk of collisions between the manipulator and its surroundings. Motivated by this phenomenon, this paper presents an inverse kinematics algorithm for the spherical-revolute-spherical manipulator to solve the paradox raised by joint-drift and control the pose with no swing of the elbow. This algorithm takes the joint Cartesian positions set as the intermediary and divides the inverse solution process into two mapping processes within joint limits. Simulations are executed to evaluate this algorithm, and the results show this algorithm is applicable to repetitive motion planning and is capable of producing superior configurations based on its real-time ability and stable solve rate. Experiments using the 7-degree-of-freedom spherical-revolute-spherical manipulator demonstrate the effectiveness of this algorithm to remedy the joint-drift and elbow swing compared to Kinematics and Dynamics Library and TRAC-IK.

We study multivariate polynomials over ‘structured’ grids. Firstly, we propose an interpretation as to what it means for a finite subset of a field to be structured; we do so by means of a numerical parameter, the nullity. We then extend several results – notably, the Combinatorial Nullstellensatz and the Coefficient Theorem – to polynomials over structured grids. The main point is that the structure of a grid allows the degree constraints on polynomials to be relaxed.

The aim of the present article is to evaluate the use of the Autoregressive Fractionally Integrated Moving Average (ARFIMA) model in predicting spatially and temporally localized political violent events using the Integrated Crisis Early Warning System (ICEWS). The performance of the ARFIMA model is compared to that of a naïve model in reference to two common relevant hypotheses: the ARFIMA model would outperform a naïve model and the rate of outperformance would deteriorate the higher the level of spatial aggregation. This analytical strategy is used to predict political violent events in Afghanistan. The analysis consists of three parts. The first is a replication of Yonamine’s study for the period beginning in April 2010 and ending in March 2012. The second part compares the results to those of Yonamine. The comparison was used to assess the validity of the conclusions drawn in the original study, which was based on the Global Database of Events, Language, and Tone, for the implementation of this approach to ICEWS data. Building on the conclusions of this comparison, the third part uses Yonamine’s approach to predict violent events in Afghanistan over a significantly longer period of time (January 1995–August 2021). The conclusions provide an assessment of the utility of short-term localized forecasting.

Motivated by problems from compressed sensing, we determine the threshold behaviour of a random $n\times d \pm 1$ matrix $M_{n,d}$ with respect to the property ‘every $s$ columns are linearly independent’. In particular, we show that for every $0\lt \delta \lt 1$ and $s=(1-\delta )n$, if $d\leq n^{1+1/2(1-\delta )-o(1)}$ then with high probability every $s$ columns of $M_{n,d}$ are linearly independent, and if $d\geq n^{1+1/2(1-\delta )+o(1)}$ then with high probability there are some $s$ linearly dependent columns.

Although it has been suggested that automated writing evaluation (AWE) can liberate teachers’ time to focus more on higher-order concerns as it can take care of lower-order concerns, AWE’s impact on teachers’ feedback practice is underexplored. Additionally, scant literature exists on teachers’ perception of AWE when they use it to complement their feedback. This study explored how Grammarly shaped postsecondary L2 writing teachers’ feedback when it was used to complement teacher feedback as well as teachers’ perceptions of the tool. To understand Grammarly’s impact, teachers’ comments on 10 essays were analyzed. The teachers then had a semi-structured interview aimed at exploring their perceptions of Grammarly. The findings showed that teachers provided feedback both on global and local aspects of writing despite using Grammarly as a complement, and there was no division of labor such as that a teacher takes care of higher-order and Grammarly takes care of lower-order concerns. The findings also revealed factors that impacted teachers’ feedback, including teachers’ use of Grammarly reports, their attitudes toward automated feedback, as well as their beliefs about feedback and course objectives. Overall, of the six teachers, four were positive about Grammarly, while two were skeptical. The study provides implications on how to use Grammarly meaningfully as a complement to teacher feedback.