搜索结果: 1-15 共查到“知识库 toolkit”相关记录29条 . 查询时间(0.062 秒)
Building an Efficient Lattice Gadget Toolkit: Subgaussian Sampling and More
FHE Lattice-based cryptography Sampling
2018/11/7
Many advanced lattice cryptography applications require efficient algorithms for inverting the so-called "gadget" matrices, which are used to formally describe a digit decomposition problem that produ...
Comparing Pharmacotherapy Instruction to the 2009 and 2016 ACCP Toolkit Recommendations
pharmacotherapy education pharmacy toolkit
2019/1/7
Objective. To compare pharmacotherapy instruction in Doctor of Pharmacy (PharmD) programs with the 2009 and 2016 American College of Clinical Pharmacy (ACCP) pharmacotherapy toolkits.Methods. A survey...
GEO-C: ENABLING OPEN CITIES AND THE OPEN CITY TOOLKIT
Open cities Smart cities GIScience participation transparency Open City Toolkit, doctoral programme GEO-C
2018/11/8
The GEO-C doctoral programme, entitled “Geoinformatics: Enabling Open Cities”, is funded by the EU Marie Skłodowska-Curie actions (International Training Networks (ITN), European Joint Doctorates...
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Constructing Type Constraint-Based Program Analyses
2016/5/24
BANE (the Berkeley Analysis Engine) is a publicly available toolkit for constructing type- and constraint-based program analyses.1 We describe the goals of the pro ject, the rationale for BANE's overa...
Banshee: A Scalable Constraint-Based Analysis Toolkit
Banshee Scalable Constraint-Based Analysis Toolkit
2016/5/24
We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resolution engines, incremental analysis...
Implementing a Toolkit for Ring-LWE Based Cryptography in Arbitrary Cyclotomic Number Fields
ring-LWE lattices implementation
2016/1/27
Recent research in the field of lattice-based cryptography, especially on the topic of the
ring-based primitive ring-LWE, provided efficient and practical ring-based cryptographic
schemes, which can...
Phrasal: A Toolkit for Statistical Machine Translation with Facilities for Extraction and Incorporation of Arbitrary Model Features
Statistical Machine Translation Extraction and Incorporation Arbitrary Model Features
2015/6/12
We present a new Java-based open source toolkit for phrase-based machine translation. The key innovation provided by the toolkit is to use APIs for integrating new features (/knowledge sources) into t...
The Stanford CoreNLP Natural Language Processing Toolkit
Stanford CoreNLP Natural Language Processing Toolkit
2015/6/12
We describe the design and use of the Stanford CoreNLP toolkit, an extensible pipeline that provides core natural language analysis. This toolkit is quite widely used, both in the research NLP communi...
The MIT Finite-State Transducer Toolkit for Speech and Language Processing
Speech Language Processing
2015/3/11
The MIT Finite-State Transducer Toolkit for Speech and Language Processing.
The WAMI Toolkit for Developing, Deploying, and Evaluating Web-Accessible Multimodal Interfaces
multimodal interface speech recognition
2015/3/10
The WAMI Toolkit for Developing, Deploying, and Evaluating Web-Accessible Multimodal Interfaces.
Enhancing the Informatics Evaluation Toolkit with Remote Usability Testing
remote usability testing health information technology
2015/3/5
Developing functional clinical informatics products that are also usable remains a challenge. Despite evidence that usability testing should be incorporated into the lifecycle of health information te...
Open Plot Project: an open-source toolkit for 3-D structural data analysis
3-D structural data analysis Plot Project
2014/12/31
In this work we present the Open Plot Project,
an open-source software for structural data analysis, including a 3-D environment. The software includes many classical functionalities of structural da...
Land surface Verification Toolkit (LVT) – a generalized framework for land surface model evaluation
Land surface Verification Toolkit land surface model evaluation
2014/12/10
Model evaluation and verification are key in improving the usage and applicability of simulation models for real-world applications. In this article, the development and capabilities of a formal syste...
A Faculty Toolkit for Formative Assessment in Pharmacy Education
formative assessment faculty development pharmacy education teaching-learning process
2018/7/13
This paper aims to increase understanding and appreciation of formative assessment and its role in improving student outcomes and the instructional process, while educating faculty on formative techni...
Recent advances in lattice cryptography, mainly stemming from the development of ring-based primitives such as ring-$\lwe$, have made it possible to design cryptographic schemes whose efficiency is co...