Luis Silva - Academia.edu (original) (raw)
Related Authors
COMSATS Institute of Information Technology
Uploads
Papers by Luis Silva
Journal of Hypertension, 2006
Pharmacologic control of hypertension is an essential component of the current strategy to contro... more Pharmacologic control of hypertension is an essential component of the current strategy to control cardiovascular diseases. Much concern has been focused in recent years on the challenge that cardiovascular disease poses for developing countries. Available medical therapies should be equally effective in low- and high-resource settings; however, this has not yet been demonstrated. Cuba has a well-organized primary-care system and has made reduction of cardiovascular diseases a priority, particularly through detection and treatment of hypertension. To determine current hypertension control rates a population-based sample of 1667 persons aged 15-74 years was examined in the city of Cienfuegos. The prevalence of hypertension, weighted to the age structure of the sampled population, was 20%. Among all hypertensives, 78% were previously aware of the condition, 61% were currently taking medications, and 40% had systolic/diastolic blood pressures < 140/90 mmHg (men = 29%, women = 49%). Among treated hypertensives, 62% had blood pressures < 140/90 mmHg. The level of control documented in this survey is higher than reported previously from population surveys in other countries. If confirmed in broader samples in Cuba, these findings would suggest that effective control of hypertension is highly feasible in low-resource settings.
Development of a crops and soils field research data base was initiated in 1972 at Purdue Univers... more Development of a crops and soils field research data base was initiated in 1972 at Purdue University's Laboratory for Applications of Remote Sensing and expanded in the fall of 1974 by the NASA Johnson Space Center as part of the Large Area Crop Inventory
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds ap... more Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalence checking and circuit delay computation, among many other problems. Moreover, Boolean Satisfiability is in the core of algorithms for solving Binate Covering Problems. This paper describes how Boolean Satisfiability algorithms can take circuit structure into account when solving instances derived from combinational circuits. Potential advantages include smaller run times, the utilization of circuit-specific search pruning techniques, avoiding the overspecification problem that characterizes Boolean Satisfiability testers, and reducing the time for iteratively generating instances of SAT from circuits. The experimental results obtained on several benchmark examples in two different problem domains display dramatic reductions in the run times of the algorithms, and provide clear evidence that computed solutions can have significantly less specified variable assignments than those obtained with common SAT algorithms.
Journal of Hypertension, 2006
Pharmacologic control of hypertension is an essential component of the current strategy to contro... more Pharmacologic control of hypertension is an essential component of the current strategy to control cardiovascular diseases. Much concern has been focused in recent years on the challenge that cardiovascular disease poses for developing countries. Available medical therapies should be equally effective in low- and high-resource settings; however, this has not yet been demonstrated. Cuba has a well-organized primary-care system and has made reduction of cardiovascular diseases a priority, particularly through detection and treatment of hypertension. To determine current hypertension control rates a population-based sample of 1667 persons aged 15-74 years was examined in the city of Cienfuegos. The prevalence of hypertension, weighted to the age structure of the sampled population, was 20%. Among all hypertensives, 78% were previously aware of the condition, 61% were currently taking medications, and 40% had systolic/diastolic blood pressures < 140/90 mmHg (men = 29%, women = 49%). Among treated hypertensives, 62% had blood pressures < 140/90 mmHg. The level of control documented in this survey is higher than reported previously from population surveys in other countries. If confirmed in broader samples in Cuba, these findings would suggest that effective control of hypertension is highly feasible in low-resource settings.
Development of a crops and soils field research data base was initiated in 1972 at Purdue Univers... more Development of a crops and soils field research data base was initiated in 1972 at Purdue University's Laboratory for Applications of Remote Sensing and expanded in the fall of 1974 by the NASA Johnson Space Center as part of the Large Area Crop Inventory
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds ap... more Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalence checking and circuit delay computation, among many other problems. Moreover, Boolean Satisfiability is in the core of algorithms for solving Binate Covering Problems. This paper describes how Boolean Satisfiability algorithms can take circuit structure into account when solving instances derived from combinational circuits. Potential advantages include smaller run times, the utilization of circuit-specific search pruning techniques, avoiding the overspecification problem that characterizes Boolean Satisfiability testers, and reducing the time for iteratively generating instances of SAT from circuits. The experimental results obtained on several benchmark examples in two different problem domains display dramatic reductions in the run times of the algorithms, and provide clear evidence that computed solutions can have significantly less specified variable assignments than those obtained with common SAT algorithms.