Paradeduction in Axiomatic Formal Systems

The concept of paradeduction is presented in order to justify that we can overlook contradictory information taking into account only what is consistent. Besides that, paradeduction is used to show that there is a way to transform any logic, introduced as an axiomatic formal system, into a paraconsistent one

Paraconsistentization and many-valued logics

This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate especially the case of three-valued systems showing how paraconsistent three-valued logics can be obtained from them

Exploring the impacts of sorghum (Sorghum bicolor L. Moench) germination on the flour’s nutritional, chemical, bioactive, and technological properties

Germination is a natural, simple, and economical process used to improve the quality of nutritional and technological grains. In this study, native and sprouted sorghum flours were characterized regarding their technological properties (particle size distribution, water, and oil absorption capacity, swelling power and solubility, microscopy of starch granules, and pasting and thermal properties). Nutritional and phytochemical characterization profiles, including free sugars, fatty acids, organic acids, tocopherols, and phenolic compounds, were explored through chromatographic methods. The antioxidant, anti-inflammatory, and cytotoxic activities of the respective hydroethanolic extracts were also evaluated. The results showed that the germination process caused significant changes in the flour composition and properties, causing reduced gelatinization temperature and retarded starch retrogradation; an increased content of free sugars and total organic acids; and a decreased content of tocopherols and phenolic compounds. In terms of bioactivity, the sprouted sorghum flour extract showed better lipid-peroxidation-inhibition capacity and none of the extracts revealed hepatotoxicity or nephrotoxicity, which are important results for the validation of the use of the flours for food purposes. Germination is an efficient and alternative method for grain modification that gives improved technological properties without chemical modification or genetic engineering.This research was funded by the Foundation for Science and Technology (FCT), P.I. (FCT, Portugal) through national funds FCT/MCTES to CIMO (UIDB/00690/2020 and UIDP/00690/2020), SusTEC (LA/P/0007/2020), and UIDB/50006/2020. National funding was provided by FCT, P.I., through the institutional scientific employment program contract for M.I.D. (10.54499/CEECINST/00016/2018/CP1505/CT0004) and C.P. (10.54499/CEECINST/00016/2018/CP1505/CT0010), and funding for B.H.P and F.M. came from grants (2023.02731.BD and SFRH/BD/146614/2019, respectively).info:eu-repo/semantics/publishedVersio

The Fourteenth Data Release of the Sloan Digital Sky Survey: First Spectroscopic Data from the extended Baryon Oscillation Spectroscopic Survey and from the second phase of the Apache Point Observatory Galactic Evolution Experiment

The fourth generation of the Sloan Digital Sky Survey (SDSS-IV) has been in operation since July 2014. This paper describes the second data release from this phase, and the fourteenth from SDSS overall (making this, Data Release Fourteen or DR14). This release makes public data taken by SDSS-IV in its first two years of operation (July 2014-2016). Like all previous SDSS releases, DR14 is cumulative, including the most recent reductions and calibrations of all data taken by SDSS since the first phase began operations in 2000. New in DR14 is the first public release of data from the extended Baryon Oscillation Spectroscopic Survey (eBOSS); the first data from the second phase of the Apache Point Observatory (APO) Galactic Evolution Experiment (APOGEE-2), including stellar parameter estimates from an innovative data driven machine learning algorithm known as "The Cannon"; and almost twice as many data cubes from the Mapping Nearby Galaxies at APO (MaNGA) survey as were in the previous release (N = 2812 in total). This paper describes the location and format of the publicly available data from SDSS-IV surveys. We provide references to the important technical papers describing how these data have been taken (both targeting and observation details) and processed for scientific use. The SDSS website (www.sdss.org) has been updated for this release, and provides links to data downloads, as well as tutorials and examples of data use. SDSS-IV is planning to continue to collect astronomical data until 2020, and will be followed by SDSS-V.Comment: SDSS-IV collaboration alphabetical author data release paper. DR14 happened on 31st July 2017. 19 pages, 5 figures. Accepted by ApJS on 28th Nov 2017 (this is the "post-print" and "post-proofs" version; minor corrections only from v1, and most of errors found in proofs corrected

Bone turnover markers in sheep and goat: a review of the scientific literature

Bone turnover markers (BTMs) are product of bone cell activity and are generally divided in bone formation and bone resorption markers. The purpose of this review was to structure the available information on the use of BTMs in studies on small ruminants, especially for monitoring their variations related to diet, exercise, gestation and metabolic lactation state, circadian and seasonal variations, and also during skeletal growth. Pre-clinical and translational studies using BTMs with sheep and goats as animal models in orthopaedic research studies to help in the evaluation of the fracture healing process and osteoporosis research are also described in this review. The available information from the reviewed studies was systematically organized in order to highlight the most promising BTMs in small ruminant research, as well as provide a wide view of the use of sheep and goat as animal models in orthopaedic research, type of markers and commercial assay kits with cross-reactivity in sheep and goat, method of sample and storage of serum and urine for bone turnover markers determination and the usefulness and limitations of bone turnover markers in the different studies, therefore an effective tool for researchers that seek answers to different questions while using BTMs in small ruminants.José Arthur de A. Camassa acknowledges to the Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), Brazil, for his PhD scholarship 202248/2015-1.info:eu-repo/semantics/publishedVersio

A prospective survey in European Society of Cardiology member countries of atrial fibrillation management: baseline results of EURO bservational Research Programme Atrial Fibrillation (EORP-AF) Pilot General Registry

Aims: Given the advances in atrial fibrillation (AF) management and the availability of new European Society of Cardiology (ESC) guidelines, there is a need for the systematic collection of contemporary data regarding the management and treatment of AF in ESC member countries. Methods and results: We conducted a registry of consecutive in- and outpatients with AF presenting to cardiologists in nine participating ESC countries. All patients with an ECG-documented diagnosis of AF confirmed in the year prior to enrolment were eligible. We enroled a total of 3119 patients from February 2012 to March 2013, with full data on clinical subtype available for 3049 patients (40.4% female; mean age 68.8 years). Common comorbidities were hypertension, coronary disease, and heart failure. Lone AF was present in only 3.9% (122 patients). Asymptomatic AF was common, particularly among those with permanent AF. Amiodarone was the most common antiarrhythmic agent used (~20%), while beta-blockers and digoxin were the most used rate control drugs. Oral anticoagulants (OACs) were used in 80% overall, most often vitamin K antagonists (71.6%), with novel OACs being used in 8.4%. Other antithrombotics (mostly antiplatelet therapy, especially aspirin) were still used in one-third of the patients, and no antithrombotic treatment in only 4.8%. Oral anticoagulants were used in 56.4% of CHA 2DS2-VASc = 0, with 26.3% having no antithrombotic therapy. A high HAS-BLED score was not used to exclude OAC use, but there was a trend towards more aspirin use in the presence of a high HAS-BLED score. Conclusion: The EURObservational Research Programme Atrial Fibrillation (EORP-AF) Pilot Registry has provided systematic collection of contemporary data regarding the management and treatment of AF by cardiologists in ESC member countries. Oral anticoagulant use has increased, but novel OAC use was still low. Compliance with the treatment guidelines for patients with the lowest and higher stroke risk scores remains suboptimal. © The Author 2013

Priorities for synthesis research in ecology and environmental science

ACKNOWLEDGMENTS We thank the National Science Foundation grant #1940692 for financial support for this workshop, and the National Center for Ecological Analysis and Synthesis (NCEAS) and its staff for logistical support.Peer reviewedPublisher PD

Priorities for synthesis research in ecology and environmental science

ACKNOWLEDGMENTS We thank the National Science Foundation grant #1940692 for financial support for this workshop, and the National Center for Ecological Analysis and Synthesis (NCEAS) and its staff for logistical support.Peer reviewedPublisher PD