Search Results - "Cuartero, F."

First modern human settlement recorded in the Iberian hinterland occurred during Heinrich Stadial 2 within harsh environmental conditions by Alcaraz-Castaño, M., Alcolea-González, J. J., de Andrés-Herrero, M., Castillo-Jiménez, S., Cuartero, F., Cuenca-Bescós, G., Kehl, M., López-Sáez, J. A., Luque, L., Pérez-Díaz, S., Piqué, R., Ruiz-Alonso, M., Weniger, G.-C., Yravedra, J.

“…As the south-westernmost region of Europe, the Iberian Peninsula stands as a key area for understanding the process of modern human dispersal into Eurasia…”
Get full text

Flint and Quartzite: Distinguishing Raw Material Through Bone Cut Marks by Maté‐González, M. Á., Yravedra, J., Martín‐Perea, D. M., Palomeque‐González, J., San‐Juan‐Blazquez, M., Estaca‐Gómez, V., Uribelarrea, D., Álvarez‐Alonso, D., Cuartero, F., González‐Aguilera, D., Domínguez‐Rodrigo, M.

“…Since the 1980s, several experimental analyses have been able to differentiate some lithic tool types and some of their raw materials according to the…”
Get full text

Geocronología de los yacimientos achelenses de Pinedo y Cien Fanegas (Valle del Tajo) e implicaciones en la evolución fluvial en el entorno de Toledo (España) by López-Recio, M., Silva, P. G., Roquero, E., Cunha, P. P., Tapias, F., Alcaraz-Castaño, M., Baena, J., Cuartero, F., Morín, J., Torres, T., Ortiz, J. E., Murray, A. S., Buylaert, J. P.

“…Se presentan los primeros resultados de los proyectos de investigación dirigidos al análisis cronoestratigráfico de las terrazas del río Tajo en el entorno de…”
Get full text

Contexto geomorfológico y principales rasgos tecnológicos de nuevos yacimientos del Pleistoceno Medio y Superior en el Valle Inferior del Manzanares (Madrid, España) by Silva, P. G., López Recio, M., Cuartero, F., Baena, J., Tapias, F., Manzano, I., Martín, D., Morín, J., Roquero, E.

“…Las intervenciones arqueológicas llevadas a cabo durante los años 1996 en Tafesa, 2005 en el yacimiento Hospital 12 de Octubre y 2006 en la desembocadura del…”
Get full text

Twitter as a Tool for Predicting Elections Results by Soler, J. M., Cuartero, F., Roblizo, M.

“…The use of social networking sites, such as Twitter, for various purposes, continues to grown since its first appearance. This social net is a microblogging…”
Get full text

A process algebra for probabilistic and nondeterministic processes by Cazorla, D., Cuartero, F., Valero, V., Pelayo, F.L.

“…We present an algebraic language for the specification of probabilistic and nondeterministic processes, PNAL , which is a probabilistic extension of EPL that…”
Get full text

Sjögren's syndrome and pernicious anaemia: Case report by A. Rodríguez-Cuartero, F. J. Pérez-Blanco, F. Urbano-Jiménez

“…We describe seven patients (five females and two males) with pernicious anaemia and Sjögren's syndrome. The diagnosis of pernicious anaemia was confirmed by…”
Get full text

Obtaining probabilistic dynamic state graphs for TPPAL processes by Pardo, J.J., Valero, V., Ruiz, M.C., Cuartero, F., Diaz, G.

“…Software engineers work gladly with process algebras, as they are very similar to programming languages. However, graphical models are better in order to…”
Get full text

A new synchronization in finite stochastic Petri box calculus by Macia, H., Valero, V., Cuartero, F., Pelayo, F.L.

“…The Petri Box Calculus (PBC) combines two well known paradigms of the design of concurrent systems: process algebras and Petri nets. In our first proposal of…”
Get full text

Automatic translation of a timed process algebra into dynamic state graphs by Pardo, J.J., Valero, V., Cuartero, F., Cazorla, D.

“…In this paper we consider a timed process algebra based on classical LOTOS operators in order to specify the behaviour of concurrent systems and, concretely,…”
Get full text

Fossil human remains from Bolomor Cave (Valencia, Spain) by Arsuaga, Juan Luis, Fernández Peris, Josep, Gracia-Téllez, Ana, Quam, Rolf, Carretero, José Miguel, Barciela González, Virginia, Blasco, Ruth, Cuartero, Felipe, Sañudo, Pablo

“…Systematic excavations carried out since 1989 at Bolomor Cave have led to the recovery of four Pleistocene human fossil remains, consisting of a fibular…”
Get full text

How does the memory work? By timed-arc Petri nets by Pelayo, F.L., Cuartero, F., Valero, V., Pelayo, M.L., Merayo, M.G.

“…In this paper we use the graphical formalism timed-arc Petri nets to specify cognitive systems. In addition to the usual characteristics of this formalism,…”
Get full text

Applying timed-arc Petri nets to improve the performance of the MPEG-2 encoding algorithm by Pelayo, F.L., Cuartero, F., Valero, V., Macia, H., Pelayo, M.L.

“…We use a timed extension of Petri nets, the so called timed-arc Petri Nets, for the specification and analysis of the MPEG-2 video encoder. We have computed…”
Get full text

A formal specification and performance evaluation of the purchase phase in the SET protocol by Ruiz, M.C., Cazorla, D., Cuartero, F., Pardo, J.J.

“…This paper reports the formal specification and performance evaluation of a phase in the Secure Electronic Transaction (SET), an e-commerce protocol by Visa…”
Get full text

An example of performance evaluation by using the stochastic process algebra: ROSA by Pelayo, F.L., Cuartero, F., Valero, V., Cazorla, D.

“…We present an algebraic language for the description of probabilistic and non-deterministic processes, which allows us to evaluate performance indexes as well…”
Get full text

Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems by Valero Ruiz, V., de Frutos Escrig, D., Cuartero Gomez, F.

“…The authors consider timed Petri nets, for which a timed step semantics generalizing the ordinary step semantics is presented. A codification of these, with…”
Get full text

Formal Analysis of Sensor Network Encryption Protocol (SNEP) by Tobarra, L., Cazorla, D., Cuartero, F.

“…In this paper, a formal analysis of a security protocol in the field of wireless sensor networks is presented. Sensor network encryption protocol (SNEP)…”
Get full text

CALPE and INDICA. Two tools for calculating the dynamic pantograph/catenary interaction by Cuartero, N., Arias, E., Cuartero, F., Rojo, T.

“…Spain is one of the world-wide leaders in High Speed Railways, being the most vast in Europe and the second in the world. Other countries are interested in the…”
Get full text

Abstract P5-14-01: Chest wall bolus in post-mastectomy radiotherapy – Is it really necessary? by Yap, ML, Sappiatzer, J, Tieu, MT, Cuartero, JF, Panzarella, T, McCready, D, Fyles, A

“…Abstract Purpose: The utilization of tissue-equivalent chest wall bolus in post-mastectomy radiotherapy (PMRT) varies significantly between institutions. There…”
Get full text

Algebraic theory of probabilistic and nondeterministic processes by Cazorla, Diego, Cuartero, Fernando, Valero, Valentín, Pelayo, Fernando L., Pardo, J.José

Get full text