Sciweavers

3145 search results - page 10 / 629
» Algebraic Linear Orderings
Sort
View
DAGSTUHL
1996
13 years 8 months ago
Multi-Level Lambda-Calculi: An Algebraic Description
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
Flemming Nielson, Hanne Riis Nielson
ENDM
2010
81views more  ENDM 2010»
13 years 7 months ago
Mixed Integer NonLinear Programs featuring "On/Off" constraints: convex analysis and applications
We call "on/off" constraint an algebraic constraint that is activated if and only if
Hassan Hijazi, Pierre Bonami, Gérard Cornu&...
AAECC
1997
Springer
113views Algorithms» more  AAECC 1997»
13 years 11 months ago
Order Functions and Evaluation Codes
Based on the notion of an order function we construct and determine the parameters of a class of error-correcting evaluation codes. This class includes the one-point algebraic geo...
Tom Høholdt, Jacobus H. van Lint, Ruud Pell...
TIT
2008
130views more  TIT 2008»
13 years 7 months ago
Improving the Lower Bound on the Higher Order Nonlinearity of Boolean Functions With Prescribed Algebraic Immunity
Abstract. The recent algebraic attacks have received a lot of attention in cryptographic literature. The algebraic immunity of a Boolean function quantifies its resistance to the s...
Sihem Mesnager
CISIS
2009
IEEE
14 years 2 months ago
Application of a Critical Chain Project Management Based Framework on Max-Plus Linear Systems
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
Hirotaka Takahashi, Hiroyuki Goto, Munenori Kasaha...