23.04.2014
10 LINQ myths
|
|
Annotation: The article talks about the common myths and prejudices about LINQ.
Keywords: LINQ; SQL; DataContext; |
09.10.2015
Automatic detection of reference elements on semi-structured document images.
|
|
Annotation: The paper deals with automatic data extraction from semi-structured documents. The article briefly describes possible approach to describe document structure, then a detailed description of algorithm for automatic detection of reference elements based on layout of extracting data is given. Finally, the quality assessment method is described and test results are given. The proposed method had shown it’s effectiveness in processing real invoices by range of German companies: 89.3 % of documents were treated with no faults with minimum user intervention.
Keywords: semi-structured documents; structural description of document; reference elements; fields; |
18.11.2015
Long arithmetic by Microsoft
|
|
Annotation: Long arithmetic - operations performed on numbers, which bit exceeds the bit of hardware, in which calculations are performed. The .NET version up to 4 did not have native support for long numbers. The fourth version has the opportunity to work with not only the length but also with complex numbers. This article discusses the features of the implementation structure BigInteger, which, in fact, is the realization of long arithmetic on the platform .NET.
Keywords: Long arithmetic; .NET; BigInteger; |
29.04.2014
Inference of NotNull annotations from Java bytecode
|
|
Annotation: The paper presents a simple solution of annotating Java bytecode for its safer usage (e.g. from code written in Kotlin programming language). The solution is based on symbolic execution of Java byte code over abstract values.
Keywords: Java; bytecode; nullness; nullable; notnull; NullPointerException; null safety; control flow graph |
17.03.2014
About Windows and real time again
|
|
Annotation: The article analyzes the possibility of “real time” mode for Windows 7 application programs .
Keywords: Windows; real time |
23.01.2014
On the excluded commands, or What did they discard the INTO instruction for?
|
|
Annotation: The article analyzes validity and utility of the exclusion of a number of x86 architecture processor instructions in mode x86-64.
Keywords: instruction; x86-64 |
08.10.2015
Sequential logic
|
|
Annotation: Major scientific discoveries and hypotheses of the work. 1. New "sequential logic" is suggested. This is the logic of human and artificial intelligence, which is different from the formal "parallel" logic. 2. “Proved axiom” is a new and unique logic construction 3.Hypothesis the indirect proof by contradiction 4. Unexpected hanging paradox solution is provided.
Keywords: live pixels; neoneuro, cellular automata, game of life |
09.10.2015
Dominant option selection algorithm for action under attack
|
|
Annotation: This article describes the developed software system for adaptive decision-making under a priori uncertainty of input data, the results of the system using. Necessary tables, figures given.
Keywords: software system; adaptive decision-making. |
Software for creating pictures in the LATEX environment
|
|
Annotation: To create a text with graphic instructions for output pictures into LaTeX document, we offer software that allows us to build a picture in WIZIWIG mode and for setting the text with these graphical instructions.
Keywords: LaTeX; TeX; GUI; drawing |
18.11.2015
Sorting in .NET
|
|
Annotation: The article is devoted to the sorting on the .NET platform. As is known in .NET 4.5 the Quicksort algorithm is used as the default, and it works quite well on random data. However, in the latest version of .NET the algorithm was changed to IntroSort. By the way, MSDN keeps silence about this change.
Keywords: .NET; sorting; Quicksort; algorithm; IntroSort |
18.11.2015
Comparative tests of five ways to compare bitmaps in C #
|
|
Annotation: The comparative tests of five subwoofers comparison methods available in C #, which resulted in recommendations in choosing a method. Decompile separate functions, and analyzed the code generated by the compiler .Net JIT-configuration x86. Comparison of the machine code generated by the JIT-compiler code, machine code function CRT similar purpose.
Keywords: NET;CLR; JIT; CRT |