The aim of this work is the development and application of a partial evaluation procedure for rewriting-based functional logic programs. Functional logic programming languages unite the two main declarative programming paradigms. The rewriting-based computational model extends traditional functional programming languages by incorporating logical features, including logical variables and built-i...

There seems to be, at least in practice, a fundamental conflict within program transformations. One way: hand transformations can yield dramatic speedups, but seem to require human insight. They are thus are only suited to small programs and have not been successfully automated. On the other hand, there exist a number of well-known automatic program transformations; but these have been proven t...

Given a text of length n, a pattern of length m and an integer k, we present an algorithm for finding all occurrences of the pattern in the text, each with at most k mismatches. The algorithm runs in 0{k[mlQgTn + n) time. 1. INTEODUCTION The problem of string matching xuith k misTnatchss is defined as follows. Suppose we are given a text of length n , a pattern of length m and an integer k . Fi...

The article presents Personal Knowledge Management (PKM) as an overdue individualized as well as a collaborative approach for knowledge workers. Designing a PKM-supporting system, however, resembles a so-called “wicked” problem (ill-defined; incomplete, contradictory, changing requirements, complex interdependencies) where the information needed to understand the challenges depends on upon one’...

BACKGROUND TcTLE is a nonamer peptide from Trypanosoma cruzi KMP-11 protein that is conserved among different parasite strains and that is presented by different HLA-A molecules from the A2 supertype. Because peptides presented by several major histocompatibility complex (MHC) supertypes are potential targets for immunotherapy, the aim of this study was to determine whether MHC molecules other ...

Kajian tentang peran baru widyaiswara di era pembelajaran digital mengangkat isu kompetensi literasi LAN yang berhubungan dengan fasilitasi pelatihan dasar, PKP, PKA, PKN 2, dan 1 diselenggarakan oleh LAN. Tujuan dari kajian ini adalah untuk memetakan pada setiap jenjang jabatannya. Selain itu mengidentifikasi hal-hal perlu dikuasai dalam memfasilitasi tersebut society 5.0. Metode digunakan des...

The external treatment of seborrheic dermatitis the scalp depends on withdrawal clinical symptoms and complaints patient made to doctor. At present Ukrainian dermatology has several dozen pharmacotherapeutic products in this direction, with dominating medicines ketoconazole, zinc pyrition, their combinations. They are characterized by short-term or weak effect, associated pathogenic microorgani...

The overall effectiveness of a website as an e-commerce platform is influenced by how usable it is. This study aimed to find out if advanced web metrics, derived from Google Analytics software, could be used evaluate the usability sites and identify potential issues. It simple gather indicators, but processing interpretation take time. data produced through several digital channels, including m...

Lsminar Boundary Layer Separation In this report the term "bubble vortex" (Sect. 6.1. et seq.) has been used to describe the rotatug mass of air lying parallel to the leading e&c near the aerofoil nose under the separated boundary laycr. It is now felt that the use of vortex in this context is misleaw, since the air movcrilent in the "bubble" may not rcscmble that in a true vortex. The term "se...