Results 251 to 260 of about 25,607 (285)
Some of the next articles are maybe not open access.

Model checking race-freeness

ACM SIGARCH Computer Architecture News, 2008
With the introduction of highly concurrent systems in standard desktop computers, ensuring correctness of industrial-size concurrent programs is becoming increasingly important. One of the most important standards in use for developing multi-threaded programs is the POSIX Threads standard, commonly known as PThreads.
Parosh Aziz Abdulla   +2 more
openaire   +1 more source

Free fisher information and amalgamated freeness

Applied Mathematics and Mechanics, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Meng, Bin, Guo, Maozheng, Cao, Xiaohong
openaire   +2 more sources

Minimal freeness and commutativity

Algebra Universalis, 1992
An algebra \(A\) is called minimally free if it contains a subset \(X\), called a pseudobasis, such that every map \(X\to A\) extends uniquely to an endomorphism of \(A\). The author considers the interactions of minimal freeness with various notions of commutativity. The results are applied to Abelian groups and idempotent semigroups.
openaire   +2 more sources

ON THE FREENESS OF 3-ARRANGEMENTS

Bulletin of the London Mathematical Society, 2005
The author considers the freeness of hyperplane arrangements in a 3-dimensional space. A hyperplane arrangement \(A\) in an \(l\)-dimensional linear space is free, with exponents \(\exp(A) = (1=d_1, d_2, \ldots, d_l)\), if the associated module of all logarithmic vector fields is free with basis \(\delta_1, \ldots, \delta_l\), such that \(\deg \delta_i
openaire   +1 more source

Residuation, Structural Rules and Context Freeness

Journal of Logic, Language and Information, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Continuity, freeness, and filtrations

Journal of Applied Non-Classical Logics, 2010
The role played by continuous morphisms in propositional modal logic is investigated: it turns out that they are strictly related to filtrations and to suitable variants of the notion of a free alg...
openaire   +1 more source

Weighted Envy-freeness in Indivisible Item Allocation

ACM Transactions on Economics and Computation, 2021
Mithun Chakraborty   +2 more
exaly  

Almost Envy-Freeness with General Valuations

SIAM Journal on Discrete Mathematics, 2020
Benjamin Plaut
exaly  

Almost envy-freeness in group resource allocation

Theoretical Computer Science, 2020
Warut Suksompong, Alexandros A Voudouris
exaly  

Home - About - Disclaimer - Privacy