Results 81 to 90 of about 96,007 (248)

Towards lightweight integration of SMT solvers [PDF]

, 2012
A large variety of SMT techniques and associated solvers have been developed by the formal modelling and verification communities. For a particular application domain, each technique has its own unique set of advantages and limitations.
Lapets, Andrei, Mizraei, Saber
core   +1 more source

Biologically‐oriented alveolar ridge preservation to correct bone dehiscence at immediate implant placement

Clinical Advances in Periodontics, EarlyView.
Abstract Background The purpose of the present case study is to describe the application of a modification of the Biologically‐oriented Alveolar Ridge Preservation (BARP) principles in cases of peri‐implant bone dehiscence (PIBD) due to a compromised alveolus at immediate implant placement (IIP).
Leonardo Trombelli, Tommaso Grenzi
wiley   +1 more source

Antileishmanial Activities of Carvacrol Nanoencapsulate in Biopolymeric Nanoparticles

Chemistry &Biodiversity, EarlyView.
The study obtained biopolymeric nanoparticles containing carvacrol (NPCar) and evaluated their anti‐leishmanial activity. NPCar obtained presented physicochemical characteristics due to its ideal nanometric size and zeta potential, and low polydispersity index.
Joyce Cordeiro Borges, Anne Beatriz Cunha Barros, Leonardo Lima Cardoso, Tatjana de Lima Souza Keesen, Luís André de Almeida Campos, Isabella Macário Ferro Cavalcanti, Elisângela Afonso de Moura Kretzschmar   +6 more
wiley   +1 more source

The Englished Sciascia: translations 1960-2010 [PDF]

, 2011
Literary translation can cross linguistic and political borders, enticing and enriching the receiving cultures. This essay aims to give an account of the translations of Leonardo Sciascia’s work into English, over the last five decades.
Ania, G
core   +1 more source

On Gaussian Leonardo Numbers

Contributions to Mathematics, 2023
openaire   +2 more sources

Chemical Characterization, Antioxidant, and Anticholinesterase Activities of Libidibia ferrea (Mart. Ex Tul.) L.P.Queiroz and In Silico Studies with the Acetylcholinesterase Enzyme

Chemistry &Biodiversity, EarlyView.
ABSTRACT Libidibia ferrea is used in many parts of Brazil for a variety of conditions, such as inflammation, respiratory disorders, muscle pain, and gastrointestinal problems. This study evaluated the chemistry and antioxidant and acetylcholinesterase (AChE) inhibitory activities of L. ferrea extracts. Hydroethanolic extracts of leaves (ELLF) and bark (
Lucas Soares Frota, Sara Ingrid Caetano Gomes Barbosa, Camila Costa Feitosa, Francisco Flávio da Silva Lopes, Daniel Pereira de Oliveira, Leonardo Soares Freitas, Adriano Lincoln Albuquerque Mattos, Wildson Max Barbosa da Silva, Hamilton Mitsugu Ishiki, Selene Maia de Morais   +9 more
wiley   +1 more source

Increased Thrombogenicity is Associated With Coronary Microvascular Dysfunction in Patients With STEMI—A Proof‐of‐Concept Study

Catheterization and Cardiovascular Interventions, EarlyView.
ABSTRACT Background Up to 50% of patients with ST‐segment elevation myocardial infarction (STEMI) undergoing primary percutaneous coronary intervention (pPCI) develop coronary microvascular dysfunction (CMD). Aims This study aims to assess whether a prothrombotic state of coronary blood, defined by thromboelastography (TEG), is associated with post ...
Roberto Scarsini, Denis Leonardi, Andrea Bottardi, Concetta Mammone, Leonardo Portolan, Caterina Butturini, Verdiana Galli, Francesco Della Mora, Alessandro Ruzzarin, Sara Pazzi, Anna Piccoli, Simone Fezzi, Domenico Tavella, Gabriele Pesarini, Leonardo Gottin, Flavio Ribichini   +15 more
wiley   +1 more source

General Trends in Structural Instability: Manganese‐Doped Nickel Layered Double Hydroxides in the Oxygen Evolution Reaction

ChemCatChem, EarlyView.
The oxygen evolution activity of alpha‐Ni LDH and alpha‐NiMn LDH decreases continuously as a function of potential cycling. While the initial structures differ in their LDH interlayer distance, the layer distance of the Ni and NiMn LDH conforms in the stability testing, and both activity and interlayer distance reach similar values for all catalysts ...
Leonardo K. Holberg, Nicolas Schlegel, Rebecca K. Pittkowski   +2 more
wiley   +1 more source

Archaeometric Analyses of Medieval Pottery From the Lower Danube Region, Romania

ChemPlusChem, Accepted Article.
This paper discusses the pottery manufacturing in the Lower Danube region during the Early Medieval period. Optical Microscopy (OM), Particle Induced X‐ray Emission (PIXE) and X‐ray Diffraction (XRD) were performed on thirty‐two ceramic shards unearthed at Pantelimonu de Sus, Romania, dated to the 8th‐10th c. AD. The petrographic observations showed an
Roxana Bugoi, Constantin Haitǎ, Cristina Talmaţchi, Ana-Maria Banici   +3 more
wiley   +1 more source

From Corporate Social Responsibility to Employee Mental Well‐Being: The Differential Role of Social and Psychological Capital in Companies' Rural Depopulation Areas

Corporate Social Responsibility and Environmental Management, EarlyView.
ABSTRACT In response to the demographic issue posed by rural depopulation, literature has emphasized the necessity of exploring how corporate social responsibility (CSR) improves employees' mental well‐being and strengthens the competitiveness and development of rural enterprises, thereby attracting and retaining residents in vulnerable areas.
Gabriel Cachón‐Rodríguez, Alicia Blanco‐González, Francisco Díez‐Martín, Leonardo Ortegón   +3 more
wiley   +1 more source