Results 11 to 20 of about 770,880 (300)

Introduction to Computing and Computer Applications

, 2004
CSC 105. Introduction to Computing and Computer Applications (3) Basic computer concepts for non-CSC majors. Elements of computing systems and organization; computer communications including the Internet; applications such as word processing ...
Ricanek, Karl
core   +7 more sources

Computer Aided Verification [PDF]

, 2018
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.

core   +5 more sources

Computer Graphics in Europe

, 2022
S.62-63European research covers the whole spectrum of computer graphics topics. This enabling technology, based on modern information technology, is considered key for the future development of the European economy.1 Here is a brief overview of some ...
Encarnação, José L.
core   +1 more source

Haptics: Science, Technology, Applications [PDF]

, 2020
This open access book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020, held in Leiden, The Netherlands, in September 2020.

core   +2 more sources

Supporting Teachers to Monitor Student’s Learning Progress in an Educational Environment With Robotics Activities

IEEE Access, 2020
Educational robotics has proven its positive impact on the performances and attitudes of students. However, the educational environments that employ them rarely provide teachers with relevant information that can be used to make an effective monitoring ...
Samantha Orlando, Elena Gaudioso, Felix De La Paz   +2 more
doaj   +1 more source

Using IoT Protocols in Real-Time Systems: Protocol Analysis and Evaluation of Data Transmission Characteristics

Journal of Computer Networks and Communications, 2022
In the Internet of things, many data transfer protocols are used for various tasks. In this article, we consider the application layer protocols that are the main ones for transmitting messages in the IoT.
Andrei Gavrilov, Marlen Bergaliyev, Sergey Tinyakov, Kirill Krinkin, Pavel Popov   +4 more
doaj   +1 more source

Applications of computer science in Pharmacy: An overview

National Journal of Physiology, Pharmacy and Pharmacology, 2012
Computer is mandatory in this advanced era and pharmacy and related subjects are not exception to it. This review mainly focuses on the various applications, softwares and use of computers in pharmacy.
Shivraj Popat Jadhav, Komal Nikam, Anand Gandhi, Kishor Salunkhe, Narendra Shinde.   +4 more
doaj   +1 more source

09471 Executive Summary – Computer-assisted proofs - tools, methods and applications [PDF]

, 2010
From November 15-20, 2009, the Dagstuhl seminar on "Computer-assisted proofs - tools, methods and applications" continued a series of previous successful seminars. Participants from 10 different countries presented recent results in verification methods,
Rump, Siegfried M., Brown, Malcolm B., Oishi, Shin'ichi, Kaltofen, Erich   +3 more
core   +1 more source

Multi-level and Multi-component Bitmap Encoding for Efficient Search Operations [PDF]

Database Systems Journal, 2012
The growing interest in data warehousing for decision makers is becoming more and more crucial to make faster and efficient decisions. On-line decision needs short response times.
Madhu BHAN, Department of Computer Applications, RAJANIKANTH K, Department of Computer Applications, Suresh KUMAR T.V   +2 more
doaj  

External Clustering Validation using ARI, NMI and FMI [PDF]

ITM Web of Conferences
Clustering validation is essential for assessing the quality of unsupervised learning results, yet individual external metrics often fail to provide a complete evaluation.
S Shilpa, K P Shailaja, S G Nischitha, Vishwanath Hegde Navya, Krishna Teja Kondoju   +4 more
doaj   +1 more source