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

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.

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.

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 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.

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.

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.

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.

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.

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.

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.

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.

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.

(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.

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

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.

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.

The need to regulate the non-exhaust particulate emissions from vehicles has been discussed worldwide due to the toxicity to the human body as well as the atmosphere. In-depth studies have been conducted on precise analysis of the non-exhaust particulates, in particular, accurate measurement of tire-brake-road wear particles, and their proportion in the atmosphere. In this study, the influence of tire and road wear particles (TRWP) on particulate matter (PM) in the atmosphere was investigated through tire and PM samples. PM samples were collected from the atmosphere using a high-volume sampler equipped with a quartz filter. Additionally, polycyclic aromatic hydrocarbons (PAHs) and heavy metals in tire rubber were analyzed as markers by pyrolysis-gas chromatography/mass spectrometry (GC/MS), GC/MS, and inductively coupled plasma/mass spectrometry (ICP/MS). More vinylcyclohexene was detected than dipentene in the markers measured in the samples of tires equipped with vehicles driving on the road with the high-volume sampler installed, while more dipentene was detected in total suspended particles (TSP) samples. Among the PAHs measured in tire samples, pyrene exhibited the highest concentration. In TSP samples, benzo(b)fluoranthene showed the highest concentration. Among the heavy metals, zinc exhibited the highest concentration in all tire samples and calcium in TSP samples.

With the development of data science, more and more machine learning technologies have been designed to solve complicated and challenging real-world tasks containing a large volume of data. And many significant real-world datasets contain data in the form of networks or graphs. Graph Neural Networks is one of the powerful machine learning tools, which could provide a perfect solution to processing a large amount of non-Euclidean data. And because most bio information data in bioinformatics is in the non-Euclidean domain, Graph Neural Networks could then directly be applied to solve problems in bioinformatics. Much research has been done in the field of GNN, and there are also some surveys related to GNN and its applications. However, there has been little research focusing on GNN in bioinformatics, and we think in the future we could better utilize GNN in the field of biology, so we would like to write a literature review to help take a comprehensive look at GNN and their applications in the field of bioinformatics. In this paper, we would first introduce SOTA models in Graph Neural Networks, and second, introduce their applications in bio information. And then we would provide future directions of Graph Neural Networks in bioinformatics.

In this paper we use the additive thermodynamic formalism to obtain new bounds of the Hausdorff and box-counting dimension of certain non conformal hyperbolic repellers defined by piecewise smooth expanding maps on a $d$-dimensional smooth manifold $M$.

We suggest that the 14^th century scholar Nicholas of Autrecourt can be regarded as a precursor of the paraconsistent logics developed around 1950. We show how the Sorbonne licentiatus in theology provided in his few extant writings a refutation of both the principle of explosion and the law of non-contradiction, in accordance with the tenets of paraconsistent logics. This paves the way to the most advanced theories of truth in natural language and quantum dynamics.

We extend the standard solid-state quantum mechanical Hamiltonian containing only Coulomb interactions between the charged particles by inclusion of the (transverse) current-current diamagnetic interaction starting form the non-relativistic QED restricted to the states without photons and neglecting the retardation in the photon propagator. This derivation is supplemented with a derivation of an analogous result along the non-rigorous old classical Darwin-Landau-Lifshitz argumentation within the physical Coulomb gauge.

Although cancers account for over 16% of all global deaths annually, at present, no reliable therapies exist for most types of the disease. As protein folding facilitators, heat shock proteins (Hsps) play an important role in cancer development. Not surprisingly, Hsps are among leading anticancer drug targets. Generally, Hsp70s are divided into two main subtypes: canonical Hsp70 (E. coli Hsp70/DnaK homologues) and the non-canonical (Hsp110 and Grp170) members. These two main Hsp70 groups are delineated from each other by distinct structural and functional specifications. Non-canonical Hsp70s are considered as holdase chaperones, while canonical Hsp70s are refoldases. This distinct characteristic feature is mirrored by the distinct structural features of these two groups of chaperones. Hsp110/Grp170 members are larger as they possess an extended acidic insertion in their substrate binding domains. While the role of canonical Hsp70s in cancer has received a fair share of attention, the roles of non-canonical Hsp70s in cancer development has received less attention in comparison. In the current review, we discuss the structure-function features of non-canonical Hsp70s members and how these features impact on their role in cancer development. We further mapped out their interactome and discussed the prospects of targeting these proteins in cancer therapy.

On-farm research was conducted at Gouripur sub-district under Mymensingh district of Bangladesh during the boro (mid November-June) season in 2013-14 and 2014-15 to evaluate the performance of non-puddled rice cultivation with and without crop residue retention. The rice var. BRRI dhan28 was transplanted by two tillage practices viz., puddled conventional tillage (CT) and non-puddled strip tillage (ST) and at two levels of mustard residues, i.e., no residue (R₀) and 50% residue (R₅₀). The experiment was designed in a randomized complete block design with four replications. There were no significant yield differences between tillage practices and residue levels in 2013-14. But in the following year, ST yielded 9% more grain compared to CT leading to 22% higher BCR. Retention of 50% residue increased yield by 3% compared to no-residue, which contributed to 10% higher benefit-cost ratio (BCR). The ST combined with 50% residue retention yielded the highest grain yield (5.81 t ha^-1) which contributed to produce the highest BCR (1.06).

The General equilibrium theory tries to show how and why all free markets tend toward equilibrium in the long run. However, what is meant by equilibrium in this paper is more from a thermodynamical point of view. In order to understand the actual situation, it is necessary to study open systems which are complex. In physics, such a behavior in a complex system can be explain by using Non Equilibrium Thermodynamics. A system is able to self-organize and sustain itself away from equilibrium. Economic systems may fluctuate around a particular point. To sustain it far from the equilibrium state, it needs to degrade more energy and materials. In this study, the energy consumption patterns of Sri Lanka and USA are discussed. The pattern concerning Sri Lanka is close to the model proposed here, whereas the energy consumption pattern of USA is more complicated due to external factors.

The goal of this paper is to explore the relationship between the specific non-performing loan ratio (NPL ratio) and the corresponding impact on the bank’s profitability and lending behavior. It also seeks to investigate the macroeconomic impacts of economies with excessively high NPL ratios as well as the efficacy and impact of alleviation measures used by banks and governments around the world to help facilitate a decrease in high NPL ratios. The possible implications and effects of the COVID-19 pandemic on NPL ratios is also addressed in this paper. It is found that when excessively high NPL ratios go unaddressed, the economy tends to suffer. On the other hand, this study shows that when measures are taken to reduce or eliminate the high NPL ratios, economic performance improves, and the reduction has a clear positive impact on the economy.

A description of the motion in Non-Inertial Reference Frames by means of the inclusion of high time derivatives is studied. It is noted that incompleteness of the description of physical reality is a problem of any theory: both quantum mechanics and classical physics. The "stability principle" is put forward. We also provide macroscopic examples of Non-Inertial Mechanics and verify the use of high-order derivatives as non-local hidden variables based the equivalence principle when acceleration is equal to the gravitational field. Acceleration in this case is a function of the higher derivatives with respect to time. The definition of Dark Metrics for matter and energy is presented to replace the standard notions of Dark Matter and Dark Energy.

Night-time lights interact with human physiology through different pathways starting at the retinal layers of the eye, from the signals provided by the rods, the S-, L- and M-cones, and the intrinsically photosensitive retinal ganglion cells (ipRGC). These individual photic channels combine in complex ways to modulate important physiological processes, among them the daily entrainment of the neural master oscillator that regulates circadian rhythms. Evaluating the relative excitation of each type of photoreceptor generally requires full knowledge of the spectral power distribution of the incoming light, information that is not easily available in many practical applications. One such instance is wide area sensing of public outdoor lighting; present-day radiometers onboard Earth-orbiting platforms with sufficient nighttime sensitivity are generally panchromatic and lack the required spectral discrimination capacity. In this paper we show that RGB imagery acquired with off-the-shelf digital single-lens reflex cameras (DSLR) can be a useful tool to evaluate, with reasonable accuracy and high angular resolution, the photoreceptoral inputs associated with a wide range of lamp technologies. The method is based on linear regressions of these inputs against optimum combinations of the associated R, G, and B signals, built for a large set of artificial light sources by means of synthetic photometry. Given the widespread use of RGB imaging devices, this approach is expected to facilitate the monitoring of the physiological effects of light pollution, from ground and space alike, using standard imaging technology.

Facing with errors of a product after machining was a big title in this field. That will affect to product’s quality with unpredictable situation when products is in use for some particular application such as in medical facilities. Improving the precision of machine tools by exploring temperature on multiple points and measuring differential locations of the spindle is going to be executed in this study. A temperature measurement tool and a software running on Windows platform have been developed and combining with Non-bar system in order to support analyzing the temperature rising with the changes of length of the spindle to find the compensation solution based on eccentricity and length distortion. In this study, the whole tests have done on UX300 five – axis CNC machine tools for this investigation and the errors after applying compensation function have reduced 70% at least, with respect to the errors after machining without using compensation function.

We present a new method of estimating fitness of countries and complexity of products by exploiting a non-linear non-homogeneous map applied to the publicly available information on the goods exported by a country. The non homogeneous terms guarantee both convergence and stability. After a suitable rescaling of the relevant quantities, the non homogeneous terms are eventually set to zero so that this new method is parameter free. This new map reproduces the findings of the method proposed by Tacchella et al. [1], and allows for an approximate analytic solution in case of actual binarized matrices based on the Revealed Comparative Advantage (RCA) indicator. This solution is connected with a new quantity describing the neighborhood of nodes in bipartite graphs, representing in this work the relations between countries and exported products. Moreover, we define the new indicator of country net-efficiency quantifying how a country efficiently invests in capabilities able to generate innovative complex high quality products. Eventually, we demonstrate analytically the local convergence of the algorithm.

Anomalous waves and rogue events are closely associated with irregularities and unexpected events occurring at various levels of physics, such as in optics, in oceans and in the atmosphere. Mathematical modeling of rogue waves is a highly actual field of research, which has evolved over the last decades into a specialized part of mathematical physics. The applications of the mathematical models for rogue events is directly relevant to technology development for prediction of rogue ocean waves, and for signal processing in quantum units. In this survey, a comprehensive perspective of the most recent developments in methods for representing rogue waves is given, along with discussion of the devised and forms and solutions. The standard nonlinear Schrödinger equation, the Hirota equation, the MMT equation and further to other models are discussed, and their properties highlighted. This survey shows that the most recent advancement in modeling rogue waves give models which can be used to establish methods for prediction of rogue waves at open seas, which is important for the safety and activity of marine vessels and installations. The study further puts emphasis on the difference between the methods, and how the resulting models form a basis for representing rogue waves in various forms, solitary or with a wave-background. This review has also a pedagogic component directed towards students and interested non-experts, and forms a complete survey of the most conventional and emerging methods published until recently

Abstract: Epigenetic approaches in direct correlation with assessment of critical genetic mutations in non-small cell lung cancer (NSCLC) are currently very intensive, as the epigenetic components in NSCLC development and progression have attained high recognition. In this level of research, established human NSCLC cell lines as well as experimental animals are widely used to detect novel biomarkers and pharmacological targets to treat NSCLC. The epigenetic background of NSCLC is highly complex and requires precise definition as these phenomena are variable between NSCLC subtypes and systems origin. We engaged an in-depth characterization of non-coding (nc)RNAs prevalent in human KRAS-mutant NSCLC cell lines A549 and H460 and mouse KRAS-mutant NSCLC tissue by Next Generation Sequencing (NGS) and quantitative Real Time PCRs (qPCRs). Also, the effect of transcription factor (TF) LRF, a known epigenetic silencer, was examined on the epigenome modulation. Finally, interacting networks underlying epigenetic variations in NSCLC subtypes were created. Data derived from our study highlights the divergent epigenetic profiles of NSCLC of human and mouse origin, as well as the significant contribution of 12qf1: 109,709,060-109,747,960 mouse chromosomal region to micro-RNA upregulated species. Fur-thermore, the novel epigenetic miR-148b-3p/PVT1/ZBTB7A axis was identified, which differentiates lung adenocarcinoma from large cell lung carcinoma, two characteristic NSCLC subtypes. The detailed recording of epigenetic events in NSCLC and combinational studies including networking between ncRNAs and TFs validate the identification of significant epigenetic features, prevailing in NSCLC subtypes and among experimental models. Our results enrich knowledge in the field and empower research on the epigenetic prognostic biomarkers of the disease and patient-tailored treatments.

A 17th century wall painting representing a Virgin between two Saints in a noble Italian renaissance palace, Palazzo Gallo in Bagnaia (Viterbo, Italy), was restored in 2021 in the context of a wider restoration campaign interesting the main room of the palace built by cardinal Sansoni Riario. Diagnostic analyses done with traditional characterization techniques (optical microscopy on micro-stratigraphic sections, X-ray fluorescence spectroscopy and Fourier transform infrared spectroscopy) provided the identification of both original painting and restoration materials, while imaging investigations as ultraviolet fluorescence photography, false color images and multispectral mapping provided by hypercolorimetric multispectral imaging (HMI) technique enabled the evaluation of the state of conservation, locating restoration interventions and supporting the monitoring of the cleaning procedure. An altered protective Paraloid-based coating dating from early 2000s had to be removed due to the unpleasant glossy finishing given to the painted surface, making the scene barely readable. To pursue a restoration protocol based on environmental sustainability and green chemistry, enzyme-based gels marketed by Nasier-Brenta© and CTS© companies were tested in different protocols for the cleaning of the mash covering the painting. Although some interesting results were observed, the enzymatic cleaning had a scarce effectiveness with timing beyond a reasonable interval. Traditional chemical solvents as Dowanol PM (methoxy-propanol) and benzyl alcohol were necessary to complete the cleaning of the painting surface.

Traditional shipping ships abbreviated as Pelra have a different character from conventional ships. Hypothetically, the application of Safety Management System (SMS) on Pelra is influenced by technical and non-technical factors. These factors are control variables and determinants of action priorities if SMS is applied to the safety of traditional shipping, so that it has implications as a basis for formulating and developing safety policies for traditional shipping transportation in an effort to reduce the risk of accidents. This research uses Structural Equation Modeling by analyzing expert opinions. The results of the analysis show that technical and non-technical factors have a direct and interconnected effect on Pelra safety management. The dominant influences are non-technical factors of authority and responsibility of the company and crew as well as the feasibility of ship construction as technical and environmental factors..

Biofilm-associated proteins (BAPs) are important in the development and resilience of biofilms, which are intricate populations of microbes protected by extracellular matrix. All members of the BAP family are known to possess common characteristics such as high molecular weight and a signal sequence for extracellular secretion. It has been shown that BAPs are directly linked to the pathogenicity of many bacteria. This mini review highlights several potential strategies to target BAPs for drug development.

In this study, we aimed to identify blood lymphocytes as a prognostic factor for survival in patients with locally advanced stage III non-small cell lung cancer (NSCLC) treated with concurrent chemoradiotherapy (CCRT). We conducted a secondary analysis of 196 patients enrolled in the Korean Radiation Oncology Group 0903 phase III clinical trial to evaluate the prognostic significance of circulating blood lymphocyte levels. The median total lymphocyte count (TLC) reduction ratio during CCRT was 0.74 (range: 0.29 – 0.97). In multivariate analysis, patient age (p = 0.014) and gross tumor volume (GTV, p = 0.031) were significant factors associated with overall survival, while TLC reduction (p = 0.018) and pretreatment neutrophil-to-lymphocyte ratio (NLR; p = 0.010) were associated with progression-free survival (PFS). In multivariate logistic regression analysis, pretreatment NLR, GTV, and heart V20 were significantly associated with TLC reduction. TLC reduction during CCRT is a significant prognostic factor for PFS, and heart V20 is significantly associated with TLC reduction. Thus, constraining the volume of the radiation dose to the whole heart must be prioritized to reduce TLC.

Influenza virus can cause several complications during pregnancy. Therefore, we aimed to inves-tigate the effects of influenza on the development of congenital abnormalities (CAs) by analyzing the database of the Hungarian Case-Control Surveillance of Congenital Abnormalities (HCCS-CA). In our multicenter, case-control, population-based study, we processed clinician-reported outcomes and diagnoses collected in the HCCSCA. The case group included newborns with dif-ferent non-chromosomal birth defects, while controls were newborns without CAs. Maternal in-fluenza, as a risk factor for CAs, was analyzed by using a logistic regression model and odds ra-tios with 95% confidence intervals (CIs). Our results showed that maternal influenza in the first trimester was associated with increased odds of developing non-chromosomal CAs (OR: 1.41, CI: 1.28–1.55). There were increased odds of neural tube defects (OR: 2.22, CI: 1.78–2.76), orofacial clefts (OR: 2.28, CI: 1.87–2.78) and congenital heart defects (OR: 1.28, CI: 1.10–1.49) after influenza infection. In all cases, we found a protective effect of folic acid supplementation in the first tri-mester. The odds of non-chromosomal birth defects are higher after maternal influenza in the first -trimester. Folic acid or pregnancy vitamin supplementation and antipyretic therapy may reduce the effect of maternal influenza during the first trimester.

We study the generalized χ and η cross helicities for non-ideal non-barotropic magnetohydrodynamics (MHD). χ and η, the additional label translation symmetry group, have been used to generalize the cross helicity in ideal flows. Both new helicities are additional topological invariants of ideal MHD. To study there behaviour in non-ideal MHD, we derive the time derivative of both helicities using the non-ideal MHD equations taking viscosity, finite resistivity and heat conduction into account. Physical variables are divided into ideal and non-ideal quantities separately during the mathematical analysis for simplification. The analytical results indicate that χ and η cross helicities are not strict constant of motion in the non-ideal MHD and show the rate of dissipation which is compared to the dissipation of other topological constants of motion.

Besides living as a free-ranging primate in the horn of Africa and the Arabian Peninsula, the hamadryas baboon has an important place in zoos and can be found in biomedical research centers worldwide. To be valuable as a non-human primate laboratory model for man, its anatomy should be portrayed in detail allowing for the correct interpretation and translation of obtained research results. Reviewing the literature on the use of the baboon in biomedical research revealed that very limited anatomical works on this species are available. Anatomical atlases are incomplete, use archaic nomenclature and fail to provide high definition color photographs. Therefore, the skeletons of two male hamadryas baboons were prepared by manually removing as much soft tissues as possible followed by maceration in warm water to which enzyme-containing washing powder was added. The bones were bleached with hydrogen peroxide and degreased by means of methylene chloride. Photographs of the various bones were taken, and the anatomical structures were identified using the latest version of the Nomina Anatomica Veterinaria. As such, the present article shows 31 annotated multipanel figures. The skeleton of the hamadryas baboon generally parallels the human skeleton, but some remarkable differences have been noticed. If these are taken into consideration when evaluating the results of experiments using the hamadryas baboon, justified conclusions can be drawn.

EGFR tyrosine kinase inhibitors (TKIs) are the preferred initial treatment for non-small cell lung cancer (NSCLC) patients harboring EGFR mutations. However, remission is transient, and no further effective treatment options are available for EGFR-TKI-advanced EGFR-mutant NSCLCs. Immunotherapy with immune checkpoint inhibitors (ICIs) induces sustained cancer remission in a subset of NSCLCs. However, ICI therapy exhibits limited activity in most EGFR-mutant NSCLCs. Mechanistically, the strong oncogenic EGFR signaling in EGFR-mutant NSCLCs contributes to the non-inflamed tumor immune microenvironment (TIME), characterized by a limited number of CD8+ T cell infiltration, a high number of regulatory CD4+ T cells and a high number of inactivated infiltrated T cells. Besides, EGFR-mutant NSCLC patients are generally non-smokers with low levels of PD-L1 expression and tumor mutation burden. However, current understanding only partially explains why a small population of EGFR-mutant NSCLCs durably respond to ICI therapy, resulting in many researchers actively working in this field. This review reviews the hope seen from pre-clinical studies and clinical trials which may be adopted to improve the outcome of ICI therapy in EGFR-mutant NSCLCs. Besides, the underlying mechanisms leading to the inferior clinical outcome of ICI therapy in EGFR-mutant NSCLCs are discussed.