Results 11 to 20 of about 214,828 (269)
Weak alternating automata are not that weak [PDF]
ACM Transactions on Computational Logic, 2001 Automata on infinite words are used for specification and verification of nonterminating programs. Different types of automata induce different levels of expressive power, of succinctness, and of complexity. Alternating automata have both existential and universal branching modes and are particularly suitable for ...
Orna Kupferman, Moshe Y. Vardi
openaire +3 more sources
Weak Convergence and Weak Convergence [PDF]
Formalized Mathematics, 2015 Abstract In this article, we deal with weak convergence on sequences in real normed spaces, and weak* convergence on sequences in dual spaces of real normed spaces. In the first section, we proved some topological properties of dual spaces of real normed spaces. We used these theorems for proofs of Section 3.
Keiko Narita +2 more
openaire +3 more sources
Weak crossed biproducts and weak projections [PDF]
Science China Mathematics, 2012 We present the universal theory of weak crossed biproducts, and we prove that every weak projection of weak bialgebras induces an example of this crossed structure. As an example, we give the construction of a weak projection of a weak bialgebra associated to a groupoid that admits an exact factorization.
Fernández Vilaboa, Jose Manuel +2 more
openaire +3 more sources
ACM Transactions on Computational Logic, 2020 A landmark result in the study of logics for formal verification is Janin and Walukiewicz’s theorem, stating that the modal μ-calculus (μML) is equivalent modulo bisimilarity to standard monadic second-order logic (here abbreviated as SMSO) over the class of labelled transition systems (LTSs for short).
Facundo Carreiro +3 more
openaire +8 more sources
Afkaruna: Indonesian Interdisciplinary Journal of Islamic Studies, 2022 LAZNAS Baitul Maal Hidayatullah (BMH), which has been initially considered successful, in reality, shows a failure in terms of collecting zakat funds. BMH has received various awards from the Marketing Award, BAZNAS Award, and Anugerah Syariah Republika.
Edi Santosa +2 more
doaj +1 more source
The Weak Aggregating Algorithm and Weak Mixability
Journal of Computer and System Sciences, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yuri Kalnishkan, Michael V. Vyugin
openaire +4 more sources
Strengths, weaknesses, opportunities and threats of virtual team in Nigerian construction industry
Organization, Technology and Management in Construction: An International Journal, 2017 The rationale behind any construction project varies; it might be to achieve value, time, quality, cost or just satisfaction for the client. Irrespective of any or all of these reasons, the team members involved in conception, inception, construction and
Odubiyi Tawakalitu Bisola +1 more
doaj +1 more source
Success factors of agricultural company
Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2013 This paper focuses on developing a proposal to eliminate weaknesses in medium-sized farm and thus improving its market position. To determine the position of company’s products due to the competition, a BCG Matrix (Boston Consulting Group Matrix) was ...
Helena Chládková
doaj +1 more source
Medical Journal of Dr. D.Y. Patil Vidyapeeth, 2020 The coronavirus disease-2019 is a rapidly progressing pandemic that has jeopardized health infrastructure in many countries. India was to some extent successful to slow the rate of spread of disease by implementing multipronged strategies. Unfortunately,
Sitikantha Banerjee +8 more
doaj +1 more source
WEAK SATURATION AND WEAK AMALGAMATION PROPERTY [PDF]
The Journal of Symbolic Logic, 2019 Abstract We study the two model-theoretic concepts of weak saturation and weak amalgamation property in the context of accessible categories. We relate these two concepts providing sufficient conditions for existence and uniqueness of weakly saturated objects of an accessible category ${\cal K}$ .
openaire +4 more sources