design of a compact bifilar helical antenna array
Towards efficient proofs of storage and verifiable outsourced database in cloud computing
... 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...
- 220
- 478
- 0
Báo cáo hóa học: " An efficient and secure anonymous authentication scheme for mobile satellite communication systems" doc
... 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...
- 10
- 285
- 0
An efficient genetic algorithm for the p median
... 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...
- 22
- 605
- 0
Tài liệu Báo cáo khoa học: "An Efficient Parallel Substrate for Typed Feature Structures on Shared Memory Parallel Machines" docx
... 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...
- 7
- 427
- 0
Tài liệu Báo cáo khoa học: "AN INTEGRATED HEURISTIC SCHEME FOR PARTIAL PARSE EVALUATION" docx
... 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*...
- 3
- 346
- 0
Tài liệu Báo cáo khoa học: "An Efficient Generation Algorithm for Lexicalist MT" ppt
... 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...
- 7
- 410
- 0
Bond Markets in Serbia: regulatory challenges for an efficient market potx
... 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...
- 76
- 356
- 0
Flash: An Efficient and Portable Web Server pot
... 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...
- 14
- 451
- 0
Báo cáo khoa học: "CONSTRAINT PROJECTION: AN EFFICIENT TREATMENT DISJUNCTIVE FEATURE DESCRIPTIONS " ppt
... 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...
- 8
- 257
- 0
Báo cáo khoa học: "The Treegram Index An Efficient Technique for Retrieval in Linguistic Treebanks" docx
... 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...
- 2
- 327
- 0
Báo cáo khoa học: "An Efficient Statistical Speech Act Type Tagging System for Speech Translation Systems" potx
... 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...
- 8
- 238
- 0
Báo cáo khoa học: "GENERALIZED CHART ALGORITHM: AN EFFICIENT PROCEDURE FOR COST-BASED ABDUCTION ATR" ppt
... 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...
- 8
- 219
- 0
Báo cáo khoa học: "AN EFFICIENT PARSING ALGORITHM FOR TREE ADJOINING GRAMMARS" potx
... 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...
- 8
- 345
- 0
Báo cáo khoa học: "An Efficient Implementation of a New POP Model" doc
... 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...
- 8
- 468
- 0
Báo cáo khoa học: "An Efficient Method for Determining Bilingual Word Classes" doc
... 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...
- 6
- 288
- 0
Báo cáo toán học: " An efficient implementation of iterative adaptive approach for source localization" pptx
... 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...
- 6
- 410
- 0
Báo cáo hóa học: " Research Article An Action Recognition Scheme Using Fuzzy Log-Polar Histogram and Temporal Self-Similarity" pptx
... 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...
- 9
- 391
- 0
Báo cáo hóa học: " Novel Strategy to Fabricate PLA/Au Nanocomposites as an Efficient Drug Carrier for Human Leukemia Cells in Vitro" pdf
... 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...
- 8
- 336
- 0
Báo cáo hóa học: " Research Article An Implicit Iterative Scheme for an Infinite Countable Family of Asymptotically Nonexpansive Mappings in Banach Spaces" pot
... 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...
- 10
- 294
- 0
Báo cáo khoa học: "An efficient micro-method of DNA isolation from mature leaves of four hardwood tree species Acer, Fraxinus, Prunus and Quercus" pdf
... 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,...
- 5
- 389
- 0
Tìm thêm: xác định các mục tiêu của chương trình xác định các nguyên tắc biên soạn khảo sát các chuẩn giảng dạy tiếng nhật từ góc độ lí thuyết và thực tiễn khảo sát chương trình đào tạo của các đơn vị đào tạo tại nhật bản khảo sát chương trình đào tạo gắn với các giáo trình cụ thể xác định thời lượng học về mặt lí thuyết và thực tế tiến hành xây dựng chương trình đào tạo dành cho đối tượng không chuyên ngữ tại việt nam điều tra với đối tượng sinh viên học tiếng nhật không chuyên ngữ1 khảo sát các chương trình đào tạo theo những bộ giáo trình tiêu biểu nội dung cụ thể cho từng kĩ năng ở từng cấp độ xác định mức độ đáp ứng về văn hoá và chuyên môn trong ct mở máy động cơ rôto dây quấn hệ số công suất cosp fi p2 đặc tuyến mômen quay m fi p2 đặc tuyến dòng điện stato i1 fi p2 sự cần thiết phải đầu tư xây dựng nhà máy thông tin liên lạc và các dịch vụ phần 3 giới thiệu nguyên liệu từ bảng 3 1 ta thấy ngoài hai thành phần chủ yếu và chiếm tỷ lệ cao nhất là tinh bột và cacbonhydrat trong hạt gạo tẻ còn chứa đường cellulose hemicellulose chỉ tiêu chất lượng theo chất lượng phẩm chất sản phẩm khô từ gạo của bộ y tế năm 2008