Search results

Items from 1 to 20 out of 10,010 results

article

Koncepcja automatyzacji Leonarda Torresa y Quevedo jako przyczynek do rozwoju computer science

Piotr Urbańczyk

Semina Scientiarum > 2015 > 14

The aim of this article is to indicate that the ideas of Leonardo Torres y Quevedo presented in his short Essays on Automatics constitute essential link between early Babbage’s concepts of analytical engine and modern computer science. These ideas include definition of automatics, classification of automata, theoretical basis for robotics, electromechanical engineering, modern concept of chatbot,...

chapter

To GPU synchronize or not GPU synchronize?

Wu-chun Feng, Shucai Xiao

Proceedings of 2010 IEEE International Symposium on Circuits and Systems > 3801 - 3804

2010 IEEE International Symposium on Circuits and Systems. ISCAS 2010

The graphics processing unit (GPU) has evolved from being a fixed-function processor with programmable stages into a programmable processor with many fixed-function components that deliver massive parallelism. By modifying the GPU's stream processor to support “general-purpose computation” on the GPU (GPGPU), applications that perform massive vector operations can realize many orders-of-magnitude...

article

Preface to special issue on contemporary problems of computer science, physics and applied mathematics

Piotr A. Kowalski, Szymon Łukasik, Piotr Kulczycki

Journal of Automation Mobile Robotics and Intelligent Systems > 2019 > Vol. 13, No. 3 > 39--40

article

Belonging uncertainty as predictor of dropout intentions among first-semester students of the computer sciences

Elisabeth Höhne, Lysann Zander

Zeitschrift für Erziehungswissenschaft > 2019 > 22 > 5 > 1099-1119

With the fast-growing sector of information technology in digitizing societies, the attraction and education of qualified recruits in computer science becomes a key task of tertiary education. Considering the high dropout rates and the continuing gender gap in computer science, the current study builds on the “leaky pipeline” phenomenon of women in STEM (science, technology, engineering, and mathematics)...

article

A survey of challenges for runtime verification from advanced application domains (beyond software)

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, more

Formal Methods in System Design > 2019 > 54 > 3 > 279-335

Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors. Other activities involve the instrumentation of the system to...

article

A Cognitive Reformation

Ashok Goel

Topics in Cognitive Science > 11 > 4 > 892 - 901

Although cognitive science started in the 1970s as a multidisciplinary field with the goal of becoming an interdisciplinary one over time, it is now dominated by cognitive psychology. The question becomes whether this matters, and if it does, what should cognitive scientists do about it? I propose that the multidisciplinarity and interdisciplinarity of cognitive science does matter because it leads...

article

Predicting the research performance of early career scientists

Danielle H. Lee

Scientometrics > 2019 > 121 > 3 > 1481-1504

This paper examines how early career-related factors can predict the future research performance of computer and information scientists. Although a few bibliometric studies have previously investigated multiple factors relating to early career scientists that significantly predict their future research performance, there have been limited studies on early career-related factors affecting scientists...

article

Understanding Pasifika Students’ Engagement with Computer Science: A New Zealand-Based Case Study

Jessica Tupou, Judith Loveridge

New Zealand Journal of Educational Studies > 2019 > 54 > 2 > 277-296

Computer Science (CS) education is being increasingly included in primary school curricula across New Zealand. As a group, Pasifika students are less likely to engage with CS at tertiary level and in the workforce, so understanding more about their engagement with school level CS seems important. A multiple case-study design was used to explore the nature of engagement with CS for six Year 7 and 8...

article

Hierarchical LSTM network for text classification

Keivan Borna, Reza Ghanbari

SN Applied Sciences > 2019 > 1 > 9 > 1-4

Text classification has always been an important and practical issue so that we need to use the computer to classify and discover the information in the text. If we want to recognize the offending words in a text without human intervention, we should use this. In this article we will compare recurrent neural networks, convolutional neural networks and hierarchical attention networks with detailed...

article

SOZE® innowacyjny system wykorzystujący sztuczną inteligencję do sterowania i zarządzania ciepłem w budynkach

Witold Chmielnicki, Eryk A. Chmielnicki

Ciepłownictwo, Ogrzewnictwo, Wentylacja > 2019 > T. 50, nr 8 > 283--294

Zapewnienie odpowiednich warunków w budynkach sektora komunalno-bytowego, wymaga dostarczenia odpowiedniej ilości ciepła. W niektórych gałęziach przemysłu ciepło jest także potrzebne do technologii. Jeśli nośnikiem ciepła jest woda, przekazywanie wówczas tego ciepła odbywa się za pośrednictwem wymienników. Do zapewnienia wymaganych parametrów cieplnych w danym procesie stosowana jest wówczas regulacja...

article

SART3D: A MATLAB toolbox for spatial audio and signal processing education

Maximo Cobos, Sandra Roger

Computer Applications in Engineering Education > 27 > 4 > 971 - 985

Signal processing courses form usually a common block within the curriculum of electrical engineering and computer science undergraduate studies. While signal processing is the science behind many technologies used in our everyday life, students usually feel that the practical use of signal processing subjects is obscured due to their intensive theoretical perspective. In this context, audio signal...

article

Accessibility Testing of European Health-Related Websites

Cecilia Sik-Lanyi, Éva Orbán-Mihálykó

Arabian Journal for Science and Engineering > 2019 > 44 > 11 > 9171-9190

The current development of the Internet and its growing use make it necessary to satisfy the needs of users with disabilities. The primary objective of this study is to examine healthcare-related websites in nine European countries in order to evaluate the status of their accessibility. Such a detailed statistical comparison has not yet been made in Europe, especially as the present study offers a...

article

Code comprehension as a distributed construction of meanings

Piotr Cofta

Biuletyn Wojskowej Akademii Technicznej > 2019 > Vol. 68, nr 2 > 23--41

Code comprehension, a sub-domain of reverse engineering and software maintenance, does not provide useful explanation of common situations where developers, distributed and isolated from each other in time and space, come to a similar understanding of a code. This limits our ability to develop tools to support this popular aspect of code comprehension. This paper investigates this phenomenon from...

article

Informatics, Information Science, and Computer Science

V. A. Yatsko

Scientific and Technical Information Processing > 2018 > 45 > 4 > 235-240

In this paper, we draw a distinction between information and computer sciences in terms of their objects and directions of research. In terms of the operating mode, we distinguish among automatic, automated, semi-automatic, and assistant systems and show that in each application domain there can be different configurations of these systems at different periods of time. In addition, we analyze the...

article

Theoretical and Applied Aspects of Automating Multivariate Analysis Procedures

O. V. Syuntyurenko

Automatic Documentation and Mathematical Linguistics > 2018 > 52 > 6 > 275-281

This paper addresses some important theoretical and applied aspects of modern computer science that are associated with analytical processing of scientific, technical, and economic information. The main trends in using automated non-parametric procedures for logical and mathematical processing of arrays (flows) of digital data are discussed. Some methodological aspects of developing new technological...

article

EDUKACJA – TECHNIKA – INFORMATYKA

Edukacja-Technika-Informatyka > 2019 > 10 > 3 > 1

EDUKACJA – TECHNIKA – INFORMATYKA

article

Digital Works jako narzędzie wspomagające kształcenie inżynierów informatyki w zakresie symulacji cyfrowych układów logicznych

KONRAD GAUDA

Edukacja-Technika-Informatyka > 2019 > 10 > 3 > 251-256

W artykule poruszone są zagadnienia związane z miejscem i rolą architektury komputerów w procesie kształcenia informatycznego studentów. W dalszej części ukazane są przykładowe możliwości wykorzystywania aplikacji Digital Works w zakresie projektowania, budowy i symulacji cyfrowych układów sekwencyjnych.

article

Can a Robot Be Grateful? Beyond Logic, Towards Religion

Stanisław Krajewski

Eidos. A Journal for Philosophy of Culture > 2018 > 2 > 4(6) > 4–13

Philosophy should seriously take into account the presence of computers. Computer enthusiasts point towards a new Pythagoreanism, a far reaching generalization of logical or mathematical views of the world. Most of us try to retain a belief in the permanence of human superiority over robots. To justify this superiority, Gödel’s theorem has been invoked, but it can be demonstrated that this is not...

article

Satisfiability versus Finite Satisfiability in Elementary Modal Logics

J. Michaliszyn, J. Otop, P. Witkowski

Fundamenta Informaticae > 2018 > Vol. 163, nr 2 > 165--188

We study variants of the satisfiability problem of elementary modal logics, i.e., modal logic considered over first-order definable classes of frames. The standard semantics of modal logic allows infinite structures, but often practical applications require to restrict our attention to finite structures. A number of decidability and undecidability results for the elementary modal logics were proved...

article

Gender and student course preferences and course performance in Computer Science departments: A case study

Berdousis Ioannis, Kordaki Maria

Education and Information Technologies > 2019 > 24 > 2 > 1269-1291

The study of gender differences in Computer Science (CS) has captured the attention of many researchers around the world. Over time, research has revealed that negative stereotypes and ‘myths’ about the cognitive skills, academic abilities and interests of females in CS do exist, deterring females from entering the field. Thus, this study aims to shed light on the aforementioned stereotypes and ‘myths’...

Publication date

Last year (11)
Last 3 years (690)

Close

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

From:

To:
Set your own date range

Content availability

Available (9,864)
None (146)

Publication type

book (7,911)
article (2,099)

Publication language

English (9,955)
Polish (59)
German (5)
Czech (2)
French (2)
Russian (2)
Slovak (2)
Ukrainian (1)

Keywords

Data set

ieee (9,699)
Springer (123)
Elsevier (79)
BazTech (59)
CEJSH (33)
Wiley (12)
Agro (5)

INFONA - science communication portal

Search results

Koncepcja automatyzacji Leonarda Torresa y Quevedo jako przyczynek do rozwoju computer science

To GPU synchronize or not GPU synchronize?

Preface to special issue on contemporary problems of computer science, physics and applied mathematics

Belonging uncertainty as predictor of dropout intentions among first-semester students of the computer sciences

A survey of challenges for runtime verification from advanced application domains (beyond software)

A Cognitive Reformation

Predicting the research performance of early career scientists

Understanding Pasifika Students’ Engagement with Computer Science: A New Zealand-Based Case Study

Hierarchical LSTM network for text classification

SOZE® innowacyjny system wykorzystujący sztuczną inteligencję do sterowania i zarządzania ciepłem w budynkach

SART3D: A MATLAB toolbox for spatial audio and signal processing education

Accessibility Testing of European Health-Related Websites

Code comprehension as a distributed construction of meanings

Informatics, Information Science, and Computer Science

Theoretical and Applied Aspects of Automating Multivariate Analysis Procedures

EDUKACJA – TECHNIKA – INFORMATYKA

Digital Works jako narzędzie wspomagające kształcenie inżynierów informatyki w zakresie symulacji cyfrowych układów logicznych

Can a Robot Be Grateful? Beyond Logic, Towards Religion

Satisfiability versus Finite Satisfiability in Elementary Modal Logics

Gender and student course preferences and course performance in Computer Science departments: A case study

Filter options

Publication date

Content availability

Publication type

Publication language

Keywords

Data set

INFONA - science communication portal

Search results

Add recipient

Sending message cancelled

Are you sure you want to cancel sending this message?

Send message

Filter options

Publication date

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

Content availability

Publication type

Publication language

Keywords

Data set

Reporting an error / abuse

Sending the report failed

Accessibility options