(1) Background: The aim of the research was to present and emphasize the importance of magnetic resonance imaging (MRI) in diagnosing Achilles tendon (AT) ruptures by presenting case reports. (2) Materials and Methods: The sample of respondents included 7 patients (4 males and 3 females, 2 athletes and 5 non-athletes), aged 25 to 58 years, with AT injuries, who were examined and treated at the Institute for Treatment and Rehabilitation "Niška Banja", Niš, Serbia. Ankle examinations with MRI were conducted using the Esaote O-scan 0.3 T machine. The examinations were performed without the application of a paramagnetic contrast agent and without the use of anesthesia. Results: The MRI method's sensitivity and overall diagnostic accuracy were excellent, with 100% true positives. In our study, the method accurately detected the presence, location, and severity of AT injuries in all cases. MRI is an important and reliable method for detecting AT injuries, classifying them, monitoring the course of recovery, and assessing the effects of therapy. Conclusions: An unrecognized or delayed diagnosis of an AT injury can lead to chronic changes. Timely diagnosis (clinical examination, ultrasonography, magnetic resonance imaging) and appropriate treatment (conservative or operative) enable patients to return to normal activities, including sports. Unfortunately, the use of MRI is limited by restricted access and the cost of the examination.

In the achievement of the Sustainable Development Goals (SDGs), education plays a fundamental role. However, traditional methodologies do not favor the enrichment and personal development essential to promote global awareness. The use of active methodologies based on experiences improve the quality of learning. This work describes the design, implementation, and evaluation of the acquired knowledge of a didactic proposal for non-formal education as a support for regulated education based on botany content. Firstly, a workshop was held, where young people participated directly in developing field work with a real scientific methodology. Subsequently, a group of students was chosen to be interviewed to obtain a global vision of the learning they obtained. The motivation of the students was quite positive, which allowed us to obtain voluntary participation in the field work and gave the students a participative attitude throughout the development of the workshops. Four months later, this positive attitude remained during their direct involvement in various activities, and the students still remembered the fundamental content discussed. Relating the didactic proposal to its immediate environment was shown to increase interest in learning and value in its own context. The results of this educational experience have been very positive, as knowledge was acquired, and interest in the preservation of the environment and the profession of a researcher was promoted.

This research contributes to the overall debate on education for sustainable development (ESD) by shed- ding lights on the contributing role of formal education to the contemporaneous dynamics of literacy, labor market participation and poverty reduction in Africa, with a focus on Burkina Faso. The study uses a semi-parametric recursive trivariate probit modeling approach, and data from the 2014 National Survey on Household Living Conditions in Burkina Faso. The results show that the embraced systemic approach in this analysis is statistically signicant as shown by the 95% condence intervals on the three correlation coeffcients in the model. Furthermore, education does improve literacy skills, however improved literacy skills in itself does not guaranty active labor market participation in Burkina Faso. Active labor market participation seem to be affected by labor market rates of return, and individual reservation wage (or income). When labor market rate of return is short of high literacy skilled individuals' reservation wage, then the natural response is a choice of inactivity in the labor market, by the later group. Simultaneously however, it is found that active labor market participation leads to poverty reduction; therefore, in addition to new industrial policies for structural transformation of the economy, policy makers in Burkina Faso should consider education and minimum wage reforms to give highly literate household members the incentive to be active in the labor market.

In this paper, Hybrid Automata, which is a formal model for hybrid systems, has been introduced. A summary of its theory is presented and some of its special and important classes are listed and some properties that can be studied and checked for it are mentioned. Finally, the purposes of use, the most widely used areas, and the tools that provide H.A. Support are addressed.

Currently, some non-conventional therapies (NCT), such as acupuncture, homeopathy, osteopathy, naturopathy, herbology, and Traditional Chinese Medicine are structured and well-regulated for a market of teaching and clinical practice in Portugal, among which acupuncture has become one of the most appealing and functional branches. Through investigation of acupuncture laws, field surveys, teaching work and interviews with people from NCT field in Portugal, we showed the current acupuncture education in Portugal and found that according to the academic norms and rules of education in Portugal, there is a gradual difficulty in the progression and maintenance of the degree training dynamics, due to the lack of more tolerant transitional measures and also, a timid commitment on the part of the institutions that embark on these complementary programs. Therefore, it will be necessary to promote additional programs and measures that avoid a total emptiness of the teaching of acupuncture and at the same time losses of clinicians, competencies and quality of information that are difficult to recover. It could be very meaningful and thought-provoking to the future development and improvement of acupuncture in Portugal and in other countries that welcome acupuncture and intend to have a better legislation and application.

We investigate a family of nonlinear partial differential equations which are singularly perturbed in a complex parameter and singular in a complex time variable at the origin. These equations combine differential operators of Fuchsian type in time and space derivatives on horizontal strips in the complex plane with a nonlocal operator acting on the complex parameter known as the formal monodromy around 0. Their coefficients and forcing terms comprise polynomial and logarithmic type functions in time and are bounded holomorphic in space. A set of logarithmic type solutions are shaped by means of Laplace transforms relatively to time and parameter and Fourier integrals in space. Furthermore, a formal logarithmic type solution is modeled which represents the common asymptotic expansion of Gevrey type of the genuine solutions with respect to the complex parameter on bounded sectors at the origin.

This paper addresses the Collatz Conjecture, an open question in mathematics that postulates all positive integers will eventually reach one when a pair of specific operations are repeatedly applied. Despite its apparent simplicity, the conjecture lacks a formal proof. To tackle this enigma, we introduce Algebraic Inverse Trees (AITs), data structures that trace inverse operations of the Collatz sequence. This new approach not only elaborates our unique methodology but also sheds light on the underlying complexities of the Collatz Conjecture.

The entropy of Boltzmann-Gibbs, as proved by Shannon and Khinchin, is based on four axioms, where the fourth one concerns additivity. The group theoretic entropies make use of formal group theory to replace this axiom with a more general composability axiom. As has been pointed out before, generalized entropies crucially depend on the number of allowed number degrees of freedom $N$. The functional form of group entropies is restricted (though not uniquely determined) by assuming extensivity on the equal probability ensemble, which leads to classes of functionals corresponding to sub-exponential, exponential or super-exponential dependence of the phase space volume $W$ on $N$. We review the ensuing entropies, discuss the composability axiom, relate to the Gibbs' paradox discussion and explain why group entropies may be particularly relevant from an information theoretic perspective.

In the context of reinforcement learning (RL), ensuring both safety and performance is crucial, especially in real-world scenarios where mistakes can lead to severe consequences. This study aims to address this challenge by integrating temporal logic constraints into RL algorithms, thereby providing a formal mechanism for safety verification. We employ a combination of theoretical and empirical methods, including the use of temporal logic for formal verification and extensive simulations to validate our approach. Our results demonstrate that the proposed method not only maintains high levels of safety but also achieves comparable performance to traditional RL algorithms. Importantly, our approach fills a critical gap in existing literature by offering a solution that is both mathematically rigorous and empirically validated. The study concludes that the integration of temporal logic into RL offers a promising avenue for developing algorithms that are both safe and efficient. This work lays the foundation for future research aimed at generalizing this approach to various complex systems and applications.

This paper proposes an interpretable geometry solution based on the formal language set of text and diagram. Geometry problems are solved by machines, which still poses challenges in natural language processing and computer vision. Significant progress promotes existing methods in the extraction of geometric formal languages. However, the neglect of the graph structure information in the formal language and the lack of further refinement of the extracted language set can lead to the poor effect of the theorem prediction and affect the accuracy in problem solving. In this paper, the formal language graph is constructed by the extracted formal language set and used to theorem prediction by graph convolutional network. So as to better extract the relationship set of diagram elements, an improved diagram parser was proposed. The test results indicate that the improved method has good results in solving the problem with interpretability geometry.

Wireless Sensor Networks (WSNs) are being increasingly adopted in critical applications, where verifying the correct operation of sensor nodes is a major concern. Undesired events may undermine the mission of the WSNs. Hence their effects need to be properly assessed before deployment to obtain a good level of expected performance and during the operation in order to avoid dangerous unexpected results. In this paper we propose a methodology to support design and deployment of dependable WSNs by means of an event-based formal verification technique. The methodology includes a process to guide designers towards the realization of a dependable WSN and a tool ("ADVISES") to simplify its adoption. The tool allows to generate automatically formal specifications used to check correctness properties and evaluate dependability metrics at design time and at runtime. During the runtime we can check the behavior of theWSN accordingly to the results obtained at design time and we can detect sudden and unexpected failures, in order to trigger recovery procedures. The effectiveness of the methodology is shown in the context of two case studies, aiming to illustrate how the tool is helpful to drive design choices and to check the correctness properties of theWSN at runtime

Aging is a major risk factor for the higher incidence and prevalence of chronic conditions, such as cancer, cardiovascular and metabolic diseases, and neurodegenerative diseases. Closely linked with the onset of all these age-related diseases is immunosenescence, a condition defined as progressive reconfiguration of the immune functions leading to an increased susceptibility to infectious diseases, poorer response to vaccination, increased prevalence of cancer, rheumatoid arthritis, and other chronic diseases characterized by a pro-inflammatory state named inflammaging. Given that immunosenescence frames age-related diseases, it is natural to ask how these illnesses are related under the context of innate and adaptative components of the immune system. Knowledge processing by Formal Concept Analysis (FCA) of age-related diseases framed in an immunosenescence multivalued context shows that a hierarchy among these diseases emerges with a subconcept-superconcept nested structure, with two clusters, first made of metabolic diseases, cancer, and cardiovascular diseases. Second metabolic and neurodegenerative diseases and rheumatoid arthritis. Metabolic diseases seem to be a pivot illness and they must be a primary target given their global incidence and prevalence and their cost-effective treatments like regular physical activity, weight loss, healthy diet, stopping smoking, and reducing or managing stress. Another implication of the ontological analysis of age-related diseases is about the nature of immunosenescence, suggesting that initial symptoms of age-related diseases are mainly related to innate immune mechanisms, and developing of severe symptoms of age-related diseases like cancer, cardiovascular or neurodegenerative diseases depends on the activation of acquired immunity processes.

We investigate how formal institutional distance (FID) moderates the relationship between cul-tural distance (CD) and the financial performance of foreign subsidiaries firms. Following recent research, we estimate the asymmetric effects of CD by considering its size and direction towards host countries on the opposite poles of each cultural dimension` scale. We propose that a limited understanding of the formal institutions in the host country, as measured by the magnitude and direction of the FID, can have a positive moderating effect, increasing the impact of CD on finan-cial performance. This is mainly because foreign subsidiary firms may be more reliant on their ca-pacity to navigate the less formal (and more implicit) aspects of the host country's institutional environment, such as their ability to cope with the CD. We use foreign subsidiary data from the Orbis database including 22 developed and 22 developing home countries and over 1400 foreign subsidiaries during a period of 3 consecutive years operating in 10 of the largest economies (host countries) in Latin America including: Argentina, Brazil, Colombia, Chile, Ecuador, Mexico, Panama, Peru, Uruguay, and Venezuela. Findings confirm the asymmetric effects of CD, howev-er, by considering the direction of FID, our findings reveal that the higher the FID towards less developed host countries, the more significant the effects of CD on the financial performance. These findings contribute to the knowledge of how formal and informal institutional distances in-teract by showing that the greater the FID towards less developed host countries, to higher the impact of CD on the financial performance of foreign subsidiary firms.

Misuse of measurement units and orientations leads to errors in scientific applications, Cyber Physical Systems (CPS), and IoT C/C++ programs. Standard type system are inadequate in preventing such errors. Although dimensional and orientational analysis in physics can manually detect these errors in equations, analyzing complex code with intricate physical computations is impractical. To overcome this challenge, we propose an advanced type system that incorporates units and orientations as integral components within a specialized type library. Our enhanced type system automatically detects potential errors during compile time by representing physical quantities as types and utilizing dimensional analysis, orientational analysis, and metaprogramming techniques. Our improved type system enables formal verification of C++ software, successfully verifying programs with extensive codebases. We also employ it for runtime verification of dynamic linking and pointer operations in C++ programs. The integration of compile-time verification, dimensional analysis, orientational analysis, and advanced type system enhances the robustness and accuracy of scientific applications, CPS, and IoT C/C++ programs. By leveraging these approaches, we ensure precise calculations and prevent errors related to measurement units and orientations, resulting in substantial improvements in reliability and accuracy.

Alzheimer’s disease is a debilitating neurodegenerative condition which is known to be the most common cause of dementia. Despite its rapidly growing prevalence, medicine still lacks a comprehensive definition of the disease. As a result, Alzheimer’s disease remains neither preventable nor curable. In recent years, broad interdisciplinary collaborations in Alzheimer’s disease research are becoming more common. Furthermore, such collaborations have already demonstrated their superiority in addressing the complexity of the disease in innovative ways. However, establishing effective communication and optimal knowledge distribution between researchers and specialists with different expertise and background is not a straightforward task. To address this challenge, we propose the Alzheimer’s disease Ontology for Diagnosis and Preclinical Classification (AD-DPC) as a tool for effective knowledge sharing in interdisciplinary/multidisciplinary teams working on Alzheimer’s disease. It covers six major conceptual groups, namely Alzheimer's disease pathology, Alzheimer's disease spectrum, Diagnostic process, Symptoms, Assessments, and Relevant clinical findings. All concepts were annotated with definitions or elucidations and in some cases enriched with synonyms and additional resources. The potential of AD-DPC to support non-medical experts is demonstrated through an evaluation of its usability, applicability and correctness. The results show that the participants in the evaluation process who lack prior medical knowledge can successfully answer Alzheimer’s disease-related questions by interacting with AD-DPC. Furthermore, their perceived level of knowledge in the field increased leading to effective communication with medical experts.

In recent years, the internet of things has been widely utilized in various fields, such as in smart factories or connected cars. As its domain of application has expanded, it has begun to be employed using multi-server architectures for a more efficient use of resources. However, because users wishing to receive IoT services connect to multi-servers over wireless networks, this can expose systems to various attacks and result in serious security risks. To protect systems (and users) from potential security vulnerabilities, a secure authentication technology is necessary. In this paper, we propose a smart card-based authentication protocol, which performs the authentication for each entity by allowing users to go through the authentication process using a smart card transmitted from an authentication server, and to login to a server connected to the IoT. Furthermore, the security of our proposed authentication protocol is verified by simulating a formal verification scenario using AVISPA, a security protocol-verification tool.

Robotic systems have been widely used in various industries, so the security of communication between robots and their components has become an issue that needs to be focused on. As a framework for developing robotic systems, the security of ROS2 can directly affect the security of the upper-level robotic systems. Therefore, it is a worthwhile research topic to detect and analyze the security of ROS2. In this paper, we adopt a formal approach to analyze the security of the communication mechanism of ROS2. First, we use a state transition system to model the potential vulnerabilities of ROS2 based on the ROS2 communication mechanism and the basic process of penetration testing. Secondly, we introduce the CIA model on the basis of the established vulnerability model and use LTL to define its security properties. Then, we design and implement a vulnerability detection tool for ROS2 applications based on the vulnerability model and security properties. Finally, we experimentally test some ROS2-based applications, and the results show that ROS2 has vulnerabilities without additional protection safeguards.

With the rise of Internet of Things (IoT) devices and Cyber-Physical Systems, the demand for more functional and high-quality software has increased tremendously. To meet this need, we must reengineer and reuse existing software, as well as develop new software formal verification methods. One such method is based on physical quantities defined by the System International, which have physical dimensions. The homogeneity of physical dimensions in software code enables us to check the software code in the space of base units, making it the first basis of the new software verification method. However, this method cannot check expressions with angles, angle speed, and other similar features. To address this, a transformation for physical value orientation introduced by Siano allows us to check software code for orientational, stabilization, and other related branches. This makes the orientational homogeneity the second basis of the new software verification method. To assess the effectiveness of the proposed method, we developed special software defect models based on the statistical characteristics of software code. We used a special statistical analysis tool to define the statistical characteristics of modern software and analyzed over 2 GB of C++ GITHUB code for drones. Based on the actual distribution of software characteristics, the proposed method can detect over 60% of latent software defects. Implementing this method can significantly reduce testing time, improve reliability, and enhance overall software quality.

Integrated Model of Distributed Systems is used for modeling and verification. In formalism, the distributed system is modeled as a collection of server states and agent messages. The evolution of the system takes the form of actions that transform the global system configuration (states and messages) into a new configuration. Formalism is used in the Dedan verification environment for finding different kinds of deadlocks: communication deadlocks in the server view and resource deadlocks in the agent view. For other purposes, a conversion has been developed to equivalent models: to Petri nets for structural analysis and do Distributed Autonomous and Asynchronous Automata (DA3) for easy graphical modeling in terms of system components. In addition, it is possible to simulate a verified system on distributed components in DA3. The automata have two forms: Server-DA3 (S-DA3) for the server view and Agent-DA3 (A-DA3) for the agent view. DA3 formalism is compared to other concepts of distributed automata known from the literature.

We investigate a singularly perturbed q-difference differential Cauchy problem with polynomial coefficients in complex time and space with quadratic nonlinearity. We construct local holomorphic solutions on sectors in the complex plane with respect to the perturbation parameter with values in some Banach space of formal power series in space with analytic coefficients on shrinking domains in time. Two aspects of these solutions are addressed. One feature concerns asymptotic expansions in the parameter for which a Gevrey type structure is unveiled. The other fact deals with confluence properties as q tends to 1. In particular the built up Banach valued solutions are shown to merge in norm to a fully bounded holomorphic map in all its arguments that solves a nonlinear partial differential Cauchy problem.

The asymptotic behavior of the analytic solutions of a family of singularly perturbed q-difference-differential equations in the complex domain is studied. Different asymptotic expansions with respect to the perturbation parameter and to the time variable are provided: one of Gevrey nature, and another of mixed type Gevrey and q-Gevrey. This asymptotic phenomena is observed due to the modification of the norm established on the space of coefficients of the formal solution. The techniques used are based on the adequate path deformation of the difference of two analytic solutions, and the application of several versions of Ramis-Sibuya theorem.

The number of fishers working on commercial fishing vessels worldwide is approximately 159,800 according to the Food and Agriculture Organization of the United Nations. The International Labour Organization estimates that the mean annual number of deaths during fishing is approximately 24,000. Most guidelines for the prevention of marine accidents have been developed with a focus on vessels involved in international navigation. As these guidelines may have parts that are unsuitable for application in small-scale boats operating in coastal areas, appropriate modifications are required. This study analyzed quantitative data on 1,790 marine accidents that occurred in trap fishery, a globally common type of fishery, and data obtained through a survey of 101 fishers in South Korea. A guideline to reduce the rate of fatal accidents was developed using the Bayesian network, a method used for the analysis of accidents, as suggested in the formal safety assessment protocol. The results of data analysis and the developed guidelines are expected to be beneficial to all fishers involved in trap fishery across many countries worldwide.

We examine a family of nonlinear q-difference-differential Cauchy problems obtained as a coupling of linear Cauchy problems containing dilation q-difference operators, recently investigated by the author, and quasi-linear Kowalevski type problems that involve contraction q-difference operators. We build up local holomorphic solutions to these problems. Two aspects of these solutions are explored. One facet deals with asymptotic expansions in the complex time variable for which a mixed type Gevrey and q-Gevrey structure is exhibited. The other feature concerns the problem of confluence of these solutions as q tends to 1.

Shells, probably like no other product of nature, have played an important role in the history of mankind. The pre-Hispanic civilizations of Ibero-America also used certain type of shells profusely in their religious ceremonies, in particular, in Ecuador there were two species of main importance, the Spondylus princeps and the Spondylus calcifer broadly employed to manufacture ornaments that possess a strong symbolic, religious and social meaning and that were almost exclusively used by ruling classes. Among these ornaments, the faces carved on the Spondylus shells are little known. In the present study, we chose a total of fifteen (15) pieces from the Pastor Restrepo Lince´s archaeomalacology collection to understand the possible uses of these objects, through the interpretation of the gestures represented on the faces, their dimensions, and their geographical distribution in pre-Hispanic Ecuador. To achieve the proposed objective, we approach the present investigation from the perspective of the formal analysis of concepts, which is a mathematical theory of representation of knowledge, finding that these faces carved in Spondylus, were used daily or in special ceremonial occasions and that its use was common in all the regional cultures of ancient Ecuador, from the oldest such as Valdivia, and for more than 2000 years, indicating a long tradition of the use of Spondylus as an object of great symbolic and economic value until the arrival of the Spanish

A linear Cauchy problem with polynomial coefficients wich combines q-difference operators for q>1 and differential operators of irregular type is examined. A finite set of sectorial holomorphic solutions w.r.t the complex time is constructed by means of classical Laplace transforms. These functions share a common asymptotic expansion in the time variable which turns out to carry a double layers structure which couples q-Gevrey and Gevrey bounds. In the last part of the work, the problem of confluence of these solutions as q tends to 1 is investigated.

This case study assessed marketing arrangements used by small scale farmers in the Lake Basin and Lower Eastern bean corridors of Kenya to determine which markets work for rural producers and what changes are needed to produce and supply sufficient quantities for trade. Using exploratory research, data was collected through focus group discussions with six farmer groups representing a total of 1255 bean farmers and key informant interviews with extension staff. The results indicated that 94% of the farmers produced beans before identifying buyers with only 6% participating in group marketing. Though spot-market transactions with brokers and traders provided ready cash for the farmers, formal buyers were perceived to be more reliable but difficult to find and, operated stringent requirements which were a barrier to entry. A theory of change to integrate smallholders into formal markets to sustainably produce and supply sufficient volumes for trade should entail a transformation agenda at four levels of the value chain: intensification of production through pure stand models with greater use of certified high yielding varieties; stable price guarantees; a market-driven research and extension service and; an enabling political, policy and business environment in the bean value chain. Further research is needed to pilot these changes in a case control study.

We examine a linear q-difference differential equation which is singular in complex time t at the origin. Its coefficients are polynomial in time and bounded holomorphic on horizontal strips in one complex space variable. The equation under study represents a q-analog of a singular partial differential equation, recently investigated by the author, which comprises Fuchsian operators and entails a forcing term that combines polynomial and logarithmic type functions in time. A sectorial holomorphic solution to the equation is constructed as a double complete Laplace transform in both time t and its complex logarithm log t and Fourier inverse integral in space. For a particular choice of the forcing term, this solution turns out to solve some specific nonlinear q-difference differential equation with polynomial coefficients in some positive rational power of t. Asymptotic expansions of the solution relatively to time t are investigated. A Gevrey type expansion is exhibited in a logarithmic scale. Furthermore, a formal asymptotic expansion in power scale is displayed, revealing a new fine structure involving remainders with both Gevrey and q-Gevrey type growth.

A family of singularly perturbed q-difference-differential equations under the action of a small complex perturbation parameter is studied. The action of the formal monodromy around the origin is present in the equation, which suggests the construction of holomorphic solutions holding logarithmic terms in both, the formal and the analytic level. We provide both solutions and describe the asymptotic behavior relating them by means of q-gevrey asymptotic expansions of some positive order, with respect to the perturbation parameter. On the way, the development of a space product of Banach spaces in the Borel plane is needed to provide a fixed point for a coupled system of equations.

This paper directly addresses a long-standing issue that affects the development of many complex distributed software systems: how to establish quickly, cheaply, and reliably whether they can deliver their intended performance before expending significant time, effort and money on detailed design and implementation. We describe ∆QSD, a novel metrics-based and quality-centric paradigm that uses formalised outcome diagrams to explore the performance consequences of design decisions, as a performance blueprint of the system. The distinctive feature of outcome diagrams is that they capture the essential observational properties of the system, independent of the details of system structure and behaviour. The ∆QSD paradigm derives bounds on performance expressed as probability distributions encompassing all possible executions of the system. The ∆QSD paradigm is both effective and generic: it allows values from various sources to be combined in a rigorous way, so that approximate results can be obtained quickly and subsequently refined. ∆QSD has been successfully used by Predictable Network Solutions for consultancy on large-scale applications in a number of industries, including telecommunications, avionics, and space and defence, resulting in cumulative savings worth billions of US dollars. The paper outlines the ∆QSD paradigm, describes its formal underpinnings, and illustrates its use via a topical real-world example taken from the blockchain/cryptocurrency domain. ∆QSD has enabled challenging throughput targets to be met for a globally distributed blockchain operating on the public internet.

This paper is motivated by three main assumptions: (1) The currently dominant forms of knowledge representation (natural language text, formulas, graphics) are suboptimal to facilitate knowledge transfer between control engineering sub-fields and into potential application domains. (2) Formal knowledge representation (in general) is a promising supplementary approach, but (3) the established technologies so far have failed to be significantly adopted for formal representation of control engineering knowledge. Thus, after briefly reviewing existing representation methods, we introduce our own approach: The Python based imperative representation of knowledge (PyIRK) and its application to formulate the Ontology of Control Systems Engineering (OCSE). One of its main features is the possibility to represent the actual content of definitions and theorems as nodes and edges of a knowledge graph, which is demonstrated by selected elements from Lyapunov theory. While the approach is still experimental, the formalization already allows to apply methods of automated quality assurance and a semantic search mechanism. The current feature set of the framework is demonstrated on various examples before directions for further developments are discussed.

In this paper, we study properties of formal concepts from an order-theoretic perspective. We first establish a natural correspondence between formal contexts and preorders as well as their induced posets. Then, based on the poset induced from a formal context, we provide characterization for join-irreducible or meet-irreducible elements of finite concept lattices. In addition, we introduce the notion of rough conceptual approximations based on topological closure and interior operators. In contrast with the conventional definition of equivalence class of an object used in Pawlakian approximation spaces, we instead utilize the extent of an object concept. We show that rough conceptual approximations are equivalent to approximation operators in the generalized approximation space associated with the preorder corresponding to a formal context. We also illustrate these theoretical results with examples and discuss their potential applications.

Sometimes there are clear and natural limits to the scope of action of a science, and in other cases they are simply convenient ones. Geographic Information Science (GISc) is a transversal science, with contacts with all geosciences but also with various formal sciences such as Mathematics, Logic and Computer Science. A first approach to specifying the limits of a science is through its definition. Definitions of GISc are often so expansive that they have been rightly criticized for practicing gerrymandering, in particular with the rest of the geosciences. To avoid this, an operational definition is proposed that places GISc among the sciences that handle Data and not Information. This solves the gerrymandering problem without really implying a significant cut of what is usually considered within GISc. As an unforeseen consequence, this delimitation will allow it to be characterized as Formal Science, leaving it as the only geoscience with this characteristic.

This paper is aimed at studying the temporal evolution of the surface displacements occurred over the past few years in the ocean-reclaimed platforms of the Shanghai megacity (China), which are mainly ascribable to consolidation processes of large dredger fills and alluvial deposits. With respect to previous analyses carried out over the same area, this work provides a joint multi-platform differential interferometry synthetic aperture radar (DInSAR) analysis, based on the application of the advanced Small BAseline Subset (SBAS) algorithm. This led us to retrieve long-term deformation time-series that are helpful for a better understanding of the on-going deformation phenomena. To this aim, we have exploited two sequences of SAR data collected by the ASAR/ENVISAT and by the COSMO-SkyMed (CSK) sensors, respectively, spanning the whole time period from 2007 to 2016. Unfortunately, the large time gap (of about three years) existing between the available ASAR/ENVISAT and CSK datasets gave rise to additional difficulties for their combination. Nevertheless, this problem has been faced by benefiting from the knowledge of a time-dependent model describing the temporal evolution of the expected deformations affecting the Shanghai ocean-reclaimed platforms.

The digital transformation of critical infrastructures, such as energy or water distribution systems, is essential for their smart management. Faster issue identification and smoother services enable better adaptation to consumers' evolving demands. However, these large-scale infrastructures are often outdated. Their digital transformation is crucial to enable them supporting societies. This process must be carefully planned, providing guidance that ensures that the data they rely on is dependable and that the system remains fully operational during the transition. This paper presents a formal model that supports reliable data acquisition in legacy critical infrastructures, facilitating their evolution towards a data-driven smart system. Our model provides the foundation for a flexible transformation process while generating dependable data for system management. We demonstrate the model's applicability in a use case within the water distribution domain and discuss its benefits.

We examine a nonlinear initial value problem both singularly perturbed in a complex parameter and singular in complex time at the origin. The study undertaken in this paper is the continuation of a joined work with A. Lastra published in 2015. A change of balance between the leading and a critical subdominant term of the problem considered in our previous work is performed. It leads to a phenomenon of coalescing singularities to the origin in the Borel plane w.r.t time for a finite set of holomorphic solutions constructed as Fourier series in space on horizontal complex strips. In comparison to our former study, an enlargement of the Gevrey order of the asymptotic expansion for these solutions relatively to the complex parameter is induced.

We examine a family of linear partial differential equations both singularly perturbed in a complex parameter and singular in complex time at the origin. These equations entail forcing terms which combine polynomial and logarithmic type functions in time and that are bounded holomorphic on horizontal strips in one complex space variable. A set of sectorial holomorphic solutions are built up by means of complete and truncated Laplace transforms w.r.t time and parameter and Fourier inverse integral in space. Asymptotic expansions of these solutions relatively to time and parameter are investigated and two distinguished Gevrey type expansions in monomial and logarithmic scales are exhibited.

The notion of hierarchy is a key characteristic of any complex system. This paper explores which notions of hierarchy are being used in the field of management and organization studies. Four distinct types of hierarchy are identified: a ladder of formal decision-making authority, a ladder of achieved status, a self-organized ladder of responsibility, and an ideology-based ladder. A social mechanism-based perspective serves to define and distinguish these four types. Subsequently, the typology is further developed by comparing the four hierarchy types in terms of their tacit/explicitness, (in)transitivity, and behavior- versus cognition-centeredness. This review article contributes to the literature by dissecting the general metaphor of hierarchy into four different constructs and their social mechanisms, which serves to create a typology of the various ways in which complex systems can be characterized as being hierarchical. This typology can inform future research drawing on any type of hierarchy.

Reporting on CSR activities has become the essence of reporting for modern business entities. In this regard, particular attention is paid to public interest companies. Therefore, the following paper aims to answer the question of whether there are differences in the linguistic structure of the studied CSR reports in three selected industry indices on the Warsaw Stock Exchange (WSE) in Poland, i.e. WIG-energy index, WIG-fuel index, WIG-mining index and their relationship with the performance of selected companies. The study was conducted on a purposely selected sample of companies between 2013 and 2018. A total of 138 CSR reports and 138 annual separate financial statements prepared in accordance with international balance sheet law were collected. The study was carried out based on a panel regression model. It was found that CSR reports contained similar average percentages of parts of speech such as nouns and adjectives. When linking the economic performance of companies, expressed with selected indices, to the information on the implementation of CSR concepts, it was revealed that the results are more likely to describe business performance when it is satisfactory.

Petri nets are a graphical notation for describing a class of discrete event dynamic systems whose behaviours are charaterised by concurrency, synchronisation, mutual exclusion and conflict. They have been used over the years for the modelling of various distributed systems applications. With the advent of pervasive systems and the Internet of Things, the Calculus of Context-aware Ambients (CCA) emerged as a suitable formal notation for analysing the behaviours of these systems. In this paper, we are interested in comparing the expressive power of Petri nets to that of CCA. That is, can the class of systems represented by Petri nets be modelled in CCA? To answer this question, an algorithm is proposed that maps any Petri net onto a CCA process. We show that a Petri net and its corresponding CCA process behave the same way through experiments. It follows that CCA is at least as expressive as Petri nets, i.e. any system that can be specified in Petri nets can also be specified in CCA. Moreover, tools developed for CCA can also be used to analyse Petri nets.

Agriculture is the backbone of Kenya’s economy, supporting up to 80% of the rural livelihoods. Kenya’s export horticulture is currently the leading Agriculture subsector in Kenya has evolved from small-holder farming to agro-industrial large-scale export farming dominated by multinational companies. It is regarded as an agro-industrial food system based on the economies of scale producing for mass markets outside of the production area. Much of the food consumed from this food system has undergone multiple transformations and been subject to a host of formal and informal insitutions (rules, regulations, standards, norms and values). An Anthropological study of export horticulture in Northwest Mount Kenya was carried out utilizing qualitative data collection methods in Northwest Mount Kenya region. Data was coded and analysed thematically based on grounded theory approach. The study described the institutional settings of export horticulture from an emic perspective as changing and defining the operations of the food system access and management of common pool resources, namely water and land. With the agro-industrial food system competing for these scarce resources in a semi-arid zone, there is potential for conflict and also reduced production and overall benefits to the different actors in the study area.

In a single-center, retrospective study, 22 cases were enrolled and divided into two groups: those who underwent surgical wide excision (group A) and those who did not (group B). The study included 13 cases in group A and 9 cases in group B. In group A, 6 cases solely underwent surgical wide excision, while 7 cases received additional treatments like radiotherapy or chemotherapy. Conversely, in group B, 4 cases received chemotherapy, 4 cases received radiotherapy, and 1 case was managed through observation alone. The mean follow-up time was 60.15 months in group A and 43.44 months in group B, with no significant difference observed. In group A, 9 cases resulted in mortality, whereas 6 cases died within the follow-up period in group B. Lesion-free intervals post-operation were observed predominantly in group A, while 7 cases in group B never experienced freedom from skin lesions. Kaplan-Meier survival curve analysis demonstrated a significant difference between the survival curves of the two groups (P = 0.046). Among non-HIV Kaposi’s sarcoma patients, surgical wide excision appears to have a role in treatment. Patients in group A exhibit a more favorable outcome in the survival curve analysis.

Formal Calculation uses an auxiliary form to calculate various nested sums and provides results in three forms. In addition to computation, it is also a powerful tool for analysis, allowing one to study various numbers in a unified way. This article contains many results of two types of Stirling numbers, associated Stirling numbers, and Eulerian numbers, making a great generalization of Euler polynomials, Wilson's theorem, and Wolstenholme's theorem, showing that they are just special cases. Formal Calculation provides a novel method for obtaining combinatorial identities and analyzing q-binomial.This article has obtained a large number of results in q-analogues, including inversion formulas for q-binomial coefficients. This article also introduces a theorem on symmetry.

Mass plays a strange multiple role in classical physics. This results in a difference between gravity and all other forces - a difference that stood at the beginning of Einstein's development of his general theory of relativity. The equivalence principle (EP) deals with homogenious gravitational fields, which, in fact, don‘t exist in nature. There is only an approximation for this field in Einstein-Lift possible for local situations. Nevertheless this EP can be true, because in classical formal binary logic there can be formulated a true conclusion from a wrong premise or assumption.

Discrete, logic-based models are increasingly used to describe biological mechanisms. Initially introduced to study gene regulation, these models evolved to cover various molecular mechanisms, such as signalling, transcription factor cooperativity, and even metabolic processes. The abstract nature and amenability of discrete models to robust mathematical analyses make them appropriate for addressing a wide range of complex biological problems. Recent technological breakthroughs have generated a wealth of high throughput data. Novel, literature-based representations of biological processes and emerging algorithms offer new opportunities for model construction. Here, we review up-to-date efforts to address challenging biological questions by incorporating omic data into logic-based models, and discuss critical difficulties in constructing and analysing integrative, large-scale, logic-based models of biological mechanisms.

A family of linear singularly perturbed Cauchy problems is studied. The equations defining the problem combine both partial differential operators together with the action of linear fractional transforms. The exotic geometry of the problem in the Borel plane, involving both sectorial regions and strip-like sets, gives rise to asymptotic results relating the analytic solution and the formal one through Gevrey asymptotic expansions. The main results lean on the appearance of domains in the complex plane which remain intimately related to Lambert W function, which turns out to be crucial in the construction of the analytic solutions. On the way, an accurate description of the deformation of the integration paths defining the analytic solutions and the knowledge of Lambert W function are needed in order to provide the asymptotic behavior of the solution near the origin, regarding the perturbation parameter. Such deformation varies depending on the analytic solution considered, which lies in two families with different geometric features.

The work is devoted to the study of a family of linear initial value problems of partial differential equations in the complex domain, dealing with two complex time variables. The use of a truncated Laplace-like transformation in the construction of the analytic solution allows to overcome a small divisor phenomenon arising from the geometry of the problem and represents an alternative approach to the one proposed in a recent work by the first two authors. The result leans on the application of a fixed point argument and the classical Ramis-Sibuya theorem.

A nonlinear singularly perturbed Cauchy problem with confluent fuchsian singularities is examined. This problem involves coefficients with polynomial dependence in time. A similar initial value problem with logarithmic reliance in time has been investigated by the author in a recent work, for which sets of holomorphic inner and outer solutions were built up and expressed as a Laplace transform with logarithmic kernel. Here, a family of holomorphic inner solutions are constructed by means of exponential transseries expansions containing infinitely many Laplace transforms with special kernel. Furthermore, asymptotic expansions of Gevrey type for these solutions relatively to the perturbation parameter are established.

Validation and verification are the critical requirements in the knowledge acquisition method for the clinical decision support system (CDSS). After acquiring the medical knowledge from diverse sources, the rigorous validation and formal verification process are required before creating the final knowledge model. Previously, we have proposed a hybrid knowledge acquisition method for acquiring medical knowledge from clinical practice guidelines (CPGs) and patient data in the Smart CDSS for treatment of oral cavity cancer. The final knowledge model was created by combining knowledge models obtained from CPGs and patient data after passing through a rigorous validation process. However, detailed analysis shows that due to lack of formal verification process, it involves various inconsistencies in knowledge relevant to the formalism of knowledge, conformance to CPGs, quality of knowledge, and complexities of knowledge acquisition artifacts. Therefore, it is required to enhance a hybrid knowledge acquisition method that thwarts the inconsistencies using formal verification. This paper presents the verification process using the Z formal method and its outcome as an enhanced acquisition method – known as the refined knowledge acquisition (ReKA) method. The ReKA method adopted verification method and explored the mechanism of theorem proving using the Z notation. It enables to identify inconsistencies in the validation process used for hybrid knowledge acquisition. Additionally, it refines the hybrid knowledge acquisition method by discovering the missing steps in the current validation process at the acquisition stage. Consequently, ReKA adds a set of nine additional criteria to be used to have a final valid refined clinical knowledge model. The criteria ensure the validity of final knowledge model concerning formalism of knowledge, conformance to GPGs, quality of the knowledge, usage of stringent conditions and treatment plans, and inconsistencies possibly resulting from the complexities. Evaluation, using four medical knowledge acquisition scenarios, shows that newly added knowledge in CDSS due to the addition of criteria by ReKA method always produces a valid knowledge model. The final knowledge model was also evaluated with 1229 oral cavity patient cases, which outperformed with an accuracy of 72.57\% compared to a similar approach with an accuracy of 69.7\%. Furthermore, ReKA method identified a set of decision paths (about 47.8%) in the existing approach, which results in a final knowledge model with low quality, non-conformed from standard CPGs. In conclusion, ReKA is formally proved method which always yields valid knowledge model having high quality, supporting local practices, and influenced from standard guidelines.

This paper is a slightly modified, abridged version of a previous work ``Parametric Gevrey asymptotics in two complex time variables through truncated Laplace transforms'' motivated by our contribution in the conference ``Formal and Analytic Solutions of Diff. (differential, partial differential, difference, q-difference, q-difference-differential) Equations on the Internet'' (FASnet20). It aims to clarify and give further detail at some crucial points concerning the asymptotic behavior of the solutions of the problems studied in that work.

This paper is a slightly modified, abridged version of a previous work "Parametric Gevrey asymptotics in two complex time variables through truncated Laplace transforms'' motivated by our contribution in the conference "Formal and Analytic Solutions of Diff. (differential, partial differential, difference, q-difference, q-difference-differential) Equations on the Internet'' (FASnet20). It aims to clarify and give further detail at some crucial points concerning the asymptotic behavior of the solutions of the problems studied in that work.

For the treatment of cancer and other diseases, therapeutic targeting of non-coding RNAs (ncRNAs) such as microRNAs (miRNAs) and long non-coding RNAs (lncRNAs) is an attractive approach. RNA-based therapeutics have been extensively researched over the past decade, with antisense oligonucleotides and small interfering RNAs being the most commonly used. Some of these have even gained FDA approval. However, the results of trials have been mixed, with some studies reporting strong effects while others have shown limited effectiveness or toxicity. Alternative treatments, such as antimiRNAs, are currently in clinical trials. There is growing interest in the use of lncRNA-based therapies. This Perspective discusses the main challenges of ncRNA therapeutics, including specificity, delivery and tolerability. It also highlights emerging approaches that aim to improve their success.

Non-compliant (NC) structures are often encountered in building construction in developing countries. This is a condition whereby erected buildings do not follow regulatory standards, especially in the provision of reinforcements. Therefore, under an earthquake load, the structures do not have sufficient resistance against such load. The structural elements of the building, which often have NC conditions, are the beam-column joints because they do not contain adequate shear reinforcements due to installation difficulty. This study aims to determine the structural performance of the reinforced concrete (RC) frame, which has a reinforcement deficiency in the beam-column joints. Numerical simulation was conducted on the Kakaletsis structure model by modifying the reinforcement details at the joints to represent the NC conditions. The non-linear modeling and analysis of the structural model were carried out using ATENA software. The analysis showed that the reduction in shear reinforcements in the NC model joint caused a decrease in load-carrying capacity by about 26.04%. A shift was also observed in the collapse pattern, i.e., from the beam to the end of the column, causing global failure and reducing the undamaged but increasing more severely damaged condition. This showed that the NC structure, due to the non-conformance of reinforcement, significantly reduced the structure's performance.

An exhaustive list of thirteen instances of reports confirming experimentally the relativistic Doppler relation, are examined. For those involving longitudinal Doppler, the non-relativistic relation is seen to be confirmed, within the reported experimental accuracies, to the same degree as the standard relativistic relation. Higher values of the speed of the emitter would be required to examine further the claimed confirmations. For those reports involving saturation spectroscopy, there is much confusion over the appropriate Doppler relation to be used, together with some serious analytical flaws. For the two cases that involve transverse Doppler, there are seen to be either serious faults in the theoretical part, or intrusion from the first order effect. Therefore, the reported conclusions - that the results for the experiments confirm the relativistic SR relation - cannot be justified by any of the experimental works.

We introduce a novel key exchange protocol based on non-commutative matrix multiplication defined in $\mathbb{F}_p^{n \times n}$. The security of our method does not rely on computational problems as integer factorization or discrete logarithm whose difficulty is conjectured. We show that the public, secret and channel keys become indistinguishable to the eavesdropper under matrix multiplication. Remarkably, for achieving a 512-bit security level, the public key is 1024 bits and the private key is 768 bits, making them the smallest keys among post-quantum key exchange algorithms. Also, we discuss how to achieve key authentication, interdomain certification and Perfect Forward Secrecy (PFS). Therefore, Lizama's algorithm becomes a promising candidate to establish shared keys and secret communication between (IoT) devices in the quantum era.

We introduce a novel key exchange protocol based on non-commutative matrix multiplication defined in $\mathbb{Z}_p^{n \times n}$. The security of our method does not rely on computational problems as integer factorization or discrete logarithm whose difficulty is conjectured. We claim that the unique eavesdropper's opportunity to get the secret/private key is by means of an exhaustive search which is equivalent to the unsorted database search problem. Furthermore, we show that the secret/private keys become indistinguishable to the eavesdropper. Remarkably, to achieve a 512-bit security level, the keys (public/private) are of the same size when matrix multiplication is done over a reduced 8-bit size modulo. Also, we discuss how to achieve key certification and Perfect Forward Secrecy (PFS). Therefore, Lizama's algorithm becomes a promising candidate to establish shared keys and secret communication between (IoT) devices in the quantum era.

This article develops duality principles and numerical results for a large class of non-convex variational models. The main results are based on fundamental tools of convex analysis, duality theory and calculus of variations. More specifically the approach is established for a class of non-convex functionals similar as those found in some models in phase transition. Finally, in the last section we present a concerning numerical example and the respective software.

Let $\mathbb{K}$ be a non-Archimedean (complete) valued field satisfying \begin{align*} \left|\sum_{j=1}^{n}\lambda_j^2\right|=\max_{1\leq j \leq n}|\lambda_j|^2, \quad \forall \lambda_j \in \mathbb{K}, 1\leq j \leq n, \forall n \in \mathbb{N}. \end{align*} For $d\in \mathbb{N}$, let $\mathbb{K}^d$ be the standard $d$-dimensional non-Archimedean Hilbert space. Let $m \in \mathbb{N}$ and $\text{Sym}^m(\mathbb{K}^d)$ be the non-Archimedean Hilbert space of symmetric m-tensors. We prove the following result. If $\{\tau_j\}_{j=1}^n$ is a collection in $\mathbb{K}^d$ satisfying $\langle \tau_j, \tau_j\rangle =1$ for all $1\leq j \leq n$ and the operator $\text{Sym}^m(\mathbb{K}^d)\ni x \mapsto \sum_{j=1}^n\langle x, \tau_j^{\otimes m}\rangle \tau_j^{\otimes m} \in \text{Sym}^m(\mathbb{K}^d)$ is diagonalizable, then \begin{align}\label{WELCHNONABSTRACT} \max_{1\leq j,k \leq n, j \neq k}\{|n|, |\langle \tau_j, \tau_k\rangle|^{2m} \}\geq \frac{|n|^2}{\left|{d+m-1 \choose m}\right| }. \end{align} We call Inequality (\ref{WELCHNONABSTRACT}) as the non-Archimedean version of Welch bounds obtained by Welch [\textit{IEEE Transactions on Information Theory, 1974}]. We formulate non-Archimedean Zauner conjecture.

Nonionizing millimeter-waves (MMW) interact with cells in a variety of ways. Here the inhibited cell division effect was investigated using 85-105 GHz MMW irradiation within the ICNIRP (International Commission on Non-Ionizing Radiation Protection) non-thermal 20 mW/cm2 safety standards. Irradiation using a power density of about 1.0 mW/cm2 , SAR over 5-6 hours on 50 cells/μl samples of Saccharomyces cerevisiae model organism resulted in 62% growth rate reduction compared to the control (sham). The effect was specific for 85-105 GHz range, and was energy and cell density dependent. Irradiation of wild type and Δrad52 (DNA damage repair gene) deleted cells presented no differences of colony growth profiles indicating non-thermal MMW treatment does not cause permanent genetic alterations. Dose versus response relations studied using a standard horn antenna (~1.0 mW/cm2) and compared to that of a compact waveguide (17.17 mW/cm2) for increased power delivery resulted in complete termination of cell division via non-thermal processes supported by temperature rise measurements. We have shown that non-thermal MMW radiation has potential for future use in treatment of yeast related diseases and other targeted biomedical outcomes.

Nonionizing millimeter-waves (MMW) are reported to interact with cells in a variety of ways. Possible mechanisms of the inhibited cell division effect were investigated using 85-105 GHz MMW irradiation within the ICNIRP (International Commission on Non-Ionizing Radiation Protection) non-thermal 20 mW/cm² safety standards. ~1.0 mW/cm² exposure over 5-6 hours treatment on 50 cells/μl samples of Saccharomyces cerevisiae model organism, resulted in 62% growth rate reduction compared to control (sham). The effect was specific for 85-105 GHz range and energy dose and cell density dependent. Irradiation of wild type and Δrad52 (DNA damage repair gene) deletion cells presented no differences of colony growth profiles indicating non-thermal MMW treatment does not cause genetic alterations. Dose versus response relations studied using a standard horn antenna (~1.0 mW/cm²) and compared to that of a compact waveguide (17.17 mW/cm²) for increased power delivery resulted in complete termination of cell division via non-thermal processes supported by temperature rise measurements. Combinations of MMW mediated Structure Resonant Energy Transfer (SRET), membrane modulations eliciting signaling effects, and energetic resonance with biomolecules were indicated to be responsible for the observations reported. Our results provide novel mechanistic insights enabling innovative applications of nonionizing radiation procedures for eliciting targeted biomedical outcomes.

Non-isocyanate polyurethane synthesis by non-Sn catalysis is an essential challenge toward green polyurethane synthesis. Bismuth compounds are attractive candidates due to their low cost, low toxicity, and availability to urethane chemistry. We applied various Bi catalysts to the self-polycondensation of a bishydroxyurethane monomer and found BiCl3 to be an excellent catalyst through optimization. The catalytic activity and price of BiCl3 are comparable to those of Bu2SnO, while its toxicity is significantly low. BiCl3 is, therefore, a promising alternative to Sn-based catalysts in non-isocyanate polyurethane synthesis.

Wine is a processed beverage that offers high nutritional and health benefits. It is produced from grape must, which undergoes fermentation by yeasts (and sometimes lactic acid bacteria) to create a product that is highly appreciated by consumers worldwide. However, if only one type of yeast, specifically Saccharomyces cerevisiae, were used in the fermentation process, the resulting wine would lack aroma and flavor and may be rejected by consumers. To produce wine with a desirable taste and aroma, non-Saccharomyces yeasts are necessary. These yeasts contribute volatile aromatic compounds that significantly impact the wine’s final taste. They promote the release of primary aromatic compounds through a sequential hydrolysis mechanism involving several glycosidases unique to these yeasts. This review will discuss the unique characteristics of these yeasts (Schizosaccharomyces pombe, Pichia kluyveri, Torulaspora delbrueckii, Wickerhamomyces anomalus, Metschnikowia pulcherrima, Hanseniaspora vineae, Lachancea thermotolerans, Candida stellata, and others) and their impact on wine fermentations and co-fermentations. Their existence and the metabolites they produce enhance the complexity of wine flavor, resulting in a more enjoyable drinking experience.

Post-quantum public cryptosystems introduced so far do not define an scalable public key infrastructure for the quantum era. We demonstrate here a public certification system based in Lizama’s non-invertible Key Exchange Protocol which can be used to implement a public key infrastructure (PKI), secure, scalable, interoperable and efficient. We show functionality of certificates across different certification domains. Finally, we discuss that non-invertible certificates can exhibit Perfect Forward Secrecy (PFS).

It is well established in literature that the public debt and economic growth bear positive and non-linear relationship. However, in recent literature, evidence of no causal relationship is found when accounted for endogeneity in case of advanced economies (Panizza & Presbitero, 2014). Chudik, Mohaddes, Pesaran, & Raissi, (2017) analyse the data on forty countries and find no evidence of universally applicable threshold effect in the relationship between debt and growth. These advancements in the debt-growth literature provides the motivation to re-explore the relationship between public debt and economic growth under non-linearity and endogeneity in context of developing economies of South Asia including Pakistan, India, Bangladesh and Sri-Lanka for the period 1980-2014. There exists a significant, positive but nonlinear relationship between the public debt and economic growth for the selected set of developing countries when accounted for endogeneity and non-linearity. The negative association between the public debt and economic growth for SAARC region is found when the debt level is higher than 61% of GDP which is quite lower than developed economies (90% of GDP). Individual threshold levels for debt-to-GDP ratio divulge that Sri Lanka, Pakistan and India need to control their public borrowings as their current debt levels are higher and/or around the respective threshold levels.

Electrical microgrids are deemed to be the future of modern power systems. Microgrids are sophisticated, decentralized, and self-sufficient small-scale power systems consisting of various resources ranging from wind turbines, solar photovoltaics, electric vehicles, smart energy storage, and complex communication infrastructure. However, renewable energy sources such as solar photovoltaics and wind-based generators are highly intermittent, and if not appropriately planned, they can compromise the stability of the grid. Formal methods can define and analyze the functionality and behavior of any system and show if the system design is correct before the actual system is implemented. Although formal methods have been around for many years, it is surprising that little to none are utilized in the design of safety-critical electrical power systems. Currently, in modeling microgrids, few to no attempts of formalization are being used to improve the design reliability and reduce system operating costs and time. This work demonstrates how complex systems such as microgrids can be modeled elegantly using a formal specification method. In this work, the Z state-based formal specification language (Z-Method) is used to model and verify microgrid designs. In this work, 3-interconnected microgrid systems with a high penetration level of solar and wind-based renewable energy sources with plugin hybrid electric vehicles (PHEV) as battery energy storage systems (BESS) are modeled using the Z-method. To the best of authors, the knowledge presented formal method is one of the first reported attempts in modeling microgrid communities using Software Engineering formalism.

We consider a family of nonlinear singularly perturbed PDEs whose coefficients involve a logarithmic dependence in time with confluent Fuchsian singularities that unfold an irregular singularity at the origin and rely on a single perturbation parameter. We exhibit two distinguished finite sets of holomorphic solutions, so-called outer and inner solutions, by means of a Laplace transform with special kernel and Fourier integral. We analyze the asymptotic expansions of these solutions relatively to the perturbation parameter and show that they are (at most) of Gevrey order 1 for the first set of solutions and of some Gevrey order that hinges on the unfolding of the irregular singularity for the second.

We establish a new Gagliardo-Nirenberg inequality characterized by radial symmetry and involving potentials exhibiting pure power polynomial behaviour. As an application of our result, we investigate the existence of extremals for this inequality, which also correspond to stationary solutions for the nonlinear Schrödinger equation with inhomogeneous nonlinearity, competing with Hs-subcritical nonlinearities, either of local or non-local nature.

Non-alcoholic steatohepatitis (NASH), which is the most severe manifestation of non-alcoholic fatty liver disease (NAFLD), has been recognized as a major hepatocellular carcinoma (HCC) catalyst. However, the molecular mechanism of NAFLD-NASH-HCC sequence remains unclear and a specific and effective treatment for NASH has not yet been established. The progress in this field depends on the availability of reliable preclinical models which show the steady progress to NASH, liver cirrhosis, and HCC. However, most of NASH mouse models that have been described to date develop NASH generally for more than 24 weeks and there is an uncertainty of HCC development. To overcome such shortcomings of experimental NASH studies, we established a novel NASH-HCC mouse model with very high reproducibility, generality, and convenience. We treated male C57BL/6J mice with a newly developed choline-deficient and methionine-restricted high-fat diet (CDMRHFD) for 60 weeks. Treatment of CDMRHFD for 3 weeks revealed marked steatosis, lobular inflammation, and fibrosis, histologically diagnosed as NASH. Liver cirrhosis was observed in all mice with 36-week treatment. Liver nodule emerged at 12 weeks of the treatment, and diameter >2 mm liver tumors developed in all mice at 24 weeks of the treatment. In conclusion, our rapidly progressive and highly reproducible NASH-liver cirrhosis-HCC model is helpful for preclinical development and research on the pathogenesis of human NAFLD-NASH-HCC. Our mouse model would be useful for the development of novel chemistry for NASH-HCC-targeted therapies or HCC prevention strategies.

(1) Background: Although multiple studies have reported on the therapeutic effects of Atezo+Bev for the treatment of NASH-related liver cancer, few studies have focused on its effect on liver reserve. Here, we aimed to compare the changes in hepatic reserve during the Atezo+Bev treatment of NAFLD/NASH-related HCC and of non-NAFLD/non-NASH-related HCC. (2) Methods: We retrospectively compared the changes in ALBI score in 109 patients with NAFLD/NASH or non-NAFLD/non-NASH during 12 weeks of treatment with Atezo+Bev for advanced HCC between September 2019 and January 2022. PSM was performed, and the OS, PFS, and PPS of the two groups were compared. (3)Results: The ALBI after 12 weeks of Atezo+Bev treatment was significantly worse in the NAFLD/NASH group than in the non-NAFLD/non-NASH group. Analysis of the 24 propensity score-matched pairs of cases with NAFLD/NASH or non-NAFLD non-NASH yielded similar results. The prognoses of the two groups were similar with respect to OS and PFS, but the NAFLD/NASH group had a significantly shorter PPS. The 24 matched pairs had similar OS and PFS, but the PPS of the NAFLD/NASH group was shorter. (4)Conclusion: Atezo+Bev treatment may worsen hepatic reserve, and there-fore life expectancy, in patients with NAFLD/NASH-related liver cancer.

This article develops a duality principle and a related convex dual formulation suitable for a large class of models in physics and engineering. The results are based on standard tools of functional analysis, calculus of variations and duality theory. In particular, we develop applications to a model in non-linear elasticity.

The connection of two phenomena - non-conservative friction forces and dissipation-induced instability can lead to many interesting engineering problems. The paper studies general material-dependent damping influence on dynamical instability of disc brake systems leading to brake squeal. The effect of general damping is demonstrated on a minimal and complex model of a disc brake. A complex system including material-dependent damping is defined in the commercial finite element software. The finite element model validated by experimental data on the brake-disc test bench is used to compute the influence of a pad and a disc damping variations on system stability by complex eigenvalue analysis. Analyzes show a significant sensitivity of the experimentally verified unstable mode of the system to the ratio of the damping between the disc and the friction material components.

Near-fault ground motions can cause severe damage to civil structures, including bridges. Safety assessment of these structures for near fault ground motion is usually performed through Non-Linear Dynamic Analyses, while faster methods are often used. IMPAb (Incremental Modal Pushover Analysis for Bridges) permits to investigate the seismic response of a bridge by considering the effects of higher modes, which are often relevant for bridges. In this work, IMPAb is applied to a bridge case study considering near-fault pulse-like ground motion records. The records were analyzed and selected from the European Strong Motion Database and the pulse parameters were evaluated. In the paper results from standard pushover procedures and IMPAb are compared with nonlinear Response-History Analysis (NRHA), considering also the vertical component of the motion, as benchmark solutions and incremental dynamic analysis (IDA). Results from the case study demonstrate that the vertical seismic action has a minor influence on the structural response of the bridge. Therefore IMPAb, which can be applied considering vertical motion, remains very effective conserving the original formulation of the procedure, and can be considered a well performing procedure also for near-fault events.

The II law of thermodynamics is most often given in three supposedly equivalent formulations: two Clausius (I and II) and one Kelvin. The most general and indisputable entropy formulation belong to Clausius (II). The earlier Clausius I principle determines the natural direction heat flow between bodies at different temperatures. On the other hand, the Kelvin principle states that it is impossible to completely convert heat into work. The author argues that the Kelvin principle is a weaker statement (or more strictly non-equivalent) than Clausius I principle, and the latter is a weaker statement than Carnot principle, which is equivalent to Clausius II principle. As a result, the Kelvin principle and the Clausius I principle are not exhaustive formulations of the II law of thermodynamics. At the same time, it turns out that the Carnot principle becomes such a formulation. Apart from providing a complete set of proof and disproof, the author, indicates where the methodological errors were made in the alleged proof of the equivalence of the Kelvin principle and both Clausius principles.

Abrasive Water Jet Machining (AWJM) is a non-conventional machining process that, unlike other methods, is deemed superior because of its applicability, versatility, and no heat-affected zones in the target material. The main objective of this paper was to develop a cheap, practical model for a low-pressure water jet cutting machine and provide some empirical test data for cutting delicate materials. Proper design calculations were performed and are included for both the water jet machine and the two-axis numerical control. Finite Element Analysis results validate the structural integrity of beams and columns in AWJM. Computational Fluid Dynamic analysis of the nozzle shows good agreement with the theoretical calculations regarding the pressure and velocity of the water-abrasive mixture exiting the nozzle. Modal analysis in ANSYS was done to mitigate potential failure due to resonance induced by vibrations. Limited testing on various thicknesses of polystyrene foam ranging from 1-5 mm thickness and rubber sheet of 1 mm thickness showed that even low pressure of 25-30 bar was sufficient to produce a kerf without any burr. However, extensive testing to report optimized parameters like nozzle transverse speed, standoff distance, abrasive flow rate, etc for working at low-pressure ranges is still a consideration for future investigation.

Postprandial glucose levels between 4 and 7.9 hours (PPG4–7.9h) correlate with mortality from various diseases including hypertension, diabetes, cardiovascular disease, and cancer. This study aimed to assess if predicted PPG4–7.9h could diagnose diabetes. Two groups of participants were involved: Group 1 (4420 participants) had actual PPG4–7.9h, while Group 2 (8422 participants) lacked this measure but had all the diabetes diagnostic measures. Group 1 underwent multiple linear regression to predict PPG4–7.9h using 30 predictors, achieving accuracy within 11.1 mg/dL in 80% of the participants. Group 2 had PPG4–7.9h predicted using this model. Receiver operating characteristic curve analysis showed that predicted PPG4–7.9h could diagnose diabetes with an accuracy of 87.3% in Group 2, with a sensitivity of 75.1% and specificity of 84.1% at the optimal cutoff of 102.5 mg/dL. Simulation on 10,000 random samples from Group 2 revealed that 175 participants may be needed to investigate PPG4–7.9h as a diabetes diagnostic marker with a power of at least 80%. In conclusion, predicted PPG4–7.9h appears to be a promising diagnostic indicator for diabetes. Future studies seeking to ascertain its definitive diagnostic value might require a minimum sample size of 175 participants.

Turbulent dissipation is a central issue in the star and galaxy formation process. Its fundamental property of space-time intermittency, well characterised in incompressible laboratory experiments, remains elusive in cosmic turbulence. Progress requires the combination of state-of-the-art modelling, numerical simulations and observations. The power of such a combination is illustrated here where the statistical method intended to locate extrema of velocity shears in a turbulent field is applied to numerical simulations of compressible magneto-hydrodynamical (MHD) turbulence dedicated to dissipation scales and to a nearby turbulent diffuse molecular cloud. We demonstrate that short-spacing increments of observables can detect strongly dissipative structures. In our simulations, we compute structure functions of various synthetic observables and show that they verify Extended Self-Similarity. This allows to compute their intermittency exponents and we show how they could help constraining some properties of the underlying three-dimensional turbulence. In observations of a turbulent cloud close to the Sun in our Galaxy, a remarkable coherent structure of velocity shear extremum is disclosed . At the location of the largest velocity shear, this coherent structure is found to foster 10 × more carbon monoxide molecules than standard diffuse molecular gas, an enrichment supported by models of non-equilibrium warm chemistry triggered by turbulent dissipation. The power of the combination between modelling and observations is also illustrated by observations of the CH+ cation that provide unique quantitative informations on the kinetic energy trail in the massive, multi-phase and turbulent circum-galactic medium of a galaxy group at redshift z = 2.8.

In this paper is presented the design and syntheis of a dynamic output feedback neural network controller for a non-holonomic mobile robot. First the dynamic model of a non-holonomic mobile robot is presented, in which these constraints are considered for the mathematical derivation of a feasable representation for this kind of robot. Then two control strategies are provided based on kinematic control for this kind of robot. The first control strategy is based on driftless control, this means, that considering that the velocity vector of the mobile robot is orthogonal to its restriction a dynamic output feedback and neural network controller is designed in order that the control action would be zero only when the velocity of the mobile robot is zero. The Lyapunov stability theorem is implemented in order to find a suitable control law. Then another control strategy is designed for trajectory tracking purposes, which similar to the driftless controller, a kinematic control scheme is provided but suitable to implement in more sophisticated hardware. In both control strategy a dynamic control law is provided along with a feedforward neural network controller, so in this way, by the Lyapunov theory the stability and convergence to the origin of the mobile robot position coordinates is ensured. Finally, two numerical experiment are presented in order to validate the theoretical results synthetized in this research study. Discussions and conclusions are provided in order to analyze the results found in this research study.

Non-vertebrate species represent about ~95% of known metazoan (animal) diversity. They remain to this day relatively unexplored genetically, but understanding their genome structure and function is pivotal for expanding our current knowledge of evolution, ecology and biodiversity. Following the continuous improvements and decreasing costs of sequencing technologies, many genome assembly tools have been released, leading to a significant amount of genome projects being completed in recent years. In this review, we examine the current state of genome projects of non-vertebrate animal species. We present an overview of available sequencing technologies, assembly approaches, as well as pre and post-processing steps, genome assembly evaluation methods, and their application to non-vertebrate animal genomes.

Background: Thousands of genetic variants have been associated with hematological traits, though target genes remain unknown at most loci. Also, limited analyses have been conducted in African ancestry and Hispanic/Latino populations; hematological trait associated variants more common in these populations have likely been missed. Methods: To derive gene expression prediction models, we used ancestry-stratified datasets from the Multi-Ethnic Study of Atherosclerosis (MESA, including N=229 African American and N=381 Hispanic/Latino participants, monocytes) and the Depression Genes and Networks study (DGN, N = 922 European ancestry participants, whole blood). We then performed a transcriptome-wide association study (TWAS) for platelet count, hemoglobin, hematocrit, and white blood cell count in African (N = 27,955) and Hispanic/Latino (N = 28,324) ancestry participants. Results: Our results revealed 24 suggestive signals (p < 1×10^(-4)) that were conditionally distinct from known GWAS identified variants and successfully replicated these signals in European ancestry subjects from UK Biobank. We found modestly improved correlation of predicted and measured gene expression in an independent African American cohort (the Genetic Epidemiology Network of Arteriopathy (GENOA) study (N=802), lymphoblastoid cell lines) using the larger DGN reference panel; however, some genes were well predicted using MESA but not DGN. Conclusions: These analyses demonstrate the importance of performing TWAS and other genetic analyses across diverse populations and of balancing sample size and ancestry background matching when selecting a TWAS reference panel.

The quality and shelf-life of NCS (Non-centrifugal sugar) mainly depend on the moisture content present in it. NCS formed by the current practice of open sun drying contains moisture substantially greater than the acceptable level of 3%. This paper presents the work taken up to design a tunnel dryer to attain require moisture content in granular NCS for various load conditions. Initially, an experimental investigation had been carried out on a laboratory scale dryer to achieve required moisture content (< 3%) for various load conditions. This experimental data was used for validating two drying models and found that one of the models is best suitable for designing an industrial-scale dryer. For various load conditions on each tray and dryer exit temperature, nine different cases were arrived at. The number of trucks, trays, drying time and energy requirements were computed using the suitable theoretical model. Tunnel dryer with a length of 18 m, a height of 1.2 m, a width of 1 m, number of trucks of 18 and 24 number of trays on each truck was found to be the suitable dryer to dry 1 tone of NCS based on the minimum energy requirement of 176.49 MJ, and a minimum drying time of 68 minutes.

Untranslated regions (UTRs) of flaviviruses contain a large number of RNA structural elements involved in mediating the viral life cycle, including cyclisation, replication, and encapsidation. Here we report on a comparative genomics approach to characterize evolutionarily conserved RNAs in the 3'UTR of tick-borne, insect-specific and no-known-vector flaviviruses in silico. Our data support the wide distribution of previously experimentally characterized exoribonuclease resistant RNAs xrRNAs within tick-borne and no-known-vector flaviviruses and provide evidence for the existence of a cascade of duplicated RNA structures within insect-specific flaviviruses. On a broader scale, our findings indicate that viral 3'UTRs represent a flexible scaffold for evolution to come up with novel xrRNAs

The aim of the study was to identify factors associated with non-adherence to tuberculosis (TB) preventive treatment among contacts with latent TB infection of new cases of pulmonary TB cases reported in Catalonia in 2019-2021. All contacts aged 18 years or older with a latent TB infection who received a TB preventive treatment were included in the study. The Chi square test and the odds ratios (OR) were used to assess the association between non-adherence to TB preventive treatment and the study variables, considering a p < 0.05 as statistically significant. Multiple logistic regression analysis was used to detect the in-dependent factors associated with TB preventive treatment non-adherence, considering a p < 0.05 as statistically significant. The percentage of non-adherence to TB preventive treatment found in this study was 23.7%. A multivariable logistic regression analysis determined that the following factors were significantly associated with TB preventive treatment non-adherence among adult contacts: “exposure at school or workplace” (aOR = 3.34), “exposure to an index case without laboratory confirmation of TB” (aOR = 2.07), “immigrant contact” (aOR = 1.81), “male gender” (aOR = 1.75) and “exposure duration <6 hours per week or sporadic exposure” (aOR = 1.60). By contrast, the factor “short-term TB preventive treatment regimen” (aOR = 0.38) was significantly associated with a lower treatment non-adherence. Adherence to TB preventive treatment should be improved among adult contacts of TB pulmonary cases with latent TB infection by recommending short-term treatment regimens and by developing health education activities, with a greater focus on contacts with factors associated with treatment non-adherence.

Non-alcoholic beer (NAB) or low alcoholic beer (LAB) are taking over the market with a growing sale. Sus-tainable recycling and valorization of exhausted brewer’s spent grains (BSG) coming from craft beer is a relevant issue in brewing process. In this work, recycled BSG and BSG+GJ (supplemented with 10% grape juice) were used as wort-substrate to inoculate already selected non-conventional yeasts to produce NABLAB craft beer. Results showed that wort composed by only recycled BSG produced appreciate NAB beers (ethanol from 0.12% to 0.54 % v/v) while the addition of 10% of grape juice made LAB beers (ethanol from 0.82 to 1.66 % v/v). As expected, volatile compounds production was highest with the addition of grape juice. Lachancea thermotolerans confirmed the lactic acid production and, as Saccharomyces cerevisiae, is characterized by (in both worts) ethyl butyrate and isoamyl acetate, while Torulaspora delbrueckii produced relevant amounts of exanol, phenylethyl acetate and β-phenyl ethanol (wort added with grape juice). Wickeramhomyces anomalus and Pichia kluyvery showed consistent volatile production but only in wort with grape juice addition where a fermentation activity was exhibited. The overall results indicated that reused BSGs, non-conventional yeasts and grape juice is a suitable strategy for specialty NABLAB beer.

With increased vulnerabilities and vast technology landscapes, it is extremely critical to build systems which are highly resistant to cyber-attacks, to break into systems to exploit. It is almost impossible to build 100% secure authentication & authorization mechanisms merely through standard password / PIN (With all combinations of special characters, numbers & upper/lower case alphabets and by using any of the Graphical password mechanisms). The immense computing capacity and several hacking methods used, make almost every authentication method susceptible to cyber-attacks in one or the other way. Only proven / known system which is not vulnerable in spite of highly sophisticated computing power is, human brain. In this paper, we present a new method of authentication using a combination of computer’s computing ability in combination with human intelligence. In fact this human intelligence is personalized making the overall security method more secure. Text based passwords are easy to be cracked ^[6]. There is an increased need for an alternate and more complex authentication and authorization methods. Some of the Methods ^{[7] [8]} in the category of Graphical passwords could be susceptible, when Shoulder surfing/cameras/spy devices are used.

Previous studies demonstrate the critical importance of non-coding RNAs interfacing with chromatin-modifying machinery resulting in promoter-enhancer-based gene regulation and raise the possibility that many other enhancer-like RNAs may operate via similar mechanisms. Critically, more than 80% of the disease-linked variations identified in genome-wide studies are located in the non-coding regions of genomes, especially non-coding RNA, suggesting non-coding RNAs are relevant to disease. Thus, a critical path forward for understanding non-coding RNAs' role, especially long non-coding RNAs, is to understand the genomic regions' transcriptional regulation, especially non-coding regions. Here, we developed a user-friendly R package called SomaGene for studying and identifying enhancer-like non-coding RNAs with enriched somatic mutations in the cancer genome. SomaGene accepts different genomic variants (whole genome/exome somatic point mutations, structural variations, copy number variations) to identify those RNAs that significantly mutated in diseases (e.g., cancer). It then uses multiple publicly available genomics and epigenetics datasets including ENCODE epigenomics annotations, FANTOM5 tissue-specific expression profiles, disease-associated genome-wide association SNPs, and tissue-specific eQTL pairs to identify those RNAs with potentially enhancer function. SomaGene, as a powerful R package, can provide the opportunity to cancer scientists to study the roles of non-coding RNAs in different cancer genomes.

In this article, the usual factorials and binomial coefficients have been generalized and extended to the negative integers. Basing on this generalization and extension, a new kind of polynomials has been proposed, which led directly to the non-classical hypergeometric orthogonal polynomials and the non-classical second-order hypergeometric linear DEs. The resulting polynomials can be used in non-relativistic and relativistic QM, particularly, in the case of the Schrödinger equation, and Dirac equations for an electron in a Coulomb potential field.

Numerical models widely used for hydrocarbon phase behavior and compositional flow simulations are based on assumption of thermodynamic equilibrium. However, it is not uncommon for oil and gas-condensate reservoirs to exhibit essentially non-equilibrium phase behavior, e.g., in the processes of secondary recovery after pressure depletion below saturation pressure, or during gas injection, or for condensate evaporation at low pressures. In many cases the ability to match field data with equilibrium model depends on simulation scale. The only method to account for non-equilibrium phase behavior adopted by the majority of flow simulators is the option of limited rate of gas dissolution (condensate evaporation) in black oil models. For compositional simulations no practical yet thermodynamically consistent method has been presented so far except for some upscaling techniques in gas injection problems. Previously reported academic non-equilibrium formulations have a common drawback of doubling the number of flow equations and unknowns compared to the equilibrium formulation. In the paper a unified thermodynamically-consistent formulation for compositional flow simulations with non-equilibrium phase behavior model is presented. Same formulation and a special scale-up technique can be used for upscaling of an equilibrium or non-equilibrium model to a coarse-scale non-equilibrium model. A number of test cases for real oil and gas-condensate mixtures are given. Model implementation specifics in a flow simulator are discussed and illustrated with test simulations. A non-equilibrium constant volume depletion algorithm is presented to simulate condensate recovery at low pressures in gas-condensate reservoirs. Results of satisfactory model matching to field data are reported and discussed.

GCTs are developmental tumors and likely to reflect ontogenetic and teratogenetic determinants. The objective was to identify syndromes with or without congenital anomalies and non-syndromic defects as potential risk factors. Patients with extracranial GCTs (eGCTs) registered in MAKEI 96/MAHO 98 between 1996 and 2017 were used. According to Teilum's holistic concept malignant and benign teratomas were registered. We used a case control study design with Orphanet as a reference group for syndromic defects and the Mainz birth registry (EUROCAT) for congenital anomalies at birth. Co-occurring genetic syndromes and/or congenital anomalies were assessed accordingly. Odds ratios and 95% confidence intervals were calculated and p-values for Fisher’s exact test with Bonferroni correction if needed. A strong association was confirmed for Swyer (OR 338.6, 95% CI 43.7-2623.6) and Currarino syndrome (OR 34.2, 95% CI 13.2-88.6). We additionally found 17 isolated cases of eGCT with a wide range of syndromes, however not significantly associated following Bonferroni correction. All these cases pertained to girls. Regarding non-syndromic defects, no association with eGCTs could be identified. In our study we confirmed a strong association for Swyer and Currarino syndromes with additional congenital anomalies.

Meat serves as a vital component of the human diet, offering a rich source of protein and essential trace elements. China stands as both a significant producer and consumer of meat on a global scale, leading the world in terms of total meat production and consumption. As the standard of living within the country continues to rise, there is a growing emphasis on the nutritional value and safety of meat consumption. The tenderness of meat is a critical factor influencing its overall quality. Traditionally, tenderness has been assessed through shear force testing, a method that is inherently destructive, inefficient, and results in considerable sample wastage. In light of these drawbacks, non-destructive testing techniques have emerged as a preferred alternative, promising greater accuracy, efficiency, and convenience without compromising the integrity of the samples. This paper delves into the application of five advanced non-destructive testing technologies in the realm of meat tenderness assessment. These include near-infrared spectroscopy, hyperspectral imaging, Raman spectroscopy, airflow optical fusion detection, and nuclear magnetic resonance detection. Each technology is scrutinized for its respective strengths and limitations, providing a comprehensive overview of their current utility and potential for future development. Moreover, the integration of these techniques with the latest advancements in artificial intelligence (AI) technology is explored. The fusion of AI with non-destructive testing offers a promising avenue for the development of more sophisticated, rapid, and intelligent systems for meat tenderness evaluation. This integration is anticipated to significantly enhance the efficiency and accuracy of quality assessment in the meat industry, ensuring a higher standard of safety and nutritional value for consumers. The paper concludes with a set of technical recommendations aimed at guiding the future direction of non-destructive, AI-enhanced meat tenderness detection, thereby contributing to the ongoing improvement of the meat industry in China and beyond.

Despite significant milestones in armed conflict research generally and climate security research specifically, methodologically tight explanation of naturally caused armed conflict still leaves much to be desired. In this article we unpack the black box of the climate-security nexus and advance causal modelling of armed conflict. To infer effects of natural causes on armed conflict outcomes, we apply recent advances in causal methods to conflict outcomes that have been non-experimentally observed across Iraqi municipalities. Retrieval of an entire empirical causal structure of climate-conflict pathways allows us to corroborate the existence of a cause-and-effect relationship between climatological, environmental, and demographic variables and armed conflict. We confirm that soil temperature, population density, and variability of latent energy cause an increase in fatalities, while rice production decreases fatalities. We discuss our findings, their limitations, and future research directions, and reflect on their relevance for policy interventions.

Background: Despite scientific advances, the management of procedural pain in neonates remains suboptimal. Applying adequate therapy to control pain during the neonatal period is a moral and ethical act. In recent decades, ample evidence has accumulated regarding the risks, associated with both untreated pain and the use of more aggressive analgesic therapy. Thus, the emphasis in neonatal clinical practice is on non-aggressive pain management techniques, including homeopathic agents. The efficacy and safety of homeopathic agents for reducing procedural pain in neonates is the subject of the present study. Materials and Methods: Healthy full-term newborn babies with an average age of 72-84 hours were included. They were divided into three study groups: group (A) – not anesthetised, /n= 67/, group (B) – anesthetised with Arnica D30 /n=40/ and group (C)- anesthetised with Sol.Glucose 25% /n=40/. The severity of the pain was assessed using the multimodal - Neonatal Infant Pain Scale (NIPS) and the unimodal - Neonatal Facial Coding System (NFCS) scale. Assessments were done 30s before, 30 seconds after, and 5 minutes after the painful stimulus caused by the heel prick. Heart rate, transcutaneous oxygen saturation, respiratory rate and blood pressure were examined at the same intervals. The results obtained were processed statistically by descriptive analysis and ANOVA at a significance level of p&lt; 0.05. Results: 5 minutes after heel prick both scales showed a statistically significant lower score in those given Arnica D30, compared to those who received Sol.Glucose 25%. When monitoring the physiological indicators, we found a significant increase in the heart rate 30 seconds after the procedure.5 minutes after the heel prick we recorded significantly respiratory rate and systolic blood pressure in all three groups compared to pre-procedural values. Conclusions: Arnica D30 has better analgesic effects compared to Sol.Glucose 25% for newborn babies after heel prick tests.

Approximately 300 million non-cardiac surgeries are performed each year. Perioperative mortality after non-cardiac surgery is estimated at 2% in patients over 45 years of age . Half of these deaths are attributable to cardiovascular complications, and most to perioperative myocardial infarction (MINS). Before introduction of cardiac biomarkers the diagnosis of postoperative myocardial infarction was based on symptoms and electrocardiographic changes and its incidence was largely underestimated. The incidence of MINS when standard troponin assay is used ranges between 8 and 19% but increases to 20-30% whit high sensitivity troponin assays. Higher troponin values sugegsting myocardial injury , both with or without definite diagnosis of myocardial infarction, are associated with increased 30 day and 1-year mortality . Diagnostic and therapeutic strategies are reported .

Malnutrition problems are related to diets that lack one or more essential elements, which it is extremely important to food enrichment to improve the content of compounds effective for health. The objective of this study is to evaluate the effect of the addition of Ca2+, K+ and Mg2+ on the induction of nutraceutical quality in grafted tomatoes grown in the NFT (Nutrient Film Technique) system. In the experiment, two factors were evaluated: plants with and without grafting and the foliar application of 10 ml L−1 Ca2+, 4 ml L−1 K+ and 10 ml L−1 Mg2+ cations separately for each case, in addition to the control. The treatments were evaluated using a completely randomized design, with 5 repetitions per treatment. The interactive effects between grafting and foliar application of Ca2+ induced a greater content lycopene, β-carotene and total flavonoids in fruits of tomato. The interactive effects between the graft and the Mg2+ foliar applications obtained the best results in the phenol content. As regards, capacity DPPH and ABTS, the graft decreased concentration, increasing the content of these through foliar applications of calcium. Regarding the enzymatic variables, graft factor increased activity catalase, glutathione peroxidase and phenylalanine ammonium lyase, obtained the best results graft interaction and foliar application of calcium and magnesium. The results obtained demonstrate the influence of the use of grafts and foliar applications of cal-cium and magnesium as tools that could improve the nutraceutical quality content of tomato crop

Metformin is an oral antidiabetic agent with antimicrobial properties, excreted in an active and unmetabolized form. Like some non-antibiotic drugs, subinhibitory concentrations of metformin may contribute to the expression of microbial resistance in wild-type strains. This work aimed to evaluate the biofilm formation of Pseudomonas aeruginosa TGC04 exposed to 100 and 200 µg/mL of metformin, varying the Chemical Oxygen Demand (COD) and flow regime. Biofilms were quantified after 2 and 24 hours, observing reductions and increases in biofilm growth around 13 and 64%, respectively. The greatest biofilm growth occurred in cells exposed to 200 µg/mL of metformin. Both the flow regime and COD concentration were important for the development of the biofilm, whose cells were mostly weakly to moderately adhered. The study provides evidence that in polluted aquatic systems with turbulent regimes, the inhibitory concentration of metformin promoted the least disturbances to the biofilm.

In this review, we will cover a general overview of the current panorama on lncRNAs with an actual or potential role as biological markers in cancer. We will discuss examples of multi-omics approaches that integrates information on somatic aberrations, gene expression and epigenomics, with the scope of providing a more comprehensive view of the functional impact of lncRNA profiles and how these paradigm can be exploited for the discovery and selection of lncRNAs with a functional role and their use as variables informing on progression and prognostic and help guiding the selection of therapeutic strategies for cancers. Finally, we propose a perspective for future evolution of the study of lncRNAs and the discovery of their functional and harnessing their potential to assist in clinical management of malignancies.

Small bowel non-Meckelian diverticulosis is a rare condition with only few published cases despite being described over 200 years ago. In the midst of the COVID-19 pandemic, studies suggested that a lot of patients may experience gastrointestinal manifestations. Intestinal symptoms could worsen the inflammation and infection associated with small bowel diverticulitis. Here, we present two cases: one with inflammation and rupture in a COVID-19 patient and the other as an asymptomatic detection. Furthermore, we provide a mini-review of the literature to emphasize the importance of considering this entity in the differential diagnosis of an acute abdomen.

This publication delves into the intricate world of human communication, extending beyond the realm of spoken and written language to explore the profound influence of non-verbal communication. Focusing on body language—comprising gestures, facial expressions, postures, and movements—it reveals the pivotal role it plays in conveying emotions, intentions, and psychological states. The rapidly evolving fields of neuroscience and cognitive science are investigating the neural mechanisms and cognitive processes that underpin the interpretation and utilization of these non-verbal cues. Notably, the amygdala's involvement in processing emotional facial expressions has provided a neurological foundation for our emotional understanding in non-verbal communication. Concurrently, cognitive psychology sheds light on how perception, attention, and memory influence our interpretation of non-verbal cues and communication strategies.In our modern, technologically advancing society characterized by global interconnectivity and cultural diversity, the significance of non-verbal communication, especially in digital and virtual contexts, is paramount. The transformation of non-verbal expression into digital symbols like emoticons and emojis raises questions regarding its ability to maintain authenticity and emotional understanding. This publication endeavors to comprehensively explore the fundamental role of body language and non-verbal communication in contemporary society. By integrating insights from psychology, neuroscience, social sciences, and digital technologies, it aims to elucidate the underlying mechanisms guiding non-verbal communication. Additionally, it delves into the implications of non-verbal communication across diverse domains, including interpersonal communication, the workplace, politics, advertising, and the virtual world.The research presented herein strives to offer a thorough understanding of interpersonal dynamics, relationships, and social behavior, with the goal of promoting the development of more effective, conscious, and ethically guided communication strategies. Ultimately, this analysis aspires to inspire further interdisciplinary research and reflection, addressing emerging challenges and fully leveraging the potential of non-verbal communication in modern society. This, in turn, guides our path towards a communication landscape that is more inclusive, authentic, and empathetic.

Although adult spontaneous (non-diabetic) hypoglycaemia is rare, its recognition is important for the preventative or curative treatment of the underlying cause. Establishing Whipple’s triad; low blood glucose, neuroglycopaenia and resolution of neuroglycopaenia on increasing blood glucose levels to normal or above, is essential to verify hypoglycaemia. Awareness that hypoglycaemia may occur in severely ill patients is important for its prevention. Further investigation in such cases is unnecessary unless another cause of hypoglycaemia is suspected. Patients are often asymptomatic and normoglycaemic at review. History of medication, self-medication, access to hypoglycaemic drugs, alcohol and comorbidity may provide aetiological clues. The investigation involves obtaining blood samples during symptoms for laboratory glucose measurement or provoking fasting or postprandial hypoglycaemia as directed by symptoms. If confirmed, insulin, c-peptide, proinsulin, beta-hydroxybutyrate are analysed in hypoglycaemic samples. These will classify hypoglycaemia due to non-ketotic hyperinsulinaemia, non-ketotic hypoinsulinaemia and ketotic hypoinsulinaemia and direct investigations to identify the underlying cause. There are, however, many pitfalls, which may mislabel healthy individuals as “hypoglycaemic” or misdiagnose treatable or preventable causes of spontaneous hypoglycaemia. Clinical acumen and appropriate investigations will mostly identify hypoglycaemia and its cause.

This paper presents ConF, a novel deep learning model designed for accurate and efficient prediction of non-coding RNA families. NcRNAs are essential functional RNA molecules involved in various cellular processes, including replication, transcription, and gene expression. Identifying ncRNA families is crucial for comprehensive RNA research, as ncRNAs within the same family often exhibit similar functionalities. Traditional experimental methods for identifying ncRNA fam-ilies are time-consuming and labor-intensive. Computational approaches relying on annotated secondary structure data face limitations in handling complex structures like pseudoknots and have restricted applicability, resulting in suboptimal prediction performance. To overcome these chal-lenges, ConF integrates mainstream techniques such as residual networks with dilated convolutions and cross multi-head attention mechanisms. By employing a combination of dual-layer convolu-tional networks and BiLSTM, ConF effectively captures intricate features embedded within RNA sequences. This feature extraction process leads to significantly improved prediction accuracy compared to existing methods. Experimental evaluations conducted on a ten-fold publicly available dataset demonstrate the superiority of ConF in terms of accuracy, sensitivity, and other perfor-mance metrics. Overall, ConF represents a promising solution for accurate and efficient ncRNA family prediction, addressing the limitations of traditional experimental and computational methods.

Background: Chronic, non-cancer pain represents a serious public health and economic issue affecting approximately 20% of the global population. Chronic pain can affect many aspects of patient’s lives, including mental health, employment, and relationships. Current medical management is largely focussed on investigating and managing acute pain. Patients and clinicians are now increasingly aware of the potential benefits of combined treatments or complex interventions in alleviating chronic pain. These approaches include both physical interventions, such as exercise or yoga, as well as psychological support including cognitive behavioural therapy (CBT) and talking therapies. Methods: This study used network meta-analyses to explore the prevalence of complex interventions in pain management, and the effects of these interventions on quality of life, using outcome measures including intensity of chronic pain, assessment of functional disability and participant’s psychological state. Results: Psychological interventions were associated with improvements in pain intensity and depression. Exercise and manipulation technique-based treatments provided a statistically significant reduction in pain intensity. This effect was enhanced when exercise and CBT were combined. Mensendieck somatocognitive therapy (MSCT) plus standard gynaecological treatment (STGT) treatments appeared to have a better effect on chronic pain than multimodal exercise plus CBT treatment. Combined MSCT and STGT treatment, and multimodal exercise plus CBT treatments, reduced pain intensity, whilst MSCT+STGT treatments had a slightly better effect than exercise plus CBT treatment.Conclusions: Complex interventions have become more popular with patients as the risks associated with other interventions including surgery and pharmacological management have become better understood. These interventions can have a significant positive effect both on the physical and psychological health of patients. The analysis presented in this study suggests that further work is warranted in this area and that additional studies are required, both in more geographically diverse locations, and with larger cohorts.

Fermented food matrices, including beverages, can be defined as the result of the activity of complex microbial ecosystems where different microorganisms interact according to different biotic and abiotic factors. Certainly, in industrial production the technological processes aim to control the fermentation to place safe foods on the market. Therefore, if food safety is the essential prerogative, consumers are increasingly oriented towards a healthy and conscious diet driving the production and consequently the applied research towards natural processes. In this regard, the aim to guarantee safety, quality and diversify of products should be reached limiting or avoiding the addition of antimicrobials or synthetic additives using the biological approach. In this paper, following the recent re-evaluation of non-Saccharomyces yeasts (NSYs) has been re-viewed the bio-protectant and biocontrol activity with a particular focus on their antimicrobial power, probiotic features and promoting functional aspects. In this review, the authors would underline the contribution of NSYs in all food production chain and its role in the technological and fermentative features for their practical and useful use as biocontrol agent in food preparations.