Now showing items 1-10 of 32
A Continuous Max-Flow Approach to Minimal Partitions with Label Cost Prior
(The authors, 2011)
This paper investigates a convex relaxation approach for minimum description length (MDL) based image partitioning or labeling, which proposes an energy functional regularized by the spatial smoothness prior joint with ...
Cognition: Learning and Memory
(Science Publishers, 2008)
Solving the pooling problem with LMI relaxations
(The authors, 2012)
We consider the standard pooling problem with a single quality parameter, which is a polynomial global optimization problem occurring among other places in the oil industry. In this paper, we show that if the feasible ...
A Type System for Usage of Software Components
The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component ...
Floating Fault Analysis of Trivium
(Springer Berlin Heidelberg, 2008)
One of the eSTREAM final portfolio ciphers is the hardwareoriented stream cipher Trivium. It is based on 3 nonlinear feedback shift registers with a linear output function. Although Trivium has attached a lot of interest, ...
Inferring Required Permissions for Statically Composed Programs
Permission-based security models are common in smartphone operating systems. Such models implement access control for sensitive APIs, introducing an additional concern for application developers. It is important for the ...
Analysis of Trivium Using Compressed Right Hand Side Equations
(Springer Berlin Heidelberg, 2012)
We study a new representation of non-linear multivariate equations for algebraic cryptanalysis. Using a combination of multiple right hand side equations and binary decision diagrams, our new representation allows a ...
(Intergovermental Panel on Climate Change, 2005)
Regular Expressions with Numerical Constraints and Automata with Counters
Regular expressions with numerical constraints are an extension of regular expressions, allowing to bound numerically the number of times that a subexpression should be matched. Expressions in this extension describe the ...
Periodicity of otolith check formation in the juvenile plaice Pleuronectes platessa
(University of South Carolina Press, 1995)
Juvenile (Pleuronectes platessa L.) were sampled in the intertidal zone of Port Erin Bay (Isle of Man, Irish Sea) by push-net in the summers of 1990 and 1992. Check formation on the sagittal otoliths was examined to test ...