Academic literature on the topic 'Domain restrictions'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Domain restrictions.'
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.
Journal articles on the topic "Domain restrictions"
1
Myers, Scott, and Jaye Padgett. "Domain generalisation in artificial language learning." Phonology 31, no. 3 (December 2014): 399–433. http://dx.doi.org/10.1017/s0952675714000207.
Full textAbstract:
Many languages have restrictions on word-final segments, such as a requirement that any word-final obstruent be voiceless. There is a phonetic basis for such restrictions at the ends of utterances, but not the ends of words. Historical linguists have long noted this mismatch, and have attributed it to an analogical generalisation of such restrictions from utterance-final to word-final position. To test whether language learners actually generalise in this way, two artificial language learning experiments were conducted. Participants heard nonsense utterances in which there was a restriction on utterance-final obstruents, but in which no information was available about word-final utterance-medial obstruents. They were then tested on utterances that included obstruents in both positions. They learned the pattern and generalised it to word-final utterance-medial position, confirming that learners are biased toward word-based distributional patterns.
2
Flack, Kathryn. "Constraints on onsets and codas of words and phrases." Phonology 26, no. 2 (August 2009): 269–302. http://dx.doi.org/10.1017/s0952675709990133.
Full textAbstract:
AbstractFor any phonotactic restriction on syllable onsets and codas, it can be shown that parallel restrictions are attested at edges of each higher prosodic domain. Onsets can be required at the beginnings of syllables, words or utterances, codas can be banned at the ends of any of these constituents and so on. This paper argues that these restrictions follow from constraint schemata: any markedness constraint on syllable onsets or codas (MOns or MCoda) is part of a family of constraints (MOns(Ons/PCat) or MCoda(Coda/PCat)) which imposes parallel restrictions on initial onsets or final codas of each prosodic domain. These prosodic domain-edge markedness constraints can induce epenthesis, deletion or other segmental changes at domain edges; they can also shape the prosodic structure of words.
3
Panda, Santosh C. "Some impossibility results with domain restrictions." Journal of Economic Theory 38, no. 1 (February 1986): 21–34. http://dx.doi.org/10.1016/0022-0531(86)90086-4.
Full text
4
Mordido, Andreia, and Carlos Caleiro. "Probabilistic logic over equations and domain restrictions." Mathematical Structures in Computer Science 29, no. 06 (March 8, 2019): 872–95. http://dx.doi.org/10.1017/s096012951800035x.
Full textAbstract:
AbstractWe propose and study a probabilistic logic over an algebraic basis, including equations and domain restrictions. The logic combines aspects from classical logic and equational logic with an exogenous approach to quantitative probabilistic reasoning. We present a sound and weakly complete axiomatization for the logic, parameterized by an equational specification of the algebraic basis coupled with the intended domain restrictions.We show that the satisfiability problem for the logic is decidable, under the assumption that its algebraic basis is given by means of a convergent rewriting system, and, additionally, that the axiomatization of domain restrictions enjoys a suitable subterm property. For this purpose, we provide a polynomial reduction to Satisfiability Modulo Theories. As a consequence, we get that validity in the logic is also decidable. Furthermore, under the assumption that the rewriting system that defines the equational basis underlying the logic is also subterm convergent, we show that the resulting satisfiability problem is NP-complete, and thus the validity problem is coNP-complete.We test the logic with meaningful examples in information security, namely by verifying and estimating the probability of the existence of offline guessing attacks to cryptographic protocols.
5
Finn, Suki. "The Role of Existential Quantification in Scientific Realism." Philosophy 92, no. 3 (April 17, 2017): 351–67. http://dx.doi.org/10.1017/s0031819117000031.
Full textAbstract:
AbstractScientific realism holds that the terms in our scientific theories refer and that we should believe in their existence. This presupposes a certain understanding of quantification, namely that it is ontologically committing, which I challenge in this paper. I argue that the ontological loading of the quantifiers is smuggled in through restricting the domains of quantification, without which it is clear to see that quantifiers are ontologically neutral. Once we remove domain restrictions, domains of quantification can include non-existent things, as they do in scientific theorizing. Scientific realism would therefore require redefining without presupposing a view of ontologically committing quantification.
6
Byrne, Paul F. "Have Post-Kelo Restrictions on Eminent Domain Influenced State Economic Development?" Economic Development Quarterly 31, no. 1 (October 22, 2016): 81–91. http://dx.doi.org/10.1177/0891242416671805.
Full textAbstract:
In 2005, the Supreme Court’s Kelo v. New London ruling reaffirmed governments’ right to use eminent domain for economic development purposes. Widespread public backlash over the ruling resulted in numerous states quickly passing laws restricting the use of eminent domain for such purposes. This study uses the swift and uneven response of state legislatures to the public outcry that followed Kelo to test the empirical question of whether restrictions on eminent domain affect states’ ability to fulfill their economic development goals. Results indicate that states that restricted the use of eminent domain following the Kelo ruling experienced no adverse effects in terms of state employment and gross state product or county employment and county income in the states’ most dense counties.
7
Graf, Thomas. "The power of locality domains in phonology." Phonology 34, no. 2 (August 2017): 385–405. http://dx.doi.org/10.1017/s0952675717000197.
Full textAbstract:
Domains play an integral role in linguistic theories. This paper combines locality domains with current models of the computational complexity of phonology. The first result is that if a specific formalism – strictly piecewise grammars – is supplemented with a mechanism to enforce first-order definable domain restrictions, its power increases so much that it subsumes almost the full hierarchy of subregular languages. However, if domain restrictions are based on linguistically natural intervals, we instead obtain an empirically more adequate model. On the one hand, this model subsumes only those subregular classes that have been argued to be relevant for phonotactic generalisations. On the other hand, it excludes unnatural generalisations that involve counting or elaborate conditionals. It is also shown that strictly piecewise grammars with interval-based domains are theoretically learnable, unlike those with arbitrary, first-order domains.
8
Lee, Junhee, Flavius Frasincar, and Maria Mihaela Truşcă. "DIWS-LCR-Rot-hop++: A Domain-Independent Word Selector for Cross-Domain Aspect-Based Sentiment Classification." ACM SIGAPP Applied Computing Review 23, no. 3 (September 2023): 19–31. http://dx.doi.org/10.1145/3626307.3626309.
Full textAbstract:
The Aspect-Based Sentiment Classification (ABSC) models often suffer from a lack of training data in some domains. To exploit the abundant data from another domain, this work extends the original state-of-the-art LCR-Rot-hop++ model that uses a neural network with a rotatory attention mechanism for a cross-domain setting. More specifically, we propose a Domain-Independent Word Selector (DIWS) model that is used in combination with the LCR-Rot-hop++ model (DIWS-LCR-Rot-hop++). DIWS-LCR-Rot-hop++ uses attention weights from the domain classification task to determine whether a word is domain-specific or domain-independent, and discards domain-specific words when training and testing the LCR-Rot-hop++ model for cross-domain ABSC. Overall, our results confirm that DIWS-LCR-Rot-hop++ outperforms the original LCR-Rot-hop++ model under a cross-domain setting in case we impose an optimal domain-dependent attention threshold value for deciding whether a word is domain-specific or domain-independent. For a target domain that is highly similar to the source domain, we find that imposing moderate restrictions on classifying domain-independent words yields the best performance. Differently, a dissimilar target domain requires a strict restriction that classifies a small proportion of words as domain-independent. Also, we observe information loss which deteriorates the performance of DIWS-LCR-Rot-hop++ when we categorize an excessive amount of words as domain-specific and discard them.
9
Martin, Joshua Robert. "Wh-the-hell as a polarity-insensitive, speaker-oriented domain restrictor." Semantics and Linguistic Theory 30 (March 2, 2021): 334. http://dx.doi.org/10.3765/salt.v30i0.4824.
Full textAbstract:
I argue for a reanalysis of "wh-the-hell" questions as restrictions on the domain of alternatives, rather than polarity items or domain extensions. This analysis returns to their original characterization as "aggressively non-D-linked" by specifying what it means to be D-linked, and in doing so captures a number of otherwise unconnected properties of such questions without positing extraneous features. Consequences of the proposal include a new notion of question-specific contextuality, evidence for an inquisitive semantic condition on sluicing, and a potential general discourse restriction on wh-movement.
10
SHIELL, LESLIE. "The Repugnant Conclusion and Utilitarianism under Domain Restrictions." Journal of Public Economic Theory 10, no. 6 (December 2008): 1011–31. http://dx.doi.org/10.1111/j.1467-9779.2008.00394.x.
Full textDissertations / Theses on the topic "Domain restrictions"
1
Tydrichová, Magdaléna. "Structural and algorithmic aspects of preference domain restrictions in collective decision making : contributions to the study of single-peaked and Euclidean preferences." Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS048.
Full textAbstract:
Cette thèse étudie des aspects structurels et algorithmiques des restrictions de domaines de préférences, en se focalisant sur les préférences unimodales et les préférences Euclidiennes. Dans la première partie de la thèse, nous introduisons d'abord une généralisation des préférences unimodales sur des graphes quelconques, en se focalisant sur des aspects algorithmiques, notamment le problème de reconnaissance. Dans un deuxième temps, nous nous intéressons aux préférences presque unimodales. Plus précisément, nous proposons une nouvelle métrique d'unimodalité approchée et nous étudions ses propriétés théoriques et computationnelles. La deuxième partie de la thèse est consacrée à l'étude des préférences d-Euclidiennes (où d est la dimension) par rapport à différentes normes. Nous proposons d'abord une heuristique de reconnaissance des préférences 2-Euclidiennes par rapport à la norme l_2, et étudions son efficacité en pratique. Enfin, nous étudions des aspects structurels des préférences 2-Euclidiennes par rapport à la norme l_1This thesis studies structural and algorithmic aspects of preference domain restrictions, namely single-peaked preferences and Euclidean preferences. In the first part of the thesis, we first introduce a generalization of the notion of single-peakedness on an arbitrary graph. We focus, in particular, on algorithmic aspects, namely the problem of recognition. The notion of nearly single-peakedness is then studied. More precisely, we introduce a new metric of nearly single-peakedness, and we study its theoretical and computational properties. The second part of the thesis is devoted to the study of d-Euclidean preferences (where d is the dimension of the real space) with respect to different norms. We first propose a heuristic algorithm for recognizing 2-Euclidean preferences with respect to the l_2 norm, and study its practical efficiency in practice. Finally, we focus on structural aspects of 2-Euclidean preferences with respect to the l_1 norm
2
Pagin, Peter. "Vagueness and Domain Restriction." Stockholms universitet, Filosofiska institutionen, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-68416.
Full textAbstract:
This paper develops an idea of saving ordinary uses of vague predicates from the Sorites by means of domain restriction. A tolerance level for a pred- icate, along a dimension, is a difference with respect to which the predicate is semantically insensitive. A central gap for the predicate+dimension in a domain is a segment of an associated scale, larger than this difference, where no object in the domain has a measure, and such that the extension of the predicate has measures on one side of the gap and the anti-extension on the other. The domain restriction imposes a central gap.Author count: 1;
Vagueness and Context Factors
3
Gann, Alexander Anthony Frank. "Recognition domains of type I restriction enzymes." Thesis, University of Edinburgh, 1988. http://hdl.handle.net/1842/13875.
Full text
4
Kelleher, Julia E. "Defining domains of the EcoK methylase by mutational analyses and DNA sequence comparisons." Thesis, University of Edinburgh, 1990. http://hdl.handle.net/1842/12342.
Full text
5
Chung, Ho Ryun. "The zinc finger associated domain of Drosophila melanogaster, its evolution and phylogenetic restriction." [S.l. : s.n.], 2005. http://deposit.ddb.de/cgi-bin/dokserv?idn=974179248.
Full text
6
Endriss, Cornelia, and Stefan Hinterwimmer. "The influence of tense in adverbial quantification." Universität Potsdam, 2004. http://opus.kobv.de/ubp/volltexte/2006/840/.
Full textAbstract:
We argue that there is a crucial difference between determiner and adverbial
quantification. Following Herburger [2000] and von Fintel [1994],
we assume that determiner quantifiers quantify over individuals and adverbial
quantifiers over eventualities. While it is usually assumed that
the semantics of sentences with determiner quantifiers and those with
adverbial quantifiers basically come out the same, we will show by way
of new data that quantification over events is more restricted than quantification
over individuals. This is because eventualities in contrast to
individuals have to be located in time which is done using contextual information
according to a pragmatic resolution strategy. If the contextual
information and the tense information given in the respective sentence
contradict each other, the sentence is uninterpretable. We conclude that
this is the reason why in these cases adverbial quantification, i.e. quantification
over eventualities, is impossible whereas quantification over
individuals is fine.
7
Wu, Cheng-Yu. "HOST RESTRICTION FACTORS IN THE REPLICATION OF TOMBUSVIRUSES: FROM RNA HELICASES TO NUCLEOCYTOPLASMIC SHUTTLING." UKnowledge, 2019. https://uknowledge.uky.edu/plantpath_etds/26.
Full textAbstract:
Positive-stranded (+)RNA viruses replicate inside cells and depend on many cellular factors to complete their infection cycle. In the meanwhile, (+)RNA viruses face the host innate immunity, such as cell-intrinsic restriction factors that could block virus replication.
Firstly, I have established that the plant DDX17-like RH30 DEAD-box helicase conducts strong inhibitory function on tombusvirus replication when expressed in plants and yeast surrogate host. This study demonstrates that RH30 blocks the assembly of viral replicase complex, the activation of RNA-dependent RNA polymerase function of p92pol and viral RNA template recruitment.
In addition, the features rendering the abundant plant DEAD-box helicases either antiviral or pro-viral functions in tombusvirus replication are intriguing. I found the reversion of the antiviral function of DDX17-like RH30 DEAD-box helicase and the coopted pro-viral DDX3-like RH20 helicase due to deletion of unique N-terminal domains. The discovery of the sequence plasticity of DEAD-box helicases that can alter recognition of different cis-acting elements in the viral genome illustrates the evolutionary potential of RNA helicases in the arms race between viruses and their hosts.
Moreover, I discovered that Xpo1 possesses an anti-viral function and exports previously characterized cell-intrinsic restriction factors (CIRFs) from the nucleus to the replication compartment of tombusviruses. Altogether, in my PhD studies, I found plant RH30 DEAD-box helicase is a potent host restriction factor inhibiting multiple steps of the tombusvirus replication. In addition, I provided the evidence supporting that the Nterminal domain determines the functions of antiviral DDX17-like RH30 DEAD-box helicase and pro-viral DDX3-like RH20 DEAD-box helicase in tombusvirus replication. Moreover, I discovered the emerging significance of the Xpo1-dependent nuclear export pathway in tombusvirus replication.
8
Martinat, Charlotte. "Rôle de la sumoylation dans les activités de SAMHD1, un facteur de restriction du VIH-1 dans les cellules non cyclantes." Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCC246.
Full textAbstract:
Depuis sa découverte il y a sept ans, les recherches intensives sur SAMHD1 en ont fait un facteur cellulaire important qui limite la réplication du virus de l’immunodéficience humaine de type 1 (VIH-1) à l’étape de transcription inverse dans les cellules immunitaires non-cyclantes. Le VIH-2 et certains virus de l’immunodéficience simienne (VIS) surmontent cette restriction en exprimant la protéine Vpx, qui conduit SAMHD1 à sa dégradation protéasomique. De nombreuses données expérimentales indiquent que l’activité triphosphohydrolase (dNTPase) de SAMHD1, qui diminue les niveaux cellulaires de dNTP, est responsable de la restriction. Cependant, la seule expression de SAMHD1 ne suffit pas à rendre les cellules résistantes à l’infection par le VIH-1 et ce quel que soit le type cellulaire. De plus, il n’existe pas de corrélation stricte entre la fonction neutralisante de SAMHD1 et sa capacité à dégrader les dNTP. Il a été suggéré que la phosphorylation du résidu T592 puisse inhiber les fonctions antivirales de SAMHD1 dans les cellules en division. Cependant, l’étude de mutants phospho-mimétiques ou phospho-ablatifs mène à des résultats contradictoires. Ces données permettent d’envisager que l’activité antivirale de SAMHD1 ne repose pas exclusivement sur son activité dNTPase et que sa régulation ne peut pas être expliquée que par la phosphorylation. Nous avons démontré que SAMHD1 est modifiée par la SUMOylation, i.e. une modification post-traductionnelle consistant en la conjugaison réversible des protéines SUMO ; et avons identifié les sites principaux modifiés. Nos résultats indiquent que les mutations empêchant la SUMOylation de SAMHD1, particulièrement celle du résidu K595 adjacent au résidu phosphorylable T592, invalident sa fonction antivirale sans affecter son activité dNTPase. Un phénotype similaire est observé après suppression de la région C-terminale de SAMHD1 (résidus 595-626). Nous suggérons donc que les résidus K595 SUMOylé et T592 phosphorylé font partie d’une interface responsable du recrutement d’un co-facteur méconnu, dépendant du type cellulaire, et pouvant jouer un rôle dans le mécanisme de restriction de l’infection par le VIH-1. Notre travail permet d’entrevoir un nouvel aspect de la régulation de SAMHD1 et contribue à la caractérisation des mécanismes moléculaires sous-jacents à son pouvoir antiviral. L’identification d’un ou plusieurs partenaires cellulaires de SAMHD1 permettra de mieux comprendre le mécanisme de restriction et pourra servir de cible thérapeutique pour combattre l’infection par le VIH-1Since its discovery seven years ago, SAMHD1 has emerged as an important cellular factor that limits the replication of the Human immunodeficiency virus type 1 (HIV-1) at the reverse transcription step in non-cycling immune cells. HIV-2 and some SIV overcome this restriction by encoding the Vpx protein, which bridges SAMHD1 to the proteasomal degradation pathway. A wealth of experimental evidence indicates that SAMHD1 triphosphohydrolase (dNTPAse) activity, which is responsible for cellular dNTP pools depletion, accounts for the premature termination of viral replication. Notably, SAMHD1 expression is not sufficient to render any tested cell type resistant to HIV-1. Besides, there is no strict link between SAMHD1 capacity to deplete dNTP pools and its neutralizing function. Phosphorylation of residue T592 is proposed to downregulate the antiviral function of SAMHD1 in cycling cells. However, the analysis of phosphomimetic or unphosphorytable mutants of SAMHD1 leads to contradictory results. Altogether, these data suggest that SAMHD1-mediated restriction may neither exclusively rely on its dNTPase activity, nor solely depend on the phosphorylation status of T592.We have demonstrated that SAMHD1 undergoes SUMOylation, i.e. a post-translational modification consisting in the reversible conjugation of SUMO on a target protein; and have identified the major sites of modification. Our results show that mutations preventing SAMHD1 SUMOylation, in particular at residue K595 that lies close to the phosphorytable T592 site, inhibit its antiviral properties without impairing its dNTPase activity. Notably, an analogous phenotype is observed upon deletion of SAMHD1 C-terminus (Δ595-626). Based on these data, we speculate that phosphorytable T592 and SUMOylated K595 residues are part of an interface in SAMHD1 C-terminal tail that is responsible for the recruitment of still unknown cofactor(s) involved in the mechanism of HIV-1 infection restriction. Our work highlights a novel aspect of SAMHD1 regulation and participates to the characterization of molecular basis underlying its antiviral function. The identification of one or several cellular partners will allow a better understanding of retroviral restriction mechanism and could serve as new therapeutic targets to fight HIV-1 infection
9
Järling, Kristine. "Klassificering av markanvändning och markägande enligt Land Administration Domain Model, LADM : En fallstudie i Valbo, Gävle." Thesis, Högskolan i Gävle, Avdelningen för Industriell utveckling, IT och Samhällsbyggnad, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-22091.
Full textAbstract:
The aim of this study is to analyse a part of a model that describes the relationship in land administration. The model is both international and Swedish standard and is named, The Land Administration Domain Model (LADM). The model describes how a natural or legal person, property unit or joint property unit is affected by the legislation, exercise of authority and agreements within an administrative entity, such as a property unit or joint property unit. A part of the model has been analysed in a case study in Valbo, Gävle. The study has been delimited to investigate the part that describes land administration that manifests itself as zoning plan, area regulations, Real Property Register and digitalised available cadastral dossiers. The information has been decoded by the part of the model rights, restrictions, and responsibilities (RRR). This is a more detailed way of describing how land administration affects a property unit or person. As far as the author knows has the model not been practiced in Sweden, despite of that the model has been of Swedish standard since 2012. The study shows that LADM can be used in Swedish legislation and fills a void when describing land administration, the main focus is to describe the relationship between property units and persons. The cross-border collection of property related information generates an overview of what exists in a land area. This makes it possible to see when information is duplicated or absent. LADM has the capacity to gather information from different land administration systems. By gathering information to a system so an overview is created and better conditions for exercise of authority or inhabitant to identify which factors affect a land area.Den här studien syftar till att analysera en del av en modell som beskriver relationer vid markanvändning och markägande. Modellen är både internationell och svensk standard och heter The Land Administration Domain Model (LADM), på svenska Modell för markanvändning och markägande (LADM). Modellen beskriver hur en fysisk eller juridisk person, fastighet eller samfälld mark påverkas av lagar, myndighetsutövning och avtal inom en registrerbar enhet, som en fastighet eller samfälld mark. En del av modellen har analyserats genom att använda metoden fallstudie i Valbo, Gävle. Studien har avgränsats till att undersöka den del som beskriver markanvändning och markägande som tar sig uttryck som detaljplaner, områdesbestämmelser, fastighetsregistret och digitalt tillgängliga förrättningsakter. Informationen har tolkats enligt modellens rättigheter, restriktioner och skyldigheter (RRR), vilket ger en mer detaljerad beskrivning hur lagar, myndighetsutövning och avtal påverkar en fastighet eller person, mer än förmån och belastning. Vad författaren känner till har inte modellen tillämpats i Sverige tidigare, trots att den varit svensk standard sedan år 2012. Studien visar att LADM fyller ett tomrum vid beskrivning av markanvändning och markägande, då den fokuserar på att beskriva relationer mellan fastigheter och personer. Insamlingen av fastighetsinformation kan ske gränsöverskridande och därmed skapar modellen en överblick av vad som finns inom ett område. Det skapar möjligheten att se när information finns upprepad hos olika register och när information uteblivit. LADM har kapacitet att samla den information som finns inom markanvändning och markägande. Genom att samla information till ett system skapas en översikt och ger bättre förutsättningar för myndighetsutövning eller invånare att identifiera vilka påverkande faktorer som finns inom ett geografiskt område.
10
Navarro, Michel Platiny Assis. "Restrição de domínio, distributividade e a expressão kar em um dialeto de língua Kaingang." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/8/8139/tde-13092012-095450/.
Full textAbstract:
Esta dissertação apresenta uma análise semântica, no paradigma da Semântica Formal, da (i) restrição de domínio no DP e da (ii) expressão kar, que veicula a ideia de totalidade, no dialeto paranaense da língua Kaingang, do tronco Macro-Jê, família Jê, falada nas regiões sul e sudeste do Brasil. Num primeiro momento, o artigo definido parece ter, no Kaingang Paranaense, uma distribuição não trivial: aplica-se primeiro a um determinante quantificacional e restringe, via essa combinação, o domínio do quantificador, tal como no Basco, Grego e Státimcets (Giannakidou 2003, Etxeberria 2005 e Etxeberria & Giannakidou 2009), línguas muito parecidas com o Kaingang no domínio nominal. Alguns dados, contudo, apontaram a análise em outra direção. Entendemos que certos padrões de comportamento semântico e sintático apresentado por kar nas sentenças, tal como sua neutralidade quanto à propriedade de distributividade e a possibilidade da conjunção de duas sequências de [NP+kar] sob um mesmo artigo definido (ao contrário do Basco, no qual a mesma estrutura é agramatical, sugerindo que os quantificadores universais em Basco criam um QP), são algumas das evidências que, no conjunto, dão suporte para a hipótese, defendida nesta dissertação, de que kar, no Kaingang Paranaense, parece ser um modificador - à la Lasersohn (1999) -, não tendo, por isso, uma força quantificacional própria. A função semântica de kar seria de controlar o quanto de desvio da verdade é pragmaticamente permissível. Como consequência desta análise, no Kaingang Paranaense o artigo definido não operaria sobre um determinante quantificacional, mas sim sobre um NP. O que aponta no sentido de que os artigos definidos ag/fag (os/as) no Kaingang Paranaense, em contextos em que eles co-ocorrem com kar, não perderiam a sua função max, i.e., de formadores de indivíduo a partir de um conjunto, para funcionar meramente como um operador preservador de tipo e restritor de domínio adjungido ao determinante quantificacional, como proposto por Giannakidou 2003, Etxeberria (2005) e Etxeberria & Giannakidou (2009) para o Basco e o Grego. Ag/fag continuariam sendo artigos definidos clássicos ocupando o núcleo de uma projeção DP e kar um modificador. Também discutimos brevemente algumas das vantagens e problemas de se tentar estender esta análise para o Basco, Grego e Státimcets. E, por último, investigamos o comportamento de kar na sentença, as possíveis leituras quando da sua interação com indefinidos, numerais, tipos de predicados e o operador distributivo introduzido via reduplicação verbal. Com base nos dados, nossa proposta é de que - em função de a leitura distributiva, na maioria dos exemplos, ser permitida pelos informantes somente quando houve reduplicação verbal - kar é neutro quanto à propriedade da distributividade e que o operador distributivo introduzido por reduplicação verbal tem escopo sobre todo o VP.This dissertation presents, in the paradigm of formal semantics, a semantic analysis of both (i) the phenomenon of domain restriction in the DP and (ii) the expression kar, which conveys the idea of totality, in a dialect of the Kaingang language, a Brazilian language from the Macro-Jê Stock, Jê family, spoken in southern and southeastern Brazil. Although, at first, the definite article in Kaingang seems to have a non-trivial distribution: it applies first to a quantificational expression, and via such combination restricts the domain of quantifier, such as in Basque, Greek and Státimcets (Giannakidou 2003, Etxeberria 2005 and Etxeberria & Giannakidou 2009), some data pointed the analysis in another direction. Patterns of semantic and syntactic bevavior presented by kar in some sentences, such as its neutralite regarding the property of distributivity and the possibility of conjoining two [NP + kar] sequences under the same definite article (unlike Basque, which does not allow such structure, suggesting that in Basque the universal quantifier creats a QP), seem to be as a whole evidences for the hypothesis, advocated in this thesis, that the expression kar may be a modifier - à la Lasersohn (1999) - and as such would not have a quantificational force of its own. The semantic function of kar would be to control how much deviation from the truth conditions of the sentences is pragmatically allowed. As a result of this analysis, the definite articles ag/fag in Kaingang do not operate on a quantificational expression, as in Basque and Greek, but on the NP. Such fact suggests that the definite articles in Kaingang, in contexts they co-occur with kar, do not lose their max function in order to work merely as a type preserver and a domain restrictor combined with a quantificational expression, as proposed by Giannakidou 2003, Etxeberria (2005) e Etxeberria & Giannakidou (2009) for Basque and Greek. Ag/fag would still be a classical definite article occupying the head of a DP projection and kar a modifier, instead of a universal quantifier. We also discuss briefly some of the advantages and problems of trying to extend this analysis to the Basque, Greek and Státimcets languages. And lastly, we investigated the behavior of kar in the sentence, its interaction with indefinites, numerals, types of predicates and the distributive operator introduced via verbal reduplication. Based on such data, once distributive readings were permitted by the informants only via verbal reduplication, our proposal is that kar is neutral regarding the property of distributivity and that the distributive operator introduced via verbal reduplication has scope over the VP.
Books on the topic "Domain restrictions"
1
United States. Congress. House. Committee on Resources. Trends in federal landownership and management: Hearing before the Committee on Resources, House of Representatives, One Hundred Fourth Congress, first session, on the effect that federal ownership and management of public lands and the condemnation and restriction of private property has on local areas, March 2, 1995--Washington, DC. Washington: U.S. G.P.O., 1995.
Find full text
2
United States. Congress. House. Committee on Resources. Trends in federal landownership and management: Hearing before the Committee on Resources, House of Representatives, One Hundred Fourth Congress, first session, on the effect that federal ownership and management of public lands and the condemnation and restriction of private property has on local areas, March 2, 1995--Washington, DC. Washington: U.S. G.P.O., 1995.
Find full text
3
Breckenridge, Wylie. Implicit Domain Restriction. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199600465.003.0006.
Full textAbstract:
According to the proposal made in Chapter 4, we use ‘grey’ in ‘The patch looks grey to you’ to refer to a way of looking by quantifying over events. When we quantify it is very common for us to implicitly restrict the domain of things over which we do so. The author proposes that, as an instance of this general phenomenon, we employ implicit domain restriction when we use ‘grey’ to quantify over events in ‘The patch looks grey to you’. The author uses this to explain various phenomena to do with our use of ‘grey’ and other adjectives in ‘look’ sentences.
4
Ferstman, Carla. Challenging the Conduct of International Organizations before Domestic Courts. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198808442.003.0006.
Full textAbstract:
This chapter is about domestic courts. Victims often have no other option than to seek a remedy against an international organization before domestic courts. This is so even though the domestic character of such courts does not lend well to them playing this particular adjudicative role with regard to disputes concerning international organizations and organizational immunities from the jurisdiction of domestic courts are near absolute. Unlike the progressive recognition of restrictions to the immunity of States and their agents, there have been only limited parallel developments in the domain of organizational immunity. The chapter considers the extent of immunities and other jurisdictional bars before domestic courts and considers the practice of international organizations to waive immunity.
5
Hanson, Ardis, Carol A. Ott, and Bruce Lubotsky Levin. Behavioral Health. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780190238308.003.0008.
Full textAbstract:
Seven of the top 20 disorders affecting morbidity are mental illnesses: major depressive disorders, drug use disorders, anxiety disorders, alcohol use disorders, schizophrenia, bipolar disorder, and dysthymia. Behavioral health disorders are important determinants of work role disability and quality of life. Behavioral health disorders also have generally stronger “cross-domain” effects, exacerbating the diagnosis and treatment of many physical disorders and chronic medical conditions. In addition to the persistent stigma surrounding behavioral health disorders, there are issues of reimbursement, costs of care, availability of care based on provider and/or geographic availability, policy limitations, formulary restrictions, transportation, provider knowledge, patient knowledge, attitudinal/evaluative barriers, medication compliance, family support (or lack of it), inconvenience or inability to obtain an appointment, and refusal of treatment. This chapter provides an overview of the issues surrounding behavioral health care from a population health perspective, including pharmaceutical treatment and competencies for community-based pharmacists.
6
Mahajan, Anoop. Accusative and Ergative in Hindi. Edited by Jessica Coon, Diane Massam, and Lisa Demena Travis. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780198739371.013.4.
Full textAbstract:
This chapter examines the nature of case licensing of the direct object in ergative constructions in Hindi, a split ergative language. Split ergativity in Hindi is conditioned by aspect – perfective transitive constructions display ergative case marking while non-perfective clauses do not. The chapter argues that in Hindi the morphologically bare direct object in an ergative construction is case licensed by T(ense) and not by little v as argued recently by Legate (2008) and others. The evidence for this proposal comes from examining the syntax of perfective and imperfective prenominal relative clauses, an empirical domain in Hindi that has not been previously examined from the perspective of case licensing. The restrictions found on what arguments can be relativized in prenominal relative clauses provide crucial evidence for the nature of case licensing in Hindi participial clauses and that evidence in turn bears upon the nature of object case licensing in ergative constructions.
7
Jónsson, Jóhannes Gísli, and Thórhallur Eythórsson, eds. Syntactic Features and the Limits of Syntactic Change. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198832584.001.0001.
Full textAbstract:
This volume brings together the latest diachronic research on syntactic features and their role in restricting syntactic change. The chapters address a central theoretical issue in diachronic syntax: whether syntactic variation can always be attributed to differences in the features of items in the lexicon, as the Borer-Chomsky conjecture proposes. In answering this question, all the chapters develop analyses of syntactic change couched within a formalist framework in which rich hierarchical structures and abstract features of various kinds play an important role. The first three parts of the volume explore the different domains of the clause, namely the C-domain, the T-domain and the νP/VP-domain respectively, while chapters in the final part are concerned with establishing methodology in diachronic syntax and modelling linguistic correspondences. The contributors draw on extensive data from a large number of languages and dialects, including several that have received little attention in the literature on diachronic syntax, such as Romeyka, a Greek variety spoken in Turkey, and Middle Low German, previously spoken in northern Germany. Other languages are explored from a fresh theoretical perspective, including Hungarian, Icelandic, and Austronesian languages. The volume sheds light not only on specific syntactic changes from a cross-linguistic perspective but also on broader issues in language change and linguistic theory.
8
Linnebo, Øystein. Dynamic Abstraction. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199641314.003.0003.
Full textAbstract:
Any abstractionist approach to thin objects faces the threat of paradox, as illustrated by Frege’s inconsistent Basic Law V. The neo-Fregeans Hale and Wright respond by severely restricting the class of acceptable abstraction principles. Their approach is static in the sense that they hold the domain fixed. This approach to abstraction is criticized, and an alternative approach is developed which permits abstraction on a vast class of equivalence relations. This alternative approach is dynamic in the sense that abstraction on an extensionally specified domain (i.e. a domain specified by means of a plurality of objects) may result in a larger such domain. A form of absolute generality is nevertheless possible, provided that the associated domain is understood in an intensional sense (i.e. it cannot be specified by means of a plurality).
9
Fried, Barbara H. Facing Up to Scarcity. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198847878.001.0001.
Full textAbstract:
The essays collected in this book take stock of the nonconsequentialist project over the past fifty years, in two key areas. The first part focuses on the moral “duty not to harm” others. Under a suitably broad definition of harm, that duty encompasses most of the restrictions imposed on individual conduct in the secular, liberal state. It examines how that duty has been cashed out in ostensibly nonaggregative terms in the principal strains of nonconsequentialist thought: tragic choices (trolleyology), libertarian property rights, corrective justice in tort law, and Scanlonian contractualism. Nonconsequentialists have not only failed to articulate a viable alternative to aggregation in this domain; they are doomed to fail, because in a world of scarcity (in the broadest sense) and epistemic uncertainty, everything we do poses some risk of harm to others’ fundamental interests, a conflict that can be resolved only through aggregation. The second part examines the treatment of distributive justice in nonconsequentialist political theory over the past fifty years, focusing on Nozickian libertarianism, Rawlsianism, left-libertarianism, and social contractarianism. It argues that whatever the moral attractiveness of the various distributive schemes proposed, none is logically entailed by the normative premises from which it is ostensibly derived. Unlike the argument in the first part, this is not an argument for consequentialism by logical elimination. Societal wealth need not be, and almost never is, distributed to optimize consequences. Rather, it underscores the relatively weak justifications that have been offered for some very strong conclusions.
10
Erdos, David. European Data Protection Regulation, Journalism, and Traditional Publishers. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198841982.001.0001.
Full textAbstract:
This book explores the interface between European data protection and the freedom of expression activities of traditional journalism, professional artists, and both academic and non-academic writers from both an empirical and normative perspective. It draws on an exhaustive examination of both historical and contemporary public domain material and a comprehensive questionnaire of European Data Protection Authorities (DPAs). Empirically it is found that, notwithstanding an often confusing statutory landscape, DPAs have sought to develop an approach to regulating the journalistic media based on contextual rights balancing. However, they have struggled to secure a clear and specified criterion of strictness as regards standard-setting or a consistent and reliable approach to enforcement. DPAs have appeared even more confused as regards other traditional publishers, largely abstaining from regulating most professional artists and writers but attempting to subject all academic disciplines to onerous statutory restrictions established for medical, scientific, and related research. From these findings, it is argued that balancing contextual rights has value and should be both generalized across all traditional publishers and systematically and sensitively developed through structured and robust co-regulation. Such co-regulation should adopt the new code of conduct and monitoring provisions included in the General Data Protection Regulation (GDPR) as a broad guideline. DPAs should accord strong deference to any codes and monitoring bodies which verifiably meet the accredited criteria but must engage more proactively when these are absent. In any case, DPAs should also intervene directly as regards particularly serious or systematic issues and have an increasingly important role in ensuring a joined-up approach between traditional publishing and new media activity.
Book chapters on the topic "Domain restrictions"
1
Barberà, Salvador, Dolors Berga, and Bernardo Moreno. "Some New Domain Restrictions in Social Choice, and Their Consequences." In Modeling Decisions for Artificial Intelligence, 11–24. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41550-0_2.
Full text
2
Ell, Basil, Sherzod Hakimov, and Philipp Cimiano. "Statistical Induction of Coupled Domain/Range Restrictions from RDF Knowledge Bases." In Lecture Notes in Computer Science, 27–40. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-68723-0_3.
Full text
3
Efthymiou, Angeliki. "Chapter 6. Diminutive formation in Modern Greek." In Linguistik Aktuell/Linguistics Today, 176–205. Amsterdam: John Benjamins Publishing Company, 2024. http://dx.doi.org/10.1075/la.284.06eft.
Full textAbstract:
The aim of this chapter is to investigate variation in Modern Greek diminutive derivational means (affixes and affixoids) by focusing on their selectional restrictions (e.g. phonological, morphological, semantic) and their competition (e.g. psilo.xondrós ‘dim.fat’ vs. xondr.oúlis ‘fat.dim’). Given that the use of all Greek diminutive morphemes (affixes or affixoids) is subject to selectional restrictions, it is shown that the variation found in diminutive derivational morphemes can be explained with reference to their particular restrictions and their multifunctional character. Furthermore, it is demonstrated that the domain of Modern Greek diminutive morphemes can be thought of as a complex ecosystem structured around a fairly complementary distribution (rather than competition).
4
Plump, Christina, Bernhard J. Berger, and Rolf Drechsler. "Choosing the Right Technique for the Right Restriction – A Domain-Specific Approach for Enforcing Search-Space Restrictions in Evolutionary Algorithms." In Dynamics in Logistics, 349–59. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-05359-7_28.
Full text
5
Barberà, Salvador. "Theoretical Unification, Domain Restrictions and Further Applications: Some Comments on Future Research in Economic Design." In The Future of Economic Design, 21–25. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-18050-8_4.
Full text
6
Turano, Giuseppina. "L’interazione tra la diatesi Non-attiva e le categorie di tempo e aspetto. Microvariazione nei dialetti italo-albanesi." In Biblioteca di Studi Slavistici, 245–70. Florence: Firenze University Press, 2023. http://dx.doi.org/10.36253/979-12-215-0184-1.15.
Full textAbstract:
This article deals with morphological non-active verbal voice, which characterises reflexive, middle and passive structures in Standard Albanian and Arbëresh dialects. The data, compared to those of Italian, show that the three different strategies for the realisation of Standard Albanian and Arbëresh non-active morphology interact with the categories of mood, tense and aspect. In particular, these morphological strategies determine a perfective/ imperfective split as well as a series of restrictions which convey different interpretations associated with a stative or eventive interpretation. Particular attention is paid to the possible influence of Italian structures on the Italo-Albanian varieties in the domain of non-active voice.
7
Mayer, Rolf. "Anaphora and domain restriction." In Text Understanding in LILOG, 297–312. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54594-8_66.
Full text
8
Pagin, Peter. "Vagueness and Domain Restriction." In Vagueness and Language Use, 283–307. London: Palgrave Macmillan UK, 2011. http://dx.doi.org/10.1057/9780230299313_13.
Full text
9
Roberts, Craige. "Domain Restriction in Dynamic Semantics." In Quantification in Natural Languages, 661–700. Dordrecht: Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-011-0321-3_20.
Full text
10
Roberts, Craige. "Domain Restriction in Dynamic Semantics." In Quantification in Natural Languages, 661–700. Dordrecht: Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-017-2817-1_20.
Full textConference papers on the topic "Domain restrictions"
1
Eiben, Eduard, Robert Ganian, Dušan Knop, and Sebastian Ordyniak. "Unary Integer Linear Programming with Structural Restrictions." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/179.
Full textAbstract:
Recently a number of algorithmic results have appeared which show the tractability of Integer Linear Programming (ILP) instances under strong restrictions on variable domains and/or coefficients (AAAI 2016, AAAI 2017, IJCAI 2017). In this paper, we target ILPs where neither the variable domains nor the coefficients are restricted by a fixed constant or parameter; instead, we only require that our instances can be encoded in unary. We provide new algorithms and lower bounds for such ILPs by exploiting the structure of their variable interactions, represented as a graph. Our first set of results focuses on solving ILP instances through the use of a graph parameter called clique-width, which can be seen as an extension of treewidth which also captures well-structured dense graphs. In particular, we obtain a polynomial-time algorithm for instances of bounded clique-width whose domain and coefficients are polynomially bounded by the input size, and we complement this positive result by a number of algorithmic lower bounds. Afterwards, we turn our attention to ILPs with acyclic variable interactions. In this setting, we obtain a complexity map for the problem with respect to the graph representation used and restrictions on the encoding.
2
Edgett, Patrick G., Leong Lee, Jennifer L. Leopold, and Alton B. Coalter. "Representation and validation of domain and range restrictions in a relational database-driven ontology maintenance system." In the Fourteenth International Database Engineering & Applications Symposium. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1866480.1866495.
Full text
3
Riahi, Reza, Farshid Bagheri, and Bijan Farhanieh. "Experimental and Numerical Investigation of Fluid Dynamics of the Bounded and Unbounded Triangular Jets." In ASME Turbo Expo 2008: Power for Land, Sea, and Air. ASMEDC, 2008. http://dx.doi.org/10.1115/gt2008-50407.
Full textAbstract:
In the present study, the fluid characteristics of triangular turbulent jet flow are considered experimentally and numerically. The results of spatially developed three-dimensional jet, issued from an equilateral triangular nozzle are presented. The jet is discharged to both bounded and unbounded domains. Because of the wind tunnel set up restrictions, the experimental study has done just for the bounded domain. The hot-wire anemometry is used for experimental study. A numerical method employing control volume approach with collocated grid arrangement which couples the velocity and pressure fields with SIMPLEC algorithm is introduced to discrete the governing equations of fluid flow. The turbulent stresses are approximated using k-ε model. Both bounded and unbounded domains have been studied using a numerical code. The velocity field is presented using profiles and contours. Comparison of numerical and experimental results for the bounded domain shows a good agreement. The flow pattern results show that the strong mixing and flow entrainment from free boundaries into the jet takes place and eventuates to expand the jet highly at the unbounded domain.
4
Nascimento, Leandro Marques do, Eduardo Santana de Almeida, and Silvio Romero de Lemos Meira. "Core Assets Development in Software Product Lines - Towards a Practical Approach for the Mobile Game Domain." In Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software. Sociedade Brasileira de Computação, 2009. http://dx.doi.org/10.5753/sbcars.2009.24106.
Full textAbstract:
Software Product Lines (SPL) approaches are gradually being adopted as a powerful strategy for achieving high productivity and increasing quality in software engineering. A particular domain where the adoption of such approach may bring relevant benefits is the mobile game domain given the big diversity of handsets and the large number of commonalities among these games. However, applying SPL approaches in such domain is not trivial because of some restrictions, such as reduced memory and application size. In this context, this work presents a practical approach to implement core assets in a SPL in the mobile game domain combining good practices from previous work and briefly describing a case study performed with three mobile games.
5
Aras, Eyyup. "Investigating the Effects of Branching on the Constraint-Embedded Swept Profile Calculations." In ASME 2021 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2021. http://dx.doi.org/10.1115/imece2021-70210.
Full textAbstract:
Abstract One of the most significant issues investigated in the CAD/CAM developments is the swept envelope formation by a moving tool. There is many attempts to get envelopes, based on the evaluation of tangency constraint. The core operation of this method is to pick the input values one at a time and consider the solutions of constraint for various dependent values at a particular time instance. Such a pathway causes excessive computational effort and time that must be spent to implement the tangency constraint. Recently some research [15,17] has been conducted to completely eliminate the need for evaluating tangency-constraint. In these techniques in order to obtain a closed-form representation of the envelope, the tangency constraint is written explicitly in terms of the dependent variable then it is embedded into the tool surface equation. While these sound straight forward, there are some important inevitable consequences of these restructurings. In the new form, there are no restrictions on the domains of the input variables. On the other hand, for the form-cutting tools the whole set of input values need to be partitioned into a number of disjoint ordered-subsets for which correspondence check between domain and eliminated variables must be performed. The computational cost associated with this type of calculation can become impractical when looking at all the benefits we get from eliminating the tangency-constraint evaluation. To overcome this issue, in this paper first, we introduce a powerful test that takes the domain restrictions into account. Later, using this test we will systematically investigate the distribution patterns of swept profiles. Finally, we present algorithms for forming the domains of closed forms under different motion kinematics.
6
Guo, Qingyu, Bo An, Branislav Bošanský, and Christopher Kiekintveld. "Comparing Strategic Secrecy and Stackelberg Commitment in Security Games." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/516.
Full textAbstract:
The Strong Stackelberg Equilibrium (SSE) has drawn extensive attention recently in several security domains. However, the SSE concept neglects the advantage of defender's strategic revelation of her private information, and overestimates the observation ability of the adversaries. In this paper, we overcome these restrictions and analyze the tradeoff between strategic secrecy and commitment in security games. We propose a Disguised-resource Security Game (DSG) where the defender strategically disguises some of her resources. We compare strategic information revelation with public commitment and formally show that they have different advantages depending the payoff structure. To compute the Perfect Bayesian Equilibrium (PBE), several novel approaches are provided, including a novel algorithm based on support set enumeration, and an approximation algorithm for \epsilon-PBE. Extensive experimental evaluation shows that both strategic secrecy and Stackelberg commitment are critical measures in security domain, and our approaches can efficiently solve PBEs for realistic-sized problems.
7
Justino, Paulo, Jose´ C. Amador, Tiago Morais, Marc Hadden, and Nuno Ferreira. "Frequency and Time-Domain Models for a Two-Body Wave Power Device That Extracts Energy From Sea Waves by Relative Pitch Motion." In ASME 2008 27th International Conference on Offshore Mechanics and Arctic Engineering. ASMEDC, 2008. http://dx.doi.org/10.1115/omae2008-57626.
Full textAbstract:
In this paper analytical and numerical tools are used to describe the behaviour of a new wave power device. This device extracts energy from sea waves by relative pitch motion between their two independent parts. Frequency-domain analysis is carried out assuming that its hydrodynamic performance and its power take-off equipment behaviour may be considered linear. For regular waves optimal mechanical damping coefficients are computed assuming restrictions to hold for relative pitch motion between the two device parts. Useful power, capture length as well as rotations and displacements are computed. Time-domain analysis is necessary if one needs to compute the device’s performance under more realistic operational conditions. In order to get device’s variables trajectories for irregular sea conditions, a time-domain approach is adopted since the hydraulic power take-off equipment exhibits a non-linear behaviour. Results are obtained for irregular waves, i.e. for different sea states, and thus trajectories for several device variables are presented. Power available to the hydraulic machine is computed and presented.
8
Dilkas, Paulius, and Vaishak Belle. "Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures." In 20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/kr.2023/20.
Full textAbstract:
First-order model counting (FOMC) is a computational problem that asks to count the models of a sentence in finite-domain first-order logic. In this paper, we argue that the capabilities of FOMC algorithms to date are limited by their inability to express many types of recursive computations. To enable such computations, we relax the restrictions that typically accompany domain recursion and generalise the circuits used to express a solution to an FOMC problem to directed graphs that may contain cycles. To this end, we adapt the most well-established (weighted) FOMC algorithm ForcLift to work with such graphs and introduce new compilation rules that can create cycle-inducing edges that encode recursive function calls. These improvements allow the algorithm to find efficient solutions to counting problems that were previously beyond its reach, including those that cannot be solved efficiently by any other exact FOMC algorithm. We end with a few conjectures on what classes of instances could be domain-liftable as a result.
9
Warzoha, Ronald J., Adam A. Wilson, Brian F. Donovan, Andy Clark, Xuemei Cheng, Lu An, Ezra Lee, Xiaosong Liu, and Gang Feng. "Confined Transducer Geometries to Enhance Sensitivity to Thermal Boundary Conductance in Frequency-Domain Thermoreflectance Measurements." In ASME 2021 International Technical Conference and Exhibition on Packaging and Integration of Electronic and Photonic Microsystems. American Society of Mechanical Engineers, 2021. http://dx.doi.org/10.1115/ipack2021-66842.
Full textAbstract:
Abstract Quantifying the resistance to heat flow across well-bonded, planar interfaces is critical in modern electronics packaging architectures, particularly as device length scales are reduced and power demands continue to grow unabated. However, very few experimental techniques are capable of measuring the thermal resistance across such interfaces due to limitations in the required measurement resolution provided by the characterization technique (i.e., Rth < 0.1 mm2·K/W in steady-state configurations) and restrictions on the thermal penetration depth that can be achieved as a result of the heating event that is typically imposed on a sample’s surface (for optical pump-probe thermoreflectance techniques). A recent numerical fitting routine for Frequency-domain Thermoreflectance (FDTR) developed by the authors1 offers a potential avenue to rectify these issues if the transducer’s geometry can be confined. This work utilizes numerical simulations to evaluate the sensitivity of FDTR to a range of thermal boundary resistance (TBR) values as a function of the thermal resistance of adjacent material layers. Experimental measurements are performed across a handful of different material systems to validate our computational results and to demonstrate the the extent to which confined transducer geometries can improve our sensitivyt to the TBR across so-called “buried” interfaces when characterized with FDTR.
10
Marx, Matthias, Chunsheng Wei, and Dirk So¨ffker. "Optimization of Complex Dynamic Systems With Respect to Their Behavior in Time and Frequency Domain." In ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2011. http://dx.doi.org/10.1115/detc2011-48429.
Full textAbstract:
This paper describes an integrated optimization process of dynamic systems including design parameters and control algorithms. In contrast to known approaches the developed approach is based on an optimization loop including the evaluation of the dynamical behavior of technical systems with respect to the behavior and related properties in time and frequency domain. This includes as well the behavior of the system, the objective function as the formulation of the restrictions to be considered for the dynamical behavior (stationary and instationary). The proposed approach is declared in detail and will be illustrated using two typical technical applications as examples. The first application example is the optimization of the control system of an active magnetic bearing (AMB) rotor system. Hereby the modeling of the AMB rotor system is briefly introduced. An H∞ controller is designed for the control of the system. The performance both in time and frequency domain is optimized in parallel. The algorithm will be explained by simulation examples. The second example is the optimization of the pow-ermanagement system of a fuel cell/supercap-based hybrid electric powertrain. Hereby the modeling of the electric power flow within the powertrain system is demonstrated and its influence on certain system properties like availability, efficiency, and typical aging mechanisms is discussed. The proposed method leads to near-optimal results in a few steps for both of the systems introduced.
Reports on the topic "Domain restrictions"
1
Pensel, Maximilian, and Anni-Yasmin Turhan. Making Quantification Relevant Again —the Case of Defeasible EL⊥. Technische Universität Dresden, 2017. http://dx.doi.org/10.25368/2022.231.
Full textAbstract:
Defeasible Description Logics (DDLs) extend Description Logics with defeasible concept inclusions. Reasoning in DDLs often employs rational or relevant closure according to the (propositional) KLM postulates. If in DDLs with quantification a defeasible subsumption relationship holds between concepts, this relationship might also hold if these concepts appear in existential restrictions. Such nested defeasible subsumption relationships were not detected by earlier reasoning algorithms—neither for rational nor relevant closure. In this report, we present a new approach for EL ⊥ that alleviates this problem for relevant closure (the strongest form of preferential reasoning currently investigated) by the use of typicality models that extend classical canonical models by domain elements that individually satisfy any amount of consistent defeasible knowledge. We also show that a certain restriction on the domain of the typicality models in this approach yields inference results that correspond to the (weaker) more commonly known rational closure.
2
Anderson, Olin, and Gad Galili. Development of Assay Systems for Bioengineering Proteins that Affect Dough Quality and Wheat Utilization. United States Department of Agriculture, 1994. http://dx.doi.org/10.32747/1994.7568781.bard.
Full textAbstract:
The quality and utilization of wheat is largely dependent upon the exact physical/chemical properties of the doughs made from flour/water mixtures. Among the wheat seed components most correlated with dough visoelastic parameters are the high-molecular-weight (HMW) glutenin subunits whose disulfide cross-linked macropolymer is critical for dough functionality. We have used the tools of molecular biology, wheat transformation, heterologous expression of HMW-glutenin subunits in bacteria, and dough micro-mixing experiments to examine some of the molecular basis of HMW-glutenin functionality. In addition, we have developed sets of modified and synthetic gene constructs and transgenic wheat lines that will allow further examination of the role of the HMW-glutenins. Among the results from this work is evidence that the HMW-glutenin repeat domain is directly related to dough properties, the demonstration that interaction between subunits is dependent upon domain presence but not order, a novel understanding of the restrictions on intra-vs inter-chain disulfide bonds, the demonstration that HMW-glutenin genes can be transformed into wheat for simultaneously high expression of the transgene and suppression of the endogenous genes, and the construction of a set of modified HMW-glutenins capable of being epitope tagged for studying polypeptide subcellular processing and the fate of HMW-glutenins in dough mixing experiments.
3
Carvajal, Andrés. Testable restrictions of Nash equilibrium in games with continuous domains. Bogotá, Colombia: Banco de la República, January 2003. http://dx.doi.org/10.32468/be.229.
Full text
4
Baader, Franz, Stefan Borgwardt, and Marcel Lippmann. Query Rewriting for DL-Lite with n-ary Concrete Domains (Extended Version). Technische Universität Dresden, 2017. http://dx.doi.org/10.25368/2022.234.
Full textAbstract:
We investigate ontology-based query answering (OBQA) in a setting where both the ontology and the query can refer to concrete values such as numbers and strings. In contrast to previous work on this topic, the built-in predicates used to compare values are not restricted to being unary. We introduce restrictions on these predicates and on the ontology language that allow us to reduce OBQA to query answering in databases using the so-called combined rewriting approach. Though at first sight our restrictions are different from the ones used in previous work, we show that our results strictly subsume some of the existing first-order rewritability results for unary predicates.
5
Giles Álvarez, Laura, Juan Carlos Vargas-Moreno, Alejandra Mejía, Aastha Patel, and Nerlyne Jean-Baptiste. Une approche spatiale pour analyser l’insécurité alimentaire dans le département du Nord-Ouest d’Haïti. Inter-American Development Bank, December 2022. http://dx.doi.org/10.18235/0004589.
Full textAbstract:
Cette étude présente une analyse de l’insécurité alimentaire et de ses facteurs sous-jacents dans le département du Nord-Ouest en Haïti. Ce département est l’un des plus vulnérable et le plus touché par l’insécurité alimentaire en Haïti, avec 55 % de la population ayant besoin d’une assistance urgente (IPC 2022). L’aide du Cadre intégré des phases de la sécurité alimentaire (IPC) et du Cadre de sécurité alimentaire (BID 2018) de la Banque Interaméricaine de développement (BID), cet article présente une analyse géo-spatiale, complétée par un examen d’autres facteurs socioéconomiques, pour donner un aperçu de ce qui aggrave cette crise alimentaire et des domaines les plus urgents à traiter. Les résultats montrent que le déclin de la production nationale - qui a été entravée par des infrastructures et des financements inadéquats, l’insécurité et les catastrophes naturelles - s’est produit parallèlement aux perturbations de la chane d’approvisionnement internationale, affectant les importations conjointement avec les recettes provenant de laide. L’ensemble de ces facteurs a un effet négatif sur la disponibilité de la nourriture. Les contraintes d’approvisionnement, les restrictions de mobilité, les chocs de prix et les risques pour les revenus durables ont également un impact négatif sur l’accès à la nourriture. Les difficultés d’accès à l’eau potable et aux infrastructures sanitaires, ainsi que le manque de diversité au niveau des régimes alimentaires, entravent également l’utilisation de la nourriture, décrite comme la disponibilité d’aliments de qualité nécessaires pour atteindre un statut nutritionnel adéquat. En outre, la stabilité alimentaire n’est pas garantie en raison des problèmes liés aux dotations naturelles de la région, au manque ou à la faible capacité des infrastructures d’irrigation, à la vulnérabilité aux chocs climatiques, aux fluctuations des prix et à l’insécurité. Sur la base de ces résultats, ce document recommande 23 actions visant à augmenter l’accès aux services de base, à promouvoir une nutrition adéquate, à soutenir une agriculture productive et durable et à accroître la résilience aux chocs et aux fluctuations inhérentes à l’écosystème alimentaire. Plus important encore, le déploiement efficace de ces mesures nécessitera une approche coordonnée à tous les niveaux administratifs de ltatocal et national, en collaboration avec le secteur privé et la communauté des donateurs.