Results 41 to 50 of about 3,192,834 (175)

Robin Milner's Work on Concurrency: An Appreciation [PDF]

Electronic Notes in Theoretical Computer Science 265 (2010): 5-10, 2022
We give a short appreciation of Robin Milner's seminal contributions to the theory of concurrency.
arxiv  

Інформаційна безпека, як нова парадигма нового кримінального кодексу України [PDF]

, 2001
Розглядаються питання теорії кримінального та інформаційного права, правової інформатики щодо інформаційної безпеки та захисту інформації в автоматизованих системах.In the article the questions of the theory of the crime and the information right, legal ...
Гавловський, Владислав, Цимбалюк, Віталій   +1 more
core  

Проблеми державної інформаційної політики: гармонізація міжнародного і національного інформаційного права [PDF]

, 2002
Розглядаються питання формування державної інформаційної політики України, теорії інформаційного права, правової інформатики у контексті національної та міжнародної інформаційної безпеки.The questions of creation of state information policy of Ukraine ...
Гавловський, Владислав, Калюжний, Ростислав, Цимбалюк, Віталій, Швець, Микола   +3 more
core  

Simulating 0+1 Dimensional Quantum Gravity on Quantum Computers: Mini-Superspace Quantum Cosmology and the World Line Approach in Quantum Field Theory

, 2018
Quantum computers are a promising candidate to radically expand computational science through increased computing power and more effective algorithms. In particular quantum computing could have a tremendous impact in the field of quantum cosmology.
Kocher, Charles D., McGuigan, Michael
core   +1 more source

Proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011) [PDF]

arXiv, 2011
This volume represents the proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011), held together with the 12th International Conference on Membrane Computing on 23rd August 2011 in Fontainebleau, France.
arxiv  

Інформаційна безпека: захист інформації в автоматизованих системах (організаційно-правовий аспект) [PDF]

, 2000
В статті розглядаються питання теорії інформаційного права, правової інформатики, інформаційної безпеки та захисту інформації в автоматизованих системах (організаційно-правовий аспект).In the article the questions of the theory of the information right ...
Гавловський, Владислав
core  

Automated Reasoning in Social Choice Theory - Some Remarks [PDF]

arXiv, 2014
Our objective in this note is to comment briefly on the newly emerging literature on computer-aided proofs in Social Choice Theory. We shall specifically comment on two papers, one by Tang and Lin (2009) and another by Geist and Endriss (2011). We also provide statements and brief descriptions of the results discussed in this note.
arxiv  

Nearness to Local Subspace Algorithm for Subspace and Motion Segmentation [PDF]

, 2012
There is a growing interest in computer science, engineering, and mathematics for modeling signals in terms of union of subspaces and manifolds. Subspace segmentation and clustering of high dimensional data drawn from a union of subspaces are especially ...
Aldroubi, Akram, Sekmen, Ali
core   +2 more sources

Operator Algebras in Quantum Computation [PDF]

arXiv, 2015
In this master thesis, I discuss how the theory of operator algebras, also called operator theory, can be applied in quantum computer science.
arxiv  

Non-predetermined Model Theory [PDF]

arXiv, 2014
This article introduce a new model theory call non-predetermined model theory where functions and relations need not to be determined already and they are determined through time.
arxiv