Results 31 to 40 of about 268,883 (290)
Verification of Information Flow Properties under Rational Observation [PDF]
, 2014 Information flow properties express the capability for an agent to infer information about secret behaviours of a partially observable system. In a language-theoretic setting, where the system behaviour is described by a language, we define the class of ...
Bérard, Béatrice, Mullins, John
core +4 more sources
Complete criterion for convex-Gaussian-state detection [PDF]
Physical Review A, 2014 We present a new criterion that determines whether a fermionic state is a convex combination of pure Gaussian states. This criterion is complete and characterizes the set of convex-Gaussian states from the inside. If a state passes a program it is a convex-Gaussian state and any convex-Gaussian state can be approximated with arbitrary precision by ...
openaire +2 more sources
The Intuitionistic Fuzzy Normed Space of Coefficients
Abstract and Applied Analysis, 2012 Intuitionistic fuzzy normed space is defined using concepts of t-norm and t-conorm. The concepts of fuzzy completeness, fuzzy minimality, fuzzy biorthogonality, fuzzy basicity, and fuzzy space of coefficients are introduced. Strong completeness of fuzzy
B. T. Bilalov +2 more
doaj +1 more source
Jurnal PAJAR (Pendidikan dan Pengajaran), 2019 The purpose of this study is to increase learning outcomes of historics grade X MIA 1 Pekanbaru. This research is Classroom Action Research consisting of two cycles. The subject of this research was students of grade X SMA X NUA 1 Pekanbaru and students
Endang Eriyani
doaj +1 more source
Noumerico, 2023 The background of this research is the low mathematics learning outcomes of students in grade 4 at 3 Kelutan State Elementary School. This is because learning uses the lecture method so students feel bored and less enthusiastic about participating in ...
Wahyu Putri Rahmah, A. Jauhar Fuad
doaj +1 more source
Głos w dyskusji o tekście staropolskim. Znad kanonów mszy św.
LingVaria, 2017 A Contribution to the Discussion on Old Polish Text. Analysing the Canons of the Mass The paper analyses selected mediaeval Canons of the Mass from a text linguisctic perspective.
Dorota Masłej
doaj +1 more source
Energy inequalities for cutoff functions and some applications
, 2013 We consider a metric measure space with a local regular Dirichlet form. We establish necessary and sufficient conditions for upper heat kernel bounds with sub-diffusive space-time exponent to hold.
Andres, Sebastian, Barlow, Martin T.
core +1 more source
On Landsberg's criterion for complete intersections [PDF]
Manuscripta Mathematica, 1995 In his preprint ``Differential-Geometric Characterizations of Complete Intersections'' (alg-geom/9407002), J.M.Landsberg introduces an elementary characterization of complete intersections. The proof of this criterion uses the method of moving frames. The aim of this note is to present an elementary proof of Landsberg's criterion that is valid over any
openaire +3 more sources
Scattering the geometry of weighted graphs
, 2018 Given two weighted graphs $(X,b_k,m_k)$, $k=1,2$ with $b_1\sim b_2$ and $m_1\sim m_2$, we prove a weighted $L^1$-criterion for the existence and completeness of the wave operators $ W_{\pm}(H_{2},H_1, I_{1,2})$, where $H_k$ denotes the natural Laplacian ...
Güneysu, Batu, Keller, Matthias
core +1 more source
A New Criterion for Completely Monotonic Functions [PDF]
Transactions of the American Mathematical Society, 1944 Not ...
openaire +2 more sources