Log in

Relevant bibliographies by topics / Prefix restriction / Journal articles

To see the other types of publications on this topic, follow the link: Prefix restriction.

Journal articles on the topic 'Prefix restriction'

Author: Grafiati

Published: 4 June 2021

Last updated: 14 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 35 journal articles for your research on the topic 'Prefix restriction.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Kudryavtseva, Ganna. "Two-sided expansions of monoids." International Journal of Algebra and Computation 29, no. 08 (2019): 1467–98. http://dx.doi.org/10.1142/s0218196719500590.

Full text

Abstract:

We initiate the study of expansions of monoids in the class of two-sided restriction monoids and show that generalizations of the Birget–Rhodes prefix group expansion, despite the absence of involution, have rich structure close to that of relatively free inverse monoids. For a monoid [Formula: see text] and a class of partial actions of [Formula: see text], determined by a set, [Formula: see text], of identities, we define [Formula: see text] to be the universal [Formula: see text]-generated two-sided restriction monoid with respect to partial actions of [Formula: see text] determined by [For

APA, Harvard, Vancouver, ISO, and other styles

2

Beshenkova, E. V. "Prefixes pre- and pri-: linguistic factors, codification criteria and modern edition of the rule (from materials of the academic description of Russian spelling)." Russian language at school 82, no. 2 (2021): 76–84. http://dx.doi.org/10.30515/0131-6141-2021-82-2-76-84.

Full text

Abstract:

The article is a fragment of the academic description of spelling. It is dedicated to the spelling of words with prefixes pre- and pri-. The assertion that the spelling of the vowel is determined by the correct choice of the prefix pre- or the prefix pri- is disputed. This thesis is true only for those meanings that occur in the stressed position. In other cases the spelling does not reflect the systemic opposition of morphemes, it is historically conditioned. The existing types of description of this spelling problem are compared. Two criteria are used in the description of this spelling: ety

APA, Harvard, Vancouver, ISO, and other styles

3

Nagoya, Takayuki. "Polynomial Time Algorithms for Variants of Graph Matching on Partial k-Trees." Foundations of Computing and Decision Sciences 41, no. 3 (2016): 163–81. http://dx.doi.org/10.1515/fcds-2016-0010.

Full text

Abstract:

AbstractIn this paper, we deal with two variants of graph matching, the graph isomorphism with restriction and the prefix set of graph isomorphism. The former problem is known to be NP-complete, whereas the latter problem is known to be GI-complete. We propose polynomial time exact algorithms for these problems on partial k-trees.

APA, Harvard, Vancouver, ISO, and other styles

4

Gouskova, Maria. "The reduplicative template in Tonkawa." Phonology 24, no. 3 (2007): 367–96. http://dx.doi.org/10.1017/s0952675707001261.

Full text

Abstract:

Generalised Template Theory holds that templatic restrictions on reduplicative morphemes follow from independent, general principles. Under lexically indexed constraint theory, however, reduplicants are in no way special – morpheme-specific constraints may apply just to reduplicants. This article presents reduplication patterns in Tonkawa, which are argued to require reduplicant-specific constraints. In Tonkawa, the reduplicant is limited in size to CV, and is usually syllabified as a light syllable. Even though the language typically prefers heavy syllables word-initially, they are light if t

APA, Harvard, Vancouver, ISO, and other styles

5

Azizah, Nurul. "Anglicism in Indonesian." Ethical Lingua: Journal of Language Teaching and Literature 5, no. 1 (2018): 61–71. http://dx.doi.org/10.30605/ethicallingua.v5i1.736.

Full text

Abstract:

This article discusses a language phenomenon currently occurring in Indonesia which is related to borrowing English words with the addition of a prefix ng-/nge in the Indonesian. The purpose of this article is to show how some English words are borrowed in Indonesian and what changes occur within this borrowing process which will be seen on two linguistic levels (phonological and semantic). The data were collected through an observation either in writing forms found in social media or oral form used in daily conversations. The interim results show that phonologically, in general the loan words

APA, Harvard, Vancouver, ISO, and other styles

6

Munadel, Areej, and Ekhlas Kadhum Hamza. "Simulation and Analysis of the OFDM Transceiver Based Commutation System." Journal of Engineering 26, no. 12 (2020): 131–40. http://dx.doi.org/10.31026/j.eng.2020.12.08.

Full text

Abstract:

As a result of the increase in wireless applications, this led to a spectrum problem, which was often a significant restriction. However, a wide bandwidth (more than two-thirds of the available) remains wasted due to inappropriate usage. As a consequence, the quality of the service of the system was impacted. This problem was resolved by using cognitive radio that provides opportunistic sharing or utilization of the spectrum. This paper analyzes the performance of the cognitive radio spectrum sensing algorithm for the energy detector, which implemented by using a MATLAB Mfile version (2018b).

APA, Harvard, Vancouver, ISO, and other styles

7

Peitl, Tomáš, Friedrich Slivovsky, and Stefan Szeider. "Dependency Learning for QBF." Journal of Artificial Intelligence Research 65 (June 18, 2019): 181–208. http://dx.doi.org/10.1613/jair.1.11529.

Full text

Abstract:

Quantified Boolean Formulas (QBFs) can be used to succinctly encode problems from domains such as formal verification, planning, and synthesis. One of the main approaches to QBF solving is Quantified Conflict Driven Clause Learning (QCDCL). By default, QCDCL assigns variables in the order of their appearance in the quantifier prefix so as to account for dependencies among variables. Dependency schemes can be used to relax this restriction and exploit independence among variables in certain cases, but only at the cost of nontrivial interferences with the proof system underlying QCDCL. We introd

APA, Harvard, Vancouver, ISO, and other styles

8

Cheng, Jie. "On syntactic intervention in Chinese denominal verbs." Diachronica 32, no. 3 (2015): 293–330. http://dx.doi.org/10.1075/dia.32.3.01che.

Full text

Abstract:

The derivation of Chinese denominal verbs has undergone a diachronic shift from freedom in Archaic Chinese to restriction in Post-Archaic Chinese. While denominal verbs in Archaic Chinese can be conveniently accommodated in a pragmatic account, those in Post-Archaic Chinese only yield to a syntactic account. The diachronic shift has arguably resulted from syntactic intervention: only those denominal verbs in Archaic Chinese that can possibly be derived in syntax have survived into Post-Archaic Chinese. In support of this hypothesis is the fact that the prefix *s- and qù shēng bié yì (“falling

APA, Harvard, Vancouver, ISO, and other styles

9

Kalee, Susrina, Yumna Rasyid, and Liliana Muliastuti. "Error Analysis on the Use of Affixation in Indonesian Paper Written By Thai Student." Lingua Cultura 12, no. 3 (2018): 289. http://dx.doi.org/10.21512/lc.v12i3.4307.

Full text

Abstract:

This research aimed to describe the form of errors in using affixation in Indonesian Language paper written by Thai students. The data were words and sentences that contained errors. The research was qualitative research using content analysis method. This research used interactive model data analysis through three steps. Those were data reduction, presentation of data, as well as conclusion and verification. The results show that there are some errors; 72 errors in using affixation: 21 or 29% errors in prefix, 9 or 13% errors in suffix, 9 or 13% errors in confix, and 33 or 46% errors klofiks

APA, Harvard, Vancouver, ISO, and other styles

10

Hualde, José Ignacio. "Intervocalic lenition and word-boundary effects." Diachronica 30, no. 2 (2013): 232–66. http://dx.doi.org/10.1075/dia.30.2.04hua.

Full text

Abstract:

The lenition of intervocalic consonants is typically phonologized in sound change only within word domains. At first blush, this morphological restriction might seem to contradict the Neogrammarian hypothesis of exclusively phonetic conditioning in sound change. In this paper I examine the weakening of intervocalic voiced stops/affricates in Istanbul Judeo-Spanish. Comparison with Old Spanish shows that in the native lexicon intervocalic lenition has affected only word-internal consonants. Even consonants following a prefix boundary remain unaffected. I argue that, at the time of the expulsion

APA, Harvard, Vancouver, ISO, and other styles

11

Arkadiev, Peter. "Notes on the Lithuanian restrictive." Baltic Linguistics 1 (December 31, 2010): 9–49. http://dx.doi.org/10.32798/bl.434.

Full text

Abstract:

This paper focuses on the previously barely described restrictive use of the prefix te- in Lithuanian. This prefix, whose meaning is similar to that of the particle tik ‘only’, is peculiar in that it can take scope over almost any kind of phrases, including constituents of non-finite embedded clauses. In this paper, morphosyntactic properties and scope of the restrictive te- are analysed on the basis of both elicited and corpus data. Besides that, it is shown that from a cross-linguistic point of view, a restrictive affix displaying both rigid verb-adjacency and scope flexibility is quite rare

APA, Harvard, Vancouver, ISO, and other styles

12

Ungermanová, Marta. "Préfixation des verbes de déplacement tchèques." Lingvisticæ Investigationes. International Journal of Linguistics and Language Resources 24, no. 2 (2001): 289–318. http://dx.doi.org/10.1075/li.24.2.10ung.

Full text

Abstract:

Summary Prefixation of the Verbs of Movement in Czech Prefixed verbs constitute a major proportion of verbs of movement (as defined in 1.1. of the article) in Czech. We consider those formed by the prefixes : při-, od-, vy-, v-, do-, roz- and s-We examine their syntactic properties, especially their compatibility with different locative complements, trying to find typical properties or restrictions for each prefix. Whilst traditional grammar ascribes a meaning to prefixes, we defend the position that a prefix derives its meaning from its interaction with the other elements of the sentence (not

APA, Harvard, Vancouver, ISO, and other styles

13

Preradovic, Nives Mikelic, Tomislava Lauc, and Danijela Unic. "Application of Morphosyntactic Cues in Detection of GOAL Semantic Role." International Journal of E-Services and Mobile Applications 13, no. 4 (2021): 39–59. http://dx.doi.org/10.4018/ijesma.2021100103.

Full text

Abstract:

This paper analyzes the semantics of verbs with the prefix “do-” and explains the adlativity feature based on the morpho-syntactically annotated corpus hrWaC and handcrafted verb valency frames. The work aims to automatically add all types of adlativity to Croatian verb valency lexicon. As a result, it was revealed that if a language resource encodes “do-” as the adlative prefix in Croatian as a source language, then the adlative meaning in the target language can be assumed as well. Using the valency frame transition rules for language pairs, it is possible to design matching verb valency fra

APA, Harvard, Vancouver, ISO, and other styles

14

Lakshmanna, Kuruva, and Neelu Khare. "Mining DNA Sequence Patterns with Constraints Using Hybridization of Firefly and Group Search Optimization." Journal of Intelligent Systems 27, no. 3 (2018): 349–62. http://dx.doi.org/10.1515/jisys-2016-0111.

Full text

Abstract:

Abstract DNA sequence mining is essential in the study of the structure and function of the DNA sequence. A few exploration works have been published in the literature concerning sequence mining in information mining task. Similarly, in our past paper, an effective sequence mining was performed on a DNA database utilizing constraint measures and group search optimization (GSO). In that study, GSO calculation was utilized to optimize the sequence extraction process from a given DNA database. However, it is apparent that, occasionally, such an arbitrary seeking system does not accompany the opti

APA, Harvard, Vancouver, ISO, and other styles

15

Peng, Dong-Qiao, Jae-Sung Lee, Won-Seob Kim, et al. "Effect of vitamin A restriction on carcass traits and blood metabolites in Korean native steers." Animal Production Science 59, no. 12 (2019): 2138. http://dx.doi.org/10.1071/an17733.

Full text

Abstract:

The objective of the present study was to determine the effect of vitamin A restriction on serum metabolites and carcass performance in Korean native steers during a fattening period. In Study 1, 61 steers were divided into three groups and supplied diets with concentrate and roughage containing 890 IU/kg of provitamin A and then supplemented with either 8000 IU (control), 3000 IU (T1) or 0 IU (T2) of premix vitamin A per kilogram of dry matter. In Study 2, 19 steers were divided into two groups and provided with the same basic diets then supplemented with 8000 IU (control) or 0 IU (T) of prem

APA, Harvard, Vancouver, ISO, and other styles

16

Cejas Romanelli, Pablo Sebastián. "Covid-19 crisis in Italy. Fundamental rights and freedoms: the price to pay for human health?" Revista Derecho y Salud | Universidad Blas Pascal, no. 5 (December 1, 2020): 157–81. http://dx.doi.org/10.37767/2591-3476(2020)23.

Full text

Abstract:

The results of the appearance of the novel coronavirus meant for many States, the application of restrictive measures of constitutionally protected rights and freedoms, with the aim -preliminarily- of protecting the health and integrity of people. Thus, a real “emergency legal framework” was created, with restrictions on interpersonal contact, and other daily situations in the life of any society. Italy stood out for being the first country where COVID-19 attacked with particular virulence. The first steps of the government at the end of January 2020 were aimed at preventing the entry of

APA, Harvard, Vancouver, ISO, and other styles

17

Gazda, Maciej, Wan Fokkink, and Vittorio Massaro. "Congruence from the operator’s point of view." Acta Informatica 57, no. 3-5 (2019): 329–51. http://dx.doi.org/10.1007/s00236-019-00355-5.

Full text

Abstract:

AbstractA basic sanity property of a process semantics is that it constitutes a congruence with respect to standard process operators. This issue has been traditionally addressed by developing, for a specific process semantics, a syntactic format for operational semantics specifications. We suggest a novel, orthogonal approach, which focuses on a specific process operator and determines a class of congruence relations for this operator. To this end, we impose syntactic restrictions on Hennessy–Milner logic, so that a process semantics whose modal characterization satisfies those criteria is gu

APA, Harvard, Vancouver, ISO, and other styles

18

Lunn, D. E., T. Mutsvangwa, N. E. Odongo, et al. "Effect of monensin on meal frequency during sub-acute ruminal acidosis in dairy cows." Canadian Journal of Animal Science 85, no. 2 (2005): 247–49. http://dx.doi.org/10.4141/a04-033.

Full text

Abstract:

Two experiments were conducted to determine the effects of monensin (Rumensin® controlled-release capsule; exp. 1 and Rumensin® Premix; exp. 2) on meal frequency during grain-induced sub-acute ruminal acidosis (SARA) in Holstein dairy cows. SARA was induced by restricting total mixed ration intake to 85% of ad libitum intake and replacing the remaining 15% with a grain pellet consisting of 50% wheat and 50% barley. In both experiments, meal frequency during SARA was lower (P < 0.05) than meal frequency during the adaptation and recovery periods. In exp. 2, monensin increased meal frequency

APA, Harvard, Vancouver, ISO, and other styles

19

Amico, Stephen. "“We Are All Musicologists Now”; or, the End of Ethnomusicology." Journal of Musicology 37, no. 1 (2020): 1–32. http://dx.doi.org/10.1525/jm.2020.37.1.1.

Full text

Abstract:

Situated in the context of current examinations of academic disciplinarity, this article contributes to the decades-long discussions (or debates) regarding the status of ethnomusicology, arguing forcefully for the (sub-)discipline’s cessation. A focus on ethnomusicology’s very prefix, “ethn-”, exposes the field’s historical and continuing reliance upon colonialist ideology, continually reproduced in relation to both ethnicity (constructed in relation to interrelated discourses of authenticity, technology, and gender) and ethnography. Highlighting the extent to which a field-defining ideologica

APA, Harvard, Vancouver, ISO, and other styles

20

Aščić – Buturović, Belma, Mirsad Kacila, and Mehmed Kulić. "Effects of Aggressive Approach to the Multiple Risk Factors for Diabetic Nephropathy on Proteinuria Reduction in Diabetes Type 2 Patients." Bosnian Journal of Basic Medical Sciences 9, no. 1 (2009): 44–48. http://dx.doi.org/10.17305/bjbms.2009.2855.

Full text

Abstract:

Dietary interventions with protein and salt restriction, good glucose control, smoking cessation, aggressive blood pressure control, good control of cholesterol and triglycerides, use of ACE inhibitors and ARBs can delay the progression of diabetic nephropathy.The aim of this study was to present the effects of aggressive treatment of the multiple risk factors for diabetic nephropathy on proteinuria in patients with type 2 diabetes. In this study we included 15 patients with diabetes type 2 and insufficient regulation of glycaemia. The patients were followed for three months period. Glycated h

APA, Harvard, Vancouver, ISO, and other styles

21

Barcelo, Alfons. "Juan Lopez de Peñalver (Malaga, 1763 ó 64-Madrid, 1834)." Revista de Historia Económica / Journal of Iberian and Latin American Economic History 7, S1 (1989): 55–61. http://dx.doi.org/10.1017/s021261090000183x.

Full text

Abstract:

Aportaciones valiosas de López de Peñalver en el ámbito de la economía política se encuentran en un opúsculo titulado Reflexiones sobre la variación del precio del trigo (1812). Esta obra, aunque breve y en cierta medida circunstancial, constituye uno de los raros ejemplos del pensamiento económico original en España. El folleto aborda un problema clásico de política económica (a saber, si conviene o no modificar la legislación restrictiva sobre el comercio de granos) con una especial sensibilidad e instrumentos mentales refinados. Su visión podría tildarse de «ingenieril», sus herramientas fo

APA, Harvard, Vancouver, ISO, and other styles

22

Ragozin, A. N. "THE USE OF DIGITAL SIGNAL PROCESSING AND A NEURAL NETWORK WHEN GENERATING A FORECAST OF TIME SERIES OF DATA FOR THE PURPOSE OF DETECTING ANOMALIES IN THE IN THE AUTOMATED CONTROL OF TECHNOLOGICAL PROCESSES." Journal of the Ural Federal District. Information security 20, no. 1 (2020): 24–34. http://dx.doi.org/10.14529/secur200103.

Full text

Abstract:

n order to detect anomalies and improve the quality of forecasting dynamic data flows observed from sensors in Industrial Control System (ACS)., it is proposed to use a predictive mod-ule consisting of a series-connected digital signal processing unit (DSP) and a predictive unit using a neural network (predictive autoencoder ( Auto Encoder), predictive Autoencoder (PAE)). The study showed that the preliminary DSP block of the predicted input signal, consisting of a parallel set (comb) of digital low-pass filters with finite impulse responses (FIR-LPF), leads to a non-equilibrium account of the

APA, Harvard, Vancouver, ISO, and other styles

23

Ledermann, Raphael, Silvan Strebel, Clara Kampik, and Hans-Martin Fischer. "Versatile Vectors for Efficient Mutagenesis of Bradyrhizobium diazoefficiens and Other Alphaproteobacteria." Applied and Environmental Microbiology 82, no. 9 (2016): 2791–99. http://dx.doi.org/10.1128/aem.04085-15.

Full text

Abstract:

ABSTRACTAnalysis of bacterial gene function commonly relies on gene disruption or replacement followed by phenotypic characterization of the resulting mutant strains. Deletion or replacement of targeted regions is commonly achieved via two homologous recombination (HR) events between the bacterial genome and a nonreplicating plasmid carrying DNA fragments flanking the region to be deleted. The counterselection of clones that have integrated the entire plasmid in their genome via a single HR event is crucial in this procedure. Various genetic tools and well-established protocols are available f

APA, Harvard, Vancouver, ISO, and other styles

24

Irawan, Fajar Awang, Wisnu Kerta Raharja, Tafriyadhur Risa Billah, and Mirza Arif Ma'dum. "Analisis biomekanika free throw basket sesuai kaidah Dave Hopla." Jurnal Keolahragaan 9, no. 2 (2021): 210–19. http://dx.doi.org/10.21831/jk.v9i2.40360.

Full text

Abstract:

Penelitian ini bertujuan untuk menganalisis gerakan free throw sesuai dengan kaidah Dave Hopla. Metode penelitian ini menggunakan eksperimen dengan teknik tes dan pengukuran. Total sampel berjumlah 5 atlet PPLP Basket Kota Semarang yang telah mengisi inform consent dan menyetujui prosedur penelitian. Hasil penelitian ini didapatkan rata rata waktu pada tahap persiapan sebesar 0,53 ± 0,13 detik dengan sudut ayunan sebesar 120°. Gerakan awalan sudut lengan 90° dan rata rata waktu 0,25 ± 0,04 detik dengan sudut fleksi lutut sebesar 99,04 ± 0,04 derajat. Data pada tahap pelaksanaan untuk waktu yan

APA, Harvard, Vancouver, ISO, and other styles

25

Alhojärvi, Tuomo. "For Postcapitalist Studies: Inheriting Futures of Space and Economy." Nordia Geographical Publications 50, no. 2 (2021): 1–230. http://dx.doi.org/10.30671/nordia.103117.

Full text

Abstract:

The worldwide social and ecological unravelling of the 21st century presents an unprecedented challenge for thinking and practising liveable economies. As life support systems are annihilated in view of the sustainable accumulation of capital, social and economic alternatives are rapidly emerging to shelter possibilities for life amidst the ruins. Postcapitalism has gained increasing attention as an invitation to amplify existing alternatives to systemic scale. The transformations required are the focus of social movements, political projects and academic research that demand the theorisation

APA, Harvard, Vancouver, ISO, and other styles

26

Jabłońska, Patrycja. "When the prefixes meet the suffixes." Nordlyd 32, no. 2 (2005). http://dx.doi.org/10.7557/12.73.

Full text

Abstract:

This paper explores the different interpretations the prefix po- in Polish gets depending on what kind of stem it attaches to. Thus, I show that the distinction between high and low suffixing verbalizers correlates with a distinction within the prefixal domain, namely the type of verbalizer influences the interpretation that po- is assigned, as well as being responsible for the restriction on po- attachment.1 I argue for four different structural positions into which a prefix can be inserted. The system bears on the way Aspectual proper- ties are decided in the course of the derivation, with t

APA, Harvard, Vancouver, ISO, and other styles

27

KOTOWSKI, SVEN. "The semantics of English out-prefixation: a corpus-based investigation." English Language and Linguistics, March 9, 2020, 1–29. http://dx.doi.org/10.1017/s1360674319000443.

Full text

Abstract:

The verbal prefix out- in its scalar-comparative sense is among the most productive English locative prefixes. Although several authors make use of the construction as a test environment for verb classification, few studies have looked at its semantics in any depth. Moreover, previous work on this prefix relies on fairly small databases or self-generated data, and no reliable corpus-based investigations are available, calling into question the usefulness of present semantic analyses and the application of the construction as a test environment. This study aims at remedying these shortcomings v

APA, Harvard, Vancouver, ISO, and other styles

28

Aceto, Luca, Willem Jan Fokkink, and Anna Ingólfsdóttir. "A Cook’s Tour of Equational Axiomatizations for Prefix Iteration." BRICS Report Series 5, no. 49 (1998). http://dx.doi.org/10.7146/brics.v5i49.19494.

Full text

Abstract:

Prefix iteration is a variation on the original binary version of the<br />Kleene star operation P*Q, obtained by restricting the first argument to be an atomic action, and yields simple iterative behaviours that can be equationally characterized by means of finite collections of axioms. In this paper, we present axiomatic characterizations for a significant fragment of the notions of equivalence and preorder in van Glabbeek's linear-time/branching-time spectrum over Milner's basic CCS extended with prefix iteration. More precisely, we consider ready simulation, simulation, readiness, tr

APA, Harvard, Vancouver, ISO, and other styles

29

Aceto, Luca, Willem Jan Fokkink, Rob J. van Glabbeek, and Anna Ingólfsdóttir. "Axiomatizing Prefix Iteration with Silent Steps." BRICS Report Series 2, no. 56 (1995). http://dx.doi.org/10.7146/brics.v2i56.19957.

Full text

Abstract:

<p>Prefix iteration is a variation on the original binary version of the Kleene star operation P*Q, obtained by restricting the first argument to be an atomic action. The interaction of prefix iteration with silent steps is studied in the setting of Milner's basic CCS. Complete equational axiomatizations are given for four notions of behavioural congruence over basic CCS with prefix iteration, viz. branching congruence, eta-congruence, delay congruence and weak congruence. The completeness proofs for eta-, delay, and weak congruence are obtained by reduction to the completeness theorem f

APA, Harvard, Vancouver, ISO, and other styles

30

Kohlenbach, Ulrich. "The Computational Strength of Extensions of Weak König’s Lemma." BRICS Report Series 5, no. 41 (1998). http://dx.doi.org/10.7146/brics.v5i41.19486.

Full text

Abstract:

The weak König's lemma WKL is of crucial significance in the study of fragments of mathematics which on the one hand are mathematically strong but on the other hand have a low proof-theoretic and computational strength. In addition to the restriction to binary trees (or equivalently bounded trees), WKL<br />is also `weak' in that the tree predicate is quantifier-free. Whereas in general the computational and proof-theoretic strength increases when logically more complex trees are allowed, we show that this is not the case for trees which are<br />given by formulas in a class Phi wh

APA, Harvard, Vancouver, ISO, and other styles

31

Aceto, Luca, and Anna Ingólfsdóttir. "A Complete Equational Axiomatization for Prefix Iteration with Silent Steps." BRICS Report Series 2, no. 5 (1995). http://dx.doi.org/10.7146/brics.v2i5.19507.

Full text

Abstract:

Fokkink ((1994) Inf. Process. Lett. 52: 333{337) has recently proposed a complete<br />equational axiomatization of strong bisimulation equivalence for MPA_delta^*(A_tau),<br />i.e., the language obtained by extending Milner's basic CCS with prefix iteration.<br />Prefix iteration is a variation on the original binary version of the Kleene star operation<br />p*q obtained by restricting the first argument to be an atomic action. In this<br />paper, we extend Fokkink's results to a setting with the unobservable action by<br />giving a complete equational axio

APA, Harvard, Vancouver, ISO, and other styles

32

Milićević, Nataša. "The lexical and superlexical verbal prefix iz- and its role in the stacking of prefixes." Nordlyd 32, no. 2 (2005). http://dx.doi.org/10.7557/12.70.

Full text

Abstract:

In this paper I show that there are two distinct iz- prefixes in Serbian: a lexical, and a superlexical one. I show that there are criteria for the distinction between the two types of verbal prefixes (restricting my claims to the superlexical prefixes that stack after the secondary imperfectivization). I focus on the lexical iz- occurring with transitive verbs and show that it can be analyzed along the same lines as the English resultative particles up and out. I also consider the role of the lexical iz- as a perfectivizer and point to the distinction between the notion of telicity and overtl

APA, Harvard, Vancouver, ISO, and other styles

33

Gál, Anna, and Peter Bro Miltersen. "The Cell Probe Complexity of Succinct Data Structures." BRICS Report Series 10, no. 44 (2003). http://dx.doi.org/10.7146/brics.v10i44.21816.

Full text

Abstract:

In the cell probe model with word size 1 (the bit probe model), a static data structure problem is given by a map f : {0,1}^n * {0,1}^m -> {0,1}, where {0,1}^n is a set of possible data to be stored, {0,1}^m is a set of possible queries (for natural problems, we have m << n) and f(x,y) is the answer to question y about data x.<br /> <br />A solution is given by a representation phi : {0,1}^n -> {0,1}^s and a query algorithm q so that q(phi(x), y) = f(x,y). The time t of the query algorithm is the number of bits it reads in phi(x).<br /> <br />In this paper,

APA, Harvard, Vancouver, ISO, and other styles

34

Yu, Amy Y., Hude Quan, Andrew McRae, Gabrielle O. Wagner, Shelagh B. Coutts, and Michael D. Hill. "Abstract TP187: Low Sensitivity and High Specificity of Administrative Data for Transient Ischemic Attacks in the Emergency Department." Stroke 48, suppl_1 (2017). http://dx.doi.org/10.1161/str.48.suppl_1.tp187.

Full text

Abstract:

Introduction: Accurate surveillance of TIA is important for monitoring disease burden and evaluating temporal trends. Passive surveillance is a time and cost-effective method to identify TIA using administrative data. Although TIA is primarily managed in the emergency department (ED) without admission to hospital, prior administrative data validation studies have mainly evaluated inpatient databases. We determined the validity of the ICD-10 codes to identify TIA in an ED administrative database. Methods: The study population was obtained from two ongoing studies on the diagnosis of TIA and min

APA, Harvard, Vancouver, ISO, and other styles

35

"MIX DEL PRODUCTO ÓPTIMO USANDO ALGORITMOS GENÉTICOS." Revista ECIPeru, January 4, 2019, 67–69. http://dx.doi.org/10.33017/reveciperu2004.0019/.

Full text

Abstract:

MIX DEL PRODUCTO ÓPTIMO USANDO ALGORITMOS GENÉTICOS MIX OF THE OPTIMUM PRODUCT USING GENETIC ALGORITHM Job Daniel Gamarra Moreno, Abraham Esteban Gamarra Moreno, Juan Gamarra Moreno Facultad de Ingeniería de Sistemas, Universidad Nacional del Centro del Perú - Huancayo DOI: https://doi.org/10.33017/RevECIPeru2004.0019/ RESUMEN Mix de producto óptimo significa determinar la cantidad de productos a producir para maximizar la ganancia. Para determinar el mix de producto óptimo de la Cooperativa Industrial Manufacturas del Centro de la ciudad de Huancayo, la empresa textil más importante de la reg

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!