Results 41 to 50 of about 332,400 (128)
Российский журнал гастроэнтерологии, гепатологии, колопроктологииАim: to study the role of serum and ultrasonometric markers in the early diagnosis of malignant transformation of periductal fibrosis of the liver during the formation of cholangiocarcinoma against the background of chronic invasion of Opisthorchis ...
A. Е. Kovshirina +3 more
doaj +1 more source
Probabilistic abductive logic programming using Dirichlet priors [PDF]
, 2016 Probabilistic programming is an area of research that aims to develop general inference algorithms for probabilistic models expressed as probabilistic programs whose execution corresponds to inferring the parameters of those models.
Broda, K +3 more
core +1 more source
Cinnamons: A Computation Model Underlying Control Network Programming
, 2017 We give the easily recognizable name "cinnamon" and "cinnamon programming" to a new computation model intended to form a theoretical foundation for Control Network Programming (CNP).
Kratchanov, Kostadin
core +1 more source
Concept-Oriented Programming: References, Classes and Inheritance Revisited [PDF]
arXiv, 2014 The main goal of concept-oriented programming (COP) is describing how objects are represented and accessed. It makes references (object locations) first-class elements of the program responsible for many important functions which are difficult to model via objects.
arxiv
A Probabilistic Dependent Type System based on Non-Deterministic Beta Reduction [PDF]
arXiv, 2016 We introduce Probabilistic Dependent Type Systems (PDTS) via a functional language based on a subsystem of intuitionistic type theory including dependent sums and products, which is expanded to include stochastic functions. We provide a sampling-based semantics for the language based on non-deterministic beta reduction.
arxiv
MetaBETA: Model and Implementation [PDF]
, 1996 Object-oriented programming languages are excellent for expressing abstractions in many application domains. The object-oriented programming methodology allows real-world concepts to modelled in an easy and direct fashion and it supports refinement of ...
Schmidt, Rene Wenzel
core +1 more source
Probabilistic Logic Programming with Beta-Distributed Random Variables
, 2018 We enable aProbLog---a probabilistic logical programming approach---to reason in presence of uncertain probabilities represented as Beta-distributed random variables. We achieve the same performance of state-of-the-art algorithms for highly specified and
Cerutti, Federico +3 more
core +2 more sources
A type-based termination criterion for dependently-typed higher-order rewrite systems [PDF]
Dans 15th International Conference on Rewriting Techniques and
Applications - RTA'04 (2004) 15 p, 2006 Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent types, hence providing a powerful termination criterion for the combination of rewriting and beta-reduction in the Calculus of Constructions.
arxiv
Programming Languages and Law: A Research Agenda [PDF]
arXiv, 2022 If code is law, then the language of law is a programming language. Lawyers and legal scholars can learn about law by studying programming-language theory, and programming-language tools can be usefully applied to legal problems. This article surveys the history of research on programming languages and law and presents ten promising avenues for future ...
arxiv
Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study
, 2010 The logics of knowledge are modal logics that have been shown to be effective in representing and reasoning about knowledge in multi-agent domains. Relatively few computational frameworks for dealing with computation of models and useful transformations ...
C. BARAL +5 more
core +1 more source