Sciweavers

1307 search results - page 126 / 262
» Follow the intellectual property
Sort
View
CSR
2008
Springer
15 years 1 months ago
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...
Arnon Avron, Anna Zamansky
EJC
2010
15 years 1 months ago
Minors of Boolean functions with respect to clique functions and hypergraph homomorphisms
Each clone C on a fixed base set A determines a quasiorder on the set of all operations on A by the following rule: f is a C-minor of g if f can be obtained by substituting operati...
Erkko Lehtonen, Jaroslav Nesetril
ACTAC
2006
94views more  ACTAC 2006»
15 years 1 months ago
MedEdit: A Computer Assisted Image Processing and Navigation System for Orthopedic Trauma Surgery
The surgery of fractured bones is often a very complex problem. That is the reason why it would be beneficial to create a geometric and mechanic model of the bones before surgical...
Krisztián Ollé, Balázs Erd&ou...
CORR
2006
Springer
97views Education» more  CORR 2006»
15 years 1 months ago
Improved Nearly-MDS Expander Codes
A construction of expander codes is presented with the following three properties: (i) the codes lie close to the Singleton bound, (ii) they can be encoded in time complexity that ...
Ron M. Roth, Vitaly Skachek
CPC
2006
73views more  CPC 2006»
15 years 1 months ago
Feasible Schedules for Rotating Transmissions
Motivated by a scheduling problem that arises in the study of optical networks we prove the following result, which is a variation of a conjecture of Haxell, Wilfong and Winkler. ...
Noga Alon