Die vorliegende Arbeit untersucht Möglichkeiten und Grenzen der Verwendung von einfachen konnektionistischen Systemen als Modelle für den Erwerb und die Repräsentation von Wissen über zeitdiskrete lineare dynamische Systeme in der Kognitionspsychologie. Ein ausgewähltes dynamisches System namens SINUS wird in Form eines „pattern associators“ repräsentiert und dessen Lernverhalten untersucht. Es wird versucht, daraus Annahmen über den Wissenserwerb von Probanden im Umgang mit solchen dynamischen Systemen abzuleiten, um insbesondere Hinweise darauf zu erhalten, was „gute“ von „schlechten“ Probanden unterscheidet. Ein weiterer hier (...) betrachteter Aspekt ist die Steuerung eines dynamischen Systems in einen vorgegebenen Zielzustand, der unter Beibehaltung des konnektionistischen Modells durch einen variierten Lernalgorithmus modelliert wird. Die abschließende Diskussion geht auf die Bedeutung der Modellierung für die kognitionspsychologische Theorienbildung ein. (shrink)

Humankind is currently confronted with a critical challenge that determines its very existence, not only on an individual, racial, or national level but as a whole species: the fight against climate change and environmental degradation. To win this battle, humanity needs innovations and non-linear thinking. Nature has long been a substantial information source for unthinkable discoveries that save human lives. The paper suggests that by understanding the nature, emergence, and mechanism of serendipity, the survival skill of humans, humanity can capitalize (...) on it to learn from nature and generate nature-based innovations that can address the climate and environmental degradation crises. In the era of Artificial Intelligence (AI) proliferation, AI will be a vital tool providing navigational and useful information to leverage the power of serendipity in climate and sustainability science. However, an eco-surplus culture that incorporates core values pertaining to nature and sees environmental sustainability as the conscience of the times needs to be built to direct and control the immense power of AI-leveraged serendipity. Insights applied in this paper are drawn from the book titled “A New Theory of Serendipity: Nature, Emergence and Mechanism”. (shrink)

Humankind is currently confronted with a critical challenge that determines its very existence, not only on an individual, racial, or national level but as a whole species: the fight against climate change and environmental degradation. To win this battle, humanity needs innovations and non-linear thinking. Nature has long been a substantial information source for unthinkable discoveries that save human lives. The paper suggests that by understanding the nature, emergence, and mechanism of serendipity, the survival skill of humans, humanity can capitalize (...) on it to learn from nature and generate nature-based innovations that can address the climate and environmental degradation crises. In the era of Artificial Intelligence (AI) proliferation, AI will be a vital tool providing navigational and useful information to leverage the power of serendipity in climate and sustainability science. However, an eco-surplus culture that incorporates core values pertaining to nature and sees environmental sustainability as the conscience of the times needs to be built to direct and control the immense power of AI-leveraged serendipity. Insights applied in this paper are drawn from the book titled “A New Theory of Serendipity: Nature, Emergence and Mechanism”. (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider (...) a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

In this book, the authors introduce the notion of Super linear algebra and super vector spaces using the definition of super matrices defined by Horst (1963). Many theorems on super linear algebra and its properties are proved. Some theorems are left as exercises for the reader. These new class of super linear algebras which can be thought of as a set of linear algebras, following a stipulated condition, will find applications in several fields using computers. The authors feel that such (...) a paradigm shift is essential in this computerized world. (shrink)

We present a technique for the analysis of pattern formation by a class of models for the formation of ocular dominance stripes in the striate cortex of some mammals. The method, which employs the adiabatic approximation to derive a set of ordinary differential equations for patterning modes, has been successfully applied to reaction-diffusion models for striped patterns [1]. Models of ocular dominance stripes have been studied [2,3] by computation, or by linearization of the model equations. These techniques do not provide (...) a rationale for the origin of the stripes. We show here that stripe formation is a non-linear property of the models. Our analysis indicates that stripe selection is closely linked to a property in the dynamics of the models which arises from a symmetry between ipsilateral and contralateral synapses to the visual cortex of a given hemisphere. (shrink)

We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear logic can easily represent bids in combinatorial auctions in which goods may be sold in multiple units, and we show how it naturally generalises several bidding languages familiar from the literature. Moreover, the winner determination problem, i.e., the problem of computing an allocation of goods to bidders producing a certain amount of revenue (...) for the auctioneer, can be modelled as the problem of finding a proof for a particular linear logic sequent. (shrink)

The mapping of numbers onto space is fundamental to measurement and to mathematics. Is this mapping a cultural invention or a universal intuition shared by all humans regardless of culture and education? We probed number-space mappings in the Mundurucu, an Amazonian indigene group with a reduced numerical lexicon and little or no formal education. At all ages, the Mundurucu mapped symbolic and nonsymbolic numbers onto a logarithmic scale, whereas Western adults used linear mapping with small or symbolic numbers and logarithmic (...) mapping when numbers were presented nonsymbolically under conditions that discouraged counting. This indicates that the mapping of numbers onto space is a universal intuition and that this initial intuition of number is logarithmic. The concept of a linear number line appears to be a cultural invention that fails to develop in the absence of formal education. (shrink)

We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of resources, preferences of agents, and deals are all modelled as formulas of linear logic. Whether or not a proposed deal is rational, given the preferences of the agents concerned, reduces to a question of provability, as does the question of whether (...) there exists a sequence of deals leading to an allocation with certain desirable properties, such as maximising social welfare. Thus, linear logic provides a formal basis for modelling convergence properties in distributed resource allocation. (shrink)

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

We study the first-order theories of some natural and important classes of coloured trees, including the four classes of trees whose paths have the order type respectively of the natural numbers, the integers, the rationals, and the reals. We develop a technique for approximating a tree as a suitably coloured linear order. We then present the first-order theories of certain classes of coloured linear orders and use them, along with the approximating technique, to establish complete axiomatisations of the four classes (...) of trees mentioned above. (shrink)

One of the most important theories in linear programming is the dualistic theory and its basic idea is that for every linear model has dual linear model, so that solving the original linear model gives a solution to the dual model. Therefore, when we solving the linear programming model, we actually obtain solutions for two linear models. In this research, we present a study of the models. The neutrosophic dual and the binary simplex algorithm, which works to find the optimal (...) solution for the original and dual models at the same time. The importance of this algorithm is evident in that it is relied upon in several operations research topics, such as integer programming algorithms, some nonlinear programming algorithms, and sensitivity analysis in linear programming. (shrink)

The exploration of the literature indicated that much studies abound in related areas. Much seems yet to be known about the nature of the relationship that exists between managerial variables and the sustainability of graduate programmes. To bridge this gap, we utilized a standardised multiple regression approach to build up linear models that examine three managerial processes (strategic planning, staff and information/communication management) and how they affect three proxies of the sustainability of graduate programmes (availability of funds and facilities, as (...) well as supervision) respectively and cumulatively. Quantitative data were obtained from an entire population of 149 managers (Head of Departments and Deans) in the University of Calabar, Calabar, Nigeria using a questionnaire. Findings emerged, among others, a significant relationship between each of the managerial processes to the sustainability of graduate programmes generally and particularly in terms of availability of funds, facilities and supervision; the three predictor variables partially and jointly accounted for significant proportions in the sustainability of graduate programmes generally and specifically in terms of the various dimensions. Based on this evidence, one general and three partial predictive linear equations, as well as models were derived, while relevant action-based implications for effective management and practice were discussed. (shrink)

This paper aims to address the lack of critique of the linear model in geoengineering governance discourse, and to illustrate different considerations for a geoengineering governance framework that is not based on a linear model of technology innovation. Finally, we set to explore a particular approach to geoengineering governance based on Peter-Paul Verbeek’s notion of ‘technology accompaniment’.

The art of Simon Finn has always had a markedly temporal dynamic. Vast structures built and annihilated again and again across different media, their fragmentation across space and time simultaneously methodical and darkly chaotic. Roiling waters and eldritch surfaces held captive in their unrest. Finn’s works render cycles of construction and disintegration, of stasis and motion, in ways that shed light upon the underlying structures of our experience of time while shattering simplistic notions of linearity. This is nowhere more apparent (...) than in Instability, through which Finn allows us to explore the intertwining of personal and historical time, ancestral memory and radical futurity, artefactual form and temporal function. (shrink)

Numerous problems arising in engineering applications can have several objectives to be satisfied. An important class of problems of this kind is lexicographic multi-objective problems where the first objective is incomparably more important than the second one which, in its turn, is incomparably more important than the third one, etc. In this paper, Lexicographic Multi-Objective Linear Programming (LMOLP) problems are considered. To tackle them, traditional approaches either require solution of a series of linear programming problems or apply a scalarization of (...) weighted multiple objectives into a single-objective function. The latter approach requires finding a set of weights that guarantees the equivalence of the original problem and the single-objective one and the search of correct weights can be very time consuming. In this work a new approach for solving LMOLP problems using a recently introduced computational methodology allowing one to work numerically with infinities and infinitesimals is proposed. It is shown that a smart application of infinitesimal weights allows one to construct a single-objective problem avoiding the necessity to determine finite weights. The equivalence between the original multi-objective problem and the new single-objective one is proved. A simplex-based algorithm working with finite and infinitesimal numbers is proposed, implemented, and discussed. Results of some numerical experiments are provided. (shrink)

Linear Algebra is an extremely important field that extends everyday concepts about geometry and algebra into higher spaces. This text serves as a gentle motivating introduction to the principles (and philosophy) behind linear algebra. This is aimed at undergraduate students taking a linear algebra class - in particular engineering students who are expected to understand and use linear algebra to build and design things, however it may also prove helpful for philosophy majors and anyone else interested in the ideas behind (...) linear algebra. Linear algebra is used extensively in statistics, mechanical engineering, circuit theory, signal processing, economics and data science/machine learning. I have found in my teaching career that students tend to struggle the most with motivating the "why" behind the abstract concepts discussed in linear algebra. This can be difficult for professors to understand because we are so used to using the language of linear algebra we take for granted why these questions are important in the first place. In other words, we may understand the “why” (after years of using these tools), but our students may not. This text seeks to explain this “why” in an accessible, engaging way. (shrink)

After employing the mindsponge mechanism and 3D information process of creativity to explain the serendipity process in previous chapters, we realize that it may be helpful to delve into the relations between serendipity and the formulation of new values and information connections through non-linear processes. Thus, this chapter summarizes some preliminary attempts to use non-linear information processes to explain serendipity. We also briefly mention the benefits of information exchange among members of social groups and explain this approach.

The linear programming method is one of the important methods of operations research that has been used to address many practical issues and provided optimal solutions for many institutions and companies, which helped decision makers make ideal decisions through which companies and institutions achieved maximum profit, but these solutions remain ideal and appropriate in If the conditions surrounding the work environment are stable, because any change in the data provided will affect the optimal solution and to avoid losses and achieve (...) maximum profit, we have, in previous research, reformulated the linear models using the concepts of neutrosophic science, the science that takes into account the instability of conditions and fluctuations in the work environment and leaves nothing to chance. While taking data, neutrosophic values carry some indeterminacy, giving a margin of freedom to decision makers. In another research, we reformulated one of the most important methods used to solve linear models, which is the simplex method, using the concepts of this science, and as a continuation of what we did in the previous two researches, we will reformulate in this research. The graphical method for solving linear models using the concepts of neutrosophics. We will also shed light on a case that is rarely mentioned in most operations research references, which is that when the difference between the number of unknowns and the number of constraints is equal to one, two, or three, we can also find the optimal solution graphically for some linear models. This is done by taking advantage of the conditions of non-negativity that linear models have, and we will explain this through an example in which the difference is equal to two. Also, through examples, we will explain the difference between using classical values and neutrosophic values and the extent of this’s impact on the optimal solution. (shrink)

In this article, the concept of system of symbolic 2-plithogenic linear equations and its solutions are introduced and studied. The Cramer's rule was applied to solve the system of symbolic 2-plithogenic linear equations. Also, provided enough examples for each case to enhance understanding.

Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in terms of (...) the first-order theory of the generating class C, and indicate the problems obstructing such general results for the other classes. These problems arise from the possible existence of nondefinable paths in trees, that need not satisfy the first-order theory of C, so we have started analysing first order definable and undefinable paths in trees. (shrink)

Well-being measurements are frequently used to support conclusions about a range of philosophically important issues. This is a problem, because we know too little about the intervals of the relevant scales. I argue that it is plausible that well-being measurements are non-linear, and that common beliefs that they are linear are not truth-tracking, so we are not justified in believing that well-being scales are linear. I then argue that this undermines common appeals to both hypothetical and actual well-being measurements; I (...) first focus on the philosophical literature on prioritarianism and then discuss Kahneman’s Peak-End Rule as a systematic bias. Finally, I discuss general implications for research on well-being, and suggest a better way of representing scales. (shrink)

The model of a closed linear measure space, which can be used to model Aristotle’s treatment of motion (kinesis), can be analogically extended to the qualitative ‘spaces’ implied by his theory of contraries in Physics I and in Metaphysics Iota, and to the dimensionless ‘space’ of the unity of matter and form discussed in book Eta of the Metaphysics. By examining Aristotle’s remarks on contraries, the subject of change, continuity, and the unity of matter and form, Aristotle’s thoughts on motion, (...) on contraries, and on the unity of substance can be brought together under a single interpretive framework, which can provide an approach to interpreting his ontology. (shrink)

The purpose of the article was to explain how the communicative specificity of the digital social media environment is changing the traditional Lasswell’s linear model. The changes that occur in the structural units of the model were explored. This complex was examined based on the material of 18 successful YouTube blogs dedicated to football. It was found that the modern ecosystem of sports journalism is undergoing significant transformations in terms of content and structure. And the fact that modern digital journalism (...) is already perceived by users as a part of everyday life changes the roles of content creators and those who consume this content. The element “With What Effect?” remains relevant and the closest to the classic one, which, due to interactivity and the ability to maximally objectify the effectiveness of content in social media, in modern sports journalism can become the main conceptual factor of digital narrative. (shrink)

Kruja is a middle-range city located in the center of Albania. The city of Kruja dates back to its existence from the V-VI century and extends to the city around the VI and IX centuries. It becomes the first capital of Albania in the XI-th century, specifically in 1190. This paper is going to deal with only two groups of buildings that are an integral part of the historical city of Kruja, the historical dwellings (XVIII century) and the socialist ones (...) (1960-1985). This paper aims to analyze through linear regressions the relation between two parameters: moisture content and temperature of the indoor walls and floors of the historic and socialist buildings in the city of Kruja. Three types of historic dwelling and three types of socialist apartments have been analyzed, relatively uniformly oriented. The measurements with specific instruments are done on the same day, for three hours. The degree of reactivity is different for both groups of buildings. The historical buildings are more sensitive to temperature rise. They respond invers to it (as the temperature rise, the level of the moisture content decreases), with a higher coefficient than socialist ones, and appear to be more efficient in reducing the level of the moisture, despite the average moisture content being higher. This paper takes into consideration also the analysis of the materials of the construction for both categories. If the level of moisture is reduced, the buildings will be improved and the quality of life indicators of the inhabitance will be improved too. (shrink)

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource models (...) extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatisation and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the l.. (shrink)

The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to more definite (...) states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

This paper philosophically explores the possible introduction of an alternative analytical approach to European integration. It is an invitation to reflect critically outside the mainstream paradigm. An extensive amount of scientific literature and research papers focuses on the EU, but it is quite easy to get lost amidst this stream of abundant writing. Meanwhile, the EU has been experiencing serious challenges since the previous enlargement, which has led to a broader definition of the “European project.” Numerous discussions have failed to (...) deliver the expected results. It is an interesting paradox that the EU has been proposed globally as a model of peacebuilding in the context of the Nobel Peace Prize 2012. However, since then, no clearly defined model of internal EU integration has been implemented apart from some basic premises. The Monnet method has become formalized within the official framework of the EU, thus justifying top-down institutional engineering, which is contrary to the concept proposed by Jean Monnet. The paper offers a metaphorical reasoning as an intellectual counterbalance to the unreflective application of integrational models, thus enriching analytical and critical discourse. (shrink)

We argue that the need for commentary in commonly used linear calculi of natural deduction is connected to the “deletion” of illocutionary expressions that express the role of propositions as reasons, assumptions, or inferred propositions. We first analyze the formalization of an informal proof in some common calculi which do not formalize natural language illocutionary expressions, and show that in these calculi the formalizations of the example proof rely on commentary devices that have no counterpart in the original proof. We (...) then present a linear natural deduction calculus that makes use of formal illocutionary expressions in such a way that unique readability for derivations is guaranteed – thus showing that formalizing illocutionary expressions can eliminate the need for commentary. (shrink)

This first piece of 2024 introduces some ideas concerning the role of non-linear thinking in today's fight against the climate crisis. More exactly, it is about the potential power of serendipity, artificial intelligence and the information deluge (that is causing headaches, too) when it comes to humankind's efforts to find solutions for the sake of surviving the paramount crisis.

The water scarcity crisis is becoming more severe across the globe and recycled water has been suggested as a feasible solution to the crisis. However, expanding the use of potable and recycled public water has been hindered by public acceptance. Previous studies suggest threat perception and trust of provided information have positive linear relationships with recycled water acceptance. However, given the complex filtering role of trust in the human mental process, we argue that the effects of threat perception and trust (...) may have non-linear relationships with acceptance of recycled water for drinking. To support and validate this argument, we employed Bayesian Mindsponge Framework analytics on 726 Spanish residents. We found that individuals more concerned about water shortage are less likely to accept using recycled water for drinking if their trust in the water quality and safety is low. Meanwhile, people more concerned about water shortage are more likely to accept using recycled water for drinking if they trust the water quality and safety. The findings suggest the non-linear relationships between threat perception, trust, and recycled water acceptance while validating mindsponge-based reasoning. Moreover, the results also highlight the importance of trust in influencing the mental process’s outcome: recycled water acceptance. (shrink)

Unless and until our society recognizes cyber bullying for what it is, the suffering of thousands of silent victims will continue.” ~ Anna Maria Chavez. There had been series of research on cyber bullying which are unable to provide reliable solution to cyber bullying. In this research work, we were able to provide a permanent solution to this by developing a model capable of detecting and intercepting bullying incoming and outgoing messages with 92% accuracy. We also developed a chatbot automation (...) messaging system to test our model leading to the development of Artificial Intelligence powered anti-cyber bullying system using machine learning algorithm of Multinomial Naïve Bayes (MNB) and optimized linear Support Vector Machine(SVM). Our model is able to detect and intercept bullying outgoing and incoming bullying messages and take immediate action. (shrink)

Science is the basis for managing the affairs of life and human activities, and living without knowledge is a form of wandering and a kind of loss. Using scientific methods helps us understand the foundations of choice, decision-making, and adopting the right solutions when solutions abound and options are numerous. Operational research is considered the best that scientific development has provided because its methods depend on the application of scientific methods in solving complex issues and the optimal use of available (...) resources in various fields, private and governmental work in peace and war, in politics and economics, in planning and implementation, and in various aspects of life. Its basic essence is to use the data provided for the issue under study to build a mathematical model that is the optimal solution. It is the basis on which decision makers rely in managing institutions and companies, and when operations research methods meet with the neutrosophic teacher, we get ideal solutions that take into account all the circumstances and fluctuations that may occur in the work environment over time. One of the most important operations research methods is the linear programming method. Which prompted us to reformulate the linear models, the graphical method, and the simplex method, which are used to obtain the optimal solution for linear models using the concepts of neutrosophic science. In this research, and as a continuation of what we presented previously, we will reformulate the modified simplex algorithm that was presented to address the difficulty that we were facing when applying the direct simplex algorithm. It is the large number of calculations required to be performed in each step of the solution, which requires a lot of time and effort. (shrink)

In the light of the results obtained during the last two decades in analysis of signals by time series, it has become evident that the tools of non linear dynamics have their elective role of application in biological, and, in particular, in neuro-physiological and psycho-physiological studies. The basic concept in non linear analysis of experimental time series is that one of recurrence whose conceptual counterpart is represented from variedness and variability that are the foundations of complexity in dynamic processes. Thus, (...) the recurrence plots and the Recurrence Quantification Analysis (RQA) are discussed. It is shown that RQA represents the most general and correct methodology in investigation of experimental time series. By it we arrive to inspect the inner structure of the time series connected to the signals under investigation. Linked to RQA we prospect also the method CZF, recently introduced by us. It is able to account for a true estimation of variability of signals in time as well as in frequency domain. And, consequently, it may be used in conjunction with classical Fourier analysis, accounting however that it is inappropriate in analysis of non linear and non stationary experimental time series. The use of CZF method in fractal analysis is also considered in addition to standard index as Hurst exponent. A large field of possible applications in neurological as well as in psycho-physiological studies is given. Also, there are given examples of other and (possibly linked) applications as example the analysis of beat-to-beat fluctuations of human heartbeat intervals that is sovereign in psycho-physiological studies. We give applications on some different planes to evidence the particular sensitivity of such methods. We reach the objective to show that the previously exposed methods are also able to predict in advance the advent of ventricular tachycardia and/or of ventricular fibrillation. The RQA analysis gives good results. The CZF method gives the most excellent results showing that it is able to give very significant indexes of prediction. We also apply such methods in investigation of state anxiety, and proposing in detail a quantum like model of such phenomenological status of the mind. (shrink)

This paper adopts two modeling tools, namely, multiple linear regression (MLR) and artificial neural networks (ANNs), to predict the concentrations of heavy metals (zinc, boron, and manganese) in surface waters of the Oued Inaouen watershed flowing towards Inaouen, using a set of physical-chemical parameters. XLStat was employed to perform multiple linear and nonlinear regressions, and Statista 10 was chosen to construct neural networks for modeling and prediction. The effectiveness of the ANN- and MLR-based stochastic models was assessed by the determination (...) coefficient (R²), the sum squared error (SSE) and a review of fit graphs. The results demonstrate the value of ANNs for prediction modeling. Drawing on supervised learning and back propagation, the ANN-based prediction models adopt an architecture of [18-15-1] for zinc, [18-11-1] for manganese, and [18-8-1] for boron, and perform effectively with a single cached layer. It was found that the MLR-based prediction models are substantially less accurate than those based on the ANNs. In addition, the physical-chemical parameters being investigated are nonlinearly correlated with the levels of heavy metals in the surface waters of the Oued Inaouen watershed flowing towards Inaouen. (shrink)

Sparsity, Structure, Scaling and Stability in Computational Linear Algebra. Tutorial book for the IX Brazilian Computer Science School, held at Recife, in 1994.

The AISDL team discloses the pre-peer-reviewed results of a research project exploring the non-linear effects of threat perception and trust on recycled water acceptance. The research project was contributed by six authors. The project’s outcome has been sent to the academic journal for peer review. -/- .

The AISDL team discloses the pre-peer-reviewed results of a research project exploring the non-linear effects of threat perception and trust on recycled water acceptance. The research project was contributed by six authors. The project’s outcome has been sent to the academic journal for peer review.

This study examined the degree to which students indulge in six prominent misconducts in Distance Education Institutions (DEIs). The study also quantified how class size, instructional delivery and institutional policies predict students’ indulgence in sharp practices using a general linear modelling approach. A sample of 871 participants was drawn from 1,742 final-year students across two DEIs in Nigeria. A structured questionnaire was used for data collection. The questionnaire had acceptable psychometric estimates of dimensionality, content and construct validity, as well as (...) reliability. Sharp practices such as cheating, plagiarism, falsification, impersonation, and arm-twisting were more prevalent in large classes, whereas only inducement was higher in small classes. Class size influenced students’ indulgence in sharp practices in DEIs. Instructional delivery and institutional policies negatively predicted students’ indulgence in the six sharp practices. Almost all the six sharp practices correlated positively and significantly, except for impersonation and inducement. Therefore, distance education students who cheat, plagiarize, arm-twist, falsify records, induce lecturers, and promote impersonation are more likely to indulge in other forms of sharp practices. It was concluded that large class sizes, poor instructional delivery, and poorly implemented institutional policies promote sharp practices among distance education students. Based on this conclusion, key policy and research implications are discussed. (shrink)

Purpose – The internet creates ample opportunities to start a mobile social commerce business. The literature confirms the issue of customer trust for social commerce businesses is a challenge that must be addressed. Hence, this study aims to examine the antecedents of trust in mobile social commerce by applying linear and non-linear relationships based on partial least squares structural equation modeling and an artificial neural network model. -/- Design/methodology/approach – This study applied a non-linear artificial neural network approach to provide (...) a further understanding of the determinants of trust in mobile social commerce based on a non-linear and non-compensatory model. Besides, a questionnaire was distributed to 340 social commerce customers in Malaysia. -/- Findings – The conceptual framework for investigating trust in mobile social commerce has various advantages and contributions to predicting consumer behaviour. The results of the study showed there is a positive and significant relationship between social support, presence and unified theory of acceptance and use of technology2 (UTAUT2). In addition, UTAUT2 has fully mediated the relationship between social support, presence and trust in social commerce. Finally, the results concluded the relationship between UTAUT2 and trust in social commerce would be stronger when the diffusion of innovation and innovation resistance is high and low, respectively. -/- Research limitations/implications – The current study provides a novel perspective on how customers can trust social m-commerce to provide real solutions to managers of encouraging e-marketing among consumers. -/- Practical implications – This paper shows how businesses can develop trust in social m-commerce in Malaysian markets. The findings of this study probably could be extended to other businesses in Asia or other countries. Because trust in social e-commerce has a dynamic role in consumer behaviour and intention to purchase. -/- Originality/value – This study provided a new perspective on mobile social commerce and paid more attention to an investigation of such emerging commerce. The originality of this study is embodied by investigating an integrated model that included different theories that presented new directions of trust in mobile social commerce through social and behavioural determinants. (shrink)

Abstract : The main goal in this work to find the general solution for some kind of linear second order homogenous differential equations with variable coefficients which have the general form , by using the substitution ,which transform form the above equation to Riccati equation .

Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between time and (...) knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (shrink)

We present a new approach to the invariant subspace problem for complex Hilbert spaces.This approach based on nonconservative Extension of the Model Theoretical NSA. Our main result will be that: if T is a bounded linear operator on an infinite-dimensional complex separable Hilbert space H,it follow that T has a non-trivial closed invariant subspace.

One may say without great exaggeration that Grassmann invented linear algebra and, with none at all, that he showed how properly to apply it in geometry.

The nature and topology of time remains an open question in philosophy, both tensed and tenseless concepts of time appear to have merit. A concept of time including both kinds of time evolution of physical systems in quantum mechanics subsumes the properties of both notions. The linear dynamics defines the universe probabilistically throughout space-time, and can be seen as the definition of a block universe. The collapse dynamics is the time evolution of the linear dynamics, and is thus of different (...) logical type to the linear dynamics. These two different kinds of time evolution are respectively tensed and tenseless. Ascribing tensed semantics to the collapse dynamics is problematic in the light of special relativity, but this difficulty does not apply to a relational quantum mechanics. In this context, while the linear dynamics is the time evolution of the universe objectively, the collapse dynamics is the time evolution of the universe subjectively, applying solely in the functional frame of reference of the observer. (shrink)

A major question in sensory science is how a sensation of magnitude F (such as loudness) depends upon a sensory stimulus of physical intensity I (such as a sound-pressure-wave of root-mean-square sound-pressure-level). An empirical just-noticeable sensation difference (∆F)_j at F_j specifies a just-noticeable intensity difference (∆I)_j at I_j. Classically, intensity differences accumulate from a stimulus-detection threshold I_th up to a desired intensity I. The corresponding sensation differences likewise accumulate up to F(I) from F(I_th ), the non-zero sensation (as suggested by (...) hearing studies) at I_th. Consequently, sensation growth F(I) can be obtained through classic Fechnerian integration, in which some empirically-based relation for the Weber Fraction, ∆I⁄I, is combined with either Fechner’s Law ∆F=B or Ekman’s Law (∆F⁄F)=g. The number of steps in I is equated to the number of steps in F; an infinite series ensues, whose higher-order terms are traditionally ignored (Fechnerian integration). But also, remarkably, so are the integration bounds I_th and F(I_th ). Here, we depart from orthodoxy by including those bounds. Bounded Fechnerian integration is first used to derive hypothetical sensation-growth equations for which the differential ∆F(I)=F(I+∆I)-F(I) does indeed return either Fechner’s Law or Ekman’s Law respectively. One relation emerges: linear growth of sensation F with intensity I. Subsequently, 24 sensation-growth equations F(I) that the author had derived using bounded Fechnerian integration (12 equations for the Weber Fraction (∆I⁄I), each combined with either Fechner’s Law or with Ekman’s Law) are scrutinized for whether their differentials F(I+∆I)-F(I) return the respective Fechner’s Law or Ekman’s Law, particularly in the previously-unexamined limits (∆I⁄I)≪1 and (∆I⁄I)→0. Classic claims made by Luce and Edwards (1958) are then examined, viz., that three popular forms of the Weber Fraction, when combined with Fechner’s Law, produce sensation-magnitude equations that subsequently return the selfsame Fechner’s Law. When sensation-growth equations are derived here using bounded Fechnerian integration, Luce and Edwards (1958) prove to be wrong. (shrink)

This paper offers a short survey of linear systems Proportional-Integral-Observer design. This observer has the capacity to estimate simultaneously the states and unknown inputs which include disturbances or model uncertainties appearing on the system. The design of state and output estimation using PO and state, output and disturbance estimation using PIO is done using Matlab/Simulink successfully. The simulation is done for estimating using PO and PIO and the results proved that estimates the state variables and output correctly when there is (...) no disturbance in the plant and there is a constant steady-state error in estimation after leading a constant disturbance into the plant for both state variables and plant output for the Proportional Observer and there is ability to estimate state variables, disturbance and system output correctly with or without the disturbance in plant for the Proportional Integral Observer. (shrink)

Unless and until our society recognizes cyber bullying for what it is, the suffering of thousands of silent victims will continue.” ~ Anna Maria Chavez. There had been series of research on cyber bullying which are unable to provide reliable solution to cyber bullying. In this research work, we were able to provide a permanent solution to this by developing a model capable of detecting and intercepting bullying incoming and outgoing messages with 92% accuracy. We also developed a chatbot automation (...) messaging system to test our model leading to the development of Artificial Intelligence powered anti-cyber bullying system using machine learning algorithm of Multinomial Naïve Bayes (MNB) and optimized linear Support Vector Machine(SVM). Our model is able to detect and intercept bullying outgoing and incoming bullying messages and take immediate action. (shrink)

In this paper, a solenoid based linearly movable armature system is designed using robust control theory in order to improve the performance of the system. Reference track method is the best performance analysis for position control systems. Among the robust controllers, H infinity mixedsensitivity and Mixed H 2 /H∞ with Regional Pole Placement Controllers are used to improve the performance of the system. Comparison of the proposed controllers for tracking a reference displacement signals (step and sine wave) and a promising (...) simulation result have been obtained. (shrink)