Вы здесь

Главная

Bulletin of the Novosibirsk Computing Center

Связанные издания:

Methodology for knowledge portals development: background, foundations, experience of application, problems and prospects
Methods for analysis of data from social networks
Methods of social network analysis
Methods of syntactic analysis and comparison of constructions of a natural language oriented to use in search systems
Modelling the Semantics of Coloured Dataflow Networks
Models and algorithms for detection of spam and senders of spam
Nets of active resources for distributed systems modeling
Network monitoring and analysis systems. Review and operational experience
Novosibirsk programming school: a historical overview
On Completeness of Mechanism of Annotation-Directives
On Compositional Model Checking in the Modal Mu-calculus and Its Extension with Multiple Clocks
On decomposability in logical calculi
On Parallel Recursive Mapping Algorithm for Pyramidal Multiprocessor Systems
On some graphs connected with texts in a natural languages, link grammar and summarization process
On structures of data and ontology of facto-graphical information systems
On the need to specify and verify standard functions
On the problem of computer language classification
Ontological transition systems
Ontology-based approach to text analysis
Ontology-based constructing and maintaining of Wiki-systems
Open maps and weak trace equivalence for timed event structures
Operational semantics development for procedural programming languages based on conceptual transition systems
Parallel implementation of the Ramalingam decremental algorithm for dynamic updating the single-sink shortest paths subgraph
Parallel implementation of the Ramalingam incremental algorithm for dynamic updating the shortest-paths subgraph
Parallel simulation of asynchronous cellular automata on different computer architectures
Performance evaluation of the generalized shared memory system in dtsPBC
Performance preserving equivalences for dtsPBC
Programming paradigms in higher education
Program Specific Transition Systems
Properties of nonlinear systems and convergence of the Newton-Raphson method in geometric constraint solving
Real arithmetic based verification of prioritized time Perti nets with parameters
SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics
Scalable parallel subdefinite calculations for sparse systems of constraints
Simulation of complex phenomena by Cellular Automata composition
Sisal 3.1 language structures decomposition
Situation analysis for transport network development forecast in the MIX-PROSTOR system
Some algorithms of image processing and their reflection onto multiprocessor systems
Specification and verification of the classical sliding window protocol
SWORD: Genetic algorithm tool for protein-RNA interaction motifs recognition
Synchronous versus asynchronous cellular automata for simulating nano-systems kinetics
The C#-light project: solution of some verification challenges
The methods of estimation of the degree of similarity of sentences in a natural language based on the link grammar
The NumGRID metacomputing system
The PABX monitoring
The timed barbed bisimulation is decidable for timed transition systems with invariants
Two-level mixed verification method of C-light programs in terms of safety logic
Unifying dynamic programming design patterns
Using Floorplans for software visualization
Visual Graph: an interactive system for the visualization of hierarchical graphs
Visualization of citation networks for large science portals