Resultats globals: 3 registres trobats en 0.03 segons.
Articles, 2 registres trobats
Documents de recerca, 1 registres trobats
Articles 2 registres trobats  
1.
8 p, 127.5 KB Documentación colonial de América y Filipinas transcrita para el proyecto redes en el marco de la red carta / Bonilla Mínguez, Hector (Universidad de Alcalá) ; Almeida Cabrejas, Belén (Universidad de Alcalá)
Este artículo presenta un acercamiento al trabajo llevado a cabo por los distintos miembros de la red CHARTA en lo relativo a las transcripciones realizadas de documentación no europea, americana y filipina. [...]
This paper explains the work of several members of the CHARTA network in editing archival documents in Spanish from America and Philippines. After a brief summary of the activities within the project, the paper offers some examples of the possibilities of the edited documents from Philippines for the knowledge of the Spanish in this area.

2017 - 10.5565/rev/scriptum.80
Scriptum digital, Núm. 6 (2017) , p. 104-111 (Articles)  
2.
8 p, 647.4 KB Physical exercise, fitness and dietary pattern and their relationship with circadian blood pressure pattern, augmentation index and endothelial dysfunction biological markers : EVIDENT study protocol / Garcia-Ortiz, Luis (Sanidad de Castilla y Léon) ; Recio Rodríguez, José I. (Sanidad de Castilla y Léon) ; Martín-Cantera, Carlos (Institut Català de la Salut) ; Cabrejas Sánchez, Alfredo (Servicio de Salud de Castilla-La Mancha) ; Gómez Arranz, Amparo (Sanidad de Castilla y Léon) ; González Viejo, Natividad (Servicio Aragonés de Salud) ; Iturregui San Nicolás, Eguskiñe (Osakidetza Servicio Vasco de Salud) ; Patino Alonso, María C. (Sanidad de Castilla y Léon) ; Gómez Marcos, Manuel Ángel (Sanidad de Castilla y Léon) ; Red de Investigación en Actividades Preventivas y Promoción de la Salud. EVIDENT Group
Background: Healthy lifestyles may help to delay arterial aging. The purpose of this study is to analyze the relationship of physical activity and dietary pattern to the circadian pattern of blood pressure, central and peripheral blood pressure, pulse wave velocity, carotid intima-media thickness and biological markers of endothelial dysfunction in active and sedentary individuals without arteriosclerotic disease. [...]
2010 - 10.1186/1471-2458-10-233
BMC public health, Vol. 10, N. 233 (May 2010) , p. 1-8  

Documents de recerca 1 registres trobats  
1.
131 p, 1.1 MB New Solving Techniques for Maximum and Minimum Satisfiability / Soler Cabrejas, Juan Ramón ; Maña Serres, Felipe, dir. ; Armengol Voltas, Eva, dir.
El problema de la Satisfactibilitat (SAT) consisteix a decidir si existeix una assignació de valors de veritat que satisfaci una fórmula proposicional donada. SAT va ser el primer problema per al qual es va demostrar la seva NP-completitud, sent un dels problemes més estudiats en Ciències de la Computació. [...]
El problema de la Satisfacibilidad (SAT) consiste en decidir si existe una asignación de valores de verdad que satisfaga una fórmula proposicional dada. SAT fue el primer problema para el cual se demostró su NP-completitud, siendo uno de los problemas más estudiados en Ciencias de la Computación. [...]
The Satisfiability problem, or SAT, is the problem of deciding if there exists an assignment that satisfies a given propositional formula. SAT was the first problem proven to be NP-complete and is one of the most studied problems in Computer Science. [...]

2021  

Us interessa rebre alertes sobre nous resultats d'aquesta cerca?
Definiu una alerta personal via correu electrònic o subscribiu-vos al canal RSS.