The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
It's a required for higher education institution to implement a system that supports learning and teaching processes. Using Content Management Systems (CMS) helped the institution to improve learning quality. aims to evaluate user satisfaction at Bina Nusantara University as case study. Bina Nusantara University, itself already implement CMS since 15 years ago which call with Binusmaya and along the...
Communication becomes core and one of the most important roles in many business practices, indeed audit as a service product is no exception to communication needs. This research is conducted to examine whether auditor's ability and willingness to communicate with client and professionalism in work as variable independent have significant impact on client responses in collaborating and supporting...
The past century of telecommunications has shown that failures in networks are prevalent. Failure recovery processes are therefore needed. Failure recovery is mainly influenced by (1) detection of the failure, and (2) circumvention of the detected failure. However, especially in SDNs where controllers recompute network state reactively, this leads to high delays. Hence, next to primary rules, backup...
The Software-Defined Networking (SDN) paradigm has introduced a set of resources that can be employed to design new services and applications for the next generation of network technologies. Despite all the benefits provided by the SDN approach, the management of the infrastructure remains an unsolved challenge since it is necessary to provide the appropriate tools to ensure a reliable and effective...
This paper presents a diachronic analysis centered on the exploration of differences between the writing styles of journalistic texts in Romanian language. This analysis is focused on the time evolution of this language across two adjacent regions, Bessarabia and Romania in two major periods that were marked by important historical differences. Our aim is to examine these language differences based...
On the one hand, Constraint Satisfaction Problems (CSP) are a declarative and expressive approach for modeling problems. On the other hand, propositional satisfiability problem (SAT) solvers can handle huge SAT instances up to millions of variables and clauses. In this article, we present an approach for taking advantage of both CSP modeling and SAT solving. Our technique consists in expressively...
On the one hand, Constraint Satisfaction Problems (CSP) are a declarative and expressive approach for modeling problems. On the other hand, propositional satisfiability problem (SAT) solvers can handle huge SAT instances up to millions of variables and clauses. In this article, we present an approach for taking advantage of both CSP modeling and SAT solving. Our technique consists in expressively...
Identifying tractable classes of constraint satisfaction problems (CSPs) has been studied over the past two decades, and is now a very active research domain. Recently, some works have shown the interest of these tractable classes from a different viewpoint. For example, it is known that if there is no broken triangle on each two values of a given variable in an arc-consistent binary CSP, then this...
Preference reasoning is a central problem in decision support. There exist various ways to interpret a set of qualitative preferences. Conditional preference logics allow to deal with semantics such as optimistic, pessimistic, strong or not. In this paper, we study the complexity of the main problems in optimistic/pessimistic preference logic: undominated, consistency and dominance. We show that they...
The problem of counting solutions in CSP, called #CSP, is an extremely difficult problem that has many applications in Artificial Intelligence. This problem can be addressed by exact methods, but more classically it is solved by approximate methods. Here, we focus primarily on the exact counting. We show how it is possible to improve the methods based on structural decomposition by offering to enhance...
A genogram refers to a family tree used for medical purposes. It is a useful diagnosis tool for physicians to understand patients' family information. There are many programs that attempt to support genogram creation, but each has its own limitation. For examples, some programs require users to pay usage fee and to install them in computers in order to view and edit genograms. While free Web-based...
The Multiple Institution Database for Investigating Engineering Longitudinal Development (MIDFIELD) is expanding to include 113 institutions and is being redesigned and archived to be more accessible to researchers. This special session will describe how researchers can better use or gain access to MIDFIELD. At the conclusion of the session participants should be able to: describe MIDFIELD including...
Electronic business (e-business) can potentially develop SME's adeptness and efficacy in facing the fast-changing and competitive business environment. Despite the success of many larger counterparts, SMEs are still lagging behind in using the Internet for their business especially in the context of developing countries. Although it is observed that some SMEs are beginning to catch up, still many...
Scientific user facilities — particle accelerators, telescopes, colliders, supercomputers, light sources, sequencing facilities, and more — operated by the U.S. Department of Energy (DOE) Office of Science (SC) generate ever increasing volumes of data at unprecedented rates from experiments, observations, and simulations. At the same time there is a growing community of experimentalists that require...
Dynamic programming is a popular optimization technique, developed in the 60's and still widely used today in several fields for its ability to find global optimum. Dynamic Programming Algorithms (DPAs) can be developed in many dimension. However, it is known that if the DPA dimension is greater or equal to two, the algorithm is an NP complete problem. In this paper we present an approximation of...
Human-computer dialogs are an important vehicle through which to produce a rich and compelling form of human-computer interaction. We view the specification of a human-computer dialog as a set of sequences of progressive interactions between a user and a computer system, and mine partially ordered sets, which correspond to mixing dialog initiative, embedded in these sets of sequences—a process we...
The so-called “ilities” of a system—such as safety, interoperability, and efficiency—should be designed into systems from their very conception, which can be achieved by integrating more powerful analysis techniques into the general systems engineering process. The primary barrier to achieving this objective is the lack of effectiveness of the existing analytical tools during early concept development...
Biometric recognition of persons using brain waves has been identified as an attractive topic of research today. Existing popular biometric modalities of face, finger prints and voice signals are vulnerable to various kinds of attacks and spoofing techniques, whereas the emerging biometric trait extracted from brain wave is expected to act as an ideal biometric feature offering high degree of uniqueness,...
A well defined testing strategy is essential for any software development project. Testing efforts need to be carefully planed and executed in order to ensure effectiveness. Programming failures can represent a high risk for business. In order to mitigate such risk, companies have been increasingly investing more resources on software testing.
Technological complexity and faster revision have led to an increasingly complicated design process; hence, there is great interest in such issues as efficiency and reliability. The focus of this paper is a conceptual (in contrast to mathematical or logical) analysis to assist in accomplishing such a task. Specifically, the paper focuses on the design phase of functional decomposition, in which an...
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.