Sciweavers

8413 search results - page 36 / 1683
» Ordering Problem Subgoals
Sort
View
SIAMNUM
2010
106views more  SIAMNUM 2010»
14 years 4 months ago
Approximation of the Buckling Problem for Reissner-Mindlin Plates
This paper deals with the approximation of the buckling coefficients and modes of a clamped plate modeled by the Reissner-Mindlin equations. These coefficients are related with the...
Carlo Lovadina, David Mora, Rodolfo Rodrígu...
BIRTHDAY
2004
Springer
15 years 3 months ago
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Mark-Oliver Stehr, José Meseguer
NHM
2010
73views more  NHM 2010»
14 years 4 months ago
The heterogeneous multiscale finite element method for advection-diffusion problems with rapidly oscillating coefficients and la
Abstract. This contribution is concerned with the formulation of a heterogeneous multiscale finite elements method (HMM) for solving linear advectiondiffusion problems with rapidly...
Patrick Henning, Mario Ohlberger
HEURISTICS
2010
14 years 4 months ago
A large neighbourhood search approach to the multi-activity shift scheduling problem
The challenge in shift scheduling lies in the construction of a set of work shifts, which are subject to specific regulations, in order to cover fluctuating staff demands. This pro...
Claude-Guy Quimper, Louis-Martin Rousseau
SODA
2012
ACM
249views Algorithms» more  SODA 2012»
13 years 5 days ago
Improved competitive ratio for the matroid secretary problem
The Matroid Secretary Problem, introduced by Babaioff et al. (2007), is a generalization of the Classical Secretary Problem. In this problem, elements from a matroid are presente...
Sourav Chakraborty, Oded Lachish