Results 51 to 60 of about 1,578 (264)
ID-based transitive signature schemes without random oracle
Tongxin xuebao, 2010 Based on waters’ signature scheme,the first identity-based transitive signature scheme was proposed and proved secure against attacks in the standard model.Compared with current transitive signature schemes,the unforgeability of the signature’s ...
MA Xiao-long1 +4 more
doaj +2 more sources
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees [PDF]
Logical Methods in Computer Science, 2012 We consider a specific class of tree structures that can represent basic structures in linguistics and computer science such as XML documents, parse trees, and treebanks, namely, finite node-labeled sibling-ordered trees.
Amélie Gheerbrant, Balder ten Cate
doaj +1 more source
Antifoundation and Transitive Closure in the System of Zermelo
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Esser, Olivier, Hinnion, Roland
openaire +3 more sources
Journal of Graph Theory, EarlyView.ABSTRACT Lovász et al. proved that every six‐edge‐connected graph has a nowhere‐zero three‐flow. In fact, they proved a more technical statement, which says that there exists a nowhere‐zero three‐flow that extends the flow prescribed on the incident edges of a single vertex z $z$ with bounded degree. We extend this theorem of Lovász et al.
Arnbjörg Soffía Árnadóttir +5 more
wiley +1 more source
Algebraic structures for transitive closure
Theoretical Computer Science, 1977 AbstractClosed semi-rings and the closure of matrices over closed semi-rings are defined and studied. Closed semi-rings are structures weaker than the structures studied by Conway [3] and Aho, Hopcroft and Ullman [1]. Examples of closed semi-rings and closure operations are given, including the case of semi-rings on which the closure of an element is ...
openaire +1 more source
Peskine Sixfolds and Debarre–Voisin Fourfolds With Associated Cubic Fourfolds
Mathematische Nachrichten, EarlyView.ABSTRACT We develop the notion of Peskine sixfolds with associated K3 surfaces and cubic fourfolds and work out numerical conditions for when these associations occur. In discriminant 24, the first family for which there is an associated cubic fourfold, we identify the cubic explicitly.
Corey Brooke +3 more
wiley +1 more source
Computing transitive closures of hedge transformations [PDF]
International Journal of Critical Computer-Based Systems, 2007 We consider the framework of regular hedge model checking where configurations are represented by trees of arbitrary arities, sets of configurations are represented by regular hedge automata, and the dynamic of a system is modelled by a term rewriting system. We consider the problem of computing the transitive closure R*(L) of a hedge automaton L and a
openaire +3 more sources
Allocation of Indivisible Items With a Common Preference Graph: Minimizing Total Dissatisfaction
Networks, EarlyView.ABSTRACT Allocating indivisible items among a set of agents is a frequently studied discrete optimization problem. In the setting considered in this work, the agents' preferences over the items are assumed to be identical. We consider a very recent measure for the overall quality of an allocation which does not rely on numerical valuations of the items.
Nina Chiarelli +6 more
wiley +1 more source
Sustainable Development, EarlyView.ABSTRACT The circular economy (CE) is increasingly promoted as a strategy for addressing environmental degradation and resource inefficiencies. Despite growing policy support, CE implementation remains fragmented in many resource‐intensive industries, particularly in emerging economies. This study investigates barriers to CE adoption in China's textile
Muhammad Shahjahan Usmani
wiley +1 more source
Logical reframing: A theory‐based view of entrepreneurial persuasion
Strategic Entrepreneurship Journal, EarlyView.Abstract Research Summary Prior literature that addresses how entrepreneurs systematically deal with Knightian uncertainty has primarily focused on individual entrepreneurs but has largely neglected that, to be successful, entrepreneurs must also persuade others of their view of the future.
Timo Ehrig, Jens Schmidt
wiley +1 more source