design of a compact bifilar helical antenna array

... public key and an authentication tag of a long message, any third party can compute a valid authentication tag for a short message, as long as the short message and the long message satisfy a predetermined ... multiplications/additions and number of pseudorandom function evaluations to verify the proof The drawback is that an authentication tag is as large as a data block, and the storage overhead due to the authentication ... proof and genuine proof Example Take as example the straightforward approach where Alice keeps a hash value and downloads her file from Bob to perform a local data integrity check during each...

Ngày tải lên: 09/09/2015, 18:58

... for establishing personal communication systems due to their large broadcasting range and communication area, small attenuation of the signals, and a shorter transmission delay [1] The LEO satellite ... oracles (a client and a server) in the absence of an active adversary, the oracles accept the same key Indistinguishability: For all probabilistic, polynomialtime adversaries AD, AdvAD (k)is ... Pr[AAD in Game 2] + TPA = Pr[AAD TPA 4.4.2 Security proofs The goal of our authentication scheme is to achieve mutual authentication that preserves privacy We prove that the proposed scheme satisfies...

Ngày tải lên: 21/06/2014, 00:20

... performance of the algorithm on the Alberta, Galvão, and Koerkel problems Problem No n p Optimal Alberta Alberta Alberta Alberta Alberta Alberta Alberta Alberta Alberta Alberta Alberta Galvão Galvão ... comparison of the ADE against the SITATION heuristics (as well as the optimal solution found by SITATION using Lagrangian relaxation and branch and bound) using the 11 Alberta problems and the 16 Galvão ... In contrast, Avella and Sassano (2001) presented two classes of inequalities and use them in a cutting plane algorithm Genetic algorithms GAs are computational solution procedures that have been...

Ngày tải lên: 08/08/2013, 08:38

... had asked to the job Note that the name-concatenator-sub can ask any of the existing CSAs All CSAs can basically perform concatenation in parallel and independent way Then, the name-concatenator ... create CAs (name-concatenator?F~) and to send the message s o l v e with a to each created CA running in parallel The message contains one of the TFSs in F Each name-concatenator-sub asks a CSA ... writing a sequential parser, but it has a major impact on a parallel environment For instance, suppose that several distinct agents evoke applications of phrase structure rules against the same data...

Ngày tải lên: 20/02/2014, 18:20

... are adjustable, and can be optimized for a particular domain a n d / o r grammar The parser then selects the parse ranked best (i.e the parse of lowest overall score) The Parse Evaluation Features ... correct parses of 250 grammatical sentences were used to train the parse table statistics that are used for disambiguation and parse evaluation After some experimentation, the evaluation feature ... Generalized Probabilistic LR Parsing of Natural Language (Corpora) with Unification-Based Grammars Computational Linguistics, 19(1):25-59, 1993 [Lavie and Tomita, 1993] A Lavie and M Tomita GLR*...

Ngày tải lên: 20/02/2014, 21:20

... mathematical characterisation of grammars and instantiated signs that obey these constraints So far, we have not found these restrictions particularly problematic 2.3 When we adjoin a maximal ... MIT Press, Cambridge, Mass Sergei Nirenburg, Jaime Carbonell, Masaru Tomita, and Kenneth Goodman 1992 Machine Translation: A Knowledge-Based Approach Morgan Kaaufmann, San Mateo, CA Fred Popowich ... Durand, S Krauwer, and B Maegaard, editors, The Eurotra Formal Specifications Studies in Machine Translation and Natural Language Processing 2, pages 15-124 Office for Official Publications of the...

Ngày tải lên: 20/02/2014, 22:20

... Pozarevacka banka, Sabacka banka, Beogradska banka, Beobanka, Jugobanka, and Investbanka Later, two more banks were added to this list - Dafiment banka and Banka privatne privrede Crne Gore Payments ... of the Federal Republic of Yugoslavia on the basis of a proposal of the National Bank of Serbia, and drafted on the basis of similar laws in the European Union Since the State Union of Serbia ... is calculated using factor averages and can be in general increasing and concave It can also reproduce a variety of shapes on a given date, which can change depending on variability of the factors...

Ngày tải lên: 15/03/2014, 09:20

... Flash-MT and Flash use a memory-mapped file cache with a 128 MB limit and a pathname cache limit of 6000 entries Each Flash-MP process has a mapped file cache limit of MB and a pathname cache of ... prediction can adapt to changes in the amount of memory available to the file cache by using continuous feedback from performance counters that keep track of page faults and/or associated disk accesses ... “Read file” and “Send data” steps are repeated until all of the requested content is transmitted All of these steps involve operations that can potentially block Operations that read data or accept...

Ngày tải lên: 16/03/2014, 19:20

... make no sense as constraints We call an atomic formula whose predicate has definition clauses a constraint-term, and we call a sequence of constraint-terms a constraint A set of definition clauses ... Programming Springer-Verlag Pereira, F C N and Warren, D H D (1980) Definite Clause Grammar for Language Analysis A Survay of the Formalism and a Comparison with Augmented Transition Networks Artificial ... unification mechanism Grammar and lexicon are based on ttPSG (Pollard and Sag 1987) Each lexical item has about three disjuncts on average Table I shows comparison of the computation time of the...

Ngày tải lên: 17/03/2014, 08:20

... not appear in the treegram index as it is Therefore, VENONA expands all query treegram structures at runtime; for a given query treegram g, this expansion yields all database treegrams with a structure ... degree and height, V E N O N A chooses a treegram index among those available for the tree database (2) VENONA collects q's treegrams and represents them by sets of treegram parts For a given ... query treegram, V E N O N A expands the structure number to a set of index treegram structures and removes those labels that consist of a variable: Variables and the constraints that they impose...

Ngày tải lên: 17/03/2014, 23:20

... instead of a character sequence and the assignment of an SA tag instead of a pos tag The main difference is that a word dictionary is available with a morphological analyzer Thanks to its dictionary, ... segmentation In 33rd Annual Meeting of the Association for the Computational Linguistics, pages 108-115 T Morimoto, N Uratani, T Takezawa, O Furuse, Y Sobashima, H Iida, A Nakamura, Y Sagisaka, N ... utterance type prediction Transactions of Information Processing Society of Japan, 35(6):1050-1061 M Nagata 1994 A stochastic Japanese morphological analyzer using a forward-DP and backwardA* N-best...

Ngày tải lên: 31/03/2014, 04:20

... contributes to the proof of the initial goal These are similar to the problems that typically arise in natural language parsing with naive top-down and bottom-up parsers In natural language parsing, these ... References [Charniak and Husain, 1991] Eugene Charniak and Saadia Husain A new admissible heuristic for minimal-cost proofs Proceedings of the 12th IJCAI, pages 446-451, 1991 [Charniak and Santos Jr., ... Probabilistic semantics for cost based abduction Proceedings of the 8th AAAI, pages 106-111, 1990 [Haruno et al., 1993] Masahiko Haruno, Yasuharu Den, Yuji Matsumoto, and Makoto Nagao Bidirectional chart...

Ngày tải lên: 31/03/2014, 06:20

... NA stands for null adjoining and means that at node X no adjoining can take place, • SA(B) stands for selective adjoining and means that at X the adjoining of an auxil- 285 iary tree (6 B) can ... Proceedings of the 23 "d Annual Meeting of the Association for Computational Linguistics: 82-93 SUMMARY In the application domain of natural language processing, the execution time in an average case ... about the implementation see [Buschauer et al 89]) To give an idea of the response time, the analysis of a sentence of about 10 to 15 words and a grammar of about 20 to 30 elementary trees takes...

Ngày tải lên: 31/03/2014, 18:20

... Amsterdam-Atlanta Bod, R 1992 Data Oriented Parsing, Proceedings COLING'92, Nantes, France Bod, R 1993 Using an Annotated Language Corpus as a Virtual Stochastic Grammar, Proceedings AAAI'93, Washington ... figure as follows: A A A A BC BkC BkCi (1/ai) (bklaj) (cilaj) (bkcilaj) A BC A BkC A A BkCi (1Iaa) (bklaa) (cilaa) (bkcilaa) Figure PCFG-reduction of Bod (2001) 2.2 PCFG-Reductions of Bod ... Characterization and New Examples Proceedings of 7th conference on Formal Grammar Charniak, E 1996 Tree-bank Grammars, Proceedings AAAT96, Menlo Park, Ca Charniak, E 1997 Statistical Parsing with a Context-Free...

Ngày tải lên: 31/03/2014, 20:20

... Figure The advantage of the alignment template approach against word-based statistical translation models is that word context and local re-orderings are explicitly taken into account The alignment ... templates are automatically trained using a parallel training corpus The translation of a sentence is done by a search process which determines the set of alignment templates which optimally ... classes we applied two different evaluation measures: Average e-mirror size (Wang et al., 1996): The e-mirror of a class E is the set of classes which have a translation probability greater than e...

Ngày tải lên: 31/03/2014, 21:20

... estimates of IAA and EIAA The true source locations are indicated by circles, and the results of ten Monte-Carlo trials are plotted One can see that both of IAA and EIAA can accurately indicate the ... that EIAA is comparable with IAA in terms of the accuracy of angle and power estimation Moreover, the negative centroids indicate that the estimation accuracy of EIAA is slightly better than ... d) Angle error difference power power angle angle ; (b, e) power error difference erEIAA − erIAA ; (c, f) RTR of EIAA and IAA er − er EIAA IAA EIAA has slightly better angle and power estimation...

Ngày tải lên: 20/06/2014, 20:20

... publicly available action datasets, namely, KTH dataset [16] and Weizmann [34], were used to demonstrate and validate our proposed approach To assess the feasibility/reliability of the approach, ... features and local features to form the final SVM classifier All global features extracted → m(t) herein are based on calculating the center of gravity − that EURASIP Journal on Advances in Signal Processing ... generally located at positive local maxima in a × neighborhood It may be reasonable to get rid of unstable and weak maxima points, therefore only the maxima points of values greater than predetermined...

Ngày tải lên: 21/06/2014, 07:20

... IIIa Multimode AFM (Digital Instruments, Santa Barbara, CA, USA) operating in air at room temperature MTT Assay Experimental Section Reagents Daunorubicin was purchased from Nanjing Pharmacy Factory ... and 2, the AFM images of PLA nanofibers, Au nanoparticles and the blending of the PLA/Au nanocomposites with daunorubicin demonstrate that upon blending of daunorubicin with the PLA/Au nanocomposites, ... conjugated with Figure Typical AFM images of a Au nanoparticles, and b PLA nanofiber Li et al Nanoscale Res Lett 2011, 6:29 http://www.nanoscalereslett.com/content/6/1/29 Page of Figure Typical AFM...

Ngày tải lên: 21/06/2014, 08:20

... Tan, H W J Lee, and C K Chan, “On the convergence of implicit iteration process with error for a finite family of asymptotically nonexpansive mappings,” Journal of Mathematical Analysis and Applications, ... Applications, vol 313, no 1, pp 273–283, 2006 N Shahzad and A Udomene, “Fixed point solutions of variational inequalities for asymptotically nonexpansive mappings in Banach spaces,” Nonlinear Analysis: ... Theory and Applications Lemma 1.2 see 14 Let E be a Banach space satisfying a weakly continuous duality map and let K be a nonempty closed convex subset of E Let T : K→K be an asymptotically nonexpansive...

Ngày tải lên: 21/06/2014, 23:20

... dry leaves and buds of several Fraxinus species (Dr N Frascaria, ENGREF, Paris, France; pers comm.), seeds of Acacia mangium and Acacia crassicarpa, young and expanded leaves and chloroplast enriched ... denaturant sequencing gel (CastAway gel % polyacrylamide) run in a CastAway Sequencing System (Statagene, La Jolla, USA) Gels were run for h at 500 V, and then silver stained according to a modified ... 0.25, 0.5 and μg) of uncut λ DNA (Promega, USA) DNA quality was also estimated on the same gels at 2.4 DNA digestion DNA was digested by Hind III restriction enzyme (Stratagene, Cambridge,...

Ngày tải lên: 08/08/2014, 14:21