Chapter RDF
pages:- Solver-Independent Large Neighbourhood Search
- Solving the Individual Control Strategy Tasks Using the Optimal Complexity Models Built on the Class of Similar Objects
- Some Features of the Numerical Deconvolution of Mixed Molecular Spectra
- Source Term Modelling for Event with Liquid Radioactive Materials Spill
- Sovremennye i klassicheskie metody otsenki i analiza finansovogo sostoianiia kompanii
- Space-Time Cube Operations in Process Mining
- Spherical Data Handling and Analysis with R package rcosmo
- Studying Mutual Phonetic Influence with a Web-Based Spoken Dialogue System
- System Approach to the Formation of the Information Culture Levels in Cyberspace
- Teaching Argument Diagrams to a Student Who Is Blind
- Techniques for Efficient Lazy-Grounding ASP Solving
- The "Intercultural Communication" Phenomenon in Modern Humanitarian Knowledge
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models
- The Characteristics of International Marine Mammal Law
- The Choice of a Basis in the Space $${\mathsf {V}}_G$$
- The Continuum Theory of Piezoelectricity and Piezomagnetism
- The Digitalization of Bioassays in the Open Research Knowledge Graph
- The Dynamic Logic of Policies and Contingent Planning
- The Effect of Restoration Measures on the Benthic Invertebrates of a Danube Backwater (Alte Donau)
- The Equational Theory of the Natural Join and Inner Union is Decidable
- The Future of International Marine Mammal Law
- The Global Framework for the Environment and Marine Mammals
- The Higher-Order Prover Leo-III (Extended Abstract)
- The International Legal Framework for Polar Bears
- The International Legal Framework for Seals
- The International Legal Framework for Whales
- The Model of the Pollution Spread in the Cascades of Ponds Within the Protected Areas
- The Online Best Reply Algorithm for Resource Allocation Problems
- The OpenCitations Data Model
- The TRegion Interface and Compiler Optimizations for OpenMP Target Regions