Filters








195 Hits in 4.9 sec

What are the Odds?

Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf
2013 Proceedings of the 4th Workshop on Scala - SCALA '13  
We present Odds, a small domain-specific language (DSL) for probabilistic programming, embedded in Scala.  ...  We evaluate Odds on several non-trivial probabilistic programs from the literature and we demonstrate how the basic probabilistic primitives can be used to build higher-level abstractions, such as rule-based  ...  The authors would like to thank Chung-chieh Shan, Oleg Kiselyov and the anonymous reviewers for their valuable feedback.  ... 
doi:10.1145/2489837.2489848 dblp:conf/ecoop/StuckiAJR13 fatcat:wriiehm4und6bhkxozjs2iyjgm

Augur: a Modeling Language for Data-Parallel Probabilistic Inference [article]

Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Pocock, Stephen J. Green, Guy L. Steele Jr
2014 arXiv   pre-print
Our language is fully integrated within the Scala programming language and benefits from tools such as IDE support, type-checking, and code completion.  ...  In this paper, we present a probabilistic programming language and compiler for Bayesian networks designed to make effective use of data-parallel architectures such as GPUs.  ...  The key feature of probabilistic programming is separation of concerns: the user specifies what needs to be learned by describing a probabilistic model, while the compiler automatically generates the how  ... 
arXiv:1312.3613v2 fatcat:vi6klyjuhrbelh5hr3yqau6vsy

OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning

Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Tiark Rompf, Hassan Chafi, Michael Wu, Anand R. Atreya, Martin Odersky, Kunle Olukotun
2011 International Conference on Machine Learning  
As the size of datasets continues to grow, machine learning applications are becoming increasingly limited by the amount of available computational power.  ...  However, programming these devices to run efficiently and correctly is difficult, error-prone, and results in software that is harder to read and maintain.  ...  This means that OptiML implements its compiler in Scala, and OptiML programs are also valid Scala programs. Scala is a JVM-based language with advanced features for DSL embedding.  ... 
dblp:conf/icml/SujeethLBRCWAOO11 fatcat:pgsf2gtvl5cije5dvwvqkh3544

Bounded Model Checking for Probabilistic Programs [article]

Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen
2016 arXiv   pre-print
In this paper we investigate the applicability of standard model checking approaches to verifying properties in probabilistic programming.  ...  As the operational model for a standard probabilistic program is a potentially infinite parametric Markov decision process, no direct adaption of existing techniques is possible.  ...  In the future we are interested in how loop invariants [26] can be utilized to devise complete model checking procedures preventing possibly infinite loop unrollings.  ... 
arXiv:1605.04477v2 fatcat:oybocg52qzhlpa3vvrkkjlfk3e

Functional or imperative? On pleasant semantics for differentiable programming languages [article]

Michael Innes
2022 arXiv   pre-print
In machine learning (ML), researchers and engineers seem to be at odds.  ...  This article explores why imperative and functional styles are used, and how future language designs might get the best of both worlds.  ...  General purpose, numerical programming languages are the right tools for building models in machine learning, probabilistic programming, and differentiable programming (∂P ).  ... 
arXiv:2206.11192v1 fatcat:ryrnc542mna43lfdn5uuakapxu

How Attacker Knowledge Affects Privacy Risks

Louise Halvorsen, Siv L. Steffensen, Willard Rafnsson, Oksana Kulyk, Raúl Pardo
2022 Proceedings of the 2022 ACM on International Workshop on Security and Privacy Analytics  
We perform this analysis using Privug, a method that uses probabilistic programming to do standard statistical analysis with Bayesian Inference.  ...  We demonstrate how to apply this framework in a health record privacy scenario: We analyse how informing the attacker with COVID-19 infection rates affects privacy risks.  ...  Probabilistic programming is the use of programming languages for probabilistic modelling and reasoning. We use Figaro [19] , a probabilistic programming language embedded in Scala.  ... 
doi:10.1145/3510548.3519380 fatcat:fzokvumbynacrde3c2sit7odqu

Hipertensão arterial e sua associação com índices antropométricos em adultos de uma cidade de pequeno porte do interior do Brasil

Flávia Miquetichuc Nogueira Nascente, Paulo César Brandão Veiga Jardim, Maria do Rosário Gondim Peixoto, Estelamaris Tronco Monego, Weimar Kunz Sebba Barroso, Humberto Graner Moreira, Priscila Valverde de Oliveira Vitorino, Luiz Nazário Scala
2009 Revista da Associação Médica Brasileira  
Estimate the prevalence of Hypertension in adults and its association with the Body Mass Index (BMI) and Waist Circumference (WC). MethOds.  ...  Overweight was higher in men, and obesity in women. Prevalence of enlarged and very enlarged WC in 51.9% of the population studied, 28.6% among men, and 65.5% among women. cOnclusiOn.  ...  Probabilistic sampling, used in this study, ensures the representativeness of all the elements of the population. Households were selected by probabilistic sampling, in two phases.  ... 
doi:10.1590/s0104-42302009000600017 pmid:20191227 fatcat:dzldclzt7jcm5kgy5syaka6m5y

Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172)

Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, Tom Schrijvers, Michael Wagner
2018 Dagstuhl Reports  
The idea of algebraic effects handlers has already been experimented with in the form of small research languages and libraries in several mainstream languages, including OCaml, Haskell, Clojure, and Scala  ...  Furthermore, these features need to interact as expected, e.g. finally blocks must not be forgotten in the state machines for iterators.  ...  Effect handlers are less wide-spread in the context of imperative, object oriented languages. We present library implementations of algebraic effects in Scala and Java.  ... 
doi:10.4230/dagrep.8.4.104 dblp:journals/dagstuhl-reports/ChandrasekaranL18 fatcat:yj5tunpy4fccbdaea7ajw7lwx4

Logic in Computer Science [chapter]

Yuri GUREVICH
2001 Current Trends In Theoretical Computer Science  
Acknowledgments I thank Philip Wadler for sending me his opinions on Yuri Gurevich's comments related to pure functional programming in [8, Section 4.3],  ...  the four-colour theorem 2 and on the so-called Odd Order Theorem in group theory [7] .  ...  In his report, Yuri wrote: "Too often complexity theorists are not interested at all in semantics and (what we call here) formal methods, and too often experts in formal methods are not interested in and  ... 
doi:10.1142/9789812810403_0003 fatcat:fal4prkmgnb4hgqu6gfiin4c6u

Measuring the Rural Continuum in Political Science

Zoe Nemerever, Melissa Rogers
2021 Political Analysis  
We scrutinize construct validity and measurement in two studies of rural politics.  ...  AbstractRecent accounts of American politics focus heavily on urban–rural gaps in political behavior.  ...  Future research could study rural consciousness at the aggregate level by adding questions corresponding to Cramer's three core beliefs to the CCES battery, or a survey of similar sampling magnitude that  ... 
doi:10.1017/pan.2020.47 fatcat:3dy6sjqksjelvd5hcnitgvc2ta

DiTeX: Disease-related topic extraction system through internet-based sources

Jungwon Yoon, Jong Wook Kim, Beakcheol Jang, Antonio Scala
2018 PLoS ONE  
In addition to large portal sites, Social Network Services (SNSs) are also playing a great role as information channels.  ...  Although these tweets are limited to 280 characters in USA and 140 characters in Korea, Japan, and China since 2017, it is difficult to extract information related to disease [17] [18] [19] [20] [21] [  ...  In addition, BioCaster uses text mining technology to perform real-time tracking what is occurring and what is and likely to occur.  ... 
doi:10.1371/journal.pone.0201933 pmid:30075009 pmcid:PMC6075781 fatcat:4recaqakxzfsnciblf3crsigdu

AutoMan

Daniel W. Barowy, Charlie Curtsinger, Emery D. Berger, Andrew McGregor
2012 SIGPLAN notices  
R a d i o B u t t o n Q u e s t i o n { q = > 15 q . text = " How many " + args (0)+ " are in this image ? " 16 q . image_url = url  ...  This abstraction lets AUTOMAN programmers focus on their programming logic. An AUTO-MAN program specifies a confidence level for the overall computation and a budget.  ...  The fourth author is supported by the National Science Foundation under Grant No. CCF-0953754.  ... 
doi:10.1145/2398857.2384663 fatcat:tqw4vcfytrd4tfw2frrq5bi56a

Probabilistic color-by-numbers

Sharon Lin, Daniel Ritchie, Matthew Fisher, Pat Hanrahan
2013 ACM Transactions on Graphics  
Input pattern Sampled colorings Random colorings Figure 1 : Given the uncolored pattern templates shown on the left, we use a probabilistic factor graph model to generate the pattern colorings shown in  ...  It incorporates terms for enforcing both color compatibility and spatial arrangements of colors that are consistent with the training examples.  ...  and albenaj (Fig 12) for the pattern coloring examples; and Flickr users marctasman and zoomion for the reference photographs (Fig 7) .  ... 
doi:10.1145/2461912.2461988 fatcat:isxrwfufuzeltimzwcuoy53waq

Decision making inxia2

Graeme Winter, Carina M. C. Lobley, Stephen M. Prince
2013 Acta Crystallographica Section D: Biological Crystallography  
In addition, it is critical to support the testing of hypotheses and to allow feedback of results from later stages in the analysis to earlier points where decisions were made: the flexible framework employed  ...  To achieve this many decisions are made, the rationale for which is described here.  ...  In interactive processing these decisions are based on the experience of the user and advice from the program authors, as well as knowledge of the problem in hand.  ... 
doi:10.1107/s0907444913015308 pmid:23793152 pmcid:PMC3689529 fatcat:irapctdadbaopkztp4e3a62gzm

Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning [article]

Sandra Dylus
2020 arXiv   pre-print
The other application that we discuss in this work is a library for probabilistic programming.  ...  On the one hand, we are interested in developing applications using non-determinism as underlying implementation idea.  ...  Sometimes run-time choice is what you are looking for and call-time choice gets in your way; probabilistic programming is no exception.  ... 
arXiv:2006.01531v1 fatcat:s7nl4qdd5veo7fv64cpg3buvwm
« Previous Showing results 1 — 15 out of 195 results