Results 41 to 50 of about 173,980 (152)
Session Types Go Dynamic or How to Verify Your Python Conversations
, 2013 This paper presents the first implementation of session types in a dynamically-typed language - Python. Communication safety of the whole system is guaranteed at runtime by monitors that check the execution traces comply with an associated protocol ...
Neykova, Rumyana
core +2 more sources
Attribute-based linear homomorphic signature scheme based on key policy for mobile crowdsensing
Journal of King Saud University: Computer and Information SciencesCompared with traditional wireless sensor networks, mobile crowdsensing networks have advantages of low cost, easy maintenance, and high scalability, which will play a role in city-level data sensing scenarios in the future.
Yuan Tian +4 more
doaj +1 more source
Building a Korean Language Teaching Resource Library Based on Python Crawler
Applied Mathematics and Nonlinear SciencesNowadays, with the popularization of online education how to efficiently and accurately obtain the required educational resources from web pages is one of the key concerns in the teaching process.
Jihong Quan, Jiyue Quan
semanticscholar +1 more source
Pytrec_eval: An Extremely Fast Python Interface to trec_eval
, 2018 We introduce pytrec_eval, a Python interface to the tree_eval information retrieval evaluation toolkit. pytrec_eval exposes the reference implementations of trec_eval within Python as a native extension.
Koepke H., ST., Tague J.
core +1 more source
EbbRT: Elastic Building Block Runtime - overview [PDF]
, 2015 EbbRT provides a lightweight runtime that enables the construction of reusable, low-level system software which can integrate with existing, general purpose systems. It achieves this by providing a library that can be linked into a process on an existing
Appavoo, Jonathan +4 more
core +1 more source
Reproducible Experiment Platform
, 2015 Data analysis in fundamental sciences nowadays is an essential process that pushes frontiers of our knowledge and leads to new discoveries. At the same time we can see that complexity of those analyses increases fast due to a)~enormous volumes of ...
Baranov, Alexander +4 more
core +1 more source
Image processing for the extraction of nutritional information from food labels [PDF]
, 2015 Current techniques for tracking nutritional data require undesirable amounts of either time or man-power. People must choose between tediously recording and updating dietary information or depending on unreliable crowd-sourced or costly maintained ...
Matsunaga, Nate, Sullivan, Rick
core +1 more source
Developing a comprehensive framework for multimodal feature extraction
, 2017 Feature extraction is a critical component of many applied data science workflows. In recent years, rapid advances in artificial intelligence and machine learning have led to an explosion of feature extraction tools and services that allow data ...
de la Vega, Alejandro +2 more
core +1 more source
Pydna: a simulation and documentation tool for DNA assembly strategies using python
BMC Bioinformatics, 2015 Recent advances in synthetic biology have provided tools to efficiently construct complex DNA molecules which are an important part of many molecular biology and biotechnology projects. The planning of such constructs has traditionally been done manually
Filipa Pereira +5 more
semanticscholar +1 more source
EbbRT: Elastic Building Block Runtime - case studies [PDF]
, 2015 We present a new systems runtime, EbbRT, for cloud hosted applications. EbbRT takes a different approach to the role operating systems play in cloud computing.
Appavoo, Jonathan +3 more
core +1 more source