Quantifiability: Correctness of Concurrent Programs in Vector Space

Author(s):  
Victor Cook ◽  
Christina Peterson ◽  
Zachary Painter ◽  
Damian Dechev
2018 ◽  
Vol 14 (3) ◽  
pp. 184-192
Author(s):  
Radhi Ali ◽  
◽  
Jalal Hussein Bayati ◽  
Suhad Hameed

Author(s):  
Anthony Anggrawan ◽  
Azhari

Information searching based on users’ query, which is hopefully able to find the documents based on users’ need, is known as Information Retrieval. This research uses Vector Space Model method in determining the similarity percentage of each student’s assignment. This research uses PHP programming and MySQL database. The finding is represented by ranking the similarity of document with query, with mean average precision value of 0,874. It shows how accurate the application with the examination done by the experts, which is gained from the evaluation with 5 queries that is compared to 25 samples of documents. If the number of counted assignments has higher similarity, thus the process of similarity counting needs more time, it depends on the assignment’s number which is submitted.


2015 ◽  
Author(s):  
Qing Dou ◽  
Ashish Vaswani ◽  
Kevin Knight ◽  
Chris Dyer

2018 ◽  
Vol 9 (2) ◽  
pp. 97-105
Author(s):  
Richard Firdaus Oeyliawan ◽  
Dennis Gunawan

Library is one of the facilities which provides information, knowledge resource, and acts as an academic helper for readers to get the information. The huge number of books which library has, usually make readers find the books with difficulty. Universitas Multimedia Nusantara uses the Senayan Library Management System (SLiMS) as the library catalogue. SLiMS has many features which help readers, but there is still no recommendation feature to help the readers finding the books which are relevant to the specific book that readers choose. The application has been developed using Vector Space Model to represent the document in vector model. The recommendation in this application is based on the similarity of the books description. Based on the testing phase using one-language sample of the relevant books, the F-Measure value gained is 55% using 0.1 as cosine similarity threshold. The books description and variety of languages affect the F-Measure value gained. Index Terms—Book Recommendation, Porter Stemmer, SLiMS Universitas Multimedia Nusantara, TF-IDF, Vector Space Model


2020 ◽  
Vol 17 (3) ◽  
pp. 365-371
Author(s):  
Anatoliy Pogorui ◽  
Tamila Kolomiiets

This paper deals with studying some properties of a monogenic function defined on a vector space with values in the Clifford algebra generated by the space. We provide some expansions of a monogenic function and consider its application to study solutions of second-order partial differential equations.


Author(s):  
Nathalie Deruelle ◽  
Jean-Philippe Uzan

This chapter defines the mathematical spaces to which the geometrical quantities discussed in the previous chapter—scalars, vectors, and the metric—belong. Its goal is to go from the concept of a vector as an object whose components transform as Tⁱ → 𝓡ⱼ ⁱTj under a change of frame to the ‘intrinsic’ concept of a vector, T. These concepts are also generalized to ‘tensors’. The chapter also briefly remarks on how to deal with non-Cartesian coordinates. The velocity vector v is defined as a ‘free’ vector belonging to the vector space ε‎3 which subtends ε‎3. As such, it is not bound to the point P at which it is evaluated. It is, however, possible to attach it to that point and to interpret it as the tangent to the trajectory at P.


Sign in / Sign up

Export Citation Format

Share Document