Computer Science

Every person has his/her own unique signature that is used mainly for the purposes of personal identification and verification of important documents or legal transactions. There are two kinds of signature verification: static and dynamic. Static(off-line) verification is the process of verifying an electronic or document signature after it has been made, while dynamic(on-line) verification takes place as a person creates his/her signature on a digital tablet or a similar device. Offline signature verification is not efficient and slow for a (...) large number of documents. To overcome the drawbacks of offline signature verification, we have seen a growth in online biometric personal verification such as fingerprints, eye scan etc. In this paper we created CNN model using python for offline signature and after training and validating, the accuracy of testing was 99.70%. (shrink)

Some generative linguists have long maintained that human beings exhibit a species-specific form of intellectual freedom expressible through natural language. With roots in Descartes’ effort to distinguish humans from machines, it is the human use of their linguistic capacity that demonstrates a unique intellectual and creative potential. This “creative aspect of language use,” or CALU, is typically conceived as neither determined nor random yet appropriate to the circumstances of its use. CALU is therefore taken to be beyond the scope of (...) computation. This paper argues that there is substance to this claim and that CALU is likely an unreachable threshold for artificial intelligence (AI) developed via computational means. Background is provided by distinguishing the Cartesians’ original “language test” from Turing’s later “Imitation Game” for machine intelligence. Moreover, it is shown how Turing’s work on computability theory allowed generative linguists to reformulate the original Cartesian problem of language use in the twentieth century. The paper proceeds to show why generative Large Language Models do not reproduce CALU. Then, it argues that characteristics relevant to human intelligence such agency and embodiedness—while conceivable in future AI systems via computation—are insufficient for attaining CALU. Language use’s non-teleological nature, in contrast to these characteristics, poses a formidable challenge to AI via computation. Finally, clarifying remarks are offered on the problems posed by testing for CALU, with contrasts to Turing’s Imitation Game and tests designed in its lineage. (shrink)

Cooperation is vital to our survival and progress. Evolutionary game theory offers a lens to understand the structures and incentives that enable cooperation to be a successful strategy. As artificial intelligence agents become integral to human systems, the dynamics of cooperation take on unprecedented significance. The convergence of human-agent teaming, contract theory, and decentralized frameworks like Web3—grounded in transparency, accountability, and trust—offers a foundation for fostering cooperation by establishing enforceable rules and incentives for humans and AI agents. We conceptualize Incentivized (...) Symbiosis as a social contract between humans and AI, inspired by Web3 principles and encoded in blockchain technology, to define and enforce rules, incentives, and consequences for both parties. By exploring this paradigm, we aim to catalyze new research at the intersection of systems thinking in AI, Web3, and society, fostering innovative pathways for cooperative human-agent coevolution. (shrink)

This article explores the profound impact of Artificial Intelligence (AI) on the realm of religion, exploring the potential for AI to catalyze the birth of new world religions and break the "Solomon's Cycle." Drawing inspiration from King Solomon's timeless declaration, "There is nothing new under the sun," the article examines the challenges faced by new religions in a world dominated by established faiths and traditions. By leveraging the transformative capabilities of AI to inspire creativity, foster cross-cultural dialogue, provide ethical guidance, (...) build virtual communities, and personalize spiritual experiences, individuals are empowered to transcend historical barriers and forge new paths of spiritual exploration. The fusion of AI and human ingenuity holds the promise of birthing diverse, inclusive, and dynamic belief systems that resonate with the complexities of our contemporary world. (shrink)

In our research about Fuzzy Time and modeling time, "Unexpected Hanging Paradox" plays a major role. Here, we compare this paradox to the Zeno Paradox and the relations of them with our standard models of continuum and Fuzzy numbers. To do this, we review the project "Fuzzy Time and Possible Impacts of It on Science" and introduce a new way in order to approach the solutions for these paradoxes. Additionally, we have a more general discussion about paradoxes, as Philosophical back (...) ground of the subject and in this way, we introduce the concepts of General View, the first picture, BBF-General View. (shrink)

I believe something like the following happens. I write a 2 dimensional game with ladders in it. The main character can climb up ladders. An optimizer comes along and says, "I am a better coder than you. I can code that game with a much faster ladder climbing function." What I do next time is design a game with some broken ladders, like Donkey Kong. You can climb up a bit of the ladder and then get stuck. I do that (...) because I have worked out that the optimizer cannot write a faster ladder climbing function than me when some of the ladders are broken. To do that, I have to be working outside the division of labour between coder and game designer. (shrink)

CAT4 is proposed as a general method for representing information, enabling a powerful programming method for large-scale information systems. It enables generalised machine learning, software automation and novel AI capabilities. It is based on a special type of relation called CAT4, which is interpreted to provide a semantic representation. This is Part 2 of a five-part introduction. The focus here is on defining key mathematical properties of CAT2, identifying the topology and defining essential functions over a coordinate system. The analysis (...) is from first principles. This develops on from the axioms introduced in Part 1. The interpretation of fact networks is introduced in Part 3, and the full application to semantic theory comes in Part 4, where we introduce general functions, including the language interpretation or linguistic functions. In Part 5, we turn to software design considerations, to show how files, indexes, functions and screens can be defined to implement a CAT4 system efficiently. (shrink)

(This is one of the essays to be included in a book examining the causes of day-to-day strife in the populations of modern democracies vying to live and assert the freedoms promised to them by systems of governance supposed and expected to represent them.) "The artisan of old, the artist, the researcher, the developer, and the scientist today have this in common, that in refining, perfecting and pushing the boundaries of their respective crafts, they cannot achieve satisfaction or adequately perform (...) without simultaneously and progressively adapting, re-configuring, developing, and continuously changing the techniques and approaches they employ together with the tools and parameters for gauging actual success within the realm that only rigorous acquaintance, imaginative freedom, cross-functional, multifaceted learning, and distributive interaction may allow.". (shrink)

This book serves as an introduction to mathematical logic for STEM (Science, Technology, Engineering, and Mathematics) students, written for undergraduates (in particular, 1st and 2nd year undergraduates). A focus on this book is on logical thinking, not simply rote memorization, with a focus on examples and analogies relevant to students aimed at becoming technical leaders and problem solvers. This book includes propositional logic, set theory, functions and relations, and more, with coding examples provided in the Python programming language.

This paper argues that Maximum Likelihood Estimation (MLE) is the wrong approach for parameter estimation, both conceptually and in its results. We propose a new estimation method, called PLE, that offers four benefits over MLE: 1) PLE produces less biased estimates of the true parameters 2) PLE reduces overfitting 3) PLE more fairly represents minority (low-frequency) data and 4) PLE is more resilient to MAD collapse. We show how these benefits result from PLE's incorporation of counterfactual samples.

Dữ liệu trên RDocumentation (CRAN) cho thấy phần mềm máy tính bayesvl có lượng download trong tháng 1/2024 cao vượt bậc so với tháng 12/2023, tăng 164%. Sự hào hứng này đã cho tôi động lực tiếp tục tìm hiểu mức độ lan tỏa của bayesvl. Nhờ thế nên tôi mới phát hiện ra 2 thông tin thú vị.

Long Range and short range, guns and violence, everyday life in cities and streets, between social and group identity and faith and religious belief, the vision to the "things of the world that cannot be seen" (Heróis do Mar).

In a first investigation, a Lacan-motivated template of the Poe story is fitted to the data. A segmentation of the storyline is used in order to map out the diachrony. Based on this, it will be shown how synchronous aspects, potentially related to Lacanian registers, can be sought. This demonstrates the effectiveness of an approach based on a model template of the storyline narrative. In a second and more Comprehensive investigation, we develop an approach for revealing, that is, uncovering, Lacanian (...) register relationships. Objectives of this work include the wide and general application of our methodology. This methodology is strongly based on the “letting the data speak” Correspondence Analysis analytics Platform of Jean-Paul Benzécri, that is also the geometric data analysis, both qualitative and quantitative analytics, developed by Pierre Bourdieu. (shrink)

Data on RDocumentation (CRAN) shows that the bayesvl R package had an exceptionally high number of downloads in January 2024 compared to December 2023, with an increase of 164%. This excitement motivated me to investigate the extent of bayesvl’s spread further, leading to the discovery of two interesting pieces of information.

We review the progress of the Mindsponge concept and the bayesvl R package in scientific research from 2018 to 2021.

The rapid advancement of Information Technology (IT) platforms and programming languages has transformed the dynamics and development of human society. The cyberspace and associated utilities are expanding, leading to a gradual shift from real-world living to virtual life (also known as cyberspace or digital space). The expansion and development of Natural Language Processing (NLP) models and Large Language Models (LLMs) demonstrate human-like characteristics in reasoning, perception, attention, and creativity, helping humans overcome operational barriers. Alongside the immense potential of artificial intelligence (...) (AI) are new security loopholes and more complex information security risks. As society is still trying to transition to a new phase to adapt to technological changes, the AI revolution continues to unfold, necessitating a reconsideration of the trajectory of societal transformation as it could exacerbate the aforementioned information security risks. Specifically, how should society evolve to keep pace with the transformative impact of the current AI technology wave? How can we manage and harness their power while ensuring information security as our presence in the virtual world increases? This article aims to shed light on and address these questions. (shrink)

Conversion of mind, due to some experience and knowledge, plus a lot of patience.

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs to (...) be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)

Abstract: As artificial intelligence (AI) technologies rapidly evolve and permeate various aspects of society, the need for effective regulation and governance has become increasingly critical. This paper explores the current landscape of AI regulation, examining existing frameworks and their efficacy in addressing the unique challenges posed by AI. Key issues such as ensuring compliance, mitigating biases, and maintaining transparency are analyzed. The paper also delves into ethical considerations surrounding AI governance, emphasizing the importance of fairness and accountability. Through case studies (...) of different regulatory approaches and their outcomes, the paper highlights both successes and areas for improvement. Finally, it offers insights into future directions for AI regulation, advocating for innovative policies and enhanced international cooperation to ensure that AI technologies are developed and deployed responsibly. This comprehensive analysis aims to contribute to the ongoing discourse on creating robust regulatory mechanisms that can keep pace with the rapid advancement of AI. (shrink)

Self-control requires intentionally resisting what we most want to do. Yet we do what we most want to do, if we do anything intentionally at that time (The Law of Desire). Therefore, self-control is impossible. So runs a well-studied puzzle. The three standard accounts assume that if a desire is our strongest desire, then it is stronger than all others. But that assumption is false. For we may have desires of equal strength. I describe cases which feature tied desires, self-control, (...) and doing what we most want to do. Following insights from computer science (Buridan’s Principle), equal-strength desires are possible any time we try to decide. My proposal may also be used to bolster all three standard analyses. (shrink)

At its core this book is concerned with logic and computation with respect to the mathematical characterization of sentient biophysical structure and its behavior. -/- Three related theories are presented: The first of these provides an explanation of how sentient individuals come to be in the world. The second describes how these individuals operate. And the third proposes a method for reasoning about the behavior of individuals in groups. -/- These theories are based upon a new explanation of experience in (...) nature, the construction of senses, and motile behavior. This new approach is developed from first principles to enable a rigorous and systematic explanation of the variety of associated intelligent behaviors. -/- Alongside this development is a further account that focuses upon the nature of our work. It discusses the existential aspects of scientific inquiry, its epistemology and logic. It seeks to clarify the nature of the mathematical characterization and computation of natural behaviors, dealing with questions in the foundations of logic. It explores methodological issues related to reduction and the refinement of ideas from intuition to formal logical structure. -/- In support of this inquiry we work toward the development of a calculus for biophysical construction and its dynamics. If successful this mechanics mathematically characterizes sensory and motile behavior. -/- Upon this foundation we propose a model of apprehension and explore how its products are processed by the organism. Finally, we develop a probabilistic theory that enables us to reason about inaccessible factors in group behavior. -/- The mechanics we propose suggests the design and physical realization of a new model of computation; one in which structure and the concurrency of action are a first-order consideration. -/- We identify opportunities for experimental verification of the theory and we suggest a proof of our results in practice by the identification of this mechanism, allowing the construction of machines that experience. (shrink)

It is argued that logic, and in particular mathematical logic, should play a key role in the undergraduate curriculum for students in the computing fields, which include electrical engineering (EE), computer engineering (CE), and computer science (CS). This is based on 1) the history of the field of computing and its close ties with logic, 2) empirical results showing that students with better logical thinking skills perform better in tasks such as programming and mathematics, and 3) the skills students are (...) expected to have in the job market. Further, the authors believe teaching logic to students explicitly will improve student retention, especially involving underrepresented minorities in STEM, whose rate of attrition is higher than for non-minority students. Though this work focuses specifically on the computing fields, these results demonstrate the importance of logic education to STEM (science, technology, engineering, and mathematics) as a whole. (shrink)

Emotions are a central aspect of communication. Consequently, emotion analysis (EA) is a rapidly growing field in natural language processing (NLP). However, there is no consensus on scope, direction, or methods. In this paper, we conduct a thorough review of 154 relevant NLP publications from the last decade. Based on this review, we address four different questions: (1) How are EA tasks defined in NLP? (2) What are the most prominent emotion frameworks and which emotions are modeled? (3) Is the (...) subjectivity of emotions considered in terms of demographics and cultural factors? and (4) What are the primary NLP applications for EA? We take stock of trends in EA and tasks, emotion frameworks used, existing datasets, methods, and applications. We then discuss four lacunae: (1) the absence of demographic and cultural aspects does not account for the variation in how emotions are perceived, but instead assumes they are universally experienced in the same manner; (2) the poor fit of emotion categories from the two main emotion theories to the task; (3) the lack of standardized EA terminology hinders gap identification, comparison, and future goals; and (4) the absence of interdisciplinary research isolates EA from insights in other fields. Our work will enable more focused research into EA and a more holistic approach to modeling emotions in NLP. (shrink)

Abstract: Vegetables that are popular and versatile over the world are peppers. Precise categorisation of pepper cultivars is vital for multiple uses, such as assessing market trends, regulating quality, and conducting genetic research. Classifying peppers using traditional methods can be subjective and time-consuming. This research proposes an automated pepper variety classification method based on deep learning. A deep convolutional neural network (CNN) model was trained on a dataset of 2,368 photos of peppers. With the purpose of accurately classifying the pepper (...) photos, the CNN was built to extract essential features from them. The trained model demonstrated its efficacy in differentiating between pepper varieties with an astounding accuracy of 100% on a held-out test set. Deep learning has the capacity to classify peppers accurately and efficiently, as this study shows. The suggested strategy can help the food processing, quality control, and agriculture sectors advance. (shrink)

Abstract: As artificial intelligence (AI) systems become increasingly complex and pervasive, the need for transparency and interpretability has never been more critical. Explainable AI (XAI) addresses this need by providing methods and techniques to make AI decisions more understandable to humans. This paper explores the core principles of XAI, highlighting its importance for trust, accountability, and ethical AI deployment. We examine various XAI techniques, including interpretable models and post-hoc explanation methods, and discuss their strengths and limitations. Additionally, we present case (...) studies demonstrating the practical applications of XAI across diverse domains such as healthcare, finance, and autonomous systems. The paper also addresses the ongoing challenges and outlines future research directions aimed at enhancing the effectiveness and applicability of XAI. By bridging the gap between complex AI systems and human understanding, XAI plays a pivotal role in fostering more reliable and responsible AI technologies. (shrink)

Abstract. This study investigates the application of convolutional neural networks (CNNs) to the task of classifying male and female eyes. Using a dataset of eye images, the research explores the potential of deep learning to accurately distinguish between the genders based solely on eye features. The proposed CNN model achieved 94% accuracy on the training set and 91% on the validation set. The study addresses the challenges and limitations in feature extraction from eye images and compares the proposed model with (...) traditional machine learning approaches. The results demonstrate the model's robustness, providing significant insights into gender recognition through partial facial analysis. (shrink)

Abstract. This study explores the use of convolutional neural networks (CNNs) for classifying different pineapple varieties, specifically pineapples and mini pineapples. By using a dataset of pineapple images, the research demonstrates the effectiveness of a pre-trained VGG16-based CNN model in accurately classifying these fruit categories. The model achieved over 99% accuracy on both the training and validation sets. The performance of the CNN was compared to traditional machine learning algorithms to highlight the advantages of deep learning in image classification tasks. (...) The results underscore the model’s ability to generalize well to the classification task, offering insights into feature extraction from complex image datasets. (shrink)

Abstract: Abstract: The classification of nuts is crucial for food security; nevertheless, accurate and swift identification continues to be a challenge in numerous areas due to insufficient infrastructure. The rise in smartphone utilization, along with advancements in computer vision driven by deep learning, has facilitated smartphone-assisted nut classification. We trained a deep convolutional neural network to categorize five distinct nut types (Chestnut, Hazelnut, Nut Forest, Nut Pecan, and Walnut) using a public dataset of 2,850 photos gathered under controlled conditions. The (...) model attained an accuracy of 98.37% on a reserved test set, illustrating the viability of this method. This approach offers a viable avenue for large-scale smartphone-assisted nut categorization. (shrink)

Abstract: In modern agriculture, ensuring the quality of crops plays a vital role in enhancing production and minimizing waste. This research focuses on the classification of lemon plants into two categories: good quality and bad quality, using deep learning techniques. We employ convolutional neural networks (CNN) to develop a classification model that can accurately predict plant quality based on images. Through a structured pipeline involving data collection, preprocessing, model design, and evaluation, we demonstrate the effectiveness of CNNs in performing quality (...) assessments. This paper discusses the experimental results in applying deep learning to agricultural tasks. (shrink)

Abstract: This research focuses on the classification of nine varieties of dates using deep learning techniques. The study aims to develop an accurate and efficient model capable of identifying different types of dates based on images. A Convolutional Neural Network (CNN) was employed, trained on a dataset comprising thousands of date images, processed to enhance classification performance. The model was evaluated on multiple metrics, achieving high accuracy rates, demonstrating the feasibility of using deep learning in date classification. This approach can (...) significantly aid in automating the identification process, which is crucial for the agricultural industry. The results indicate that deep learning techniques offer a robust solution for the classification of date varieties, with potential applications in quality control and market sorting. (shrink)

The “sloppy models” program originated in systems biology, but has seen applications across a range of fields. Sloppy models are dependent on a large number of parameters, but highly insensitive to the vast majority of parameter combinations. Sloppy models proponents claim that the program may explain the success of science. I argue that the sloppy models program can at best provide a very partial explanation. Drawing a parallel with renormalization group realism, I argue that it would only give us grounds (...) for a minimal kind of scientific realism. Nonetheless, the program can offer certain epistemic virtues. (shrink)