Humans always face problems when it comes to medical check-up due to lack of time or laziness. However, lots of medical problems and fatal illnesses can be detected at earlier stages if the person is subject to contin...
详细信息
The Arcturus system demonstrates several important principles that will characterize advanced Ada programming support environments. These include conceptual simplicity, tight coupling of tools, and effective command a...
详细信息
作者：
Gancheva, VeskaTechnical University of Sofia
Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria
A rising variety of platforms and software programs have leveraged repository-stored datasets and remote access in recent years. As a result, datasets are more vulnerable to malicious attacks. As a result, network sec...
详细信息
In this paper are presented the description of the developed and implemented system for tests control and the analysis of the results received from the testing of students. The database and the developed forms are rev...
详细信息
Three different methods for automated geometry theorem proving-a generalized version of Dixon resultants, Gröbner bases and characteristic sets--axe reviewed. The main focus is, however, on the use of the general...
详细信息
作者：
Gancheva, VeskaTechnical University of Sofia
Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria
A growing range of data sets have been created in recent years;these are used by platforms and software applications and kept in remote access repositories. Datasets are therefore more susceptible to harmful attacks. ...
详细信息
This paper describes the principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers. It is baaed on combinator-like graph reduction: the user defined func...
详细信息
Domain algebras are proposed as a tool for structuring compiler correctness proofs which are based on denotational semantics of the source and target language. The correctness of a compiler for a small imperative lang...
详细信息
Automated decision systems for emboli detection is a crucial need since it is being done by visual determination of experts which causes excess time consumption and subjectivity. This work presents an emboli detection...
详细信息
暂无评论