Science, Logic, and Mathematics

Pediatric intervention principles help clinicians and health-care institutions determine appropriate responses when parents’ medical decisions place children at risk. Several intervention principles have been proposed and defended in the pediatric ethics literature. These principles may appear to provide conflicting guidance, but much of that conflict is superficial. First, seemingly different pediatric intervention principles sometimes converge on the same guidance. Second, these principles often aim to solve different problems in pediatrics or to operate in different background conditions. The potential for convergence (...) between intervention principles—or at least an absence of conflict between them—matters for both the theory and practice of pediatric ethics. This article builds on the recent work of a diverse group of pediatric ethicists tasked with identifying consensus guidelines for pediatric decision-making. (shrink)

In summer 2022, six points of consensus emerged from a symposium addressing the question, “In the context of U.S. pediatric care, what moral precepts ought to guide parents and clinicians in medical decision making for children?” (Salter et al. 2023). The authors of this statement wrote, however, that the points of consensus may require modification or may not apply in their entirety to children in state custody. This article addresses the consensus recommendations in the context of the thousands of children (...) removed annually from the custody of their parents. While the consensus statements developed at the symposium provide a good starting point for decision-making in the context of these children, some alterations and nuance must be applied to attend to the specific needs of this population. The article works through what special considerations and changes ought to be made to expand the reach of the original points of consensus without neglecting the particular conditions of children in state custody, as well as their parents and caregivers. (shrink)

Legislation banning gender-affirming medical care (GAMC) for minors is inconsistent with the Consensus Recommendations for Pediatric Decision-Making (Salter et al. 2023). Gender dysphoria is a medical condition, and GAMC promotes adolescents’ health interests. The evidence for GAMC is comparable to the evidence for other types of pediatric medical care. Parents are permitted to consent for similar risks in the treatment of other conditions. Evaluation of the potential benefits, risks, and treatment alternatives is contingent on individual patients’ clinical conditions and adolescents’ (...) and their parents’ values and preferences. Such decisions are within the scope of parental discretion and should be made through shared decision-making with health-care providers. Parents’ declining GAMC does not inherently create a significant risk of serious imminent harm required to justify state intervention. Usurping parental discretion for GAMC is unjust: it treats this medical care differently than other comparable types of medical care without sufficient justification. (shrink)

Recently published consensus recommendations on pediatric decision-making by Salter and colleagues (2023) did not address neonatal decision-making, due to the unique complexities of neonatal care. This essay explores three areas that impact neonatal decision-making: legal and policy considerations, rapid technological advancement, and the unique emotional burdens faced by parents and clinicians during the medical care of neonates. The authors evaluate the six consensus recommendations related to these considerations and conclude that the consensus recommendations apply to neonates.

This article examines how parents should make health decisions for one child when they may have a negative impact on the health interests or other interests of their siblings. The authors discuss three health decisions made by the parents of Alex Jones, a child with developmental disabilities with two older neurotypical siblings over the course of eight years. First, Alex’s parents must decide whether to conduct sequencing on his siblings to help determine if there is a genetic cause for Alex’s (...) developmental disabilities. Second, Alex’s parents must decide whether to move to another town to maximize the therapy options for Alex. Third, Alex’s parents must decide whether to authorize the collection of stem cells from Alex for a bone marrow transplant for his sibling who developed leukemia. We examine whether the consensus recommendations by Salter and colleagues (2023) regarding pediatric decision-making apply in families with more than one child. (shrink)

The consensus recommendations by Salter and colleagues (2023) regarding pediatric decision-making intentionally omitted adolescents due to the additional complexity their evolving autonomy presented. Using two case studies, one focused on truth-telling and disclosure and one focused on treatment refusal, this article examines medical decision-making with and for adolescents in the context of the six consensus recommendations. It concludes that the consensus recommendations could reasonably apply to older children.

This paper examines the concept and moral significance of “childhood interests.” This concept is important in medical decision-making for children and more broadly in the field of pediatric ethics. The authors argue that childhood interests are identifiable components of childhood well-being that carry moral weight. Parents have a special role in protecting and promoting these interests and special obligations to do so. These parental obligations are grounded by the independent interests of the child, as well as the good of society (...) more generally. Because parents have these child-rearing obligations, they must also have the authority and wide discretion necessary to fulfill them. However, while parental discretion is wide, it is not unlimited, for it must be used to safeguard and advance childhood interests. (shrink)

This article describes the process engaged by 17 expert scholars in the development of a set of six consensus recommendations about the normative foundations of pediatric decision-making. The process began with a robust pre-reading assignment, followed by three days of in-person symposium discussions that resulted in a publication in _Pediatrics_ entitled “Pediatric Decision-Making: Consensus Recommendations” (Salter et al. 2023). This article next compares the six recommendations to existing statements about pediatric decision-making (specifically those developed by the American Academy of Pediatrics), (...) highlighting similarities and differences. Finally, the article discusses the value of finding consensus in the field of pediatric bioethics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Introduction to the Special Issue on Pediatric Decision-MakingErica K. SalterUnlike in the traditional decisional dyad in adult-based care, pediatric decision-making typically involves a triadic relationship among the patient, their parents, and the health-care providers. This complex relationship raises questions and concerns regarding each party’s expectations, obligations, and authority. For example, should a parent be allowed to withhold a poor diagnosis from an adolescent patient? Should an HLA-matched six-year-old sister (...) be permitted to serve as a bone marrow donor for her older sibling with lysosomal storage disease? Or, should parents be given decisional authority to consent to gender-affirming care for an adolescent with gender dysphoria? Cases like these are among the most ethically challenging decisions faced by parents and health-care providers because they present competing interests and values, and it’s not always clear what is in the best interests of the child.In the context of American medicine, the best interest standard has been identified as the primary ethical and legal guide for decision-making. In its most prominent form, the best interest standard requires parents and pediatric practitioners to choose the medical treatment that maximizes benefits and minimizes harms to the particular child in question. However, over the past few decades, the standard has come under significant scrutiny, with discussions and debate in the academic bioethics literature asking whether the standard is able to serve the [End Page 181] purposes it is thought to serve and whether alternative standards might be better suited to the task(s). Despite vigorous interest in these issues, the academic literature did not seem to generate any sense of identifiable consensus about how others ought to make health-care decisions on behalf of children.Thus, in June 2022, 17 scholar-experts on pediatric decision-making standards gathered in St. Louis, MO, for a three-day symposium of discussion and consensus-building. The participating authors represented different disciplinary perspectives and different viewpoints in the debate about guidance principles that underlie pediatrics. Despite apparent disagreement about such standards in the literature, the group was able to generate a set of six consensus-based recommendations (see Table 1) for pediatric decision-making. These recommendations, as well as their application, justification, and limitations, were published as a special article in Pediatrics in August 2023 (Salter et al. 2023), which was composed with the primary goals of accessibility, teachability, and implementability for practicing pediatric clinicians. Click for larger view View full resolutionTable 1.Six consensus recommendations for pediatric decision-makingWhile the group was able to find agreement about these six central principles of pediatric decision-making, there remained several related issues that were outside of the scope of the symposium aims. For example, should these recommendations apply to neonates, children in state custody, or adolescents, and if so, how would their application be operationalized? What specific conditions should justify state intervention on parental authority? How should parents and health-care providers think about obligations to siblings in health-care decisions? This [End Page 182] special issue of Perspectives in Biology and Medicine provides a forum for our authors and collaborators to further explore these, and other, important questions.The issue opens with a piece by the symposium organizers and editors of this special issue, Erica Salter, Lainie Friedman Ross, and D. Micah Hester, describing the symposium’s inspiration and design, its execution, and the implications it might have for pediatric ethics. This contribution compares the six symposium recommendations with existing statements about pediatric decision-making, in particular the statements developed by the American Academy of Pediatrics (AAP). In “How We Found Consensus on Pediatric Decision-Making and Why It Matters,” readers will find a detailed account of the process engaged to develop the six consensus-based recommendations, as well as a discussion of the value and limitations of such a process, which may serve as a model of consensus-building useful for other unsettled topics of interest in the bioethics community.The issue’s second article, “Childhood Interests: What They Are, and Why It Matters,” by Johan Bester and Jeffrey Blustein, dives into the conceptual foundation of the symposium’s first two recommendations. This... (shrink)

This review pertains to the book _Evolutionary Theology (Teologia ewolucyjna)_ written by Wojciech P. Grygiel and Damian Wąsek. The book presents a distinct and modern viewpoint on theology by offering a comprehensive analysis of the characteristics of theological language and utilizing it to reevaluate certain theological beliefs, such as the concept of original sin, within the framework of the ever-changing understanding of the Universe. This approach contributes significantly to the restoration of theology’s credibility in modern culture by bridging the gap (...) between science and theology. (shrink)

The founding motto of philosophy in science is “tracking down big philosophical problems in contemporary science.” Knowing the basic history of philosophy and the history of science, we more or less know what “big philosophical topics” mean. The most representative topics of this kind include: time, space, causality, matter, life, consciousness, thinking... The tables of contents of philosophy textbooks could be copied to continue this list. These topics are big not only when they remain at a high level of generality, (...) but also when they get down to special cases and particular sub-problems. Sometimes it is only then that they fully reveal their big format. (shrink)

In philosophy, it is always refreshing to introduce unconventional ideas. It requires a certain audacity from the author; he or she may face the wall of silence or be shunned by academia, both treatments being undesirable. However, these are more rewarding than gathering laurels for beating the dead philosophical cats like Humes, Leibnitzs, Wittgensteins, Whiteheads, and others, a practice that for many philosophers is their life's opus. Bartłomiej Skowron’s book _Part and Whole: Towards Topo-Ontology_, published by Oficyna Wydawnicza Politechniki Warszawskiej (...) in 2021, certainly does not fall into this category. Skowron undertakes a discovery trip into an unknown land in his book, exploring new philosophical territories. (shrink)

This paper analyzes selected issues related to the philosophy of the Krakow physicist Andrzej Fuliński. Since the 1970s, Fuliński has been strongly associated with the interdisciplinary milieu gathered around Heller and Życiński. His activity can therefore be considered within the context of the broader phenomenon known as the Krakow School of Philosophy in Science, which was founded by Heller and Życiński. This paper proposes the thesis that Fuliński’s style of philosophy is connected with the concept of philosophy in science and (...) tries to justify the thesis that Fuliński, due to his cooperation with the interdisciplinary milieu in Krakow and the specificity of his philosophical works, deserves to be regarded as a representative of the Krakow School of Philosophy in Science. (shrink)

The introduction of the concept of the field of rationality and its correlates (the field of potentiality and the formal field) by Józef Życiński and Michał (Michael) Heller opened up space for the philosophical explanation of the unreasonable effectiveness of mathematics in capturing regularities built into the physical reality. The presented study is a response to the clear incentive of these authors towards the development of the understanding and applicability of these concepts. It is argued that identifying symmetries within the (...) field of rationality not only helps to articulate the fundamental role of symmetries in physics but also provides a better grasp on the issue of potentialities for the emergence of complexity in the Universe. Additionally, some global properties of this field can be more deeply comprehended. By indicating the drawbacks and limitations of this approach, perspectives for further inquiry into the meaning and usefulness are suggested. (shrink)

The paper presents a brief outline of Michał Heller’s programme of theology of science, with specific attention to its collocation and critical role with respect to both theology and science. The former consideration is based on a third domain of truths (Hans Urs von Balthasar), while the latter is inspired by Józef Tischner’s presentation of religious thinking. Theology of science as such will be described with reference to Larry Laudan’s approach, considered here as a very useful and pragmatic tool for (...) the description of basic concepts of this theology. (shrink)

In this paper, the concept of structural information is presented. The mathematical foundation of the concept is put forward, and the nature of information encoded in a structure is studied. A method for calculating the amount of structural information is introduced. An application to the analysis of cognitive maps is also presented and discussed.

In the 1980s, computer-aided experimental research became standard in the majority of leading research laboratories. Unfortunately, this shift was not adequately reflected in the professional literature related to the philosophy and methodology of science. A new experimentalism did emerge, aimed at adequately describing experimental practice (to be discussed in the first part of this article); however, in its initial phase, it failed to consider the role of computers in experimental research (discussed in the second part). This oversight by the philosophers (...) of science, the proponents of the new experimentalism, is significant and calls for supplementation (addressed in the fourth part). By the turn of the 20 th and 21 st centuries, there were numerous philosophical analyses related to computer experiments, such as computer simulations. However, this article focuses only on classic experiments facilitated by various computer systems (e.g., LHC at CERN). In the final part of this article, I will present examples of aspects of experimental work that have not yet been analyzed and could potentially enhance new experimentalism with insights from computer-aided experiments. (shrink)

Although many information system ontologies (ISOs) claim to be parsimonious, the notion of parsimony seems to influence the debate on ISOs only at the level of vague and uncritical assumption. To challenge this trend, the paper aims to clarify what it means for ISOs to be parsimonious. Specifically, section 2 shows that parsimony in computer science generally concerns software design and, together with elegance, is one of the two aspects of the broader notion of simplicity. Section 3 transforms the main (...) claims of parsimony in software design into claims about the content of ISOs, the combination of which is hereafter called “parsimony of content”—where “content” refers only to the content of ISOs. Sections 4-7 discuss the application of this parsimony to the design of ISOs, and outline different kinds (and combinations) of parsimony of content. Finally, section 8 considers whether parsimony of content could provide some criteria both for selecting and/or classifying the contents of ISOs and for choosing between different and equally consistent ISOs. (shrink)

This paper discusses the concept of information formulated by Michael (Michał) Heller. Heller—a philosopher, theoretical physicist, cosmologist, and theologian—provided a complex image of information and its role in nature, which is rarely found in studies of information. Heller posited that the laws of nature may be interpreted as information, or as providing information, presenting this as a complementary view to scientific structuralism (not discussed in this paper). According to Heller, the informational content of a structure in nature is inversely proportional (...) to that structure’s degree of freedom. The more constrained or complex a structure is, and the less likely it is to exist, the more information it contains. In Heller’s view, the concept of information in Shannon’s Theory of Communication (ToC) is inadequate for expressing the notion of information beyond a numerical measure of a signal structure. Information in Heller’s research closely aligns with the concepts of Jacquette’s and Perzanowski’s combinatorial ontology (concepts not discussed in this paper) and the general theory of information (GTI) of Mark Burgin, although Heller did not explicitly make these connections. (shrink)

Philosophy in technology is a research program that studies the philosophical roots of engineering and technology. Technologists, by virtue of their education, believe that the limits, goals, possibilities, and effects of technology on society and humankind are exclusively technological problems, hence their solutions must lie exclusively in technology. In contrast, philosophy in technology asserts that the resolutions to these problems need to be rooted in an understanding of their philosophical origins. This program paper defines the objectives of philosophy in technology, (...) the kinds of questions it explores, the methods it uses, and how it differs from the philosophy of technology. (shrink)

Mathematics, as Eugene Wigner noted, is unreasonably effective in physics. The argument of this paper is that the disproportionate attention that philosophers have paid to discrete structures such as the natural numbers, for which a nominalist construction may be possible, has deprived us of the best argument for Platonism, which lies in continuous structures—in fields and their derived algebras, such as Clifford algebras. The argument that Wigner was making is best made with respect to such structures—in a loose sense, with (...) respect to geometry rather than arithmetic. The purpose of the present paper is to make this connection between mathematical realism and geometrical entities. It thus constitutes an argument against formalism, for which mathematics is merely a game with humanly set rules; and nominalism, in which whatever mathematics is used is eliminable in the final analysis, by often insufficiently specified means. The hope is that light may be cast on the stubborn mysteries of the nature of quantum mechanics and its mathematical formulation, with particular reference to spinor representations—as they have been developed by Andrej Trautman. Thus, according to our argument, quantum mechanics (QM) may appear more natural, as we have better reasons to take spinor structures as irreducibly real, a view consonant with the work of Trautman and Penrose in particular. (shrink)

Machine stability and energy efficiency have become major issues in the manufacturing industry, primarily during the COVID-19 pandemic where fluctuations in supply and demand were common. As a result, Predictive Maintenance (PdM) has become more desirable, since predicting failures ahead of time allows to avoid downtime and improves stability and energy efficiency in machines. One type of machine failure stands out due to its impact, machine overstrain, which can occur when machines are used beyond their tolerable limit. From the current (...) literature, there are little to no relevant works that focus on machine overstrain failure detection or prediction. Accordingly, the purpose of this paper is to implement and compare four Machine Learning (ML) algorithms for PdM applied to machine overstrain failures: Artificial Neural Network (ANN), Gradient Boosting, Random Forest and Support Vector Machine (SVM). Moreover, it proposes a training methodology for imbalanced data and the automatic optimization of hyperparameters, which aims to improve performance in the ML models. To evaluate the performance of the ML models, a synthetic dataset that simulates industrial machine data is used. The obtained results show the robustness of the proposed methodology, with the ANN and SVM models achieving a perfect recall score, with 98.95% and 98.85% in accuracy, respectively. (shrink)

Despite recent essentialist approaches to Kant’s laws of nature, it is unclear whether Kant’s critical philosophy is compatible with core tenets of essentialism. In this paper, I first reconstruct Kant’s position by identifying the key metaphysical and epistemological features of his notion of ‘nature’ or ‘essence’. Two theses about natures can be found in the literature, namely that they are noumenal in character (noumenal thesis) and that they guide scientific investigation as regulative ideas of reason (regulative thesis). I argue that (...) Kant’s notion of nature does not entail the noumenal thesis and, based on his model of causal explanation, I propose a novel, phenomenal thesis, that allows for a better understanding of the function of natures as regulative ideas. In the last part of the paper, I show that Kant’s ‘essentialism’ is a genuine form of essentialism committed to de re modality, although it differs in several respects from major contemporary essentialist accounts. I conclude by suggesting that Kant’s essentialism (if appropriately updated) can be relevant to the contemporary debate, which has so far been dominated by Humean and Aristotelian proposals. (shrink)

We combine linear temporal logic (with both past and future modalities) with a deontic version of justification logic to provide a framework for reasoning about time and epistemic and normative reasons. In addition to temporal modalities, the resulting logic contains two kinds of justification assertions: epistemic justification assertions and deontic justification assertions. The former presents justification for the agent’s knowledge and the latter gives reasons for why a proposition is obligatory. We present two kinds of semantics for the logic: one (...) based on Fitting models and the other based on neighborhood models. The use of neighborhood semantics enables us to define the dual of deontic justification assertions properly, which corresponds to a notion of permission in deontic logic. We then establish the soundness and completeness of an axiom system of the logic with respect to these semantics. Further, we formalize the Protagoras versus Euathlus paradox in this logic and present a precise analysis of the paradox, and also briefly discuss Leibniz’s solution. (shrink)

Let $\varSigma $ be a signature without $0$-ary operation symbols and $\textsf{Sl}$ the category of semilattices. Then, after defining and investigating the categories $\int ^{\textsf{Sl}}\textrm{Isys}_{\varSigma }$, of inductive systems of $\varSigma $-algebras over all semilattices, which are ordered pairs $\mathscr{A}= (\textbf{I},\mathscr{A})$ where $\textbf{I}$ is a semilattice and $\mathscr{A}$ an inductive system of $\varSigma $-algebras relative to $\textbf{I}$, and PłAlg$ (\varSigma )$, of Płonka $\varSigma $-algebras, which are ordered pairs $(\textbf{A},D)$ where $\textbf{A}$ is a $\varSigma $-algebra and $D$ a Płonka operator (...) for $\textbf{A}$, i.e. in the traditional terminology, a partition function for $\textbf{A}$, we prove the main result of the paper: There exists an adjunction, which we call the Płonka adjunction, from $\int ^{\textsf{Sl}}\textrm{Isys}_{\varSigma }$ to PłAlg$ (\varSigma )$. (shrink)

The generation of the pitch control signal in a wind turbine (WT) is not straightforward due to the nonlinear dynamics of the system and the coupling of its internal variables; in addition, they are subjected to the uncertainty that comes from the random nature of the wind. Fuzzy logic has proved useful in applications with changing system parameters or where uncertainty is relevant as in this one, but the tuning of the fuzzy logic controller (FLC) parameters is neither straightforward nor (...) an easy task. On the other hand, reinforcement learning (RL) allows systems to automatically learn, and this capability can be exploited to tune the FLC. In this work, a WT pitch control architecture that uses RL to tune the membership functions and scale the output of a fuzzy controller is proposed. The RL strategy calculates the fuzzy controller gains in order to reduce the output power error of the WT according to the wind speed. Different reward mechanisms based on the output power error have been considered. Simulation results with different wind profiles show that this architecture performs better (123.7 W) in terms of power errors than an FLC without RL (133.2 W) or a simpler PID (208.8 W). Even more, it provides a smooth response and outperforms other hybrid controllers such as RL-PID and radial basis function neural network control. (shrink)

Studies of the Early Modern debate concerning absolute and relative space and motion often ignore the significance of the concept of true motion in this debate. Even philosophers who denied the existence of absolute space maintained that true motions could be distinguished from merely apparent ones. In this paper, I examine Berkeley's endorsement of this distinction and the problems it raises. First, Berkeley's endorsement raises a problem of consistency with his other philosophical commitments, namely his idealism. Second, Berkeley's endorsement raises (...) a problem of adequacy, namely whether Berkeley can provide an adequate account of what grounds the distinction between true and merely apparent motion. In this paper, I argue that sensitivity to Berkeley's distinction between what is true in the metaphysical, scientific, and vulgar domains can address both the consistency and the adequacy problems. I argue that Berkeley only accepts true motion in the scientific and vulgar domains, and not the metaphysical. There is thus no inconsistency between his endorsement of true motion in science and ordinary language, and his metaphysical idealism. Further, I suggest that sensitivity to these three domains shows that Berkeley possesses resources to give an adequate account of how true motions are discovered in natural science. (shrink)

There has been increased attention on how scientific communities should respond to spurious dissent. One proposed method is to hide such dissent by preventing its publication. To investigate this, I computationally model the epistemic effects of hiding dissenting evidence on scientific communities. I find that it is typically epistemically harmful to hide dissent, even when there exists an agent purposefully producing biased dissent. However, hiding dissent also allows for quicker correct epistemic consensus among scientists. Quicker consensus may be important when (...) policy decisions must be made quickly, such as during a pandemic, suggesting times when hiding dissent may be useful. (shrink)

This article examines how deduction preserves certainty and how much certainty it can preserve according to Descartes’s Rules for the Direction of the Mind. I argue that the certainty of a deduction is a matter of four conditions for Descartes. First, certainty depends on whether the conjunction of simple propositions is composed with necessity or contingency. Second, a deduction approaches the certainty of an intuition depending on how many “acts of conceiving” it requires and—third—the complexity or difficulty of the acts (...) of thinking, which is determined by the content of the thoughts and on external factors. Fourth, certainty depends on the intellectual aptitude of the person using the deduction. A deduction lacks certainty when it relies on memory such that it is not apprehended with immediacy. However, the mental capacity and speed of a mind can be increased by training the special mental faculties of perspicacity and discernment. Increasing one’s intellectual aptitude allows for more steps of a deduction to be inferred in fewer acts of conceiving, thereby helping preserve the certainty of a deduction. (shrink)

Language not only reflects and cocreates social universes but can also be and is performative regarding the planetary common good, e.g., through international treaties and agreements. This paper investigates the rationale and feasibility of altering the language used by Glasgow Climate Pact to a posthuman mode that addresses the issue of more-than-human inequality by becoming inclusive toward nonhuman actors, and presents a selection of edited excerpts. The main findings state that (1) the language of the Glasgow Climate Pact is inadequate (...) concerning its expected agency, (2) the reasons for this include its anthropocentrism, capitalocentrism and technocentrism, and (3) it is possible to rephrase the Glasgow Climate Pact and similar documents to address the diagnosed problems in a radically inclusive way. This paper represents a starting point for a discussion on the interrelations between climate and language and on the importance of language used by policy documents in the optics of climate action. (shrink)

The critical node detection problem is a central task in computational graph theory due to its large applicability, consisting in deleting $k$ nodes to minimize a certain graph measure. In this article, we propose a new Extremal Optimization-based approach, the Pseudo-Deterministic Noisy Extremal Optimization (PDNEO) algorithm, to solve the Critical Node Detection variant in which the pairwise connectivity is minimized. PDNEO uses an adaptive pseudo-deterministic parameter to switch between random nodes and articulation points during the search, as well as other (...) features, such as noise induction to preserve diversity, greedy search to better exploit the search space and a greater search space exploration mechanism. Numerical experiments on synthetic and real-world networks show the effectiveness of the proposed algorithm compared with existing methods. (shrink)

In the industrial context, steel is a broadly-used raw material with applications in many different fields. Due to its high impact in the activity of many industries all over the world, forecasting its price is of utmost importance for a huge amount of companies. In this work, non-linear neural models are applied for the first time to different datasets in order to validate their suitability when predicting the price of this commodity. In particular, the NAR, NIO and NARX neural network (...) models are innovatively applied for the first time to forecast the price of hot rolled steel in Spain. Besides these variety of models, different datasets consisting of a set of heterogenous variables from the last seven years and related to the price of this commodity are benchmarked and analyzed. The results showed that NARX is the best performing model when the price of raw materials used to produce steel and the stock market prices of three major global steel producing companies are employed as input to this predictive model. Consequently, this result may boost the application of Machine Learning in companies, in order to schedule the supplying operations according to the price forecasting. (shrink)

Accurate measurement of livestock weight is a primary indicator in the meat industry to increase the economic gain. In lambs, the weight of a live animal is still usually estimated manually using traditional scales, resulting in a tedious process for the experienced assessor and stressful for the animal. In this paper, we propose a solution to this problem using computer vision techniques; thus, the proposed procedure estimates the weight of a lamb by analysing its zenithal image without interacting with the (...) animal, which speeds up the process and reduces weighing costs. It is based on a data-driven decision support system that uses RGB-D machine vision techniques and regression models. Unlike existing methods, it does not require walk-over-weighing platforms or special and expensive infrastructures. The proposed method includes a decision support system that automatically rejects those images that are not appropriate to estimate the lamb weight. After determining the body contour of the lamb, we compute several features that feed different regression models. Best results were achieved with Extra Tree Regression ($R^{2}$=91.94%), outperforming the existing techniques. Using only an image, the proposed approach can identify with a minimum error the optimal weight of a lamb to be slaughtered, so as to maximise the economic profit. (shrink)

El método axiomático estilo Hilbert es reconocido por la mayoría de los lógicos como un cálculo de gran dificultad, de aquí que uno de los primeros objetivos que se plantean es dar una prueba del teorema de la deducción para facilitar las derivaciones consecuentes, sin embargo, esto modifica la estructura de las derivaciones naturalizándolas. En el presente trabajo se brindarán definiciones de "axioma" y "corolario" con el fin de simplificar las derivaciones y aprehender el funcionamiento del cálculo sin modificar la (...) estructura de la prueba. Palabras clave: Método axiomático - Esquema - Axioma – Corolario – Teoría de la prueba. (shrink)

This brief elucidation of two quotes from the Genealogy will be apt for more accessible interpretation following the completion of my next paper. Stay tuned for some hard-fought philosophy.

The objective of this research is to develop accurate forecasting models for chlorophyll-α concentrations at various depths in El Mar Menor, Spain. Chlorophyll-α plays a crucial role in assessing eutrophication in this vulnerable ecosystem. To achieve this objective, various deep learning forecasting techniques, including long short-term memory, bidirectional long short-term memory and gated recurrent uni networks, were utilized. The models were designed to forecast the chlorophyll-α levels with a 2-week prediction horizon. To enhance the models’ accuracy, a sliding window method (...) combined with a blocked cross-validation procedure for time series was also applied to these techniques. Two input strategies were also tested in this approach: using only chlorophyll-α time series and incorporating exogenous variables. The proposed approach significantly improved the accuracy of the predictive models, no matter the forecasting technique employed. Results were remarkable, with |$\overline{\sigma}$| values reaching approximately 0.90 for the 0.5-m depth level and 0.80 for deeper levels. The proposed forecasting models and methodologies have great potential for predicting eutrophication episodes and acting as decision-making tools for environmental agencies. Accurate prediction of eutrophication episodes through these models could allow for proactive measures to be implemented, resulting in improved environmental management and the preservation of the ecosystem. (shrink)

The Internet of Things (IoT) is a fast-growing technology that connects everyday devices to the Internet, enabling wireless, low-consumption and low-cost communication and data exchange. IoT has revolutionized the way devices interact with each other and the internet. The more devices become connected, the greater the risk of security breaches. There is currently a need for new approaches to algorithms that can detect malware regardless of the size of the network and that can adapt to dynamic changes in the network. (...) Through the use of a multi-agent reinforcement learning algorithm, this paper proposes a novel algorithm for malware detection in IoT devices. The proposed algorithm is not strongly dependent on the size of the IoT network due to the that its training is adapted using time differences if the IoT network size is small or Monte Carlo otherwise. To validate the proposed algorithm in an environment as close to reality as possible, we proposed a scenario based on a real IoT network, where we tested different malware propagation models. Different simulations varying the number of agents and nodes in the IoT network have been developed. The result of these simulations proves the efficiency and adaptability of the proposed algorithm in detecting malware, regardless of the malware propagation model. (shrink)

The use of technologies like artificial intelligence can drive productivity growth, efficiency and innovation. The goal of this study is to develop an anomaly detection method for locating flaws on the surface of sandwich panels using YOLOv5. The proposed algorithm extracts information locally from an image through a prediction system that creates bounding boxes and determines whether the sandwich panel surface contains flaws. It attempts to reject or accept a product based on quality levels specified in the standard. To evaluate (...) the proposed method, a comparison was made with a sandwich panel damage detection method based on a convolutional neural network and methods based on thresholding. The findings show that the proposed method, which is based on an object detector, is more accurate than the alternatives. The characteristics of the model, which can reject or accept a product according to the standard and limit allowable manufacturing flaws to obtain a quality product, also enable this system to improve industrial standards for producing sandwich panels while increasing speed. (shrink)

With the advent of the cloud computing model allowing a shared access to massive computing facilities, a surging demand emerges for the protection of the intellectual property tied to the programs executed on these uncontrolled systems. If novel paradigm as confidential computing aims at protecting the data manipulated during the execution, obfuscating techniques (in particular at the source code level) remain a popular solution to conceal the purpose of a program or its logic without altering its functionality, thus preventing reverse-engineering (...) on the program even with the help of computing resources. The many advantages of code obfuscation, together with its low cost, makes it a popular technique. This paper proposes a novel methodology for source code obfuscation that can be used together with other traditional obfuscation techniques, making the code more robust against reverse engineering attacks. Three program complexity metrics are used to define three different single-objective combinatorial optimization versions of the problem, which are solved and analysed. Additionally, three multi-objective problems are defined, those considering each of the selected metrics together with the program execution time, in order to avoid strong obfuscations penalizing the performance. The goal of the defined problems is to find sequences of LLVM optimizations that lead to highly obfuscated versions of the original code. These transformations are applied to the back-end pseudo-assembly code (i.e., LLVM Intermediate Representation), thus avoiding any further optimizations by the compiler. Classical genetic algorithms (GAs) are used to solve the studied problems, namely a basic cellular GA for the single-objective problems and the popular NSGA-II for the multi-objective ones. The promising results show the potential of the proposed technique. (shrink)

The distributed temporal logic (DTL) is a logic for reasoning about temporal properties of distributed systems from the local point of view of the system’s agents, which are assumed to execute sequentially and to interact by means of synchronous event sharing. Different versions of DTL have been provided over the years for a number of different applications, reflecting different perspectives on how non-local information can be accessed by each agent. In this paper, we propose an automata-theoretic model checking algorithm for (...) DTL. To this end, we propose a notion of distributed transition system that will be used to specify the system to be verified. The properties that the system should meet are specified in DTL. In order to capture the models of these properties, we propose the notions of generalized distributed Büchi automaton and of distributed Büchi automaton. With these concepts, we are able to adapt results from automata-theoretic approaches to model checking in LTL to the distributed case. (shrink)

As the labeling costs in legal artificial intelligence tasks are expensive. Therefore, it becomes a challenge to utilize low cost to train a robust model. In this paper, we propose a LAIAugment approach, which aims to enhance the few-shot learning capability in legal artificial intelligence tasks. Specifically, we first use the self-training approach to label the amount of unlabelled data to enhance the feature learning capability of the model. Moreover, we also search for datasets that are similar to the training (...) set by improving the text similarity function. We conducted experimental analyses for three legal artificial intelligence tasks, including evidence extraction, legal element extraction, and case multi-label prediction, which composed of 3500 judgement documents. The experimental results show that the proposed LAIAugment method has an average F1-score of 72.3% on the three legal AI tasks, which is 1.93% higher than the baseline model. At the same time, it shows a huge improvement in few-shot learning. (shrink)