نتایج جستجو برای: and process variables
تعداد نتایج: 16941309 فیلتر نتایج به سال:
In this paper, we introduce a new fragment of the first-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator (Since or Until) have at most one free variable. We show that the satisfiability problem for monodic formulas in various linear time structures can be reduced to the satisfiability problem for a certain fragment of classical first...
boron nitride semiconducting zigzag swcnt, $b_{cb}$$n_{cn}$$c_{1-cb-cn}$, as a potential candidate for making nanoelectronic devices was examined. in contrast to the previous dft calculations, wherein just one boron and nitrogen doping configuration have been considered, here for the average over all possible configurations, density of states (dos) was calculated in terms of boron and nitrogen ...
having conducted the experiment and analysed the data, the researcher computed the groups mean scores and variances for the test relating to the research question. as the final atep, a t-test was conodonted for the hypothesis. as noted earlier, the significance level was determined at .05 and .01 respectively. the observed t-value was higher than the critical t-value at. 5 and .01 levels. conse...
a phase-locked loop (pll) based frequency synthesizer is an important circuit that is used in many applications, especially in communication systems such as ethernet receivers, disk drive read/write channels, digital mobile receivers, high-speed memory interfaces, system clock recovery and wireless communication system. other than requiring good signal purity such as low phase noise and low spu...
Recent work proposed defining type-safe macros via interpretation into a multi-stage language. The utility of this approach was illustrated with a language called MacroML, in which all type checking is carried out before macro expansion. Building on this work, the goal of this paper is to develop a macro language that makes it easy for programmers to reason about terms locally. We show that def...
Recent work on the syntax and semantics of functional projections within the noun phrase has had as one goal an explanation for the crosslinguistic distribution of “bare” (determinerless) noun phrases. This article provides an account for an apparent anomaly: the relatively free occurrence of bare noun phrases under coordination. We argue that this construction involves coordination of projecti...
performance appraisal systems are affected by organizational social context. social context consists of tow factors, distal variables, and, proximal variables. distal factors include but are not limited to organizational culture, organizational structure, and, values. proximal variable categorize as both process factors and structural factors. in this paper the process factors were examined. th...
In this paper, we introduce a new fragment of the first-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator (Since or Until) have at most one free variable. We show that the satisfiability problem for monodic formulas in various linear time structures can be reduced to the satisfiability problem for a certain fragment of classical first...
We study the full set of planar Green's functions for a two-matrix model using the language of functions of non-commuting variables. Both the standard Schwinger-Dyson equations and equations determining connected Green's functions can be efficiently discussed and solved. This solution determines the master field for the model in the 'C-representation.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید