Buscar
Mostrando ítems 41-50 de 21443
Piecewise-affine Lyapunov functions for discrete-time linear systems with saturating controls
(Pergamon-elsevier Science LtdOxfordInglaterra, 2002)
A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis
(UR. FI-INCO,, 1995)
We present an experiment in formally describing a programming language and its properties in constructive type theory. By constructive type theory we understand primarily the formulation of Martin Löf's set theory. ...
Tactical optimization of the oil palm agribusiness supply chain
(Applied Mathematical Modelling, 2015-02-11)
A dynamic mathematical programming model of the oil palm harvest and extraction supply chain is presented. The model in question has nonlinear and mixed integer features both in its objective function and constraints. The ...
Funções de Lyapunov lineares por partes para sistemas lineares com controles saturáveis
(Sociedade Brasileira de Automática, 2002)
Functional evaluation pre and post physical exercise program for patients in hemodialysisAvaliação funcional pré e pós-programa de exercício físico de pacientes em hemodiálise
(2013-01-01)
Model Study: An experimental study Introduction: Chronic Kidney Disease (CKD) refers to a syndromic diagnosis which leads to a progressive and irreversible loss of renal function. A hemodialysis patient may have limitations ...
Fetal kidney programming by severe food restriction: effects on structure, hormonal receptor expression and urinary sodium excretion in rats
(Sage Publications Ltd, 2015-03-01)
Introduction: The present study investigates, in 23-day-old and adult male rats, the effect of severe food restriction in utero on blood pressure (BP), and its association with nephron structure and function changes, ...
Dynamic programming approach for road centerline extraction from digital images
(2004-12-01)
This paper presents a dynamic programming approach for semi-automated road extraction from medium-and high-resolution images. This method is a modified version of a pre-existing dynamic programming method for road extraction ...
Epigenetic Programming of Cardiovascular Disease by Perinatal Hypoxia and Fetal Growth Restriction
(INTECH, 2017)
Most of the worldwide deaths in patients with non-communicable diseases are due to cardiovascular and metabolic diseases, which are determined by a mix of environmental, genetic and epigenetic factors, and by their ...
Effects of Water-Based and Callisthenic Exercise on Freezing of Gait, Postural Control, and Functional Independence in Patients With Mild to Moderate Parkinson Disease
(Lippincott Williams &wilkins, 2015-04-01)
Objective: This study aimed to analyze and compare the role of a water-based exercise program versus a combination of water and callisthenic exercises on postural control, functional independence, and freezing of gait (FOG) ...
ASYNCRFJ: uma abordagem assíncrona à programação orientada a objeto reativa
(Universidade Federal de Santa MariaBrasilCiência da ComputaçãoUFSMPrograma de Pós-Graduação em Ciência da ComputaçãoCentro de Tecnologia, 2018-07-13)
The presence of reactive programming has been more common in current systems, one
of the highlights of its use is the management of input data streams. In the reactive programming
paradigm, a new value for the input ...