Functional analysis works with TVS (Topological Vector Spaces), classically over archimedean fields like
and .Canonical non-Archimedean functional analysis, where alternative but equally valid number systems such as p-adic numbers p etc. are fundamental, is a fast-growing discipline. This paper deals with TVS over non-classical non-Archimedean fields.

The famous advaitic expressions -/- Brahma sat jagat mithya jivo brahma eva na apraha and Asti bhaati priyam namam roopamcheti amsa panchakam AAdya trayam brahma roopam tato dwayam jagat roopam -/- will be analyzed through physics and electronics and interpreted. -/- Four phases of mind, four modes of language acquisition and communication and seven cognitive states of mind participating in human cognitive and language acquisition and communication processes will be identified and discussed. -/- Implications and application of such an (...) identification and analysis to the fields of cognitive sciences, mind-machine modeling, natural language comprehension field of artificial intelligence and physiological psychology will be hinted. A comprehensive modern scientific understanding of human consciousness, mind and mental functions will be presented. (shrink)

We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in applications to constraint satisfaction problems, clone theory and relational databases. The construction exploits functional completeness of 2-input functions in many-valued logic by interpreting relations as graphs of partially defined multivalued ‘functions’. The ‘functions’ are then composed from ordinary functions in the usual sense. The construction is computationally effective and relies on well-developed methods of (...) functional decomposition, but reduces relations only to ternary relations. An additional construction then decomposes ternary into binary relations, also effectively, by converting certain disjunctions into existential quantifications. The result gives a uniform proof of Peirce’s reduction thesis on finite domains, and shows that the graph of any Sheffer function composes all relations there. (shrink)

A central dispute in understanding Frege’s philosophy concerns how the sense of a complex expression relates to the senses of its component expressions. According to one reading, the sense of a complex expression is a whole built from the senses of the component expressions. On this interpretation, Frege is an early proponent of structured propositions. A rival reading says that senses compose by functional application: the sense of a complex expression is the value of the function denoted by (...) its functional component for the arguments denoted by its remaining components. I argue that two non-negotiable Fregean theses entail that senses compose by functional application. One thesis is that referents compose by functional application. The other thesis is that an expression in an indirect context refers to its customary sense. (shrink)

Voting Advice Applications (VAAs) are interactive online tools designed to assist voters by improving the basis on which they decide how to vote. In recent years, they have been widely adopted, but their design is the subject of ongoing and often heated criticism. Most of these debates focus on whether VAAs accurately measure the standpoints of political parties and the preferences of users and on whether they report valid results while avoiding political bias. It is generally assumed that if their (...) methodology is sound, then VAAs can be seen as strengthening the democratic process. But as we argue in this chapter, the setup of VAAs raises basic questions of normative democratic theory as well. Insofar as VAAs are supposed to improve the functioning of the democratic process, it must be clarified in what sense they aim to make a contribution, before it even makes sense to discuss their effectiveness at doing so. -/- VAAs are often intended to enhance the democratic process by one or all of the following: (I) informing voters about the policy standpoints of political parties (or individual candidates), (2) increasing voter turnout, and (3) ensuring that the composition of parliaments more accurately reflects the political attitudes of the electorate. In the next three sections, we discuss three central bones of contention in current democratic theory that are crucial to these ways in which VAAs typically take themselves to contribute to strengthening the democratic process: -/- 1. Questions about citizen competence: What forms of competence do citizens need to have, and to what extent, for a democracy to function properly? -/- 2. Questions about political participation: What forms and extent of participation are vital to democracy? -/- 3. Questions about democratic representation: How should the relation between the elected and the electorate be understood? -/- For each issue we aim to show, first, how the design and setup of mainstream VAAs are tacitly structured by a specific conception of the democratic aim at issue and, second, what some alternative positions on these questions are within contemporary political theory. In the final section, we will discuss some of the implications of this analysis for the responsibilities of VAA developers, and particularly for the procedural neutrality to which they are typically committed. Our conclusion will be that once these issues are identified, developers of VAAs should either argue in favour of their views on democratic competence, participation and representation, or they should rethink the design of VA As in ways that move beyond their current assumptions, or both. (shrink)

The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or medicine. The benefit of using top-level ontologies in applied ontology can only be realized when each of the categories (...) identified and defined by a top-level ontology is integrated with the others in a coherent fashion. Basic Formal Ontology (BFO) has from the beginning included function as one of its categories, exploiting a version of the etiological account of function that is framed at a level of generality sufficient to accommodate both biological and artifactual functions. This account has been subjected to a series of criticisms and refinements. We here articulate BFO’s account of function, provide some reasons for favoring it over competing views, and defend it against objections. (shrink)

The IndetermSoft Set is as an extension of the Soft Set, because the data, or the function, or the sets involved in the definition of the soft set have indeterminacy - as in our everyday life, and we still need to deal with such situations. And similarly, IndetermHyperSoft Set as extension of the HyperSoft Set, when there is indeterminate data, or indeterminate functions, or indeterminate sets. Herein, ‘Indeterm’ stands for ‘Indeterminate’ (uncertain, conflicting, incomplete, not unique outcome). We now introduce for (...) the first time the TreeSoft Set as extension of the MultiSoft Set. Several applications are presented for each type of soft set. (shrink)

There is an under-appreciated tradition of genealogical explanation that is centrally concerned with social functions. I shall refer to it as the tradition of pragmatic genealogy. It runs from David Hume (T, 3.2.2) and the early Friedrich Nietzsche (TL) through E. J. Craig (1990, 1993) to Bernard Williams (2002) and Miranda Fricker (2007). These pragmatic genealogists start out with a description of an avowedly fictional “state of nature” and end up ascribing social functions to particular building blocks of our practices (...) – such as the fact that we use a certain concept, or live by a certain virtue – which we did not necessarily expect to have such a function at all. That the seemingly archaic device of a fictional state-of-nature story should be a helpful way to get at the functions of our actual practices must seem a mystifying proposal, however; I shall therefore endeavor to demystify it in what follows. My aim in this chapter is twofold. First, by delineating the framework of pragmatic genealogy and contrasting it with superficially similar methods, I argue that pragmatic genealogies are best interpreted as dynamic models whose point is to reveal the function – and non-coincidentally often the social function – of certain practices. Second, by buttressing this framework with something it notably lacks, namely an account of the type of functionality it operates with, I argue that both the type of functional commitment and the depth of factual obligation incurred by a pragmatic genealogy depend on what we use the method for: the dynamic models of pragmatic genealogy can be used merely as heuristic devices helping us spot functional patterns, or more ambitiously as arguments grounding our ascriptions of functionality to actual practices, or even more ambitiously as bases for functional explanations of the resilience or the persistence of practices. By bringing these distinctions into view, we gain the ability to distinguish strengths and weaknesses of the method’s application from strengths and weaknesses of the method itself. (shrink)

Mental and behavioral disorders represent a significant portion of the public health burden in all countries. The human cost of these disorders is immense, yet treatment options for sufferers are currently limited, with many patients failing to respond sufficiently to available interventions and drugs. High quality ontologies facilitate data aggregation and comparison across different disciplines, and may therefore speed up the translation of primary research into novel therapeutics. Realism-based ontologies describe entities in reality and the relationships between them in such (...) a way that – once formulated in a suitable formal language – the ontologies can be used for sophisticated automated reasoning applications. Reference ontologies can be applied across different contexts in which different, and often mutually incompatible, domain-specific vocabularies have traditionally been used. In this contribution we describe the Mental Functioning Ontology (MF) and Mental Disease Ontology (MD), two realism-based ontologies currently under development for the description of humanmental functioning and disease. We describe the structure and upper levels of the ontologies and preliminary application scenarios, and identify some open questions. (shrink)

Functionally graded materials (FGMs) have been used in many different kinds of applications in recent years and have attracted significant research attention. However, we do not yet have a commonly accepted way of representing the various aspects of FGMs. Lack of standardised vocabulary creates obstacles to the extraction of useful information relating to pertinent aspects of different applications. A standard resource is needed for describing various elements of FGMs, including existing applications, manufacturing techniques, and material characteristics. This motivated the creation (...) of the FGM Ontology (FGMO) in 2016. Here, we present a revised and expanded version of the FGM Ontology, which includes enrichments along four dimensions: (1) documenting recent FGMs applications; (2) reorganising the framework to incorporate an updated representation of types of manufacturing processes; (3) enriching the axioms of the ontology; and (4) importing mid-level ontologies from the Common Core Ontologies (CCO) and Product Life Cycle (PLC) Ontologies. The work is being carried out within the framework of the Industry Ontology Foundry (IOF), and the ontology is conformant to Basic Formal Ontology (BFO). (shrink)

Enterprise resource planning (ERP) has a significant impact on modern businesses by enhancing productivity, automation, and streamlining of business processes, even accounting. Manufacturers can assure proper functioning and timely client demand using ERP software. Coordination, procurement control, inventory control, and dispatch of commodities are all features of supply chain management.

Introduction. The medical sphere is constantly evolving, requiring improved approaches to its organisation and functioning. Advances in medical technology, observable changes in patient needs and growing competition challenge medical institutions to improve their strategies and approaches. Marketing technologies are becoming one of the key tools for achieving strategic goals. Purpose. This article is aimed at studying the peculiarities of the use of marketing technologies in the medical field. The main purpose of the study is to analyse the impact of marketing (...) tools on the development and success of medical institutions. Method (methodology). The methodological approach involves the use of an analytical approach to studying current trends in marketing and their impact on the healthcare sector. The study uses methods of data analysis and comparative analysis of marketing practices in medical institutions. Results. The study found that the use of targeted marketing strategies allows healthcare facilities to attract more patients, increase customer satisfaction and ensure an excellent reputation. The results of the study show a positive impact of the use of marketing tools on changing the perception of medical services by patients. Conclusions. The scope of application of the results is the practical activities of medical institutions seeking to improve their strategy of promotion and interaction with customers. The findings of the study can be used by marketers and managers of healthcare organisations to develop and implement effective marketing strategies. In summary, this article reveals the importance of using marketing technologies in the healthcare sector and provides practical recommendations for their successful implementation. The study emphasises that marketing in the healthcare industry is necessary to increase competitiveness and ensure quality medical care. (shrink)

I will present two different applications - Dual PECCS and the TCL reasoning framework - addressing some crucial aspects of commonsense reasoning (namely: dealing with typicality effects and with the problem of commonsense compositionality) in a way that is integrated or compliant with different cognitive architectures. In doing so I will show how such aspects are better dealt with at different levels of representation and will discuss the adopted solution to integrate such representational layers.

Appropriate measurement scales are fundamental in data analysis, allowing researchers to categorise, select appropriate statistical methods, and analyse and interpret their data accurately. The nominal scale is one such measurement scale in behavioural sciences, which is crucial in organising data into distinct categories. This paper provides an overview of the nominal measurement scale in research data analysis. It explains the characteristics and role of the nominal scale in organising data into distinct categories. The paper discusses methods of collecting nominal scale (...) data, including surveys and observations. It explores the use of the nominal scale in descriptive (such as frequency counts, measures of dispersion and central tendencies), and inferential statistics (such as point biserial correlation, independent t-test, analysis of variance, logistic regression, discriminant analysis, differential item functioning, chi-square test of independence, Kruskal-Walli’s test, and Mann-Whitney U Test). Each technique is explained with assumptions and application areas. In conclusion, the paper emphasises the significance of the nominal scale in data analysis and its contribution to various statistical techniques. It serves as a comprehensive guide for researchers and practitioners looking to understand and utilise the nominal measurement scale in their data analysis. (shrink)

This special issue of Applied Ontology is devoted to the foundation, the comparison and the application of functional theories in all areas, with particular attention to the biological and engineering domains. It includes theoretical and technical contributions related to the description, characterization, and application of functions.

This paper applies the theory of teleosemantics to the issue of moral content. Two versions of teleosemantics are distinguished: input-based and output-based. It is argued that applying either to the case of moral judgements generates the conclusion that such judgements have both descriptive (belief-like) and directive (desire-like) content, intimately entwined. This conclusion directly validates neither descriptivism nor expressivism, but the application of teleosemantics to moral content does leave the descriptivist with explanatory challenges which the expressivist does not face. Since (...) teleosemantics ties content to function, the paper also offers an account of the evolutionary function of moral judgements. (shrink)

The survival enhancing propensity (SEP) account has a crucial role to play in the analysis of proper function. However, a central feature of the account, its specification of the proper environment to which functions are relativized, is seriously underdeveloped. In this paper, I argue that existent accounts of proper environment fail because they either allow too many or too few characters to count as proper functions. While SEP accounts retain their promise, they are unworkable because of their inability to specify (...) this important feature. However, I suggest that this problem can be overcome by the application of a new strategy for specifying proper environment that is grounded in the operation of natural selection and I conclude by offering a first approximation of such an account. (shrink)

Risk assessment is one of the prerequisites for understanding its causes and possible consequences. We base our risk assessment on the principles described in the European standard EN 31000 - Risk Management Process. This standard comprehensively describes the continuous activities that are necessary in managing risks and minimizing their possible adverse effects on the operation of the system under investigation. In this activity, it is necessary to first identify the existing risks, then analyze and evaluate the identified risks. In the (...) analysis of existing risks, it is possible to use both qualitative and quantitative analytical methods, or combine them. We use qualitative methods in cases where we do not have a sufficient amount of input information, these are more subjective. Quantitative methods are more accurate, but also more demanding on input information and time. The choice of a suitable analytical method is a basic prerequisite for knowledge of risks and their evaluation. The values of individual risks obtained in this way are the basis for determining the measures that are ecessary to minimize them, i.e., to adjust them to an acceptable level. The draft measures are always based on the value of the individual components used to calculate the risk number, as well as on the value of the asset , which needs to be protected. Appropriately chosen analytical methods are one of the basic prerequisites for the consistent application of the principles of risk management, as a continuous process aimed at increasing the overall security of the system under study. In the article, the author describes the procedures used in risk assessment, as well as specific analytical methods that can be used in working with risks. The aim of identifying risk factors is to create a list of events that could cause undesirable disruption to ongoing processes. At this stage, we define all the risks that will be subsequently analyzed and evaluated. When identifying, we can use methods such as, e.g. SWOT, PHA (Preliminary Hazard Analysis) or CA (Checklist Analysis). Methods suitable for determining the causes and creating scenarios for the course of a risk event are ETA (Event Tree Analysis) or FTA (Fault Tree Analysis). The basic analysis of the system can be performed using the FMEA method (Failure Mode and Effect Analysis), which provides a numerical risk assessment. By comparison with the numerical value of the risk that we are willing to accept, we obtain 2 groups of risks. Acceptable, which will be given regular attention and unacceptable, which we will focus on in risk management and we will try to minimize its negative affect on the functioning of the system under study. (shrink)

This fifth volume on Advances and Applications of DSmT for Information Fusion collects theoretical and applied contributions of researchers working in different fields of applications and in mathematics, and is available in open-access. The collected contributions of this volume have either been published or presented after disseminating the fourth volume in 2015 in international conferences, seminars, workshops and journals, or they are new. The contributions of each part of this volume are chronologically ordered. First Part of this book presents some (...) theoretical advances on DSmT, dealing mainly with modified Proportional Conflict Redistribution Rules (PCR) of combination with degree of intersection, coarsening techniques, interval calculus for PCR thanks to set inversion via interval analysis (SIVIA), rough set classifiers, canonical decomposition of dichotomous belief functions, fast PCR fusion, fast inter-criteria analysis with PCR, and improved PCR5 and PCR6 rules preserving the (quasi-)neutrality of (quasi-)vacuous belief assignment in the fusion of sources of evidence with their Matlab codes. Because more applications of DSmT have emerged in the past years since the apparition of the fourth book of DSmT in 2015, the second part of this volume is about selected applications of DSmT mainly in building change detection, object recognition, quality of data association in tracking, perception in robotics, risk assessment for torrent protection and multi-criteria decision-making, multi-modal image fusion, coarsening techniques, recommender system, levee characterization and assessment, human heading perception, trust assessment, robotics, biometrics, failure detection, GPS systems, inter-criteria analysis, group decision, human activity recognition, storm prediction, data association for autonomous vehicles, identification of maritime vessels, fusion of support vector machines (SVM), Silx-Furtif RUST code library for information fusion including PCR rules, and network for ship classification. Finally, the third part presents interesting contributions related to belief functions in general published or presented along the years since 2015. These contributions are related with decision-making under uncertainty, belief approximations, probability transformations, new distances between belief functions, non-classical multi-criteria decision-making problems with belief functions, generalization of Bayes theorem, image processing, data association, entropy and cross-entropy measures, fuzzy evidence numbers, negator of belief mass, human activity recognition, information fusion for breast cancer therapy, imbalanced data classification, and hybrid techniques mixing deep learning with belief functions as well. (shrink)

The aim of the paper is to improve availability classifications of components for application in construction systems. Construction production systems belong to project-based systems with serial-parallel structures with or without redundant components, and the availability function has a significant impact on the performance indicators of components and systems. The main indicators of function of the components are the availability, capacity, costs, and project time. A new approach to classification makes it possible to choose the most appropriate methodology for assessing (...) component availability in the bidding phase, and managing company’s machine park. The new classification approach was tested on a practical example. The results obtained confirmed the justification for extending the classical approach to the classification of the availability of components. (shrink)

Synthetic biology (SynBio) covers two main areas: application engineering, exemplified by metabolic engi- neering, and the design of life from artificial building blocks. As the general public is often reluctant to embrace synthetic approaches, preferring nature to artifice, its immediate future will depend very much on the public’s reaction to the unmet needs created by the pervasive demands of sustainability. On the other hand, this reluctance should not have a negative impact on research that will now take into account (...) the existence of the multiple transitions that cells face over time. The ages of life—birth, development, maturation, senescence and death—reflect specific key transitions and have, until now, rarely been taken into account in SynBio designs. This results in a mismatch between novelty and the very long evolutionary time that led to the existing chassis [remember that this is the common term used to describe the cellular framework as seen by synthetic biologists (de Lorenzo & Danchin, 2008)]. It also implies that, in general, transitions between growth stages will be taken into account with the appro- priate embodiment of highly specific processes. This is particularly important when adapting new models to their host, whether natural or artificial. Adaptation fol- lows two stages, short-term accommodation of new entities and long-term assimilation into the cell as a whole. This requires discrimination between classes of entities. We suggest that proteins playing the essential role of Maxwell’ demons, here named Maxwell’s dis- criminators (MxDs) to refer to their original function, will permit the assimilation and accommodation of artificial constructs. As a consequence, we can foresee that class discrimination, beyond mere recognition, will be implemented in SynBio 2.0, leading to an authentic par- adigm shift (Kuhn, 1996), based on conceptions that embody information as a genuine currency of reality. (shrink)

A new trend in deep learning, represented by Mutual Information Neural Estimation (MINE) and Information Noise Contrast Estimation (InfoNCE), is emerging. In this trend, similarity functions and Estimated Mutual Information (EMI) are used as learning and objective functions. Coincidentally, EMI is essentially the same as Semantic Mutual Information (SeMI) proposed by the author 30 years ago. This paper first reviews the evolutionary histories of semantic information measures and learning functions. Then, it briefly introduces the author’s semantic information G theory with (...) the rate-fidelity function R(G) (G denotes SeMI, and R(G) extends R(D)) and its applications to multi-label learning, the maximum Mutual Information (MI) classification, and mixture models. Then it discusses how we should understand the relationship between SeMI and Shannon’s MI, two generalized entropies (fuzzy entropy and coverage entropy), Autoencoders, Gibbs distributions, and partition functions from the perspective of the R(G) function or the G theory. An important conclusion is that mixture models and Restricted Boltzmann Machines converge because SeMI is maximized, and Shannon’s MI is minimized, making information efficiency G/R close to 1. A potential opportunity is to simplify deep learning by using Gaussian channel mixture models for pre-training deep neural networks’ latent layers without considering gradients. It also discusses how the SeMI measure is used as the reward function (reflecting purposiveness) for reinforcement learning. The G theory helps interpret deep learning but is far from enough. Combining semantic information theory and deep learning will accelerate their development. (shrink)

Note: Many types of nanosensors are designed using CP nanomaterials for nanobiological applications. (Conductive surface) The oxidation of conductive polymeric materials is easily altered by redox mechanisms, and the charge transfer properties of these materials are affected by structural parameters, such as diameter and dimensions. CP materials are able to provide sensitive and rapid responses to specific biological and chemical species. Techniques such as chemical polymerization are often used to make CP nanomaterials. Manufacturing strategies can be divided into three categories: (...) hard mold synthesis, soft mold synthesis, and mold-free synthesis. The most widely used conductive polymers in nanosensors are nanomaterials made from CP due to their unique chemical and electrical properties resulting from the properties of their pie-electron nanosystem. Many modeling and functionalization technologies are being developed to control the location, distribution, amount, or structure and orientation of biological nanomolecules at the nanomaterial level. Therefore, our level of contact between biological nanomolecules and nanomaterials is of particular importance in countless applications. Covalent and non-covalent modifications are two general methods for coupling biological molecules and CP nanomaterials. Covalent functionalization is a chemical process in which a strong bond or relationship between nanomaterials and biological molecules is formed. In many cases, surface chemical modifications are required to create active groups that can bind to biomolecules. Unlike covalent functionalization, in the non-covalent method, nanomolecules can be removed without destroying the geometric and electronic structure on the surface. Nanomaterials are formed. Conclusion : The large surface-to-volume ratio in nanostructures and the high potential for signal amplification provide ideal conditions for marking and detecting biological elements in the structure of nanosensors. (shrink)

Avicenna, beside his theoretical discussions about experimentation, practically applied his experimental method to natural sciences studies such as medicine, biology, and meteorology. His theoretical discussions subsume propositions concerning the conditions under which experimental knowledge is attained, the components of this knowledge and its functions. Some of these propositions are as follows: necessity of recurrent observations for acquiring experimental knowledge, certainty plus conditional universality of such knowledge, and its role as demonstrative premises. Investigating the application of his theory in natural (...) sciences propound two new features which were not elaborated in the theoretical discussions: fallibility of experimental knowledge and necessity of systematic observation. This research, using the analytic method and referring to both philosophical and scientific works of Avicenna, clarifies that a comprehensive definition of experimentation is dependent on considering extracted points from practical application of experimental knowledge, beside its theoretical components. (shrink)

The World Health Organization has declared the outbreak of the novel coronavirus, Covid-19 as pandemic across the world. With its alarming surge of affected cases throughout the world, lockdown, and awareness (social distancing, use of masks etc.) among people are found to be the only means for restricting the community transmission. In a densely populated country like India, it is very difficult to prevent the community transmission even during lockdown without social awareness and precautionary measures taken by the people. Recently, (...) several containment zones had been identified throughout the country and divided into red, orange and green zones, respectively. The red zones indicate the infection hotspots, orange zones denote some infection and green zones indicate an area with no infection. Contact tracing is known to be an effective technique for detecting and monitoring persons who may have been exposed to individuals infected with any communicable disease. While a good number of contact tracing schemas are existent today (eg., in-person and phone interviews, paper forms, email and web based questionnaires and smartphone apps), they often require active user participation and might miss certain COVID-19 transmission. The Android application updates the locations of the areas in a Google map which are identified to be the containment zones. The application also notifies the users if they have entered a containment zone and to achieve all these functionalities, many tools, and APIs from Google like Firebase and Geofencing API are used in this application. Therefore, this application can be used as a tool for creating further social awareness about the arising need of precautionary measures to be taken by the people of India. (shrink)

It is often argued that the indispensability of continuum models comes from their empirical adequacy despite their decoupling from the microscopic details of the modelled physical system. There is thus a commonly held misconception that temperature varying across a region of space or time can always be accurately represented as a continuous function. We discuss three inter-related cases of temperature modelling — in phase transitions, thermal boundary resistance and slip flows — and show that the continuum view is fallacious on (...) the ground that the microscopic details of a physical system are not necessarily decoupled from continuum models. We show how temperature discontinuities are present in both data (experiments and simulations) and phenomena (theory and models) and how discontinuum models of temperature variation may have greater empirical adequacy and explanatory power. The conclusions of our paper are: a) continuum idealisations are not indispensable to modelling physical phenomena and both continuous and discontinuous representations of phenomena work depending on the context; b) temperature is not necessarily a continuously defined function in our best scientific representations of the world; and c) that its continuity, where applicable, is a contingent matter. We also raise a question as to whether discontinuous representations should be considered truly de-idealised descriptions of physical phenomena. (shrink)

The article contains a critical analysis of the skeptical solution to the rule- following problem. The skeptical solution denies the existence of “superlative” R-facts that would make statements of the form “P means R by ‘+’ ” true. The role of the sources for the meaning of ‘+’ here is played by the patterns of solidarity behavior of members of some community to which P belongs. The correct use of ‘+’ would be one that is approved by the competent majority (...) of this community, and there can be no other sense in which it would be correct or wrong. Boyd’s hypothesis denies the communal character of the ‘+’ meaning. While there are no “superlative” R-facts, there should be C-facts not about the R as the standard that P or its community follows in their practice of using ‘+’, but about whether they do it correctly. The proof of the Boyd hypothesis is based on the example of an imaginary Ω-community, whose agents use a finite set of simple symbols for the needs of their arithmetic: ‘A’, ‘B’, ‘C’, ‘D’, ‘E’, ‘F’, ‘G’, ‘H’, ‘J’. Each symbol denotes a subset of identical, from the Ω-community point of view, numerical values. The symbol ‘A’ is used, for ex- ample, for a subset of the natural numbers 1, 10, 19, 28, 37, 46, etc.; ‘B’ for 2, 11, 20, 29, 38, 47, etc.; ‘C’ for 3, 12, 21, 30, 39, 48, etc. The Ω-community’s arithmetic uses the only local function ⊕ whose range of values forms a finite set of mathematical propositions {α} that are true. The Ω-community’s arithmetic, like our own, is open to many skeptical challenges. Is there a fact that determines the meaning of ‘⊕’? What do agents do when they calculate with ‘⊕’ (say, solve examples ‘A⊕B = ?’, ‘C⊕E=?’, etc.)? Do they Add, Badd or Dadd? To answer them would require a “superlative” R-fact. For the calculation practice with ‘⊕’, it could be a certain R-fact that determines the only possible order for the sequence of numerals ‘A’, ‘B’, ‘C’, ‘D’, ‘E’, ‘F’, ‘G’, ‘H’, ‘J’ such that {α} is true. An analysis of the calculation practice using the local arithmetic function ⊕ shows that for it there are no such R-facts that would determine the only correct standard R – even if the agents in the Ω-community were trained in such calculations on a full set of cases for the application of that function. However, for such practice there are C-facts (independent in their existence from R-facts) that make it possible to distinguish between what seems to be right and what is right. The solitary agent P and the Ω-community are in the same position regarding the knowledge of C-facts. The Ω-community’s point of view has no advantage in matters of C-facts knowledge over the solitary agent P’s point of view. The Ω-community arithmetic shows that if a solitary agent P had the suitable knowledge of C-facts about the practice of calculations with ‘⊕’, it would allow him/her to disagree with the not correct answers of other members of the community even when they would constitute an absolute majority. (shrink)

In this paper, we introduce and study the concept of" neutrosophic closed set" and" neutrosophic continuous function". Possible application to GIS topology rules are touched upon.

The development of manufacturing technologies for new materials involves the generation of a large and continually evolving volume of information. The analysis, integration and management of such large volumes of data, typically stored in multiple independently developed databases, creates significant challenges for practitioners. There is a critical need especially for open-sharing of data pertaining to engineering design which together with effective decision support tools can enable innovation. We believe that ontology applied to engineering (OE) represents a viable strategy for the (...) alignment, reconciliation and integration of diverse and disparate data. The scope of OE includes: consistent capture of knowledge pertaining to the types of entities involved; facilitation of cooperation among diverse group of experts; more effective ongoing curation, and update of manufacturing data; collaborative design and knowledge reuse. As an illustrative case study we propose an ontology focused on the representation of composite materials focusing in particular on the class of Functionally Graded Materials (FGM) in particular. The scope of the ontology is to provide information about the components of such materials, the manufacturing processes involved in creation, and diversity of application ranging from additive manufacturing to restorative dentistry. The ontology is developed using Basic Formal Ontology (BFO) and the Ontology for Biomedical Investigations (OBI). (shrink)

There have long been calls from industry for guidance in implementing strategies for sustainable development. The Circular Economy represents the most recent attempt to conceptualize the integration of economic activity and environmental wellbeing in a sustainable way. This set of ideas has been adopted by China as the basis of their economic development, escalating the concept in minds of western policymakers and NGOs. This paper traces the conceptualisations and origins of the Circular Economy, tracing its meanings, and exploring its antecedents (...) in economics and ecology, and discusses how the Circular Economy has been operationalized in business and policy. The paper finds that while the Circular Economy places emphasis on the redesign of processes and cycling of materials, which may contribute to more sustainable business models, it also encapsulates tensions and limitations. These include an absence of the social dimension inherent in sustainable development that limits its ethical dimensions, and some unintended consequences. This leads us to propose a revised definition of the Circular Economy as “an economic model wherein planning, resourcing, procurement, production and reprocessing are designed and managed, as both process and output, to maximize ecosystem functioning and human well-being”. (shrink)

We present a theory of cooperative-competitive intelligence (CCI), its measures, research program, and applications that stem from it. Within the framework of this theory, satisficing sub-optimal behavior is any behavior that does not promote a decrease in the prospective control of the functional action diversity/unpredictability (D/U) potential of the agent or team. This potential is defined as the entropy measure in multiple, context-dependent dimensions. We define the satisficing interval of behaviors as CCI. In order to manifest itself at individual (...) or team level, this capacity harnesses properties such as degeneracy, pleiotropy (pluri-potentiality), synergies, and metastability. Intelligence is embodied because intelligent behavior is deeply dependent on body functionalities, defined as entropy measures. We base our theory on three principles: (a) relativity of functional entropy/ information in agent (team)-environment systems, (b) tendency toward the satisficing level of D/U potential, and (c) tendency toward the non-decreasing D/U potential. The conjunction of these three principles provides existence of sub-optimal behaviors associated with CCI. First, we deal with the problem of how to reduce multidimensional behavior to a concept that accounts for the vast set of scenarios in which CCI is manifested. Secondly, we define and discuss the three interacting principles that underpin CCI behavior as well as providing an outline for a future CCI research program supported by agent￾based modeling and empirical research. Finally, we provide some preliminary practical issues that stem from the theory. (shrink)

This Master’s thesis explores the relationship between Brain-Computer Interfaces (BCIs) and their human users from a functional, epistemological and phenomenological perspective. The analysis has four steps. I start out with a technical description of BCI systems in which I conceptually analyze different types of BCI applications. This results in the development of a taxonomy of applications which is the point of departure for further philosophical analysis. Thereafter, I explore the functional relationship between BCI applications and their users. That (...) is to say, I analyze functions of BCI applications, relate them to abilities of their users and explore how they extend these abilities. After that, the epistemological relation between BCI systems and their users is conceptualized by analyzing how they contribute to cognitive processes of their users, which is done by using the distributed cognition framework. And lastly, a postphenomenological framework is adapted to investigate how BCIs mediate the experiences of their users. This thesis ends with a reflection in which (1) possible developments in BCI research are placed in a broader historical-anthropological perspective, and (2) a moral consideration is given on the desirability of BCIs. (shrink)

A compact microcontroller based photoacoustic spectrometer (PAS) has been designed and fabricated. The photoacoustic (PA) cell designed for the present study is of Helmholtz resonator type with a provision to measure the sample behavior as a function of temperature. In this system, an electret microphone is employed to achieve high signal to noise ratio. The microphone compartment is isolated from the sample compartment to avoid the heating effect to the electric microphone which detects the photoacoustic signal. A high-gain low-noise two (...) stage preamplifier, second order bandpass and tunable narrow band-pass filters have been designed with a low noise op-amp LM308 to improve signal quality. C8051F060 microcontroller-based phase sensitive detector has been implemented to measure the amplitude and phase of the signal from the photoacoustic cell. The applications of PAS for phase transition studies on some samples are presented. The designed system is low-cost, very compact and easy to carry the experiments for studying the thermal properties of samples. (shrink)

This is a Turing Machine which computes the exponential function f(x,y) = xˆy. Instructions format and operation of this machine are intended to best reflect the basic conditions outlined by Alan Turing in his On Computable Numbers, with an Application to the Entscheidungsproblem (1936), using the simplest single-tape and single-symbol version, in essence due to Kleene (1952) and Carnielli & Epstein (2008). This machine is composed by four basic task machines: one which checks if exponent y is zero, a (...) second which checks if base x is zero, a third that is able to copy the base, and a fourth able to multiply multiple factors (in this case, factors will be all equal). They were conveniently separated in order to ease the reader's task to understand each step of its operation. We adopt the convention that a number n is represented by a string of n+1 symbols "1". Thus, an entry (x, y) will be represented by two respective strings of x+1 and y+1 symbols "1", separated by a single "0" (or a blank), and as an output, this machine will generate a string of (xˆy)+1 symbols "1". Some of the instructions are followed by a brief description of what's going on. (shrink)

Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using a three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional logics. However, strong Kleene logic, where quantification is restricted and therefore not truthfunctional, does not fit the framework directly. We solve (...) this problem by applying recent methods from sorted logics. This paper presents a tableau calculus that combines the proper treatment of partial functions with the efficiency of sorted calculi. (shrink)

Boghossian’s (2003) proposal to conditionalize concepts as a way to secure their legitimacy in disputable cases applies well, not just to pejoratives – on whose account Boghossian first proposed it – but also to thick ethical concepts. It actually has important advantages when dealing with some worries raised by the application of thick ethical terms, and the truth and facticity of corresponding statements. In this paper, I will try to show, however, that thick ethical concepts present a specific case, (...) whose analysis requires a somewhat different reconstruction from that which Boghossian offers. A proper account of thick ethical concepts should be able to explain how ‘evaluated’ and ‘evaluation’ are connected. (shrink)

A biophysical and biochemical perspective of Brahmajnaana will be advanced by viewing Upanishads and related books as “Texts of Science on human mind”. A biological and cognitive science insight of Atman and Maya, the results of breathing process; constituting and responsible for human consciousness and mental functions will be developed. The Advaita and Dvaita phases of human mind, its cognitive and functional states will be discussed. These mental activities will be modeled as brain-wave modulation and demodulation processes. The energy-forms (...) and their transformations as ideas/moods/experiences/thoughts/feelings/utterances/knowing/perception/experience/mood; and a theory of human cognition and communication will be advanced. The sameness of these and processes taking place and steps involved in human language acquisition and communication processes will be highlighted taking ideas from Sabdabrahma Siddhanta and Sphota Vaada, for which the basis is Brahmajnaana only. In fine, a physiological psychological and neurological model of human consciousness and function of mind based on Indian spiritual thought will be derived and discussed using concepts from modern science and technology. The application of these derivations in the fields of physiological psychology, mind-machine modeling, natural language comprehension branch of artificial intelligence and neurology to model and imitate human mental functions will be hinted. -/- . (shrink)

With the aim of teaching and practicing art for the good or moreover the better, Josef Albers proves to be an idealist. At the same time, he confirms with this conviction that art can also arouse the opposite. This conviction is already evident in the grammatical form of the term, which proves that art is functional or a technique for socio-cultural applications, whether good or bad. In the presentation of the political and philosophical background of this idea as well (...) as in the analysis of Josef Albers´s ´artistic research´ on the artistic means as cultural techniques, this assumption is to be proved by the essay. (shrink)

Abstract: Public procurement is the acquisition of right goods, works and services required to satisfy certain needs at the right time, from the right supplier, in the right quantities, in the right quality, and at the right price. Worldwide it accounts 10% – 30 % of GNP while in Tanzania it accounts for about more 45% of the total budget. Appropriate procurement system in the public sector is a tool for achieving political, economic and social goals. The research examined the (...) impact of the capacity building on the performance of LGAs procurement function, was conducted in Tanzania to the four regions in 2018, comprised a sample size of 224 respondents from eight Local Government Authorities (LGAs). Qualitative and quantitative data were collected, employed the case study method intended to the Evaluate Assessment of Capacity Building Programme on the Performance of LGAs procurement functions. The study revealed that procurement functions have improved because of the intervention of capacity building such as the improvement of the; Use and application of PPA and PPR, use and application of Procurement Planning, use and application of Contract Management and Administration, use procurement record keeping and reporting, use and application of PMIS & Other Procurement Systems, appropriate Tendering Process. Also, the researchers have revealed challenges hindering LGAs procurement system such as; lack training, unpredictable funds flow and political interference. Moreover, based on the contributions attributed by the capacity building further research can be undertaking to measure the impact of capacity building in the other areas apart from procurement field such as; health, agriculture, good governance and so on. In addition to that, another research can be undertaken to assess the factors hindering the performance of LGAs procurement system. (shrink)

Without doubt, there is a great diversity of scientific images both with regard to their appearances and their functions. Diagrams, photographs, drawings, etc. serve as evidence in publications, as eye-catchers in presentations, as surrogates for the research object in scientific reasoning. This fact has been highlighted by Stephen M. Downes who takes this diversity as a reason to argue against a unifying representation-based account of how visualisations play their epistemic role in science. In the following paper, I will suggest an (...) alternative explanation of the diversity of scientific images. This account refers to processes which are caused by the social setting of science. What exactly is meant by this, I will spell out with the aid of Ludwik Fleck’s theory of the social mechanisms of scientific communication. (shrink)

If the total state of the universe is encodable by a real number, Hardin and Taylor have proved that there is a solution to one version of the problem of induction, or at least a solution to a closely related epistemological problem. Is this philosophical application of the Hardin-Taylor result modest enough? The paper advances grounds for doubt. [A longer and more detailed sequel to this paper, 'Proving Induction', was published in the Australasian Journal of Logic in 2011.].

Aspect-Oriented Software Development (AOSD) is a paradigm aiming to solve problems of object-oriented programming (OOP). With normal OOP it’s often unlikely to accomplish fine system modularity due to crosscutting concerns being scattered and tangled throughout the system. AOSD resolves this problem by its capability to crosscut the regular code and as a consequence transfer the crosscutting concerns to a single model called aspect. This thesis describes an experiment on industrial application wherein the effectiveness of aspect-oriented techniques is explained in (...) migration the OOP application into aspects. The experiment goals at first to identify the crosscutting concerns in source code of the industrial application and transform these concerns to a functionally equivalent aspect-oriented version. In addition to presenting experiences gained through the experiment, the thesis aims to provide practical guidance of aspect solutions in a real application. (shrink)

In this perspective paper, I tried to explain that what will be the possible prospect of multiple functions in one and another through the chain rule of differentiation? The chain rule is a formula to compute the derivative of the functional composition of two or more functions. The chain rule provides us a technique for finding the derivative of composite functions, with the number of functions that make up the composition determining how many differentiation steps are necessary. The chain (...) rule in that what changes I noted, how it can be modified to reduce the differentiation process of multiple functions in one and another and implementing that process in the inverse of multiple functions in one and another, further proceedings them through the chain rule of differentiation with all prospects. Here I claim that the differentiation’s chain rule is not changed but the sequences of finding the derivative of multiple functions are changed. (shrink)

In this paper, the cosine similarity measure of neutrosophic refined (multi-) sets is proposed and its properties are studied. The concept of this cosine similarity measure of neutrosophic refined sets is the extension of improved cosine similarity measure of single valued neutrosophic. Finally, using this cosine similarity measure of neutrosophic refined set, the application of medical diagnosis is presented.

Aims: The Research Diagnostic Criteria for Temporomandi¬bular Disorders (RDC/TMD) Axis I diagnostic algorithms were demonstrated to be reliable but below target sensitivity and specificity. Empirical data supported Axis I algorithm revisions that were valid. Axis II instruments were shown to be both reliable and valid. An international consensus workshop was convened to obtain recommendations and finalization of new Axis I diagnostic algorithms and new Axis II instruments. Methods: A comprehensive search of published TMD diagnostic literature was followed by review and (...) consensus via a formal structured process by a panel of experts for revision of the RDC/TMD. Results: The recommended Diagnostic Criteria for TMD (DC/TMD) Axis I protocol includes both a valid screener for pain diagnoses and valid criteria for the most common pain-related TMDs and for one intra-articular disorder. The Axis II protocol retains selected RDC/TMD screening instruments augmented with new instruments to better assess the interactions between pain and psychosocial functioning. A comprehensive classification system is also presented. Conclusion: The recommended evidence-based DC/TMD protocol is appropriate for use in both the clinical and research settings. Simple Axis I and II screening tests augmented by validated Axis I and Axis II instruments allow for identification of simple to complex TMD patients. (shrink)

In this survey, a recent computational methodology paying a special attention to the separation of mathematical objects from numeral systems involved in their representation is described. It has been introduced with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework in all the situations requiring these notions. The methodology does not contradict Cantor’s and non-standard analysis views and is based on the Euclid’s Common Notion no. 5 “The whole is greater than the (...) part” applied to all quantities (finite, infinite, and infinitesimal) and to all sets and processes (finite and infinite). The methodology uses a computational device called the Infinity Computer (patented in USA and EU) working numerically (recall that traditional theories work with infinities and infinitesimals only symbolically) with infinite and infinitesimal numbers that can be written in a positional numeral system with an infinite radix. It is argued that numeral systems involved in computations limit our capabilities to compute and lead to ambiguities in theoretical assertions, as well. The introduced methodology gives the possibility to use the same numeral system for measuring infinite sets, working with divergent series, probability, fractals, optimization problems, numerical differentiation, ODEs, etc. (recall that traditionally different numerals lemniscate; Aleph zero, etc. are used in different situations related to infinity). Numerous numerical examples and theoretical illustrations are given. The accuracy of the achieved results is continuously compared with those obtained by traditional tools used to work with infinities and infinitesimals. In particular, it is shown that the new approach allows one to observe mathematical objects involved in the Hypotheses of Continuum and the Riemann zeta function with a higher accuracy than it is done by traditional tools. It is stressed that the hardness of both problems is not related to their nature but is a consequence of the weakness of traditional numeral systems used to study them. It is shown that the introduced methodology and numeral system change our perception of the mathematical objects studied in the two problems. (shrink)

In the sea trade, the traditional paper-based bill of lading has played an important role across the globe for centuries, but with the advent of advanced commercial modes of transportation and communication, the central position of this document is under threat. The importance of the bill of lading still prevails as does the need of the functions that this document served in the past, although in a changed format. In the recent past, the world has witnessed a lot of debate (...) about replacing this traditional paper-based document with an electronic equivalent that exhibits all of its functions and characteristics, both commercial and legal. More specifically, unlike many rival travel documents, such as the Sea Waybill, a bill of lading has two prominent features, that is to say, its negotiability and its acceptability as a document of title in certain legal jurisdictions that are required to be retained in an electronic bill of lading so as to also retain the prominence of this document in the future landscape. This thesis is, however, more concerned about the legal aspects of adopting the electronic bill of lading as a traditional paper-based legal document as well as an effective legal document in the present age. However, the scope of this debate remains primarily focused on the USA and UK jurisdictions. In the course of this thesis, it is observed that, in the past, the bill of lading has been subject to a variety of international regimes, such as The Hague Rules and The Hague-Visby Rules, and presently efforts are being made to arrive at a universal agreement under the umbrella of The Rotterdam Rules, but such an agreement is yet to arrive among the comity of nations. On the other hand, efforts made by the business community to introduce an electronic bill of lading are much louder and more evident. The private efforts, such as the SeaDocs System, CMI Rules, and the BOLERO Project, etc., were, however, received by the fellow business community with both applause as well as suspicion. At the same time, there are a number of concerns voiced by the international business community on the legislative adoptability in national and international jurisdictions and the courts’ approach in adjudicating cases involving electronic transactions and these are making the task of adoption of electronic bill of lading in the sea-based transactions a difficult task. Therefore, in the absence of any formal legal backing from national and international legislations, these attempts could not achieve the desired results. In this thesis, the present situation of the acceptability of electronic transactions in general, and of the electronic bill of lading specifically, has also been discussed with reference to certain national jurisdictions, such as Australia, India, South Korea and China, in order to present comparative perspectives on the preparedness of these nations. On the regional level, the efforts made by the European Union have also been discussed to promote electronic transactions within its jurisdiction. All the discussion, however, leads to the situation where the level of acceptability of electronic bill of lading in the near future is found to be dependent upon the official efforts from the national governments and putting these efforts towards arriving at an agreement on Rotterdam Rules as early as possible. The other area of importance revealed in this thesis is the need for change in juristic approach by the courts while interpreting and adjudicating upon cases involving electronic transactions. On the whole, this thesis has provided a cohesive and systematic review, synthesis and analysis of the history of the bill of lading, its importance as a document of title, and attempts to incorporate its important functions within the fast-paced electronic shipping commerce of today. In such a way it has provided a valuable contribution to the literature by providing a comprehensive resource for jurists, policy-makers and the business community alike, as they work towards adapting the bill of lading so that it might be successfully applied in electronic form. (shrink)

The nature of human mind has been an open question for more than 2000 years and it is still today a mystery. There has been during the last 30 years a renewed interest from science and philosophy on that subject. Among the existing research domains is neurophilosophy, an interdisciplinary study of neuroscience and philosophy looking at neuronal aspects of access consciousness, of phenomenal consciousness and at functional aspects of consciousness. We propose here to look if self-consciousness could have a (...) place in neurophilosophy by using an existing evolutionary scenario that can introduce possible links between neural processing and some aspects of self-consciousness. The scenario is about an evolutionary nature of self-consciousness where evolutions of inter-subjectivity and meaningful representations may have led our ancestors to identify with their conspecifics. The scenario proposes that this process has brought our pre-human ancestors to represent themselves as existing entities like the conspecifics they identified with were represented. Such a representation of oneself as an existing entity may have created an elementary version of self-consciousness that we name “ancestral self-consciousness”. But identification with suffering or endangered conspecifics has also produced an important anxiety increase. To limit that anxiety our ancestors have developed mental states and behaviors like caring, imitation communication and simulation. These performances have introduced evolutionary advantages leading to an evolutionary engine that has favored the development of ancestral self-consciousness toward our human self-consciousness. We begin by presenting a model for the generation of meaningful information based on a system submitted to an internal constraint (the Meaning Generator System). We use that model to introduce meaningful representations as networks of meaningful information. We then present the evolutionary scenario for self-consciousness that uses meaningful representations and the performance of inter-subjectivity. The scenario leads to propose two links between self-consciousness and neural processes: mirror-neurons as neural introduction to inter-subjectivity and self-consciousness as neural computation on meaningful representations. Possible continuations are highlighted. (shrink)

Carleson’s celebrated theorem of 1965 [1] asserts the pointwise convergence of the partial Fourier sums of square integrable functions. The Fourier transform has a formulation on each of the Euclidean groups R , Z andΤ .Carleson’s original proof worked on Τ . Fefferman’s proof translates very easily to R . M´at´e [2] extended Carleson’s proof to Z . Each of the statements of the theorem can be stated in terms of a maximal Fourier multiplier theorem [5]. Inequalities for such operators (...) can be transferred between these three Euclidean groups, and was done P. Auscher and M.J. Carro [3]. But L. Carleson’s original proof and another proofs very long and very complicated. We give a very short and very “simple” proof of this fact. Our proof uses PNSA technique only, developed in part I, and does not uses complicated technical formations unavoidable by the using of purely standard approach to the present problems. In contradiction to Carleson’s method, which is based on profound properties of trigonometric series, the proposed approach is quite general and allows to research a wide class of analogous problems for the general orthogonal series. (shrink)