LUCAS, SALVADOR: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Combining residue analysis of floors and ceramics for the study of activity areas at the Garum Shop at Pompeii

Pecci, Alessandra, Domínguez-Bella, Salvador, Buonincontri, Mauro Paolo, Miriello, Domenico, De Luca, Raffaella, Di Pasquale, Gaetano, Cottica, Daniela, Bernal - Casasola, Dario

Journal:

Archaeological and Anthropological Sciences

Year:

2018

Language:

english

File:

PDF, 7.06 MB

english, 2018

2

Archaeometric Study of Mortars from the Garum Shop at Pompeii, Campania, Italy

De Luca, Raffaella, Miriello, Domenico, Pecci, Alessandra, Domínguez-Bella, Salvador, Bernal-Casasola, Dario, Cottica, Daniela, Bloise, Andrea, Crisci, Gino Mirocle

Journal:

Year:

2015

Language:

english

File:

PDF, 2.51 MB

english, 2015

3

Dual photoacoustic/ultrasound multi-parametric imaging from passion fruit-like nano-architectures

Armanetti, Paolo, Pocoví-Martínez, Salvador, Flori, Alessandra, Avigo, Cinzia, Cassano, Domenico, Menichetti, Luca, Voliani, Valerio

Journal:

Nanomedicine: Nanotechnology, Biology and Medicine

Year:

2018

Language:

english

File:

PDF, 3.74 MB

english, 2018

4

Stoma Reversal After Surgery for Complicated Acute Diverticulitis: A Multicentre Retrospective Study

Roig, José Vicente, Salvador, Antonio, Frasson, Matteo, García-Mayor, Lucas, Espinosa, Javier, Roselló, Vicente, Hernandis, Juan, Ruiz-Carmona, María Dolores, Uribe, Natalia, García-Calvo, Rafael, Ber

Journal:

Cirugía Española (English Edition)

Year:

2018

Language:

english

File:

PDF, 797 KB

english, 2018

5

Proving semantic properties as first-order satisfiability

Lucas, Salvador

Journal:

Artificial Intelligence

Year:

2019

Language:

english

File:

PDF, 724 KB

english, 2019

6

The bony labyrinth of Oreopithecus bambolii

Lorenzo Rook, Luca Bondioli, Franco Casali, Massimo Rossi, Meike Köhler, Salvador Moyá Solá, Roberto Macchiarelli

Journal:

Journal of Human Evolution

Year:

2004

Language:

english

File:

PDF, 443 KB

english, 2004

7

Effect of bike-fit in the perception of comfort, fatigue and pain

Priego Quesada, Jose Ignacio, Pérez-Soriano, Pedro, Lucas-Cuevas, Angel Gabriel, Salvador Palmer, Rosario, Cibrián Ortiz de Anda, Rosa Mª

Journal:

Journal of Sports Sciences

Year:

2016

Language:

english

File:

PDF, 1.46 MB

english, 2016

8

The effects of priming exercise on the VO2 slow component and the time-course of muscle fatigue during very-heavy intensity exercise in humans.

do Nascimento Salvador, Paulo Cesar, Souza, Kristopher Mendes de, de Lucas, Ricardo Dantas, Guglielmo, Luiz Guilherme Antonacci, Denadai, Benedito Sérgio

Journal:

Applied Physiology Nutrition and Metabolism

Year:

2018

Language:

english

File:

PDF, 1.10 MB

english, 2018

9

Phylogeny and taxonomy of the Antillean endemic genus Leptocereus (Cactaceae) inferred from chloroplast markers and morphological evidence

Barrios, Duniel, GonzÃ¡lez-Torres, Luis R., Arias, Salvador, Majure, Lucas C.

Journal:

Plant Systematics and Evolution

Year:

2020

File:

PDF, 3.42 MB

2020

10

Rapid soil fertility prediction using X-ray fluorescence data and machine learning algorithms

Benedet, Lucas, AcuÃ±a-Guzman, Salvador F., Faria, Wilson Missina, Silva, SÃ©rgio Henrique Godinho, Mancini, Marcelo, Teixeira, Anita Fernanda dos Santos, Pierangeli, Luiza Maria Pereira, Acerbi JÃºni

Journal:

Year:

2021

File:

PDF, 8.10 MB

2021

11

Career adaptability and associations with personality traits and pathological traits utilizing network analysis

GonÃ§alves, AndrÃ© Pereira, Martins, Gustavo Henrique, Salvador, Ana Paula, Machado, Gisele Magarotto, Carvalho, Lucas de Francisco, Ambiel, Rodolfo Augusto Matteo

Journal:

International Journal for Educational and Vocational Guidance

Year:

2020

File:

PDF, 1.09 MB

2020

12

Crystal structure of a phospholipase A2 homolog complexed with p-bromophenacyl bromide reveals important structural changes associated with the inhibition of myotoxic activity

Daniela P. Marchi-Salvador, Carlos A.H. Fernandes, Lucas B. Silveira, Andreimar M. Soares, Marcos R.M. Fontes

Journal:

Biochimica et Biophysica Acta (BBA) - Proteins and Proteomics

Year:

2009

Language:

english

File:

PDF, 1.20 MB

english, 2009

13

Acute abdomen as the first manifestation of a post-transplant lymphoproliferative disorder

Andrea Boscà-Robledo, Salvador Pous-Serrano, Ricardo Lucas García-Mayor, Laura María Trilles-Olaso

Journal:

International Journal of Colorectal Disease

Year:

2011

Language:

english

File:

PDF, 56 KB

english, 2011

14

Proving operational termination of membership equational programs

Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 609 KB

english, 2008

15

Strategies in Programming Languages Today

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 145 KB

english, 2005

16

Methods for Proving Termination of Rewriting-based Programming Languages by Transformation

Francisco Durán, Salvador Lucas, José Meseguer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 390 KB

english, 2009

17

Effects of treadmill running and fatigue on impact acceleration in distance running

García-Pérez, José Antonio, Pérez-Soriano, Pedro, Llana Belloch, Salvador, Lucas-Cuevas, Ángel Gabriel, Sánchez-Zuriaga, Daniel

Journal:

Sports Biomechanics

Year:

2014

Language:

english

File:

PDF, 156 KB

english, 2014

18

Effects of graduated compression stockings on skin temperature after running

Priego Quesada, J.I., Lucas-Cuevas, A.G., Gil-Calvo, M., Giménez, J.V., Aparicio, I., Cibrián Ortiz de Anda, R.M., Salvador Palmer, R., Llana-Belloch, S., Pérez-Soriano, P.

Journal:

Journal of Thermal Biology

Year:

2015

Language:

english

File:

PDF, 830 KB

english, 2015

19

Normal forms and normal theories in conditional rewriting

Lucas, Salvador, Meseguer, José

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 923 KB

english, 2016

20

Definition of the thermographic regions of interest in cycling by using a factor analysis

Priego Quesada, Jose Ignacio, Lucas-Cuevas, Angel Gabriel, Salvador Palmer, Rosario, Pérez-Soriano, Pedro, Cibrián Ortiz de Anda, Rosa Ma

Journal:

Infrared Physics & Technology

Year:

2016

Language:

english

File:

PDF, 1.05 MB

english, 2016

21

Skeletal Maturation and Aerobic Performance in Young Soccer Players from Professional Academies

Teixeira, A., Valente-dos-Santos, J., Coelho-e-Silva, M., Malina, R., Fernandes-da-Silva, J., Cesar do Nascimento Salvador, P., De Lucas, R., Wayhs, M., Guglielmo, L.

Journal:

International Journal of Sports Medicine

Year:

2015

Language:

english

File:

PDF, 378 KB

english, 2015

22

Reflectance confocal microscopy for scarring and non-scarring alopecia real-time assessment

Ardigò, Marco, Agozzino, Marina, Franceschini, Chiara, Donadio, Carlo, Abraham, Leonardo Spagnol, Barbieri, Luca, Sperduti, Isabella, Berardesca, Enzo, González, Salvador

Journal:

Archives of Dermatological Research

Year:

2016

Language:

english

File:

PDF, 1.82 MB

english, 2016

23

Dependency pairs for proving termination properties of conditional term rewriting systems

Lucas, Salvador, Meseguer, José

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 1.83 MB

english, 2016

24

[Society of Petroleum Engineers Abu Dhabi International Petroleum Exhibition and Conference - Abu Dhabi, UAE (2015-11-09)] Abu Dhabi International Petroleum Exhibition and Conference - Implementing a Disciplined Process Safety Framework in Mature Assets: Two Case Studies on Onshore Sour Field

Petrone, Annamaria, Scataglini, Luciano, La Rosa, Laura, Salvador, Carlo, Frattini, Luca, Manfredi, Giusto

Language:

english

File:

PDF, 247 KB

english

25

The VO2 kinetics of maximal and supramaximal running exercises in sprinters and middle-distance runners

do Nascimento Salvador, Paulo C., Dal Pupo, Juliano, De Lucas, Ricardo D., de Aguiar, Rafael A., Arins, Francimara B., Guglielmo, Luiz G. A.

Journal:

The Journal of Strength and Conditioning Research

Year:

2016

Language:

english

File:

PDF, 653 KB

english, 2016

26

The location of the tibial accelerometer does influence impact acceleration parameters during running

Lucas-Cuevas, Angel Gabriel, Encarnación-Martínez, Alberto, Camacho-García, Andrés, Llana-Belloch, Salvador, Pérez-Soriano, Pedro

Journal:

Journal of Sports Sciences

Year:

2016

Language:

english

File:

PDF, 1006 KB

english, 2016

27

Relationship between premature loss of primary teeth with oral hygiene, consumption of soft drinks, dental care, and previous caries experience

López-Gómez, Sandra Aremy, Villalobos-Rodelo, Juan José, Ávila-Burgos, Leticia, Casanova-Rosado, Juan Fernando, Vallejos-Sánchez, Ana Alicia, Lucas-Rincón, Salvador Eduardo, Patiño-Marín, Nuria, Medin

Journal:

Scientific Reports

Year:

2016

Language:

english

File:

PDF, 299 KB

english, 2016

28

Mathematical Modelling of Water Absorption and Evaporation in a Pharmaceutical Tablet during Film Coating

Christodoulou, Charalampos, Sorensen, Eva, García-Muñoz, Salvador, Mazzei, Luca

Journal:

Chemical Engineering Science

Year:

2017

Language:

english

File:

PDF, 1.49 MB

english, 2017

29

Use of logical models for proving infeasibility in term rewriting

Lucas, Salvador, Gutiérrez, Raúl

Journal:

Information Processing Letters

Year:

2018

Language:

english

File:

PDF, 312 KB

english, 2018

30

Using Well-Founded Relations for Proving Operational Termination

Lucas, Salvador

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 783 KB

english, 2019

31

The effects of the “0.9 Ma event” on the Mediterranean ecosystems during the Early-Middle Pleistocene transition as revealed by dental wear patterns of fossil ungulates

Strani, Flavia, DeMiguel, Daniel, Alba, David M., Moyà-Solà, Salvador, Bellucci, Luca, Sardella, Raffaele, Madurell-Malapeira, Joan

Journal:

Quaternary Science Reviews

Year:

2019

File:

PDF, 1.19 MB

2019

32

F169. BRAIN CONNECTIVITY DURING PSYCHOLOGICAL STRESS IN PATIENTS WITH SCHIZOPHRENIA

Castro, Mariana, De Pino, Gabriela, Bocaccio, Hernán, Sanchez, Stella, Drucaroff, Lucas, Costanzo, Elsa, Wainsztein, Agustina, Guinjoan, Salvador M, Villarreal, Mirta F

Journal:

Schizophrenia Bulletin

Year:

2018

Language:

english

File:

PDF, 100 KB

english, 2018

33

The anaerobic speed reserve of high-level soccer players: a comparison based on the running speed profile among and within playing positions

Ortiz, Jaelson Gonçalves, Teixeira, Anderson Santiago, Mohr, Pedro Augusto, Do Nascimento Salvador, Paulo Cesar, Cetolin, Tiago, Guglielmo, Luiz Guilherme Antonacci, Lucas, Ricardo Dantas de

Journal:

Year:

2018

Language:

english

File:

PDF, 3.50 MB

english, 2018

34

Size and distributional pattern of pension-related tax expenditures in European countries

Barrios, Salvador, Coda Moscarola, Flavia, Figari, Francesco, Gandullia, Luca

Journal:

International Tax and Public Finance

Year:

2019

Language:

english

File:

PDF, 2.08 MB

english, 2019

35

Pensions and Commodification Under the PT Governments (2003–2015)

Andrietta, Lucas Salvador, Lemos, Patrícia Rocha, Fagnani, Eduardo

Journal:

Latin American Perspectives

Year:

2019

Language:

english

File:

PDF, 94 KB

english, 2019

36

Size and distributional pattern of pension-related tax expenditures in European countries

Barrios, Salvador, Coda Moscarola, Flavia, Figari, Francesco, Gandullia, Luca

Journal:

International Tax and Public Finance

Year:

2019

File:

PDF, 2.08 MB

2019

37

Poem Versus Laparoscopic Heller Myotomy in the Treatment of Esophageal Achalasia: A Case-Control Study from Two High Volume Centers Using the Propensity Score

Costantini, Andrea, Familiari, Pietro, Costantini, Mario, Salvador, Renato, Valmasoni, Michele, Capovilla, Giovanni, Landi, Rosario, Mangiola, Francesca, Provenzano, Luca, Briscolini, Dario, Meriglian

Journal:

Journal of Gastrointestinal Surgery

Year:

2019

Language:

english

File:

PDF, 714 KB

english, 2019

38

Case Report: Nutritional and Toxic Optic Neuropathy: A Diagnostic Dilemma

Monferrer-Adsuara, Clara, GarcÃa-Villanueva, Carolina, Mata-Moret, LucÃa, Ortiz-Salvador, Miguel, RemolÃ-Sargues, Lidia, Cervera-Taulet, Enrique

Journal:

Optometry and Vision Science

Year:

2020

File:

PDF, 772 KB

2020

39

S74. AEROBIC EXERCISE AND COGNITIVE REMEDIATION IN MULTIEPISODE SCHIZOPHRENIA AND SCHIZOAFFECTIVE DISORDER: PRELIMINARY RESULTS: FROM A RANDOMIZED CLINICAL TRIAL

Pujol, Nuria, Sanchez-Tomico, Georgina, Toll, Alba, Polo-Velasco, Javier, Cortizo, Romina, Belmonte, Elena, Salvador, Teresa, Abellanas, Adelina, Chamorro, Jacobo, Perez, LucÃa, Perez-SolÃ , Victor,

Journal:

Schizophrenia Bulletin

Year:

2020

File:

PDF, 78 KB

2020

40

Soil management and diverse crop rotation can mitigate early-stage no-till compaction and improve least limiting water range in a Ferralsol

de Moura, MaÃse Soares, Silva, Bruno Montoani, Mota, Paula Karen, Borghi, Emerson, Resende, Alvaro Vilela de, AcuÃ±a-Guzman, Salvador Francisco, AraÃºjo, Gabriela Soares Santos, da Silva, Lucas de Ca

Journal:

Agricultural Water Management

Year:

2021

File:

PDF, 188 KB

2021

41

Knowledge of Chagas disease in a bolivian population living in Valencia, Spain

Salvador-Gil, Vanesa, Usero-Ruiz, Ana I., MuÃ±oz-Miguel, Julio, OrtÃ-Lucas, Rafael Manuel

Journal:

Journal of Epidemiological Research

Year:

2017

File:

PDF, 182 KB

2017

42

New Evaluation Commands for Maude Within Full Maude

Francisco Durán, Santiago Escobar, Salvador Lucas

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 374 KB

english, 2005

43

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 77 KB

english, 2005

44

Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting

Beatriz Alarcón, Salvador Lucas

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 351 KB

english, 2009

45

Automatic Proofs of Termination With Elementary Interpretations

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 411 KB

english, 2009

46

Proving Termination of Context-Sensitive Rewriting with MU-TERM

Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 547 KB

english, 2007

47

Strong and NV-sequentiality of constructor systems

Journal:

Information Processing Letters

Year:

2004

Language:

english

File:

PDF, 215 KB

english, 2004

48

Operational termination of conditional term rewriting systems

Salvador Lucas, Claude Marché, José Meseguer

Journal:

Information Processing Letters

Year:

2005

Language:

english

File:

PDF, 123 KB

english, 2005

49

Reduction strategies in rewriting and programming

Bernhard Gramlich, Salvador Lucas

Journal:

Journal of Symbolic Computation

Year:

2005

Language:

english

File:

PDF, 79 KB

english, 2005

50

Strongly sequential and inductively sequential term rewriting systems

Michael Hanus, Salvador Lucas, Aart Middeldorp

Journal:

Information Processing Letters

Year:

1998

Language:

english

File:

PDF, 776 KB

english, 1998