End members and species defined with permissible ranges of composition are presented for the true micas, the brittle micas and the interlayer-cation-deficient micas. The determination of the crystallochemical formula for different available chemical data is outlined, and a system of modifiers and suffixes is given to allow the expression of unusual chemical substitutions or polytypic stacking arrangements. Tables of mica synonyms, varieties, ill-defined materials and a list of names formerly or erroneously used for micas are presented. The Mica Subcommittee was appointed by the Commission on New Minerals and Mineral Names (“Commission”) of the International Mineralogical Association (IMA). The definitions and recommendations presented were approved by the Commission.

Knowledge graphs have become a common approach for knowledge representation. Yet, the application of graph methodology is elusive due to the sheer number and complexity of knowledge sources. In addition, semantic incompatibilities hinder efforts to harmonize and integrate across these diverse sources. As part of The Biomedical Translator Consortium, we have developed a knowledge graph–based question-answering system designed to augment human reasoning and accelerate translational scientific discovery: the Translator system. We have applied the Translator system to answer biomedical questions in the context of a broad array of diseases and syndromes, including Fanconi anemia, primary ciliary dyskinesia, multiple sclerosis, and others. A variety of collaborative approaches have been used to research and develop the Translator system. One recent approach involved the establishment of a monthly “Question-of-the-Month (QotM) Challenge” series. Herein, we describe the structure of the QotM Challenge; the six challenges that have been conducted to date on drug-induced liver injury, cannabidiol toxicity, coronavirus infection, diabetes, psoriatic arthritis, and ATP1A3-related phenotypes; the scientific insights that have been gleaned during the challenges; and the technical issues that were identified over the course of the challenges and that can now be addressed to foster further development of the prototype Translator system. We close with a discussion on Large Language Models such as ChatGPT and highlight differences between those models and the Translator system.

Diets and dietary constituents that we consume have a considerable impact on disease risk. Intriguingly these effects may be modulated to some extent by sex. Lack of female representation in nutritional studies as well as a lack of stratification by sex has and continues to limit our understanding of these sex × diet interactions. Here we provide an overview of the current and available literature describing how exposure to certain dietary patterns (Western-style diet, Mediterranean diet, vegetarian/vegan, ketogenic diet) and dietary constituents (dietary fibre, PUFA and plant bioactive) influences disease risk in a sex-specific manner. Interestingly, these sex differences appear to be highly disease-specific. The identification of such sex differences in response to diet stresses the importance of sex stratification in nutritional research.

Systems Engineering (SE) is becoming increasingly relevant in industrial application since more stakeholders are involved in engineering activities. To implement SE, companies have to adapt existing engineering processes and methods. This adaption requires knowledge about new methods as well as their integration into the engineering activities. In order to ensure goal-oriented identification of methods for different SE activities in this contribution an action field profile and the Systems Engineering Method Matrix are proposed. The development of both tools is driven by the assumption that most SE activities and methods can be described based on the artefacts the deliver. In order to get feedback about the proposed tools, semi-structured interviews with two industry partners were conducted, focussing on the tool's usability. These interviews underline the basic usability of the tools and their support to identify SE activities to be supported by (new) methods. Moreover, requirements for further development and adaption are derived from the interviews.

The stable core, an inner model of the form $\langle L[S],\in , S\rangle $ for a simply definable predicate S, was introduced by the first author in [8], where he showed that V is a class forcing extension of its stable core. We study the structural properties of the stable core and its interactions with large cardinals. We show that the $\operatorname {GCH} $ can fail at all regular cardinals in the stable core, that the stable core can have a discrete proper class of measurable cardinals, but that measurable cardinals need not be downward absolute to the stable core. Moreover, we show that, if large cardinals exist in V, then the stable core has inner models with a proper class of measurable limits of measurables, with a proper class of measurable limits of measurable limits of measurables, and so forth. We show this by providing a characterization of natural inner models $L[C_1, \dots , C_n]$ for specially nested class clubs $C_1, \dots , C_n$, like those arising in the stable core, generalizing recent results of Welch [29].