Chakrabarti, Manohar; Zhang, Na; Sauvage, Christopher; Muños, Stéphane; Blanca Postigo, José Miguel; Cañizares Sales, Joaquín; Díez Niclós, Mª José Teresa de Jesús; Schneider, Rhiannon; Mazourek, Michael; McClead, Jammi; Causse, Mathilde; Van Der Knaap, Esther Klazina Maria(National Academy of Sciences, 2013-10-15)
Domestication of crop plants had effects on human lifestyle and agriculture. However, little is known about the underlying molecular mechanisms accompanying the changes in fruit appearance as a consequence of selection by ...
We propose a family of eighth-order iterative methods without memory for solving nonlinear equations. The new iterative methods are developed by using weight function method and using an approximation for the last derivative, ...
Pérez Gil, Daniel(Universitat Politècnica de València, 2014-11-03)
[EN] Autosomal dominant hypercholesterolemias (ADH) are metabolic disorders characterized by
increased plasma levels of total and LDL cholesterol, predisposing to premature atherosclerosis and
acute myocardial infarction. ...
Balanzá Rodríguez, Mar(Universitat Politècnica de València, 2021-09-01)
[ES] Las distrofias hereditarias de la retina (DHR) son un conjunto de trastornos que se caracteriza por la muerte progresiva de los fotorreceptores, lo que conlleva una pérdida de la función visual, pudiendo llegar a la ...
Escobar Román, Santiago; Sasse, Ralf; Meseguer, José(Elsevier, 2012-11)
Automated reasoning modulo an equational theory E is a fundamental technique in many applications. If E can be split as a disjoint union E u Ax in such a way that E is confluent, terminating, sort-decreasing, and coherent ...
Abad Rodríguez, Manuel Francisco; Cordero Barbero, Alicia; Torregrosa Sánchez, Juan Ramón(Hindawi Publishing Corporation, 2013)
Two iterative methods of order four and five, respectively, are presented for solving nonlinear systems of equations. Numerical comparisons are made with other existing second-and fourth-order schemes to solve the nonlinear ...
Ángel Moreno Serrano, Ana(Universitat Politècnica de València, 2024-10-14)
[ES] La enfermedad de COVID-19 causada por el SARS-CoV-2, desencadenante de la pandemia global en 2020, destaca por su rango de sintomatología variable desde la ausencia de síntomas hasta la insuficiencia respiratoria grave ...
A new set of predictor-corrector iterative methods with increasing order of convergence is proposed in order to estimate the solution of nonlinear systems. Our aim is to achieve high order of convergence with few Jacobian ...
There is a growing interest in formal methods and tools to analyze cryptographic protocols modulo algebraic properties of their underlying cryptographic functions. It is well-known that an intruder who uses algebraic ...