Incomputer Science Research Articles

MODERN TEACHING METHODS IN COMPUTER SCIENCE AND ICT

MODERN TEACHING METHODS IN COMPUTER SCIENCE AND ICT

An Analysis of the participation of women in Information and Communication Technology courses at State University of Maringá (UEM)

This paper presents an analysis about the number of incoming and graduate students,considering women and men, at the Department of Informatics (DIN) at State Universityof Maringá (UEM), in Brazil. The data were collected considering three graduate courses,Data Processing Technology (extinct in 1997), Computer Science and Informatics. Theresults show that the number of women is dropping drastically from the late 1990s. InComputer Science, from 1994 to 2016, of the 622 graduate students, 127 were women.In Informatics, from 2000 to 2016, only 38 women had graduated, of the 275 students.In 2017, there were 211 students enrolled in Computer Science, and 208 in Informatics.On average, 8.11% were women (34), being 8.65% in Informatics (18), and 7.58% inComputer Science (16). These percentages are lower than the national one in Brazil,which is 14.19%.

Systems of k Boolean inequations and a Boolean equation

In this paper elementary generalized systems of Boolean equations are investigated. The formula for solving systems of k Boolean inequations and a Boolean equation is presented. This systems have many applications in computer science for solving logical problems. Presented formulas can accelerate application of elementary generalized systems of Boolean equations.

ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2019) SUPPORTED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vancouver, Canada June 24–27, 2019

ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2019) SUPPORTED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vancouver, Canada June 24–27, 2019

NLOS Error Mitigation in Cellular Positioning using PSO Optimization Algorithm

Non-Line-Of-Sight conditions pose a major challenge to cellular radio positioning. Such conditions, when the direct Line-Of-Sight path is blocked, result in additional propagation delay for the signal, additional attenuation, and an angular bias. Therefore,many researchers have proposed various algorithms to mitigate the measured error caused by this phenomenon. This paper presentsthe procedure for improving accuracy of determining the mobile station location in cellular radio networks in Non-Line-of-Sightpropagation environment, based on the Time Of Arrival oriented estimator using the Particle Swarm Optimization algorithm. Incomputer science, Particle Swarm Optimization is an evolutionary computational method that optimizes a problem by iteratively tryingto improve a candidate solution with regard to a given measure of quality. The proposed algorithm uses the repeating Time-Of-Arrivaltest measurements using the four base stations and for simulation selects the measurement combination that give the smallest regionenclosed by the overlap of four circles. In this way, the smallest intersect area of the four Time-Of-Arrival circles is obtained, andtherefore the smallest positioning error. After that, we consider the complete problem as a combinatorial optimization problem withthe corresponding object function that represents the nonlinear relationship between the intersection of the four circles and the mobilestation location. The Particle Swarm Optimization finds the optimal solution of the object function and efficiently determines themobile station location. The simulation results show that the proposed method outperforms conventional algorithms such as theWeighted Least Squares and the Levenberq-Marquardt method.

DESIGNED FACEBOOK CLASSROOM: INNOVATION FOR IMPROVING TEACHING-LEARNING PRACTICES IN COMPUTER SCIENCE SUBJECT.

26Jun 2017 DESIGNED FACEBOOK CLASSROOM: INNOVATION FOR IMPROVING TEACHING-LEARNING PRACTICES IN COMPUTER SCIENCE SUBJECT. Eden C. Callo , Ed.D and Adora C. Baguna. Laguna State Polytechnic University, San Pablo City, Laguna, Philippines. Department of Education, Division of San Pablo City

Erratum to: Clinical Application of a Humanoid Robot in Pediatric Cancer Interventions

Asubstantial part of this paperwas published in volume 8755 of the series LectureNotes inComputer Science, page 11–22, Title of the book: Social Robotics, 6th International Conference, ICSR 2014, Sydney, NSW, Australia, October 27–29, 2014, ISBN: 978-3-319-11972-4, article title: Impact of a Social Humanoid Robot as a Therapy Assistant in Children Cancer Treatment, by Minoo Alemi, Ali Meghdari, Ashkan Ghanbarzadeh, Leila Jafari Moghadam and Anooshe Ghanbarzadeh. The authors apologize for not having referenced to the previously published article.

Colimits in the category of quadratic modules

To use of colimits to put structures together is not uncommon inmathematics; coproducts particularly of structures such as groups and vectorspaces have been known for a long time. Colimits have also been used incomputer science for example to put together labeled graphs, in system theoryetc. The importance of category for theoretical computer scientists is everydayincreasing.…nite (co)limits in the category of quadratic modules of groups by carefulconstruction of (co)product ob ject and (co)equilaser of morphisms of quadraticmodules. Moreover, we give some examples of coproduct

The status of knowledge management' productions in web of science database during 2000-2010

Science production has multiplied in many countries; this indicates the active cooperation in interdisciplinary filed such as knowledge management which has gained significant advancements through effective communication in scientific activities. This research analyses the status of publications and citations to knowledge management’ productions in web of science database dated between 200 and 2010. it was conducted through library method to collect data from WOS by searching this formula in advanced search “TE=knowledge management” during MAY 6 to 16, 2011.The results show that more than the average of scientific productions indexed in SCI section, published in English language. Total Number of citations to the scientific productions is about eight times of their total number and the growth curve of citations is increasing. Most scientific productions belong to United State and England respectively. Although there are 56 Islamic countries, the rate of their scientific productions is very low in this field. Information is separately collected and analyzed in aspects of Source titles, subject areas, institutions and authors who have most scientific productions in knowledge management. LECTURE NOTES IN COMPUTER SCIENCE journal has published 234 papers in this field. 102 subject areas which have published scientific production in knowledge management field, the most papers were indexed in COMPUTER SCIENCE area with 2040 papers. 500 institutions has cooperated in knowledge management’ scientific production, but NATL CHENG KUNG UNIV has placed in the first place with 53 papers amongst other institutions and has allocated 1.20 of total number of papers published in this field. “Review: Knowledge management and knowledge management systems: Conceptual foundations and research issues” is the hot paper with 874 citations in knowledge management field. GOTTSCHALK is the prolific author in knowledge management field with 18 papers. As regards, Knowledge sharing is an important step of knowledge management, articles related to knowledge sharing published in web of science database during 2000-2010 is analyzed base on the cooperative countries and subject areas. According to Low growth scientific productions of Islamic countries in knowledge management and knowledge sharing, it is better that researchers of universities, scientific and research centers in Islamic countries attempt increase their scientific productions in Interdisciplinary fields such as in knowledge management and knowledge sharing, and effectively develop and improve their international cooperation in the future.

The effect of using problem-solving software tutors on the self-confidence of female students

We examined whether using problem-solving software tutors in Computer Science I can help improve the self-confidence of female students. We analyzed the data collected by five software tutors in spring 2006. We found that 1) the self-confidence of female Computer Science I students before using the software tutors was in many cases lower than that of male students, as has been stated in prior literature; 2) Using problem-solving software tutors improved the self-confidence of female students to be on par with that of male students when female students started with lower prior self-confidence. Since researchers have suggested that self-confidence is one of the factors contributing to the shrinking pipeline, problem-solving software tutors can be used to improve the retention of female students in Computer Science.

Stateless programming as a motif for teaching computer science

With the development of XML Web Services, the Internet could become an integral part of and the basis for teaching computer science and software engineering. The approach has been applied to a university course for students studying introduction to computer science from the point of view of software development in a stateless, Internet environment. The feedback obtained from the course attests to its success. This article is an attempt to focus attention on stateless programming and to give this paradigm its appropriate status in computer science studies. The course could provide an alternative to traditional patterns of computer science. The walk-through presented here is a way of demonstrating this new paradigm. The starting point for the course is the understanding of the Internet environment and the stateless HTTP request, followed by the use and development of XML Web Services integrated with XML and XML schemas, databases and SQL language.

Theory-Guided Technology in Computer Science

Scientists usually identify themselves as eithertheoreticians or experimentalists, while technology –the application of science in practice – is done byengineers. In computer science, these distinctionsare often blurred. This paper examines the history ofmajor achievements in computer science as portrayed bythe winners of the prestigious Turing Award andidentifies a possibly unique activity calledTheory-Guided Technology (TGT). Researchers developTGT by using theoretical results to create practicaltechnology. The reasons why TGT is practical incomputer science are discussed, as is the coolreception that TGT has been received by softwareengineers.

Introduction

On December 5, 1997, a small conference was held at McGill on the occasion of Jim Lambek's 75th birthday. Subsequently it was decided to publish two volumes of papers contributed in his honour to mark this occasion: this issue of Mathematical Structures in Computer Science is one of the volumes; the other is Volume 6 of the journal Theory and Applications of Categories. At the December 1997 conference, a brief biographical essay was presented by Michael Barr and appears in the TAC volume. However, we wish to make some further remarks here.Jim completed his Ph.D. at McGill under Hans Zassenhaus in 1950, and has remained at McGill since then. But it is of interest to note that Jim wrote two theses: the second involved biquaternions in mathematical physics, and so foreshadows a significant feature of his career: Jim has consistently shown a remarkable range of interests, from physics to linguistics, from algebra to logic, from the history and philosophy of mathematics to the theory of computing science (although he never touches a computer, to this day!). Let us just review a small sample of his more than 100 published papers.

On changing from written to on-line tests in Computer Science I

How do on-line tests compare with written tests in Computer Science I ? Do students who do well in written tests also do well in an online test? Is an online test better or worse than a written test at assessing the problem-solving skills of a student? This paper summarizes the answers to these questions that we found during our switch from written to on-line testing.

Foreword

This special issue of Mathematical Structures in Computer Science is devoted to the Proceedings of the International Workshop Logic, Domains, and Programming Languages that took place from May 24 to 27, 1995, in Darmstadt, Germany.