Каширин И.Ю.

See other templatesSee other templates

Presentation on the application of hierarchical numbers (watch online)

A NEURAL NETWORK FOR CLASSIFYING MEDIA INTO WESTERN AND EASTERN

A Bert-based-cased language model that has undergone fine tuning and modification of special tokens based on the author's materials.

The model classifies media articles into pro-Western and pro-Russian.


Download

Color Variations

Here should be the presentation of JSN ImageShow,
but it is not installed on your website.

Free Download Now

JSN Boot provides 4 major color variations for your taste. Each color variation covers not only the main background, but also color of drop-down menu, links, table's header and some others.

Color variations

Click on any screenshot to LIVE demo of that color variation. (reset to default)


Interactive images presentation by JSN ImageShow extension


Color configuration

Each template color can be configured by 3 different ways:

By Template parameter

Template color can be set by template parameter Template Color in administration panel.

By "Page Class Suffix"

Template color can be defined in parameter Page Class Suffix of menu items as custom-color-xxx.

By Site tools panel

Template color can be selected by website visitor from Color Selector in Site tools.

Program machines

The formalism of software machines makes it possible to mathematically strictly describe the concept of the conceptual integrity of a programming languageTo get a formalism focused on analyzing the basic structures of an algorithmic language, let's look his structural components.

Read more...

INTERRELATION

The Program Machines system can be considered in various combinations as higher-level formalisms. The connection between the components can be seen at the level of the structure of the construction of elements of the carrier sets of the algebraic systems discussed above.

Read more...

programming languages

Let's consider the use of algebraic interpretation of language constructs for PL C, Lisp and Prolog as the most well-known algorithmic languages, which are representatives of languages of the universal, functional and logical type, respectively. Optimizing transformations are possible.

 Read more...

UNIFICATION

Excelsior

If the terms s and t represent a formal record of programs some predetermined program machine, then we are talking not simply about unifying or comparing two programs in order to find common fragments in them, but about an attempt to find some third term containing  variables.

Read more...

Go to top