... .l_k>}. The correctness of this acceptance condition is a consequence of the invariant. 3. Extension to S-attributed Grammars The chief element of the extension of the algorithm is a change ... finite set of string categories; T a finite set of terminal symbols; P a finite set of productions or rewriting rules of the form X ~t~, Xe N, ae (NUT)*; and S a distingu...
Ngày tải lên: 01/04/2014, 00:20
... framework of the E3 project National Participation, funded by the General Secretariat of Research and Technology (GSRT) of the Greek Ministry of Development and evolved in the context of the ... end-user experience, in terms of quality of service (QoS), availability and reliability. At the same time, the complexity and heterogeneity of the infrastructure of mobile netwo...
Ngày tải lên: 20/06/2014, 20:20
Báo cáo toán học: " An efficient implementation of iterative adaptive approach for source localization" pptx
... because the number of actual sources of interest is generally much smaller than the number of potential source locations in the region to be observed. A kind of algorithms of sparse r ecovery ... number of the selected principle components i n step (b) of Table 2 is equal to the num- ber of the actual sources ; for lower SNR, the number of the selected principle components i...
Ngày tải lên: 20/06/2014, 20:20
Báo cáo toán học: " Some properties of an integral operator defined by convolution" potx
... R: Properties of a class of functions with bounded boundary rotation. Ann. Polon. Math. 31, 311–323 (1975) [3]. Noor, KI: On radii of convexity and starlikeness of some classes of analytic functions. ... family of integral operator using famous convolution technique. We also apply this newly defined operator for investigating some interesting mapping properties of certain su...
Ngày tải lên: 20/06/2014, 21:20
Báo cáo toán học: " Hierarchical convergence of an implicit doublenet algorithm for nonexpansive semigroups and variational inequality problems" doc
... the set of fixed points of T(s)andbyFix(S)thesetofall common fixed points of S, i.e., Fix(S)=⋂ s ≥ 0 Fix(T(s)). It is known that Fix(S)is closed and convex ([20], Lemma 1). A mapping A of H into ... − Ty|| ≤ ||x − y||, ∀x, y ∈ H. Denote the set of fixed points of the mapping T by Fix(T). Recal l also t hat a family S :={T(s)} s ≥ 0 of mappings of H into itself is called a non-...
Ngày tải lên: 20/06/2014, 21:20
Tài liệu Báo cáo khoa học: An investigation of the substrate specificity of the xyloglucanase Cel74A from Hypocrea jecorina pdf
... Minor variations of the standard Lamarckian genetic algorithm parameter settings were used: the number of runs was set at 50, with a run termination of 7000 generations at a maximum of 25 · 10 7 energy ... analyses of reaction products, and Marc Claeyssens (Ghent University) for fruitful discussions. This work was supported in part by a sub- contract from The Of ce of Biomass Pro...
Ngày tải lên: 19/02/2014, 05:20
Báo cáo khoa học: "AN APPLICATION OF AUTOfIATED LANGUAGE UNDERSTANDI;IG TECHNIQUES TO THE GENERATION OF DATA BASE ELEMENTS" potx
... a model of the sublanguage for event reporting which charac- terizes the message traffic, and (2), a model of the analyst-user's conceptualization of the world (i.e., a model of the entities ... characteristic of his world). THE SUBLANGUAGE The two sublanguage domains studied thus far consist of descriptions of events involving aircraft activities and launchings of...
Ngày tải lên: 08/03/2014, 18:20
Báo cáo khoa học: An extension to the metabolic control theory taking into account correlations between enzyme concentrations potx
... showing how the interplay of the redistribution of enzyme concentrations and of the control of enzymes on the flux determine the response of any metabolic pathway to a variation of enzyme concentration. ... understanding of the control of metabolism (for a review see [3]). Numerous extensions to the classical t heory have been proposed to get rid of some restrictive hypothese...
Ngày tải lên: 30/03/2014, 15:20
Báo cáo khoa học: "An Exploration of Forest-to-String Translation: Does Translation Help or Hurt Parsing?" ppt
... Exploration of Forest-to-String Translation: Does Translation Help or Hurt Parsing? Hui Zhang University of Southern California Department of Computer Science hzhang@isi.edu David Chiang University of ... variant of the n-best algorithm that allows efficient genera- tion of equivalence classes of derivations (Huang et al., 2006). The standard algorithm works by gener- ating, at ea...
Ngày tải lên: 30/03/2014, 17:20
Báo cáo khoa học: "An Implementation of Combined Partial Parser and Morphosyntactic Disambiguator" pptx
... further part of the string depends on the type — for token it is orthografic forms and a list of interpre- tations; for group — number of heads of the group and lists of interpretations of syntactic ... Buczy ´ nski Institute of Computer Science Polish Academy of Sciences Ordona 21, 01-237 Warszawa, Poland olekb@ipipan.waw.pl Abstract The aim of this paper is to present a sim...
Ngày tải lên: 31/03/2014, 01:20