Computational reproducibility possesses its own dynamics and narratives of crisis. Alongside the difficulties of computing as an ubiquitous yet complex scientific activity, computational reproducibility suffers from a naive expectancy of total reproducibility and a moral imperative to embrace the principles of free software as a non-negotiable epistemic virtue. We argue that the epistemic issues at stake in actual practices of computational reproducibility are best unveiled by focusing on software as a pivotal concept, one that is surprisingly often overlooked (...) in accounts of reproducibility issues. Software is not only about designing and coding but also about maintaining, supporting, distributing, licensing, and governance; it is not only about developers but also about users. We focus on openness debates among computational chemists involved in molecular modeling software packages as empirical grounding for our argument. We then identify and analyse four epistemic characteristics as key to the role of software in computational reproducibility. (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)

Software piracy is older than the PC and has been the subject of several studies, which have found it to be a widespread phenomenon in general, and among university students in particular. An earlier study by Cohen and Cornwell from a decade ago is replicated, adding questions about downloading music from the Internet. The survey includes responses from 224 students in entry-level courses at two schools, a nondenominational suburban university and a Catholic urban college with similar student profiles. The (...) study found that there has been few if any changes in student opinions regarding the unauthorized duplication of copy- righted materials. Students generally felt that copying commercial software and downloading music from the Internet was acceptable and found that there was no significant correlation between student attitudes and their school’s religious affiliation or lack thereof. Additionally, the study found that a small but significant percentage of respondents considered the other questionable behaviors as ethically acceptable. Finally, the reasons for these attitudes are discussed as well as what colleges can do to correct the situation. (shrink)

Software is a ubiquitous artifact, yet not much has been done to understand its ontological nature. There are a few accounts offered so far about the nature of software. I argue that none of those accounts give a plausible picture of the nature of software. I draw attention to the striking similarities between software and musical works. These similarities motivate to look more closely on the discussions regarding the nature of the musical works. With the lessons (...) drawn from the ontology of musical works I offer a novel account of the nature of software. In this account, software is an abstract artifact. I elaborate the conditions under which software comes into existence; how it persists; how and on which entities its existence depends. (shrink)

It has become a fact that fluency and competency in utilizing the advancement of technology, specifically the computer and the internet is one way that could help in facilitating learning in mathematics. This study investigated the effects of Dynamic Geometry Software (DGS) and Computer Algebra Systems (CAS) in teaching Mathematics. This was conducted in Zamboanga del Sur National High School (ZSNHS) during the third grading period of the school year 2015-2016. The study compared the achievement and attitude (...) towards Mathematics between those students taught with DGS and CAS and those students who were taught without DGS and CAS. A quasi-experimental pretest-posttest control group design was used with two groups which was matched according to their mathematical level. An achievement test was developed and administered to assess the students’ achievement in Mathematics. Aiken’s attitude scale was also used to assess the students’ attitude towards Mathematics. The data were treated with One-Way Analysis of Covariance (ANCOVA) and t-test at 0.05 level of significance. The study revealed a significant difference between the mathematics achievement between students taught with DGS and CAS and those who were taught without it. The integration of DGS and CAS in Mathematics lessons leads to better academic achievement result compared with that of the conventional method of teaching. Moreover, there was no significant difference on the attitude level of the students between the two groups. (shrink)

This paper is in two parts. Part I outlines three traditional approaches to the teaching of critical thinking: the normative, cognitive psychology, and educational approaches. Each of these approaches is discussed in relation to the influences of various methods of critical thinking instruction. The paper contrasts these approaches with what I call the “visualisation” approach. This approach is explained with reference to computer-aided argument mapping (CAAM) which uses dedicated computer software to represent inferences between premise and conclusions. (...) The paper presents a detailed account of the CAAM methodology, and theoretical justification for its use, illustrating this with the argument mapping software Rationale™. A number of Rationale™ design conventions and logical principles are outlined including the principle of abstraction, the MECE principle, and the “Holding Hands” and “Rabbit Rule” heuristics. Part II of this paper outlines the growing empirical evidence for the effectiveness of CAAM as a method of teaching critical thinking. (shrink)

The integration of information resources in the life sciences is one of the most challenging problems facing bioinformatics today. We describe how Language and Computing nv, originally a developer of ontology-based natural language understanding systems for the healthcare domain, is developing a framework for the integration of structured data with unstructured information contained in natural language texts. L&C’s LinkSuite™ combines the flexibility of a modular software architecture with an ontology based on rigorous philosophical and logical principles that is designed (...) to comprehend the basic formal relationships that structure both reality and the ways humans perceive and communicate about reality. (shrink)

Open-content communities that focus on co-creation without requirements for entry have to face the issue of institutional trust in contributors. This research investigates the various ways in which these communities manage this issue. It is shown that communities of open-source software—continue to—rely mainly on hierarchy (reserving write-access for higher echelons), which substitutes (the need for) trust. Encyclopedic communities, though, largely avoid this solution. In the particular case of Wikipedia, which is confronted with persistent vandalism, another arrangement has been pioneered (...) instead. Trust (i.e. full write-access) is ‘backgrounded’ by means of a permanent mobilization of Wikipedians to monitor incoming edits. Computational approaches have been developed for the purpose, yielding both sophisticated monitoring tools that are used by human patrollers, and bots that operate autonomously. Measures of reputation are also under investigation within Wikipedia; their incorporation in monitoring efforts, as an indicator of the trustworthiness of editors, is envisaged. These collective monitoring efforts are interpreted as focusing on avoiding possible damage being inflicted on Wikipedian spaces, thereby being allowed to keep the discretionary powers of editing intact for all users. Further, the essential differences between backgrounding and substituting trust are elaborated. Finally it is argued that the Wikipedian monitoring of new edits, especially by its heavy reliance on computational tools, raises a number of moral questions that need to be answered urgently. (shrink)

The proliferation of IoT devices and the emergence of latency-sensitive applications in 2019 accelerated the demand for edge computing architectures. To meet these demands, network infrastructure began shifting away from centralized data centers toward distributed, programmable edge nodes. This research explores how the integration of Software-Defined Networking (SDN) and Network Function Virtualization (NFV) can optimize edge network performance. The paper analyzes architectural models that enable dynamic routing, load balancing, and traffic prioritization at the edge. It also evaluates security and (...) orchestration challenges, particularly in multi-tenant environments. By comparing SDN- and NFV-driven approaches to traditional static configurations, the study demonstrates measurable improvements in latency reduction, resource utilization, and service availability in edge networks. (shrink)

Software patents are commonly criticised for being fuzzy, context-sensitive, and often granted for trivial inventions. More often than not, these shortcomings are said to be caused by the abstract nature of software - with little further analysis offered. Drawing on Plato’s Parmenides, this paper will argue (1) that the reason why software patents seem to be elusive is that patent law suggests to think about algorithms as paradigmatic examples and (2) that Plato’s distinction between two modes of (...) predication and the role of competence in his account of knowledge are helpful not only for conceptualising knowledge of algorithms, but also for understanding the limits of software patent regimes. (shrink)

Modern computing is generally taken to consist primarily of symbol manipulation. But symbols are abstract, and computers are physical. How can a physical device manipulate abstract symbols? Neither Church nor Turing considered this question. My answer is that the bit, as a hardware-implemented abstract data type, serves as a bridge between materiality and abstraction. Computing also relies on three other primitive—but more straightforward—abstractions: Sequentiality, State, and Transition. These physically-implemented abstractions define the borderline between hardware and software and between physicality (...) and abstraction. At a deeper level, asking how a physical device can interact with abstract symbols is the wrong question. The relationship between symbols and physical devices begins with the realization that human beings already know what it means to manipulate symbols. We build and program computers to do what we understand to be symbol manipulation. To understand what that means, consider a light switch. A light switch doesn’t turn a light on or off. Those are abstractions. Light switches don’t operate with abstractions. We build light switches, so that when flipped, the world is changed in such a way that we understand the light to be on or off. Similarly, we build computers to perform operations that we understand as manipulating symbols. (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)

Interactions between an intelligent software agent and a human user are ubiquitous in everyday situations such as access to information, entertainment, and purchases. In such interactions, the ISA mediates the user’s access to the content, or controls some other aspect of the user experience, and is not designed to be neutral about outcomes of user choices. Like human users, ISAs are driven by goals, make autonomous decisions, and can learn from experience. Using ideas from bounded rationality, we frame these (...) interactions as instances of an ISA whose reward depends on actions performed by the user. Such agents benefit by steering the user’s behaviour towards outcomes that maximise the ISA’s utility, which may or may not be aligned with that of the user. Video games, news recommendation aggregation engines, and fitness trackers can all be instances of this general case. Our analysis facilitates distinguishing various subcases of interaction, as well as second-order effects that might include the possibility for adaptive interfaces to induce behavioural addiction, and/or change in user belief. We present these types of interaction within a conceptual framework, and review current examples of persuasive technologies and the issues that arise from their use. We argue that the nature of the feedback commonly used by learning agents to update their models and subsequent decisions could steer the behaviour of human users away from what benefits them, and in a direction that can undermine autonomy and cause further disparity between actions and goals as exemplified by addictive and compulsive behaviour. We discuss some of the ethical, social and legal implications of this technology and argue that it can sometimes exploit and reinforce weaknesses in human beings. (shrink)

This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference tradition of 28 years. - - - Table of Contents - 0 Vincent C. Müller: - Editorial - 1) Philosophy of computing - 1 Çem Bozsahin: - What is a computational constraint? - 2 Joe Dewhurst: - Computing Mechanisms and Autopoietic Systems - 3 Vincenzo Fano, Pierluigi Graziani, Roberto Macrelli and Gino Tarozzi: - Are Gandy Machines really local? (...) - 4 Doukas Kapantais: - A refutation of the Church-Turing thesis according to some interpretation of what the thesis says - 5 Paul Schweizer: - In What Sense Does the Brain Compute? - 2) Philosophy of computer science & discovery - 6 Mark Addis, Peter Sozou, Peter C R Lane and Fernand Gobet: - Computational Scientific Discovery and Cognitive Science Theories - 7 Nicola Angius and Petros Stefaneas: - Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach. - 8 Selmer Bringsjord, John Licato, Daniel Arista, Naveen Sundar Govindarajulu and Paul Bello: - Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals - 9 Orly Stettiner: - From Silico to Vitro: - Computational Models of Complex Biological Systems Reveal Real-world Emergent Phenomena - 3) Philosophy of cognition & intelligence - 10 Douglas Campbell: - Why We Shouldn’t Reason Classically, and the Implications for Artificial Intelligence - 11 Stefano Franchi: - Cognition as Higher Order Regulation - 12 Marcello Guarini: - Eliminativisms, Languages of Thought, & the Philosophy of Computational Cognitive Modeling - 13 Marcin Miłkowski: - A Mechanistic Account of Computational Explanation in Cognitive Science and Computational Neuroscience - 14 Alex Tillas: - Internal supervision & clustering: - A new lesson from ‘old’ findings? - 4) Computing & society - 15 Vasileios Galanos: - Floridi/Flusser: - Parallel Lives in Hyper/Posthistory - 16 Paul Bello: - Machine Ethics and Modal Psychology - 17 Marty J. Wolf and Nir Fresco: - My Liver Is Broken, Can You Print Me a New One? - 18 Marty J. Wolf, Frances Grodzinsky and Keith W. Miller: - Robots, Ethics and Software – FOSS vs. Proprietary Licenses. (shrink)

I discuss two categories of causal relationships: primitive causal interactions of the sort characterized by Phil Dowe and the more general manipulable causal relationships as defined by James Woodward. All primitive causal interactions are manipulable causal relationships, but there are manipulable causal relationships that are not primitive causal interactions. I’ll call the latter constructed causal relationships, and I’ll argue that constructed causal relationships serve as a foundation for both computing and complex systems. -/- Perhaps even more interesting are autonomous causal (...) relationships. These are constructed causal relationships in which the causal mechanism resides primarily in the effect. A typical example is a software execution engine. Software execution engines are on the effect side of a cause-effect relationship in which software is the cause and the behavior of the execution engine is the effect. The mechanism responsible for that causal relationship resides in the execution engine. (shrink)

In the last two decades, software process modeling has been an area of interest within both academia and industry. Software process modeling aims at defining and representing software processes in the form of models. A software process model represents the medium that allows better understanding, management and control of the software process. Software process metamodeling rather, provides standard metamodels which enable the defining of customized software process models for a specific project in hand (...) by instantiation. Several software process modeling/meta-modeling languages have been introduced to formalize software process models. Nonetheless, none of them has managed to introduce a compatible yet precise language to include all necessary concepts and information for software process modeling. This paper presents Software Process Meta-Modeling and Notation (SP2MN); a meta-modeling language that provides simple and expressive graphical notations for the aim of software process modeling. SP2MN has been evaluated based upon the well-known ISPW-6 process example, a standard benchmark problem for software process modeling. SP2MN has proved that it presents a valid and expressive software process modeling language. (shrink)

Argument-mapping software abounds, and one of the reasons is that using the software has been shown to teach/promote/improve critical thinking skills. These positive results are very encouraging, but they also raise the question of whether the computer tutorial environment is producing these results, or whether learning argument mapping, even with just paper and pencil, is sufficient. Based on the results of two empirical studies, I argue that the basic skill of being able to represent an argument diagrammatically (...) plays an important role in the improvement of critical-thinking skills. While these studies do not offer a direct comparison between the two methods, it is important for anyone wishing to employ argument mapping in the classroom to know that significant results can be obtained even with the most rudimentary of tools. (shrink)

In this paper, we describe technological advances for supporting persons with aphasia in philosophical dialogues about personally relevant and contestable questions. A computer game-based application for iPads is developed and researched through Living Lab inspired workshops in order to promote the target group’s communicative participation during group argumentation. We outline some central parts of the background theory of the application and some of its main features, which are related to needs of the target group. Methodological issues connected to the (...) design and use of Living Labs with persons with aphasia are discussed. We describe a few problems with researching development of communicative participation during group argumentation using an app assisted intervention for the target group and suggest some possible solutions. (shrink)

Deploying applications across multiple cloud regions boosts availability, disaster recovery, and user experience but raises complexities including data synchronization, network optimization, security, and cost management. This research examines the responsibilities of software developers in designing and overseeing multi-region cloud-based applications. The main goal is to identify and examine the essential factors and most effective methods that developers should adhere to when constructing reliable, expandable, and high-performance cloud-based applications, approaches to tackle these complexities, such as Infrastructure as Code (IaC) for (...) automating resource allocation, Continuous Integration and Continuous Deployment (CI/CD) for streamlined software updates, and global load balancing for efficient traffic management. The importance of artificial intelligence, automation, and edge computing in streamlining cloud operations is also emphasized. By implementing these strategies, companies can establish cloud applications that are scalable, secure, and highly effective, and run smoothly in various geographic locations. (shrink)

In this paper, we deal with the computation of Lie derivatives, which are required, for example, in some numerical methods for the solution of differential equations. One common way for computing them is to use symbolic computation. Computer algebra software, however, might fail if the function is complicated, and cannot be even performed if an explicit formulation of the function is not available, but we have only an algorithm for its computation. An alternative way to address the problem (...) is to use automatic differentiation. In this case, we only need the implementation of the algorithm that evaluates the function in terms of its analytic expression in a programming language, but we cannot use this if we have only a compiled version of the function. In this paper, we present a novel approach for calculating the Lie derivative of a function, even in the case where its analytical expression is not available, that is based on the In finity Computer arithmetic. A comparison with symbolic and automatic differentiation shows the potentiality of the proposed technique. (shrink)

In this section, we will start with an influential attempt to define `intelligence', and then we will move to a consideration of how human intelligence is to be investigated on the machine model. The last part of the section will discuss the relation between the mental and the biological.

Deploying applications across multiple cloud regions boosts availability, disaster recovery, and user experience but raises complexities including data synchronization, network optimization, security, and cost management. This research examines the responsibilities of software developers in designing and overseeing multi-region cloud-based applications. The main goal is to identify and examine the essential factors and most effective methods that developers should adhere to when constructing reliable, expandable, and high-performance cloud-based applications, approaches to tackle these complexities, such as Infrastructure as Code (IaC) for (...) automating resource allocation, Continuous Integration and Continuous Deployment (CI/CD) for streamlined software updates, and global load balancing for efficient traffic management. The importance of artificial intelligence, automation, and edge computing in streamlining cloud operations is also emphasized. By implementing these strategies, companies can establish cloud applications that are scalable, secure, and highly effective, and run smoothly in various geographic locations. (shrink)

The study was conducted to compare manual and computerized software techniques of data management and analysis in educational research. Specifically, the study investigated whether there was a significant difference in the results of Pearson correlation, independent t-test and ANOVA obtained from using manual and computerized software technique of data analyses. Three null hypotheses were formulated accordingly to guide the study. The study adopted a quasi-experimental research design where several data were generated by the researchers and analyzed using manual (...) and computerized software techniques. The data were generated to suit the required data of each statistical method of analysis. CASIO fx-991ES PLUS NATURAL DISPLAY scientific calculator and statistical tables were used for manual analysis; while data analysis tool pack of Microsoft Excel version 2013 were used for computerized software analysis. The results of the analysis revealed that both manual and computerized software techniques yielded the same results for Pearson correlation, independent t-test and ANOVA. It was concluded that though both manual and computerized techniques are reliable and dependable, computerized technique is faster and efficient in managing and analyzing data than manual technique. It was recommended, among other things, that any of the techniques should be used without fear when computing Pearson, independent t-test and one-way ANOVA as it is the same results that will be gotten. (shrink)

The rapid adoption of cloud computing has transformed how software development and testing are conducted, leading to the emergence of cloud-based software testing as a vital area in software engineering. Cloudbased testing enables scalable, flexible, and cost-efficient testing environments without the need for extensive physical infrastructure. This paper explores the recent advancements in cloud-based software testing, highlighting emerging trends, innovative tools, and best practices. We analyze how cloud services support various types of testing, including functional, performance, (...) security, and regression testing. Additionally, we evaluate the benefits and challenges of adopting cloud testing platforms, with a focus on tools such as Selenium Grid, JMeter, LoadRunner Cloud, and Sauce Labs. Through a comprehensive review of the literature and analysis of current methodologies, we present a consolidated view of the state-of-the-art in this domain. Our findings suggest that hybrid cloud environments, AI-driven test automation, and continuous integration/continuous delivery (CI/CD) pipelines are shaping the future of cloudbased software testing. (shrink)

Cloud computing is the computing technology which provides resources like software, hardware, services over the internet. Cloud computing provides computation, software, data access, and storage services that do not require end- user knowledge of the physical location and configuration of the system that delivers the services. Cloud computing enables the user and organizations to store their data remotely and enjoy good quality applications on the demand without having any burden associated with local hardware resources and software managements (...) but it possesses a new security risk towards correctness of data stored at cloud. The data storage in the cloud has been a promising issue in these days. This is due to the fact that the users are storing their valuable data and information in the cloud. The users should trust the cloud service providers to provide security for their data. Cloud storage services avoid the cost storage services avoids the cost expensive on software, personnel maintains and provides better performance less storage cost and scalability, cloud services through internet which increase their exposure to storage security vulnerabilities however security is one of the major drawbacks that preventing large organizations to enter into cloud computing environment. This work surveyed on several storage techniques and this advantage and its drawbacks. (shrink)

Cloud computing has transformed the nature of computation, sharing of information resources, and storage capabilities, including the flexibility to scale these resources for corporate use. Nevertheless, maintaining high reliability in cloud environments is still an issue that has not been solved because of factors such as Hardware failures, network interruptions/slowdowns and software vulnerabilities. This paper discusses several methods that can be employed in the reliability engineering of cloud computing, including fault tolerance, redundancy, monitoring and predictive maintenance. It also further (...) extends the basic reliability measures such as Mean Time Between Failure (MTBF), Mean Time To Repair (MTTR), Service Availability and Failure Rate, which measure system reliability and effectiveness. Moreover, the paper considers performance assessment methodologies through real-time monitoring, machine learning, and reliability assessment methods. It also addresses the nature and advancement of technologies of artificial intelligence-powered automation and self-healing applications for improved cloud dependability. The present work aims to identify the state-of-the-art state of dependability in cloud services and propose some recommendations for minimizing such costs, improving dependability levels, and reducing undesired downtime. The information is valuable for CSPs, IT designers/architects, and system engineers who wish to create fault-tolerant and optimal cloud environments. (shrink)

The fundamental purpose of software testing is to develop new test case sets that demonstrate the software product's deficiencies. Upon preparation of the test cases, the Test Oracle delineates the expected program behavior for each scenario. The application's correct functioning and its properties will be assessed by prioritizing test cases and running its components, which delineate inputs, actions, and outputs. The prioritization methods include initial ordering, random ordering, and reverse ranking based on fault detection capabilities. software application (...) development often used a test suite, which was less well recognized as a suite for validating software correctness. Each test case set in the suite had distinct instructions and goals based on the system and its configuration that were evaluated. This article presents a Generative AI artificial neural network model for automated software testing based on particle swarm optimization. Generative AI is the method by which computers use existing data, including text, audio/video files, images, and code, to produce new material. An artificial neural network (ANN) is a complex adaptive system capable of altering its internal structure in response to the information it processes. Precisely manipulate the connection and its weight to achieve optimal accuracy. The PSO is a heuristic, population-based global optimization method. (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)

Computer simulations constitute a significant scientific tool for promoting scientific understanding of natural phenomena and dynamic processes. Substantial leaps in computational force and software engineering methodologies now allow the design and development of large-scale biological models, which – when combined with advanced graphics tools – may produce realistic biological scenarios, that reveal new scientific explanations and knowledge about real life phenomena. A state-of-the-art simulation system termed Reactive Animation (RA) will serve as a study case to examine the contemporary (...) philosophical debate on the scientific value of simulations, as we demonstrate its ability to form a scientific explanation of natural phenomena and to generate new emergent behaviors, making possible a prediction or hypothesis about the equivalent real-life phenomena. (shrink)

Generative AI has revolutionized the field of artificial intelligence by enabling machines to create new, original content across various modalities, including text, images, and audio. Two prominent architectures driving this transformation are Transformer-based models and Diffusion models. Transformers, introduced in the 2017 paper "Attention Is All You Need," leverage self-attention mechanisms to process sequential data efficiently, leading to significant advancements in natural language processing tasks. Diffusion models, on the other hand, employ a probabilistic approach to generate data by gradually denoising (...) random noise, resulting in high-quality image synthesis. This paper explores the inner workings of these generative models, comparing their architectures, training methodologies, and applications. By examining the strengths and limitations of each approach, we aim to provide a comprehensive understanding of how Generative AI operates and its impact on various industries. (shrink)

ITS (Intelligent Tutoring System) is a computer software that supplies direct and adaptive training or response to students without, or with little human teacher interfering. The main target of ITS is smoothing the learning-teaching process using the ultimate technology in computer science. The proposed system will be implemented using the “ITSB” Authoring tool. The book "Introduction To Computer Science" is taught in Al-Azhar University in Gaza as a compulsory subject for students who study at humanities faculties. (...) In this thesis, the researcher demonstrates an intelligent tutoring system for teaching the above mentioned subject. The system was assessed by a group of teachers and students and the results were promising . (shrink)

Quantum computing has the potential to revolutionize problem-solving across various domains, from cryptography to materials science. However, the complexities of quantum hardware, including the need for highly specialized environments and significant computational resources, have made quantum computing difficult for most organizations to access. Cloud-native quantum computing, which leverages cloud infrastructure to provide scalable, ondemand access to quantum processors, offers a transformative solution to this challenge. This paper explores the rise of cloud-native quantum computing, focusing on how cloud infrastructure facilitates the (...) deployment and execution of quantum algorithms. We examine the benefits of cloud-based quantum computing, the challenges it faces, and the role of cloud service providers in advancing quantum technologies. Additionally, we explore the synergy between quantum computing and classical computing, emphasizing hybrid quantum-classical systems. Finally, we look ahead to the future of quantum computing in the cloud, outlining emerging trends, research opportunities, and the potential impacts on industries such as finance, healthcare, and logistics. (shrink)

While cloud computing is picking up prevalence, assorted security and protection issues are rising that block the quick reception of this new computing worldview. Furthermore, the improvement of cautious arrangements is lingering behind. To guarantee a safe and reliable cloud environment it is fundamental to distinguish the impediments of existing arrangements and imagine headings for future research. In this paper, we have reviewed basic security and protection challenges in cloud computing, arranged different existing arrangements, looked at their qualities and constraints, (...) and imagined future research headings. (shrink)

The study investigated the effects of computer-assisted instruction on mathematics achievement among secondary school students in Rivers State. Two research questions and two hypotheses guided the study. The design was quasi-experimental. The population of the study was 215 students in a senior secondary school Kpor in Gokana. The sample of the study was 35 students. The sample size was drawn using simple random sampling technique. The instrument used to collect data was multiple choice achievement test. The instrument was validated (...) by experts in computer science education and the researchers, while the reliability of the instrument was established at 0.81. Mean and standard deviation was used to analyze pre-test and post-test scores to answer research questions, while z-test was used to test the hypotheses at 0.05 significant level. The findings of the study showed that students taught with computer assisted instruction performed higher than those taught with traditional instructional methods. Findings also revealed that there is a significant difference between the pretest and post-test achievement scores of students taught Mathematics with computer assisted instructional method. The study recommended among others that government should integrate computer and educational software into the mainstream of mathematics curriculum from the junior secondary school level as this will help to prepare students for stellar performance in Mathematics at senior secondary level. (shrink)

Model-Driven Engineering (MDE) is a modern approach to software development that emphasizes the use of models as primary artifacts in the software design and development process. In MDE, models represent abstract versions of systems, serving as blueprints that can be automatically transformed into working code. This approach seeks to enhance software design, reduce the complexity of code generation, and improve maintainability. By focusing on high-level abstractions, MDE enables developers to design software systems more efficiently, automate repetitive (...) tasks, and ensure consistency across different system components. It fosters the development of platform-independent models, which can then be tailored for specific environments or target platforms using model transformations. This paper provides an indepth examination of Model-Driven Engineering, highlighting its applications in modern software development, particularly in enhancing the software design process and streamlining code generation. The research focuses on key MDE technologies, including Domain-Specific Languages (DSLs), metamodels, and model transformation techniques. It also examines how MDE contributes to the reduction of errors, the increase in productivity, and the facilitation of collaboration in large-scale software projects. The methodology section outlines the techniques used to implement MDE in real-world software development, with examples of successful case studies. Finally, the conclusion discusses the future potential of MDE, exploring emerging trends, challenges, and the ongoing evolution of this methodology. (shrink)

What we have learnt in the last six or seven decades about virtual machinery, as a result of a great deal of science and technology, enables us to offer Darwin a new defence against critics who argued that only physical form, not mental capabilities and consciousness could be products of evolution by natural selection. The defence compares the mental phenomena mentioned by Darwin’s opponents with contents of virtual machinery in computing systems. Objects, states, events, and processes in virtual machinery which (...) we have only recently learnt how to design and build, and could not even have been thought about in Darwin’s time, can interact with the physical machinery in which they are implemented, without being identical with their physical implementation, nor mere aggregates of physical structures and processes. The existence of various kinds of virtual machinery (including both “platform” virtual machines that can host other virtual machines, e.g. operating systems, and “application” virtual machines, e.g. spelling checkers, and computer games) depends on complex webs of causal connections involving hardware and software structures, events and processes, where the specification of such causal webs requires concepts that cannot be defined in terms of concepts of the physical sciences. That indefinability, plus the possibility of various kinds of self-monitoring within virtual machinery, seems to explain some of the allegedly mysterious and irreducible features of consciousness that motivated Darwin’s critics and also more recent philosophers criticising AI. There are consequences for philosophy, psychology, neuroscience and robotics. (shrink)

Over the past decade or so, a new interdisciplinary field has emerged in the ground between, on the one hand, computer science – and artificial intelligence in particular – and, on the other, the area of philosophy concentrating on the language and structure of argument. There are now hundreds of researchers worldwide who would consider themselves a part of this nascent community. Various terms have been proposed for the area, including "Computational Dialectics," "Argumentation Technology," and "Argument-based Computing," but the (...) term that has stuck is simply Argument & Computation. It encompasses several specific strands of research, such as: . the use of theories of argument, and dialectic in particular, in the design and implementation of protocols for multi-agent action and communication; . the application of theories of argument and rhetoric in natural language processing and affective computing; . the use of argument-based structures for autonomous reasoning in artificial intelligence, and in particular, for defeasible reasoning; . computer-supported collaborative argumentation – the implementation of software tools for enabling online argument in domains such as education and e-government. These strands come together to form the core of a research field that covers parts of artificial intelligence (AI), philosophy, linguistics, and cognitive science, but, increasingly, is building an identity of its own. (shrink)

The development of the use of computers and software in art from the Fifties to the present is explained. As general aspects of the history of computer art an interface model and three dominant modes to use computational processes (generative, modular, hypertextual) are presented. The "History of Computer Art" features examples of early developments in media like cybernetic sculptures, computer graphics and animation (including music videos and demos), video and computer games, reactive installations, virtual reality, (...) evolutionary art and net art. The functions of relevant art works are explained more detailed than usual in such histories. The second edition for the Book on Demand (Lulu Press, 2020) includes an update of chapter II.1.1 (first edition 2014). (shrink)

This article makes the case that our digital devices create illusions of agency. There are times when users feel as if they are in control when in fact they are merely responding to stimuli on the screen in predictable ways. After the introduction, the second section of the article offers examples of illusions of agency that do not involve human–computer interaction in order to show that such illusions are possible and not terribly uncommon. The third and fourth sections of (...) the article cover relevant work from empirical psychology, including the cues that are known to generate the sense of agency. The fifth section of the article shows that our devices are designed to deliver precisely those cues. In the sixth section, the argument is completed with evidence that users frequently use their smartphones without the sort of intentional supervision involved in genuine agency. This sixth section includes the introduction of Digital Environmental Dependency Syndrome (DEDS) as a possible way of characterizing extended use of the smartphone without genuine agency. In the final section of the article, there is a discussion of questions raised by the main claim, including suggestions for reducing occurrences of illusions of agency through software design. (shrink)

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. (shrink)

As the newest, most savvy technology domain, Large Language Models (LLMs) are the technological force which is now revolutionizing Automated Code Review and Software Quality Assurance, making the context aware analysis, adaptive learning, and the intelligent recommendations. However, traditional code review methods are not only time consuming, but also prone to human error and are not scalable. The use of LLMs in software engineering allows for the detection of defects, optimization of performance and the maintenance of improve mental (...) quality. In this study, we examine the path of automated code review, LLM capabilities and the effect they have on software quality. LLMs clearly have great advantages, but accuracy is still a concern, false positives abound, biases lurk, and computation can be a constraint. The research also identifies areas of future advancement on the hybrid AI-human review systems as well as improved LLM architectures that understand the code significantly better for more robust reviews. (shrink)

Neural machine translation (NMT) is one of the success stories of deep learning and artificial intelligence. Revolutionary innovations in the computational architectures made in 2015–2017 have led to dramatic improvements in the quality of machine translation (MT) and changed the field forever. Some professional translators welcome these changes with enthusiasm, others less so. But everyone has to deal with them. Historically, the relationship between human translation and MT has been uneasy and complicated, but an increasing number of players in both (...) fields are now coming to view it as synergistic. -/- OPUS-CAT is a collection of machine translation software based on a Windows implementation of Marian NMT—a stable production-ready neural machine translation framework used in many industrial and research applications. It can be installed on your PC, fine-tuned to specialized translation domains, and integrated into CAT tools. (shrink)

With the capability of using virtualized resources as a service, over the Internet, and having dynamic scalability, cloud computing has started to gain momentum across many types of enterprises. It is probably going to have a big effect on the future of schooling. Cloud computing, hence, offers a great opportunity for learning institutions, especially the less privileged ones, to efficiently manage their information system without having to spend additional money purchasing more computers and networking equipment. The universities make use of (...) the cloud-based software provided by the service providers to help the completion of commercial duties as well as academic duties by their users and students respectively. The essay below will discuss some of the benefits that will accrue from cloud computing infrastructure in the educational sector, and more specifically in colleges where the usage of computers is greater. (shrink)

This is an explanation of a possible new insight into the halting problem provided in the language of software engineering. Technical computer science terms are explained using software engineering terms. No knowledge of the halting problem is required. -/- It is based on fully operational software executed in the x86utm operating system. The x86utm operating system (based on an excellent open source x86 emulator) was created to study the details of the halting problem proof counter-examples at (...) the much higher level of abstraction of C/x86. (shrink)

Unlike human soldiers, autonomous weapons systems are unaffected by psychological factors that would cause them to act outside the chain of command. This is a compelling moral justification for their development and eventual deployment in war. To achieve this level of sophistication, the software that runs AWS will have to first solve two problems: the frame problem and the representation problem. Solutions to these problems will inevitably involve complex software. Complex software will create security risks and will (...) make AWS critically vulnerable to hacking. I claim that the political and tactical consequences of hacked AWS far outweigh the purported advantages of AWS not being affected by psychological factors and always following orders. Therefore, one of the moral justifications for the deployment of AWS is undermined. (shrink)

Objective: We aimed to investigate the image quality of paranasal sinus computed tomography (CT) scans obtained with the “Advanced intelligent Clear-IQ Engine” (AICE) software and ultra-low dose parameters in patients with prediagnosed rhinitis, sinusitis or nasal septum deviation. -/- Methods: The first 50 patients (31 men and 19 women, aged 18-70 years) who agreed to participate in our prospectively planned study were included in the study. Imaging of the patients was performed with a 160-slice multidetector CT device Canon Aquilion (...) Prime SP (Canon Medical Systems, Otawara, Japan). Tube voltage of 80 kV and tube current of 40 mA were chosen. The effective radiation dose (ED) was calculated based on the “dose-length product” (DLP) information of each patient. Evaluation of images was made on reformat images made with “AiCE Bone” filter in the axial and coronal planes. All images were double-blindly evaluated by 2 radiologists out of 5 points (5 = very good; 1 = not diagnostic). The visibility of 17 bilateral important anatomical landmarks examined on paranasal sinus CT was scored (0 = not visible; 2 = completely visible). In the evaluation of images, the agreement between radiologists was evaluated with Kappa statistics. -/- Results: The median ED value of the CT protocol was 0.015±0.001 mSv [range 0.012-0.017 mSv]. The overall image quality of the images in our study was interpreted as 4 (good) or 3 (moderate) for all patients. Inter-research agreement was 92%. Most of the anatomical landmarks evaluated were completely visible. Six (bilateral of three) anatomical landmarks could be partially visible in some patients. -/- Conclusion: Combining the ultra-low dose CT protocol and the AiCE reconstruction algorithm makes it possible to achieve very low ED values ​​in paranasal sinus CT scans and still obtain sufficient image quality in indications such as septum deviation and sinusitis. (shrink)

An argument map visually represents the structure of an argument, outlining its informal logical connections and informing judgments as to its worthiness. Argument mapping can be augmented with dedicated software that aids the mapping process. Empirical evidence suggests that semester‐length subjects using argument mapping along with dedicated software can produce remarkable increases in students’ critical thinking abilities. Introducing such specialised subjects, however, is often practically and politically difficult. This study ascertains student perceptions of the use of argument mapping (...) in two large, regular, semester‐length classes in a Business and Economics Faculty at the University of Melbourne. Unlike the semester‐length expert‐led trials in prior research, in our study only one expert‐led session was conducted at the beginning of the semester and followed by class practice. Survey results conducted at the end of the semester, show that, with reservations, even this minimalist, ‘one‐shot inoculation’ of argument mapping is effective in terms of students’ perceptions of improvements in their critical thinking skills. (shrink)

The paper investigates the ethics of information transparency (henceforth transparency). It argues that transparency is not an ethical principle in itself but a pro-ethical condition for enabling or impairing other ethical practices or principles. A new definition of transparency is offered in order to take into account the dynamics of information production and the differences between data and information. It is then argued that the proposed definition provides a better understanding of what sort of information should be disclosed and what (...) sort of information should be used in order to implement and make effective the ethical practices and principles to which an organisation is committed. The concepts of “heterogeneous organisation” and “autonomous computational artefact” are further defined in order to clarify the ethical implications of the technology used in implementing information transparency. It is argued that explicit ethical designs, which describe how ethical principles are embedded into the practice of software design, would represent valuable information that could be disclosed by organisations in order to support their ethical standing. (shrink)

Undeniably, the greatest way for a Moslem to be closer to Allah, is recitation of Holy-Quran approves with the method conveyed from Messenger of Allah Mohammed from the feature of speech points of letters and the intrinsic and fleeting characteristics of the letters, So, there is a persistent need to teach all Moslems the science of Tajweed Al-Quran. ITS (Intelligent Tutoring System) is computer software that supplies direct and tailored training or response to students without human teacher interfering. (...) The main target of ITS is smoothing the learning process using the wide-ranging facilities of computer. The proposed system will be implemented using the ITSB Authoring tool. In this thesis, the researcher presents an intelligent tutoring system for teaching Reciting Al-Quran "Tajweed" with Rewaya: Hafs from ‘Aasem by the way of Shatebiyyah. It was a novel idea that the researcher combined the science of Tajweed Al-Quran and the science of artificial intelligence in his thesis. The researcher arranged the material into chapters, lessons, examples then, added all these to the proposed system. He also added questions, right answers and the level of difficulty for each lesson. He prepared an exam for each chapter and a final exam to test the knowledge of the learner in the whole material. The system was evaluated by teachers and students in reciting science and the outcome of the assessment was encouraging and promising. (shrink)

This study was conducted with the aim of developing the academic work in the Palestinian universities. No one can deny the technological stage that we are witnessing in the present era. Our mission is to use this development to develop the educational process. The Artificial Intelligence of the most important branches of computer science, which is interested in the development of computer software in order to make them simulate intelligent human, recently it emerged promised based on artificial (...) intelligence applications are intelligent tutoring system one of the most prominent of these applications is the most useful in the field of education. Intelligent tutoring system are programs that are helping the student and the teacher in the educational process, so that the student exploits these systems to increase his education and the acquisition of scientific skills, and we are not exaggerating if we say that the future of the development of the educational process is through the development of intelligent private teaching systems because it adapts to me intellectual level of the student as well as easy to use and available 24 hours every day. In this study, a smart tutor was designed using the ITSB tool developed by Prof. Sami Abu Nasser to develop the process of teaching the computer skills course. This course is a university course that teaches students of Israa University on different samples of students. After completion of the course, and evaluate the special lecturers who studied the course and used the system in the process of teaching and arrived at a set of conclusions and recommendations make sure that the use of the tutor Smart smartphone is important in the development of laboratory teaching has positive results in improving the level of scientific student . (shrink)