English
Related papers

Related papers: What Is Boolean Valued Analysis?

200 papers

We provide a conceptual map to navigate causal analysis problems. Focusing on the case of discrete random variables, we consider the case of causal effect estimation from observational data. The presented approaches apply also to continuous…

Machine Learning · Computer Science 2018-06-06 Finnian Lattimore , Cheng Soon Ong

Deep neural networks have achieved impressive results on a wide variety of tasks. However, quantifying uncertainty in the network's output is a challenging task. Bayesian models offer a mathematical framework to reason about model…

Machine Learning · Computer Science 2019-05-28 Manikanta Srikar Yellapragada , Chandra Prakash Konkimalla

In this article we investigate the notion and basic properties of Boolean algebras and prove the Stone's representation theorem. The relations of Boolean algebras to logic and to set theory will be studied and, in particular, a neat proof…

Logic · Mathematics 2011-12-06 Cheng Hao

Interaction graphs provide an important qualitative modeling approach for System Biology. This paper presents a novel approach for construction of interaction graph with the help of Boolean function decomposition. Each decomposition part…

Systems and Control · Computer Science 2014-09-26 Jayanta Kumar Das , Ranjeet Kumar Rout , Pabitra Pal Choudhury

These tips provide a quick and concentrated guide for beginners in the analysis of network data.

Social and Information Networks · Computer Science 2023-08-30 Stephane Robin , Vincent Miele , Catherine Matias , Stéphane Dray

This paper provides a technique for evaluating some nonlinear Gaussian sums in closed forms. The evaluation is obtained from the known values of simpler exponential sums.

Number Theory · Mathematics 2007-05-23 N. A. Carella

In the field of modeling, the word validation refers to simple comparisons between model outputs and experimental data. Usually, this comparison constitutes plotting the model results against data on the same axes to provide a visual…

Applications · Statistics 2021-06-11 Farid Mohammadi

Locally $L^0$-convex modules were introduced in [D. Filipovic, M. Kupper, N. Vogelpoth. Separation and duality in locally $L^0$-convex modules. J. Funct. Anal. 256(12), 3996-4029 (2009)] as the analytic basis for the study of multi-period…

Functional Analysis · Mathematics 2018-01-30 Antonio Avilés , José Miguel Zapata

Collected data, which is used for analysis or prediction tasks, often have a hierarchical structure, for example, data from various people performing the same task. Modeling the data's structure can improve the reliability of the derived…

Applications · Statistics 2018-11-12 Dennis Becker

Weak measurement is a standard measuring procedure with two changes: it is performed on pre- and post-selected quantum systems and the coupling to the measuring device is weakened. The outcomes of weak measurements, ``weak values'' are very…

High Energy Physics - Theory · Physics 2009-09-25 Lev Vaidman

We explain the concept of p-values presupposing only rudimentary probability theory. We also use the occasion to introduce the notion of p-function, so that p-values are values of a p-function. The explanation is restricted to the discrete…

Statistics Theory · Mathematics 2016-03-15 Yuri Gurevich , Vladimir Vovk

This entry introduces the topic of machine learning and provides an overview of its relevance for applied linguistics and language learning. The discussion will focus on giving an introduction to the methods and applications of machine…

Computation and Language · Computer Science 2018-04-11 Sowmya Vajjala

These informal notes are concerned with sums and averages in various situations in analysis.

Classical Analysis and ODEs · Mathematics 2010-08-17 Stephen Semmes

Data valuation seeks to answer the important question, "How much is this data worth?" Existing data valuation methods have largely focused on discriminative models, primarily examining data value through the lens of its utility in training.…

Machine Learning · Computer Science 2024-10-17 Mohamad Rida Rammal , Ruida Zhou , Suhas Diggavi

We review methods of data analysis for biophysical data with a special emphasis on single molecule applications. Our review is intended for anyone, from student to established researcher. For someone just getting started, we focus on…

Biological Physics · Physics 2016-11-24 Meysam Tavakoli , J. Nicholas Taylor , Chun-Biu Li , Tamiki Komatsuzaki , Steve Pressé

Quaternion analysis is considered in full details where a new analyticity condition in complete analogy to complex analysis is found. The extension to octonions is also worked out.

High Energy Physics - Theory · Physics 2008-02-03 Khaled Abdel-Khalek

Used to estimate the risk of an estimator or to perform model selection, cross-validation is a widespread strategy because of its simplicity and its apparent universality. Many results exist on the model selection performances of…

Statistics Theory · Mathematics 2011-02-01 Sylvain Arlot , Alain Celisse

The field of natural language processing has seen impressive progress in recent years, with neural network models replacing many of the traditional systems. A plethora of new models have been proposed, many of which are thought to be opaque…

Computation and Language · Computer Science 2019-01-15 Yonatan Belinkov , James Glass

Deep learning has emerged as a powerful machine learning technique that learns multiple layers of representations or features of the data and produces state-of-the-art prediction results. Along with the success of deep learning in many…

Computation and Language · Computer Science 2018-01-31 Lei Zhang , Shuai Wang , Bing Liu

The aim of a probabilistic output analysis is to derive a probability distribution of possible output values for a program from a probability distribution of its input. We present a method for performing static output analysis, based on…

Programming Languages · Computer Science 2015-09-30 Mads Rosendahl , Maja H. Kirkeby