Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
How diverse are the ways that programming is done? While a variety of accounts exist, each appears in isolation, neither framed in terms of a distinct practice, nor as one of many such practices. In this work we explore accounts spanning software engineering, bricolage/tinkering, sketching, live coding, code-bending, and hacking. These practices of programming are analyzed in relation to ongoing research,...
The emergence of social media platforms has provided voluminous amounts of opinionated data. As businesses look to understand and exploit these variegated means of online expression, it has become necessary to automate the process of detecting the panorama of underlying themes. A challenging task is to detect the gradual transitions of context that occur within a text. In this work, we introduce an...
Twitter is a source of sharing and communicate recent information, ensuing into huge size of records produces every day. Even though, a various applications of Natural Language Processing and Information Retrieval go through rigorously from an erroneous and tiny nature of tweets. We thought to implement a framework in support of segmentation of tweet by collection form, called as HybridSeg. During...
Virtual agents are artificial intelligent artifacts that mimic natural conversations with users. The media equation posits that human-agent interaction mirrors the social cues prevalent in human-to-human relationship. As such, personality adaptation-convergence (similarity-attraction) and divergence (complementary-attraction) in human-agent interaction have been explored, particularly in the context...
Satisfiability Checking is a relatively young research area, aiming at the development of efficient software technologies for checking the satisfiability of existentially quantified logical formulas. Besides the success story of SAT solving for propositional logic, SAT-modulo-theories (SMT) solvers offer sophisticated solutions for different theories. When targeting arithmetic theories, SMT solvers...
Service-dominant logic, called S-D logic, proposed a new thought oftheoretical foundation for service economy from a service centricviewpoint, but basic terms and their relationship are not representedin technical form. We first formalize S-D logic in a mathematical form. In addition to the terms that have already been introduced in S-D logic, we define terms of 'capability' and 'potential'. These...
Digital access to large amount of heterogeneous data can create methodological biases regarding the discovery and exploitation of resources, particularly when it comes to Social Sciences. In order to provide relevant adaptivity for social scientists, it is important to fully consider their research practice diversity. To do so, we consider an activity-based approach for researchers' information search...
There are three main classes of modifiers that can affect the polarity of the sentiments described in natural language texts: negations, intensifiers and diminishers. In this paper, we concentrate on the study of these particular words which have a very important semantic role in any natural language description. Our study is applied on a real data set extracted from the popular Romanian Web site...
As the size of data table grows, the concepts generated become larger in number. Making sure the set of extent remaining unchanged, the purpose of attribute reduction of concept lattice is to find out minimum subsets of attributes and make knowledge presented by concept lattice simpler, decision problem simplified as well. This paper introduced the definition of introducer which was minimum closure...
We present the results of a pilot study that investigates if and how people judge the trustworthiness of a robot during social Human-Robot Interaction (sHRI). Current research in sHRI has observed that people tend to interact with robots socially. However, results from neuroscience suggests people use different cognitive mechanisms interacting with robots than they do with humans, leading to a debate...
In the current context of the information era, the teaching model of universities' environmental artistic design has undergone a great change. The Decoration Materials and Construction is an important professional course of the universities' environmental artistic design major, and also a course with an extremely big difficulty of cultivating talents. Starting from the teaching model of the environmental...
As part of the POGIL Teaching to Increase Diversity and Equity in STEM (TIDES) project, seven instructors at five institutions adopted Process Oriented Guided Inquiry Learning (POGIL) activities for their first-year courses. These POGIL activities were designed to regularly prompt students to reflect on the relevance of the curriculum to their own lives, but instructors did not successfully incorporate...
Certification has been proved as an essential mechanism for achieving different security properties in new systems. However, it has important advantages; among which we highlighted the increasing in users trust by means of attesting security properties, but it is important to consider that in most of cases the system that is subject of certification is considered to be monolithic, and this feature...
This paper defines a model of a special type of digital forensics tools, known as digital media preparation forensic tools, using the formal refinement language Event-B. The complexity and criticality of many types of computer and Cyber crime nowadays combined with improper or incorrect use of digital forensic tools calls for the evidence produced by such tools to be able to meet the minimum admissibility...
Former literature reviews or research syntheses on digital game-based learning have provided important results, but little is known about the use of digital games in specific learning domains, with language education being one fertile area for additional research. While the use of digital games for educational purposes varies in different contexts, understanding the emerging trends of how digital...
Information and Communication Technologies (ICTs) have played a major role in shaping our society, affecting nearly all aspects of our daily lives. In educational contexts, the ongoing technological revolution we are experiencing naturally calls for a transformation of traditional teaching and learning processes. The integration and efficient use of emergent technologies have become fundamental challenges...
This study conducted a preliminary investigation on the correlations between learners' EEG-based workload and their self-reported cognitive load in a multimedia learning context. An experiment including two learning tasks was conducted with 15 graduate students. The NeuroSky brainwave headset was used to collect participants' electroencephalography (EEG) data and using the theta/alpha ratio as brain...
Retrieving, recalling, processing, organising and storing information are integral parts of the human information seeking process and many socio-cognitive theories suggest that the approach of the seekers is closely related to their cognitive processing styles and abilities. The aim of this study is to investigate the impact of wholistic-analytic cognitive style to players' behaviour in the context...
Many of IT workers suffer from stress in doing their work and there are a few counselors to help them. To cope with this problem, a context respectful counseling agent called CRECA was proposed. This counseling agent listens to clients and promotes their reflection by context preserving responses. Further, this extracts emotional words from clients' utterances throughout their dialogue to detect their...
The concept of the cloud is no longer limited to providing remote hardware or platform support with the development of cloud computing technology. Instead, it encapsulates all aspects of the content in computer field into service invoked by others. As an important part of software, data resource has become core services to the cloud platform in areas such as collaborative manufacturing and collaborative...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.