In this study bibliometric mapping method was employed to visualise the current research trends and the impact of the two most influential models of working memory, namely: A. D. Baddeley and G. J. Hitch’s multicomponent working memory model and N. Cowan’s embedded-processes model of working memory. Using VOSviewer software two maps were generated based on the index-term words extracted from the research papers citing Baddeley and Cowan, respectively. The maps represent networks of co-occurrences of index terms and can be (...) interpreted as an indication of the main research fields related to the examined models of WM. The results of the analysis revealed that the spheres of influence of the two main conceptualisations of WM are rather different than similar. Although the first two clusters, i.e. “brain mapping” and “higher-level cognition and development” are present in both maps, their relative importance varies. The remaining clusters are unique to each map. Baddeley’s theory seems to have a greater influence on “neuropsychology”, while Cowan’s theory - on basic research on “biological systems”, including the nervous system in humans and animals. The second difference between these theories concerns their relations to functions and dysfunctions associated with particular sensory modalities: in Baddelay’s theory with the “auditory modality” cluster, and in Cowan’s - with the “visual modality” one. (shrink)

Although there are various ways to express actions and behaviors in natural languages, it is found in cognitive informatics that human and system behaviors may be classified into three basic categories: to be , to have , and to do . All mathematical means and forms, in general, are an abstract description of these three categories of system behaviors and their common rules. Taking this view, mathematical logic may be perceived as the abstract means for describing to be, set theory (...) for describing 'to have,' and algebras, particularly the process algebra, for describing to do. This is a fundamental view toward the formal description and modeling of human and system behaviors in general, and software behaviors in particular, because a software system can be perceived as a virtual agent of human beings, and it is created to do something repeatable, to extend human capability, reachability, and/or memory capacity. The author found that both human and software behaviors can be described by a three-dimensional representative model comprising action, time, and space. For software system behaviors, the three dimensions are known as mathematical operations, event/process timing, and memory manipulation. This paper introduces the real-time process algebra (RTPA) that serves as an expressive notation system for describing thoughts and notions of dynamic software behaviors. Experimental case studies on applications of RTPA in describing the equivalent software and human behaviors as a series of actions and cognitive processes are demonstrated with real-world examples. (shrink)

Automated Software Testing (AST) using Model Checking is in this article epistemologically analysed in order to argue in favour of a model-based reasoning paradigm in computer science. Preliminarily, it is shown how both deductive and inductive reasoning are insufficient to determine whether a given piece of software is correct with respect to specified behavioural properties. Models algorithmically checked in Model Checking to select executions to be observed in Software Testing are acknowledged as analogical models which establish isomorphic (...) relations with the target system’s data set. Analogical models developed in AST are presented as abductive models providing hypothetical explanations to observed executions. The model assumption—algorithmic check—software testing process is understood as the abduction—deduction—induction process defining the selective abduction and turned to isolate a set of model-based hypotheses concerning the target system behaviours. A manipulative abduction process is finally recognized in the practice of adapting, abstracting and refining models that do not provide successful predictions. (shrink)

Although there are various ways to express actions and behaviors in natural languages, it is found in cognitive informatics that human and system behaviors may be classified into three basic categories: to be, to have, and to do. All mathematical means and forms, in general, are an abstract description of these three categories of system behaviors and their common rules. Taking this view, mathematical logic may be perceived as the abstract means for describing ‘to be,’ set theory for describing 'to (...) have,' and algebras, particularly the process algebra, for describing ‘to do.’ This is a fundamental view toward the formal description and modeling of human and system behaviors in general, and software behaviors in particular, because a software system can be perceived as a virtual agent of human beings, and it is created to do something repeatable, to extend human capability, reachability, and/or memory capacity. The author found that both human and software behaviors can be described by a three-dimensional representative model comprising action, time, and space. For software system behaviors, the three dimensions are known as mathematical operations, event/process timing, and memory manipulation. This paper introduces the real-time process algebra that serves as an expressive notation system for describing thoughts and notions of dynamic software behaviors. Experimental case studies on applications of RTPA in describing the equivalent software and human behaviors as a series of actions and cognitive processes are demonstrated with real-world examples. (shrink)

The first aim of simulation in virtual environment is to help biologists to have a better understanding of the simulated system. The cost of such simulation is significantly reduced compared to that of in vivo simulation. However, the inherent complexity of biological system makes it hard to simulate these systems on non-parallel architectures: models might be made of sub-models and take several scales into account; the number of simulated entities may be quite large. Today, graphics cards are used for general (...) purpose computing which has been made easier thanks to frameworks like CUDA or OpenCL. Parallelization of models may however not be easy: parallel computer programing skills are often required; several hardware architectures may be used to execute models. In this paper, we present the software architecture we built in order to implement various models able to simulate multi-cellular system. This architecture is modular and it implements data structures adapted for graphics processing units architectures. It allows efficient simulation of biological mechanisms. (shrink)

Safety-critical systems manufacturers have the duty of care, i.e., they should take correct steps while performing acts that could foreseeably harm others. Commonly, industry standards prescribe reasonable steps in their process requirements, which regulatory bodies trust. Manufacturers perform careful documentation of compliance with each requirement to show that they act under acceptable criteria. To facilitate this task, a safety-centered planning-time framework, called ACCEPT, has been proposed. Based on compliance-by-design, ACCEPT capabilities permit to design Compliance-aware Engineering Process Plans, which (...) are able to show the planning-time allocation of standard demands, i.e., if the elements set down by the standard requirements are present at given points in the engineering process plan. In this paper, we perform a case study to understand if the ACCEPT produced models could support the planning of space software engineering processes. Space software is safety and mission-critical, and it is often the result of industrial cooperation. Such cooperation is coordinated through compliance with relevant standards. In the European context, ECSS-E-ST-40C is the de-facto standard for space software production. The planning of processes in compliance with project-specific ECSS-E-ST-40C applicable requirements is mandatory during contractual agreements. Our analysis is based on qualitative criteria targeting the effort dictated by task demands required to create a CaEPP for software development with ACCEPT. Initial observations show that the effort required to model compliance and processes artifacts is significant. However, such an effort pays off in the long term since models are, to some extend, reusable and flexible. The coverage level of the models is also analyzed based on design decisions. In our opinion, such a level is adequate since it responds to the information needs required by the ECSS-E-ST-40C framework. (shrink)

Accurate data annotation is essential to successfully implementing machine learning (ML) for regulatory compliance. Annotations allow organizations to train supervised ML algorithms and to adapt and audit the software they buy. The lack of annotation tools focused on regulatory data is slowing the adoption of established ML methodologies and process models, such as CRISP-DM, in various legal domains, including in regulatory compliance. This article introduces Ant, an open-source annotation software for regulatory compliance. Ant is designed to adapt (...) to complex organizational processes and enable compliance experts to be in control of ML projects. By drawing on Business Process Modeling (BPM), we show that Ant can contribute to lift major technical bottlenecks to effectively implement regulatory compliance through software, such as the access to multiple sources of heterogeneous data and the integration of process complexities in the ML pipeline. We provide empirical data to validate the performance of Ant, illustrate its potential to speed up the adoption of ML in regulatory compliance, and highlight its limitations. (shrink)

Using land-use models in deliberative planning is promoted as an example of how environmental decision-making can be subject to both: 1) facts about how the interaction between human action and natural processes; and, 2) local perspectives on how land-use planning processes can incorporate normative concerns. This 'normative' input is often shaped and limited by the presentation of the modelled facts. This paper, however, shows that the selection and measurement of indicators, the primary outcomes of modelling exercises, are subject to (...) a highly particular assessment, influenced by social factors, political choices and technical limitations. This revised understanding does not invalidate the use of models in participatory planning. But it does open up considerable space for stakeholders in deliberative contexts to question and challenge the evidence-based policy implications of so-called 'fact-based' modelling exercises. (shrink)

In free and open source software (FOSS), computer code is made freely accessible and can be modified by anyone. It is a creative domain with many unique features; the FOSS mode of creativity has also influenced many aspects of contemporary cultural production. In this article we identify a number of fundamental but unresolved general issues in the study of creativity, then examine the potential for the study of FOSS to inform these topics. Archival studies of the genesis of FOSS (...) projects, coupled with laboratory studies detailing the psychological processes involved in software creation, can provide converging evidence on the nature of creativity in software design. Such a research program has broad implications both for theories of creativity and for real-world innovation in software and other forms of digital cultural production. (shrink)

With the technological evolutionary advent, a vision-based approach presents the remote measuring approach for the analysis of vibration. The structure vibration test and model parameter identification in the detection of the structure of the bridge evaluation occupies the important position. The bridge structure to operate safely and reliably is ensured, according to the geological data of qixiashan lead-zinc mine and engineering actual situation, with the aid of international mining software Surpac. To build the 3D visualization model of the application (...) of visualization in mine production are discussed. The results show that the final solid model of -425 stope can accurately display the spatial form of each layer of stope through rotation, amplification and movement. The proposed system is effectually able to perform cutting, volume calculation and roaming in any direction, which has certain guiding significance for mine production management. An accuracy value of 98.75%, the sensitivity of 99%, specificity of 99.64% and PPV of 99.89% are achieved using the proposed 3D modelling and visualization algorithm for vibration signal processing and management. (shrink)

The estrangement between genetic scientists and theologians originating in the 1960s is reflected in novel combinations of human thought (subject) and genes (investigational object), paralleling each other through the universal process known in chaos theory as self-similarity. The clash and recombination of genes and knowledge captures what Philip Hefner refers to as irony, one of four voices he suggests transmit the knowledge and arguments of the religion-and-science debate. When viewed along a tangent connecting irony to leadership, journal dissemination, and (...) the activities of the "public intellectual" and the public at large, the sequence of voices is shown to resemble the passage of genetic information from DNA to mRNA, tRNA, and protein, and from cell nucleus to surrounding environment. In this light, Hefner's inquiry into the voices of Zygon is bound up with the very subject matter Zygon covers. (shrink)

Automated software engineering has attracted a large amount of research efforts. The use of object-oriented methods for software systems development has made it necessary to develop approaches that automate the construction of different Unified Modeling Language models in a semiautomated approach from textual user requirements. UML use case models represent an essential artifact that provides a perspective of the system under analysis or development. The development of such use case models is very crucial in an object-oriented development method. (...) The main principles used in obtaining these models are described. A natural language processing tool is used to parse different statements of the user requirements written in Arabic to obtain lists of nouns, noun phrases, verbs, verb phrases, etc., that aid in finding potential actors and use cases. A set of steps that represent our approach for constructing a use case model are presented. Finally, the proposed approach is validated using an experiment involving a group of graduate students who are familiar with use case modeling. (shrink)

Software piracy, the illegal and unauthorized duplication, sale, or distribution of software, is a widespread and costly phenomenon. According to Business Software Alliance, over 41% of the PC software packages installed worldwide were unauthorized copies. Software piracy behavior has been investigated for more than 30 years. However, after a review of the relevant literature, there appears to be two voids in this literature: a lack of studies in non-Western countries and a scarcity of process (...) studies. This study contributes to literature by developing a software piracy model to better understand the decision-making process that underlies this unethical behavior. The model was tested using data collected from a sample of 323 undergraduate business students. Consistent with the Theory of Reasoned Action, attitudes toward software piracy and subjective norms were significant predictors of intention to pirate software. Also, the results suggested that ethical ideology, public self-consciousness, and low self-control moderated the effect of these variables on intention to pirate software. The results have important practical implications for the software industry and governments hoping to curtail software piracy. Limitations of the study and recommendations for future studies are discussed as well. (shrink)

The proliferation of information and communication technologies (ICTs) into all aspects of life poses unique ethical challenges as our modern societies become increasingly dependent on the flawless operation of these technologies. As we increasingly entrust our privacy, our well-being and our lives to an ever greater number of computers we need to look more closely at the risks and ethical implications of these developments. By emphasising the vulnerability of software and the practice of professional software developers, we want (...) to make clear the ethical aspects of producing potentially flawed software. This paper outlines some of the vulnerabilities associated with software systems and identifies a number of social and organisational factors affecting software developers and contributing to these vulnerabilities. Scott A. Snook’s theory of practical drift is used as the basis for our analysis. We show that this theory, originally developed to explain the failure of a military organisation, can be used to understand how professional software developers “drift away” from procedures and processes designed to ensure quality and prevent software vulnerability. Based on interviews with software developers in two Norwegian companies we identify two areas where social factors compel software developers to drift away from a global set of rules constituting software development processes and methods. Issues of pleasure and control and difference in mental models contribute to an uncoupling from established practices designed to guarantee the reliability of software and thus diminish its vulnerability. (shrink)

Moral issues have been included in the studies of consumer misbehavior research, but little is known about the joint moderating effect of moral intensity and moral judgment on the consumer’s use intention of pirated software. This study aims to understand the consumer’s use intention of pirated software in Taiwan based on the theory of planned behavior (TPB) proposed by Ajzen (Organizational Behavior and Human Decision Processes, 50, 179, 1991). In addition, moral intensity and moral judgment are adopted as (...) a joint moderator to examine their combined influence on the proposed research framework. The results obtained from this Taiwan case reveal that the antecedent constructs proposed in the TPB model–an individual’s attitude and subjective norms toward using pirated software, and perceived behavioral control to use pirated software–indeed have positive impacts on the consumer’s use intention of pirated software. In addition, the joint moderating effect of moral intensity and moral judgment is manifested in the consumer’s use intention of pirated software. The results of this study not only could substantiate the results of consumer misbehavior research, but also could provide some managerial suggestions for Taiwanese government authorities concerned and the related software industries devoted to fighting pirated software. (shrink)

The comprehensive nature of information and insight available in the Upanishads, the Indian philosophical systems like the Advaita Philosophy, Sabdabrahma Siddhanta, Sphota Vaada and the Shaddarsanas, in relation to the idea of human consciousness, mind and its functions, cognitive science and scheme of human cognition and communication are presented. All this is highlighted with vivid classification of conscious-, cognitive-, functional- states of mind; by differentiating cognition as a combination of cognitive agent, cognizing element, cognized element; formation; form and structure of (...) cognition, instruments and means of cognition, validity of cognition and the nature of energy/matter which facilitates and also is the medium of cognition- cognizing process; and also as the container and content of cognition. The human communication process which is just the reverse of cognizing process is also presented with necessary description and detail. The sameness of cognitive / communicative process during language acquisition and communication processes and the modes of language acquisition and communication are also given. The hardware and software of human cognition, language acquisition and communication as envisaged in Indian spiritual and philosophical expressions are given. In the light of the information and insight obtained as above, the axioms for human cognition / communication are formed, framed and presented. A brain-wave frequency modulation / demodulation model of human cognition, communication and language acquisition and communication process based on Upanishadic expressions, Shaddarsanas and Sabdabrahma Siddhhanta is defined and discussed here. The use of these theories and models and axioms in mind-machine modelling and natural language comprehension branch of artificial intelligence will be put forward and highlighted. (shrink)

The significance of the study is contingent upon two criteria. All objects in the actual world that can capture a researcher’s attention are inherently complicated. Furthermore, every commodity that an individual manufactures and every work of art that an individual develops are intricate in nature. The entirety of the processes that an individual perceives and instigates are intricate. Although many professions have established techniques for constructing intricate entities, there currently exists no universally applicable concepts or methodologies for comprehensively studying, designing, (...) producing, or generating complicated items.The objective of this work is two-fold: firstly, to develop a comprehensive methodology for analysing complex synthetic processes, and secondly, to propose universal models or synthesis mechanisms that can be used to systematically derive specific process synthesis algorithms for various practical applications. The ability to utilize generalized models and synthesis techniques is highly advantageous when designing realistic computer programming.The authors introduced a comprehensive process model and enumerated its characteristics. Using this concept, techniques for creating and suggesting processes have been formulated and put forward. The concept of a decomposition diagram enables the systematic design of intricate multi-level hierarchical processes. The multitude of processes and the intricacy of their combination give rise to the notion of formulating a synthesis theory. The acquired results can be regarded as the initial stage in the construction of such a theory. The authors’ proposed methods of process synthesis enable the deductive derivation of useful algorithms for application software. Although the concept of the breakdown scheme and synthesis procedures is relatively straightforward, this advancement has been suggested for the first time.In order to further this project, it is necessary to augment the generalized process model with supplementary traits and properties, as well as to further refine the synthesis procedures. A proposal is being made to initiate the development of a theory for synthesizing a comprehensive plan using the decomposition scheme and methods of synthesis and decomposition. (shrink)

The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main objectives of the software development cycle to guarantee system reliability. Logical theories able to fully model such processes are still insufficient. In this paper we propose a full formalisation of such operations on software systems inspired by the Alchourrón–Gärdenfors–Makinson paradigm for belief (...) revision of human epistemic states. We represent specifications as finite sets of formulas equipped with a priority relation that models functional entrenchment of properties. We propose to handle specification incompleteness through ordered expansion, inconsistency through ordered safe contraction and prioritisation through revision with reordering, and model all three in an algorithmic fashion. We show how the system satisfies basic properties of the AGM paradigm, including Levi’s and Harper’s identities. We offer a concrete example and complexity results for the inference and model checking problems on revision. We conclude by describing resilience and evolvability of software systems based on such revision operators. (shrink)

Individuals are faced with the many opportunities to pirate. The decision to pirate or not may be related to an individual''s attitudes toward other ethical issues. A person''s ethical and moral predispositions and the judgments that they use to make decisions may be consistent across various ethical dilemmas and may indicate their likelihood to pirate software. This paper investigates the relationship between religion and a theoretical ethical decision making process that an individual uses when evaluating ethical or unethical (...) situations. An ethical decision making model was studied for general unethical scenarios and for the unethical behavior of software piracy. The research model was tested via path analysis using structural equation modeling and was found to be appropriate for the sample data. The results suggest that there is a relationship between religion and the stages of an ethical decision making process regarding general ethical situations and software piracy. (shrink)

In this paper we present an executable approach to model interactions between agents that involve sensitive, privacy-related information. The approach is formal and based on deontic, epistemic and action logic. It is conceptually related to the Belief-Desire-Intention model of Bratman. Our approach uses the concept of sphere as developed by Waltzer to capture the notion that information is provided mostly with restrictions regarding its application. We use software agent technology to create an executable approach. Our agents hold beliefs about (...) the world, have goals and commitment to the goals. They have the capacity to reason about different courses of action, and communicate with one another. The main new ingredient of our approach is the idea to model information itself as an intentional agent whose main goal it is to preserve the integrity of the information and regulate its dissemination. We demonstrate our approach by applying it to an important process in the insurance industry: applying for a life insurance. In this paper we will: (1) describe the challenge organizational complexity poses in moral reasoning about informational relationships; (2) propose an executable approach, using software agents with reasoning capacities grounded in modal logic, in which moral constraints on informational relatio nships can be modeled and investigated; (3) describe the details of our approach, in which information itself is modeled as an intentional agent in its own right; (4) test and validate it by applying it to a concrete ‘hard case’ from the insurance industry; and (5) conclude that our approach upholds and offers potential for both research and practical application. (shrink)

Purpose Digital India’s attempts to transform India into a digitally empowered society and knowledge economy. This research examines three questions: What is the educational importance of social media in Indian higher education? What gains and dangers does it pose when used for formal learning? Could informal learning via technology powerfully supplement learning through the formal system? Design/methodology/approach In total, 640 students were contacted through email lists provided by their institutions after these institutions had obtained their consent to participate in the (...) study. The response rate is worked out at 44.84 per cent. Telephone interviews were conducted with 22 “veterans” in the field of higher education in India. All this provided areas of importance on which this study is based. Findings India is no doubt experimenting with more creative methods of learning and teaching. Educational technology is at embryonic stage compared to many of the advanced countries. The results show that even when all facilities are present, students are not fully taking advantage of the benefits technology affords for formal learning. Not only is there a digital divide between generations but also within generations. How the technology is integrated into the learning process is important. The entire learning infrastructure is certainly available in India and it is struggling to meet student expectations and offer a more dynamic and appropriate pedagogy. Practical implications This paper throws light on models explicit to the Indian scene in how students can benefit from social media beyond the classroom. It discusses challenges in its adoption in Indian higher education and ways to meet these challenges. Social implications Technology-led learning brings about a difference and the present generation in India is better equipped to tackle the challenges of the workplace, will be helpful to their employers and would fit well into a global business environment. Originality/value Because of the relative newness of the approach in India and fairly restricted use in the Indian higher education system, the impact of social media on student engagement in the higher education sector in India is not fully known. (shrink)

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the (...) discovery of semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (shrink)

Questions concerning the epistemological status of computer science are, in this paper, answered from the point of view of the formal verification framework. State space reduction techniques adopted to simplify computational models in model checking are analysed in terms of Aristotelian abstractions and Galilean idealizations characterizing the inquiry of empirical systems. Methodological considerations drawn here are employed to argue in favour of the scientific understanding of computer science as a discipline. Specifically, reduced models gained by Dataion are acknowledged as Aristotelian (...) abstractions that include only data which are sufficient to examine the interested executions. The present study highlights how the need to maximize incompatible properties is at the basis of both Abstraction Refinement, the process of generating a cascade of computational models to achieve a balance between simplicity and informativeness, and the Multiple Model Idealization approach in biology. Finally, fairness constraints, imposed to computational models to allow fair behaviours only, are defined as ceteris paribus conditions under which temporal formulas, formalizing software requirements, acquire the status of law-like statements about the software systems executions. (shrink)

In this paper we present an executable approach to model interactions between agents that involve sensitive, privacy-related information. The approach is formal and based on deontic, epistemic and action logic. It is conceptually related to the Belief-Desire-Intention model of Bratman. Our approach uses the concept of sphere as developed by Waltzer to capture the notion that information is provided mostly with restrictions regarding its application. We use software agent technology to create an executable approach. Our agents hold beliefs about (...) the world, have goals and commitment to the goals. They have the capacity to reason about different courses of action, and communicate with one another. The main new ingredient of our approach is the idea to model information itself as an intentional agent whose main goal it is to preserve the integrity of the information and regulate its dissemination. We demonstrate our approach by applying it to an important process in the insurance industry: applying for a life insurance.In this paper we will: (1) describe the challenge organizational complexity poses in moral reasoning about informational relationships; (2) propose an executable approach, using software agents with reasoning capacities grounded in modal logic, in which moral constraints on informational relatio nships can be modeled and investigated; (3) describe the details of our approach, in which information itself is modeled as an intentional agent in its own right; (4) test and validate it by applying it to a concrete ‘hard case’ from the insurance industry; and (5) conclude that our approach upholds and offers potential for both research and practical application. (shrink)

Sabdabrahma Siddhanta, popularized by Patanjali and Bhartruhari will be scientifically analyzed. Sphota Vada, proposed and nurtured by the Sanskrit grammarians will be interpreted from modern physics and communication engineering points of view. Insight about the theory of language and modes of language acquisition and communication available in the Brahma Kanda of Vakyapadeeyam will be translated into modern computational terms. A flowchart of language processing in humans will be given. A gross model of human language acquisition, comprehension and communication process (...) forming the basis to develop software for relevant mind-machine modeling will be presented. The implications of such a model to artificial intelligence and cognitive sciences will be discussed. The essentiality and necessity of a physics, communication engineering , biophysical and biochemical insight as both complementary and supplementary to using mathematical and computational methods in delineating the theory of Sanskrit language is put forward. Natural language comprehension as distinct and different from natural language processing is pointed out. (shrink)

This paper discusses the possibility of creating a digital platform based on Mojo v3 for monitoring the operation of a dual-circuit solar collector. In the proposed system, measurements are made from 6 digital sensors, 16 wires are used. Using Dallas sensors and the appropriate software, you can monitor the temperature level and the amount of heat. The use of 6 digital sensors significantly increases the efficiency of control over the system and increases the speed of data processing. The possibilities (...) of configuring sensors for the platform Mojo v3, as well as the control circuit of the solar collector are considered. (shrink)

In the discipline of software development, effort estimation renders a pivotal role. For the successful development of the project, an unambiguous estimation is necessitated. But there is the inadequacy of standard methods for estimating an effort which is applicable to all projects. Hence, to procure the best way of estimating the effort becomes an indispensable need of the project manager. Mathematical models are only mediocre in performing accurate estimation. On that account, we opt for analogy-based effort estimation by means (...) of some soft computing techniques which rely on historical effort estimation data of the successfully completed projects to estimate the effort. So in a thorough study to improve the accuracy, models are generated for the clusters of the datasets with the confidence that data within the cluster have similar properties. This paper aims mainly on the analysis of some of the techniques to improve the effort prediction accuracy. Here the research starts with analyzing the correlation coefficient of the selected datasets. Then the process moves through the analysis of classification accuracy, clustering accuracy, mean magnitude of relative error and prediction accuracy based on some machine learning methods. Finally, a bio-inspired firefly algorithm with fuzzy analogy is applied on the datasets to produce good estimation accuracy. (shrink)

Designing models of complex phenomena is a difficult task in engineering that can be tackled by composing a number of partial models to produce a global model of the phenomena. We propose to embed the partial models in software agents and to implement their composition as a cooperative negotiation between the agents. The resulting multiagent system provides a global model of a phenomenon. We applied this approach in modelling two complex physiological processes: the heart rate regulation and the (...) glucose-insulin metabolism. Beyond the effectiveness demonstrated in these two applications, the idea of using models associated to software agents to give reason of complex phenomena is in accordance with current tendencies in epistemology, where it is evident an increasing use of computational models for scientific explanation and analysis. Therefore, our approach has not only a practical, but also a theoretical significance: agents embedding models are a technology suitable both to representing and to investigating reality. (shrink)

According to its supporters open source software is more secure and reliable than proprietary code, and even tends to foster more innovation. Its technical superiority can be linked to the ongoing peer review process which typifies the open source model. In addition, programs such as Linux offer a potential challenge to the hegemony of Microsoft. Open source holds out the possibility of restraining platform leaders such as Microsoft from acting opportunistically. Some even argue that the open source code (...) model is ethically superior to the proprietary model because of its transparency. Given these economic and social benefits, should government policy makers intervene, by tilting the playing field to open source programs? Would such government intervention truly be welfare‐enhancing? Before answering that question we note that some of the presumed technical and economic benefits of open source software are open to question. At the same time, the claims of moral superiority or social desirability are inflated and discount incentives necessary for software development. But even if this software were technically and morally superior, there is still no basis for government intervention. Our position is simple: the invisible hand of the market and not the visible hand of government should decide the fate of open source code. There is no identifiable market failure for the government to fix nor is there any plausible policy justification for giving open source software preferential treatment. (shrink)

Recently, there has been a resurgence of interest in general, comprehensive models of human cognition. Such models aim to explain higher-order cognitive faculties, such as deliberation and planning. Given a computational representation, the validity of these models can be tested in computer simulations such as software agents or embodied robots. The push to implement computational models of this kind has created the field of artificial general intelligence (AGI). Moral decision making is arguably one of the most challenging tasks for (...) computational approaches to higher-order cognition. The need for increasingly autonomous artificial agents to factor moral considerations into their choices and actions has given rise to another new field of inquiry variously known as Machine Morality, Machine Ethics, Roboethics, or Friendly AI. In this study, we discuss how LIDA, an AGI model of human cognition, can be adapted to model both affective and rational features of moral decision making. Using the LIDA model, we will demonstrate how moral decisions can be made in many domains using the same mechanisms that enable general decision making. Comprehensive models of human cognition typically aim for compatibility with recent research in the cognitive and neural sciences. Global workspace theory, proposed by the neuropsychologist Bernard Baars (1988), is a highly regarded model of human cognition that is currently being computationally instantiated in several software implementations. LIDA (Franklin, Baars, Ramamurthy, & Ventura, 2005) is one such computational implementation. LIDA is both a set of computational tools and an underlying model of human cognition, which provides mechanisms that are capable of explaining how an agent’s selection of its next action arises from bottom-up collection of sensory data and top-down processes for making sense of its current situation. We will describe how the LIDA model helps integrate emotions into the human decision-making process, and we will elucidate a process whereby an agent can work through an ethical problem to reach a solution that takes account of ethically relevant factors. (shrink)

IoT connects devices, humans, places, and even abstract items like events. Driven by smart sensors, powerful embedded microelectronics, high-speed connectivity and the standards of the internet, IoT is on the brink of disrupting today’s value chains. Big Data, characterized by high volume, high velocity and a high variety of formats, is a result of and also a driving force for IoT. The datafication of business presents completely new opportunities and risks. To hedge the technical risks posed by the interaction between (...) “everything”, IoT requires comprehensive modelling tools. Furthermore, new IT platforms and architectures are necessary to process and store the unprecedented flow of structured and unstructured, repetitive and non-repetitive data in real-time. In the end, only powerful analytic tools are able to extract “sense” from the exponentially growing amount of data and, as a consequence, data science becomes a strategic asset. The era of IoT relies heavily on standards for technologies which guarantee the interoperability of everything. This paper outlines some fundamental standardization activities. Big Data approaches for real-time processing are outlined and tools for analytics are addressed. As consequence, IoT is a evolutionary process whose success in penetrating all dimensions of life heavily depends on close cooperation between standardization organizations, open source communities and IT experts. (shrink)

Connected devices, such as smartphones and tablets, are exposed to a large variety of attacks. Their protection is often challenged by their resource constraints in terms of CPU, memory and energy. Security chains, composed of security functions such as firewalls, intrusion detection systems and data leakage prevention mechanisms, offer new perspectives to protect these devices using software-defined networking and network function virtualization. However, the complexity and dynamics of these chains require new automation techniques to orchestrate them. This chapter describes (...) an automated orchestration methodology for security chains in order to secure connected devices and their applications. This methodology exploits process learning to establish behavioral models and infer security constraints represented as logical predicates. It then generates and merges a set of chains of security functions on the basis of these predicates. These chains are finally compiled into low-level configuration rules and deployed into the network, optimizing for the underlying topology. The benefits and limits of such a methodology combining machine learning and verification techniques are evaluated by a set of experimental results. (shrink)

Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the mappings between (...) these scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. (shrink)

For VR systems, one of its core parts is to present people with a real and immersive 3D simulation environment. This paper uses real-time computer graphics technology, three-dimensional modeling technology, and binocular stereo vision technology to study the multivisual animation character objects in virtual reality technology; designs a binocular stereo vision animation system; designs and produces a three-dimensional model; and develops a virtual multivisual animation scene application. The main research content and work performed in the text include the research of (...) the basic graphics rendering pipeline process and the analysis and research of each stage of the rendering pipeline. It mainly analyzes the 3D graphics algorithm used in the three-dimensional geometric transformation of computer graphics and studies the basic texture technology, basic lighting model, and other image output processes used in the fragment processing stage. Combined with the development needs of the subject, the principles of 3D animation rendering production software and 3D graphics modeling are studied, and the solid 3D model displayed in the virtual reality scene is designed and produced. This article also reflects the application of virtual reality in multivisual animation character design from the side, so it has realistic value and application prospects. (shrink)

With the advent of the cloud computing era, big data technology has also developed rapidly. Due to the huge volume, variety, fast processing speed and low value density of big data, traditional data storage, extraction, transformation and analysis technologies are not suitable, so new solutions for big data application technologies are needed. However, with the development of economic theory and the practice of market economy, some links in the industrial chain of natural monopoly industries already have a certain degree of (...) competitiveness. In this context, the article conducts a research on the anti-monopoly supervision mode of platform economy based on big data and sentiment analysis. This paper introduces the main idea of MapReduce, the current software implementation specifies a Map function that maps a set of key-value pairs into a new set of key-value pairs. It specifies a concurrent Reduce function that guarantees that each of all mapped key-value pairs share the same set of keys. establishes a vector space model, and basically realizes the extraction of text emotional elements. It introduces the theoretical controversy of antitrust regulation of predatory pricing behavior of third-party payment platforms, and conducted model experiments. The experimental results show that the throughput of 40 test users in 1 h of test is determined by two factors, QPS and the number of concurrent, where QPS = 40/ transactions/second. The time for each test user to log in to the system is 10 min, and the average response time is 10*60 s, then the number of concurrency = QPS*average response time = 40/*10*60 = 6.66. This paper has successfully completed the research on the anti-monopoly supervision model of platform economy based on big data and sentiment analysis. (shrink)

. Computational chemistry grew in a new era of “desktop modeling,” which coincided with a growing demand for modeling software, especially from the pharmaceutical industry. Parameterization of models in computational chemistry is an arduous enterprise, and we argue that this activity leads, in this specific context, to tensions among scientists regarding the epistemic opacity transparency of parameterized methods and the software implementing them. We relate one flame war from the Computational Chemistry mailing List in order to assess in (...) detail the relationships between modeling methods, parameterization, software and the various forms of their enclosure or disclosure. Our claim is that parameterization issues are an important and often neglected source of epistemic opacity and that this opacity is entangled in methods and software alike. Models and software must be addressed together to understand the epistemological tensions at stake. (shrink)

Body-environment (b-en) -- Functional cycle (fucy) -- An object -- The body and time -- Evolution, novelty, and stability -- Behavior -- Culture, symbol, and language -- Thinking with the implicit.

This article analyses the forms of dividuation workers undergo when they are linked to technologies, such as algorithms or artificial intelligence. It examines functionalities and operations deployed by certain types of Talent Management software and apps—UKG, Tribepad, Afiniti, RetailNext and Textio. Specifically, it analyses how talented workers materialise in relation to the profiles and the statistical models generated by such artificial intelligence machines. It argues that these operate as a nooscope that allows the transindividual plane to be quantified through (...) a process known as dividuation. Finally, by way of conclusion, the notion of the dividual is presented as the logic that characterises the human–machine relationship in the case of artificial intelligence and as the horizon of what Felix Guattari called “machinic capitalism”. (shrink)

Two challenges to the very possibility of emergence are addressed, one metaphysical and one logical. The resolution of the metaphysical challenge requires a shift to a process metaphysics, while the logical challenge highlights normative emergence, and requires a shift to more powerful logical tools -- in particular, that of implicit definition. Within the framework of a process metaphysics, two levels of normative emergence are outlined: that of function and that of representation.

In order to improve the effect of smart city construction, this paper combines smart buildings and ethical computing to conduct research on smart city edge computing. The new smart city architecture based on the flexible deployment of edge computing and data slicing capabilities provides support for the transformation of smart city construction from hardware embedded technology, access means, and software data processing. Moreover, this paper uses information technology to collect, process, analyze, use the information to achieve intelligence, and (...) integrate resources and information of cities and people to build a smart city functional architecture. Moreover, this paper combines simulation technology for experimental research. Through experimental analysis, it can be seen that the smart city edge computing method based on smart buildings and ethical computing proposed in this paper has good results. (shrink)

Increasing adoption of electronic health records in hospitals provides new opportunities for patient data to support public health advances. Such learning healthcare models have generated ethical debate in high-income countries, including on the role of patient and public consent and engagement. Increasing use of electronic health records in low-middle income countries offers important potential to fast-track healthcare improvements in these settings, where a disproportionate burden of global morbidity occurs. Core ethical issues have been raised around the role and form of (...) information sharing processes for learning healthcare systems, including individual consent and individual and public general notification processes, but little research has focused on this perspective in low-middle income countries. We conducted a qualitative study on the role of information sharing and governance processes for inpatient data re-use, using in-depth interviews with 34 health stakeholders at two public hospitals on the Kenyan coast, including health managers, providers and researchers. Data were collected between March and July 2016 and analysed using a framework approach, with Nvivo 10 software to support data management. Most forms of clinical data re-use were seen as an important public health good. Individual consent and general notification processes were often argued as important, but contingent on interrelated influences of the type of data, use and secondary user. Underlying concerns were linked to issues of patient privacy and autonomy; perceived risks to trust in health systems; and fairness in how data would be used, particularly for non-public sector re-users. Support for engagement often turned on the anticipated outcomes of information-sharing processes, as building or undermining trust in healthcare systems. As reported in high income countries, learning healthcare systems in low-middle counties may generate a core ethical tension between supporting a public good and respecting patient autonomy and privacy, with the maintenance of public trust acting as a core requirement. While more evidence is needed on patient and public perspectives on learning healthcare activities, greater collaboration between public health and research governance systems is likely to support the development of efficient and locally responsive learning healthcare activities in LMICs. (shrink)

This manuscript constructs an intelligent sentiment analysis and marketing model for bed and breakfast consumption based on a behavioral psychology perspective. Based on the LDA theme model, the theme features and keywords of the reviews covering user feedback are explored from the text data, and the theme framework of user sentiment perception is constructed by combining previous literature on user perception in the B&B market, and the themes of user online reviews are summarized in four dimensions: practical, sensory, cognitive, and (...) emotional components of user experience. In this manuscript, GooSeeker software was selected for data crawling and ROST CM developed by Wuhan University was used for text processing. To improve the accuracy of text classification and improve the missing data, the online comment text is divided into sentences by symbols, and the text is divided into words based on sentences, and the spatial vector model and the text feature word weighting method of TF-IDF are used for vector representation, and the polynomial Bayesian classifier is called to identify the topics of sentences. The classical Theory of Planned Behavior was used to analyze the influencing factors of the willingness to consume experiential B&B tourism, and countermeasure suggestions for the development of B&B tourism were proposed based on the research findings In the empirical testing stage, a questionnaire on the willingness to consume experiential B&B tourism was designed, and web research was chosen to collect the data. SPSS20.0 was used to conduct reliability analysis, factor analysis, correlation analysis, and regression analysis on the data, and AMOS statistics were used to establish a structural equation model to verify the influence path of willingness to consume experiential B&B tourism. Finally, the moderating path of willingness to consume experiential B&B tourism was verified by using multi-group analysis. (shrink)

With the emergence of big data, cloud computing, and other technologies, artificial intelligence technology has set off a new wave in the field of education. The application of AI technology to deep learning in university teachers' teaching and students' learning processes is an innovative way to promote the quality of teaching and learning. This study proposed the deep learning-based assessment to measure whether students experienced an improvement in terms of their mastery of knowledge, development of abilities, and emotional experiences. It (...) also used comparative analysis of pre-tests and post-tests through online questionnaires to test the results. The impact of technology on teachers' teaching and students' learning processes, identified the problems in the teaching and learning processes in the context of the application of AI technology, and proposed strategies for reforming and optimizing teaching and learning. It recommends the application of software and platforms, such as Waston and Knewton, under the orientation of AI technology to improve efficiency in teaching and learning, optimize course design, and engage students in deep learning. The contribution of this research is that the teaching and learning processes will be enhanced by the use of intelligent and efficient teaching models on the teachers' side and personalized and in-depth learning on the students' side. On the one hand, the findings are helpful for teachers to better grasp the actual conditions of in-class teaching in real time, carry out intelligent lesson preparations, enrich teaching methods, improve teaching efficiency, and achieve personalized and precision teaching. On the other hand, it also provides a space of intelligent support for students with different traits in terms of learning and effectively improves students' innovation ability, ultimately achieving the purpose of “artificial intelligence + education.”. (shrink)

The role of software architecture in large-scale Agile development is important because several teams need to work together to release a single software product while helping to maximise teams’ autonomy. Governing and aligning Agile architecture across autonomous squads, when using the Spotify model, is a challenge because the Spotify model lacks practices for addressing Agile architecture governance. To explore how software architecture can be governed and aligned by scaling the Spotify model, we conducted a longitudinal embedded case (...) study in a multinational FinTech organisation. Then, we developed and evaluated an approach for architectural governance by conducting an embedded case study. The collected data was analysed using Thematic Analysis and informed by selected Grounded Theory techniques such as memoing, open coding, constant comparison, and sorting. Our approach for architectural governance comprises an organisational structure change and an architecture change management process. The benefits reported by the practitioners include devolving architectural decision-making to the operational level, enhancing architectural knowledge sharing among squads, minimising wasted effort in architectural refactoring, and other benefits. The practitioners in our case study realised an improved squad autonomy by the ability to govern and align architectural decisions. We provide two key contributions in this paper. First, we present the characteristics of our proposed architectural governance approach, its evaluation, benefits, and challenges. Second, we present how the novel Heterogeneous Tailoring model was enhanced to accommodate our architectural governance approach. (shrink)

Legal expert systems are computer applications that can mimic the consultation process of a legal expert to provide advice specific to a given scenario. The core of these systems is the experts’ knowledge captured in a sophisticated and often complex logic or rule base. Such complex systems rely on both knowledge engineers or system programmers and domain experts to maintain and update in response to changes in law or circumstances. This paper describes a pragmatic approach using process (...) class='Hi'>modelling techniques that enables a complex legal expert system to be maintained and updated dynamically by a domain expert such as a legal practitioner with little computing knowledge. The approach is illustrated using a case study on the design of an online expert system that allows a user to navigate through complex legal options in the domain of International Family Law. (shrink)

Using a national survey of US consumers, this study demonstrates the positive effects of corporate social responsibility communication factors on consumers’ CSR knowledge, trust, and perceptions of corporate reputation. The study also examines the role of a stakeholder-specific factor of consumer–company identification in the process of CSR communication. The findings suggest that the positive effects of CSR informativeness are enduring and independent of consumers’ identification levels with a company, whereas the positive consequences of the personal relevance, transparency, and factual (...) tone of CSR communication intensify as the identification levels increase. Although CSR communication in which a self-promotional tone is adopted has a negative relationship with consumer trust and corporate reputation, such negative effects are not evident among consumers with very high identification levels with a company. Such CSR communication in fact improves consumers’ CSR knowledge and, in turn, has a positive effect on corporate reputation. (shrink)