Advanced search    

Search: *

50,924 papers found. Showing first 1,000 results.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications

Effective quantifier elimination procedures for first-order theories provide a powerful tool for generically solving a wide range of problems based on logical specifications. In contrast to general first-order provers, quantifier elimination procedures are based on a fixed set of admissible logical symbols with an implicitly fixed semantics. This admits the use of sub-algorithms ...

Magnetocaloric-Transport Properties Correlation in La0.8 Ca0.2MnO3-Doped Manganites

This investigation is interested in studying the relation between magnetocaloric effect and transport properties i La0.8Ca0.2MnO3 manganite compound. The value of the magnetocaloric effect has been determined from the calculation of magnetization as a function of temperature under different external magnetic fields. This study also provides an alternative method to determine the ...

Exploring the relationship between perceived barriers to healthy eating and dietary behaviours in European adults

Purpose Dietary behaviours may be influenced by perceptions of barriers to healthy eating. Using data from a large cross-European study (N = 5900), we explored associations between various perceived barriers to healthy eating and dietary behaviours among adults from urban regions in five European countries and examined whether associations differed across regions and ...

Tribological response of an epoxy matrix filled with graphite and/or carbon nanotubes

Reinforced polymer–matrix composites are widely used under sliding contact conditions in various boating and automotive applications. In this paper, the friction and wear of bulk epoxy and carbon filler reinforced epoxy composites have been investigated using a pin-on-disc tribometer. The effect of different fillers on the tribological behavior of an epoxy has been studied using ...

Assessment of organic pollution of an industrial river by synchronous fluorescence and UV–vis spectroscopy: the Fensch River (NE France)

To rapidly monitor the surface water quality in terms of organic pollution of an industrial river undergoing restoration, optical methods (UV–visible spectrometry and fluorescence) were applied in parallel to classical physical–chemical analyses. UV–visible spectra were analyzed using the maximum of the second derivative at 225 nm (related to nitrates), specific absorbance at 254 ...

Coexistence and Conflict between the Island Flying fox (Pteropus hypomelanus) and Humans on Tioman Island, Peninsular Malaysia

As tropical landscapes become increasingly human-dominated, conflicts between people and wildlife threaten ecological processes. Old World fruit bats such as flying foxes are especially susceptible to extinction risk because there is low interest in their conservation, particularly when they are considered pests. In order to arrest fruit bat declines, there is an urgent need to ...

Oral arginine supplementation protects female mice from the onset of non-alcoholic steatohepatitis

Dietary arginine (Arg) supplementation has been proposed to have positive effects on the development of liver diseases. In the present study, we investigate if an oral Arg supplementation in diet protects mice fed a fructose, fat and cholesterol enriched Western-style diet (WSD) from the development of non-alcoholic steatohepatitis (NASH). Female C57BL/6J mice were fed a liquid ...

Machine learning–XGBoost analysis of language networks to classify patients with epilepsy

Our goal was to apply a statistical approach to allow the identification of atypical language patterns and to differentiate patients with epilepsy from healthy subjects, based on their cerebral activity, as assessed by functional MRI (fMRI). Patients with focal epilepsy show reorganization or plasticity of brain networks involved in cognitive functions, inducing ‘atypical’ ...

Pregnancy and kidney disease: from medicine based on exceptions to exceptional medicine

The Webster dictionary defines exception as an anomaly, a person or thing that does not follow a rule, while the adjective exceptional has a different nuance, and means “above average”. These two words may describe how obstetric nephrology has shifted from the description of very rare cases, to the development of a complex new and fascinating branch of medicine, that ...

Electrical control of calcium oscillations in mesenchymal stem cells using microsecond pulsed electric fields

Background Human mesenchymal stem cells are promising tools for regenerative medicine due to their ability to differentiate into many cellular types such as osteocytes, chondrocytes and adipocytes amongst many other cell types. These cells present spontaneous calcium oscillations implicating calcium channels and pumps of the plasma membrane and the endoplasmic reticulum. These ...

Outcome of patients with septic shock and high-dose vasopressor therapy

Background Despite the dissemination of international guidelines, mortality from septic shock remains high. Norepinephrine is recommended as first-line vasopressor therapy with a target mean arterial pressure of 65 mmHg. High-dose vasopressor (HDV) may also be required. This study aimed to assess survival in patients with septic shock requiring HDV. We conducted a retrospective ...