The Gauge Integral Theory in HOL4 by Zhiping Shi, Weiqing Gu, Xiaojuan Li, Yong Guan, Shiwei Ye, Jie Zhang, Hongxing Wei

“…In this paper, we formalize the operational properties which contain the linearity, monotonicity, integration by parts, the Cauchy-type integrability criterion, and other important theorems of the gauge integral in higher-order logic 4 (HOL4) and then use them to verify an inverting integrator. …”
Get full text

Competitive Adsorption of Cadmium(II) and Mercury(II) Ions from Aqueous Solutions by Activated Carbon from Xanthoceras sorbifolia Bunge Hull by Xiaotao Zhang, Yinan Hao, Ximing Wang, Zhangjing Chen, Chun Li

“…The FTIR spectra revealed that a chemical interaction occurs between functional groups containing lone electron pairs in XLAC and metal ions. …”
Get full text

Personality. Development of Thought Throughout Time. Existence by A. E. Razumov

“…A personality can evaluate and contain various cultures, knowledge and beliefs, science and religions. …”
Get full text

Influence of Supplemental Dietary Cholesterol on Growth Performance, Indices of Stress, Fillet Pigmentation, and Upper Thermal Tolerance of Female Triploid Atlantic Salmon (Salmo s... by Eric H. Ignatz, Rebeccah M. Sandrelli, Sean M. Tibbetts, Stefanie M. Colombo, Fábio S. Zanuzzo, Ashley M. Loveless, Christopher C. Parrish, Matthew L. Rise, A. Kurt Gamperl

“…From 16°C onwards, the fish were fed either a control diet, or one of two nutritionally equivalent experimental diets containing supplemental cholesterol [+1.30%, experimental diet #1 (ED1); or +1.76%, experimental diet #2 (ED2)]. …”
Get full text

A NOVEL DATASET FOR VIETNAMESE NEW YEAR FOOD CLASSIFICATION by Duy Nguyen Vo, Van Tan Luu Ngo, Thi Phuong Vy Le, Nguyen Ngoc Huyen Van, Duc Anh Phuc Nguyen, Van Tuan Kiet Ngo, Thanh Thang Truong, Tan Tai Pham, Nhat Minh Dinh, Thai Ngoc Ho, Tan Tran Minh Khang Nguyen

“…We present the dataset UIT-TASTET21, which contains over 77,000 color images of 18 traditional Vietnamese Lunar New Year dishes. …”
Get full text

Observation of the non-Hermitian skin effect and Fermi skin on a digital quantum computer by Ruizhe Shen, Tianqi Chen, Bo Yang, Ching Hua Lee

“…To implement NHSE accumulation on a quantum computer, the time-evolution circuit not only needs to be non-reciprocal and non-unitary, but must also contain sufficiently many lattice qubits. We demonstrate this by systematically post-selecting ancilla qubits, as demonstrated through two paradigmatic non-reciprocal models on noisy quantum processors, with clear signatures of asymmetric spatial propagation and many-body “Fermi skin” accumulation. …”
Get full text

Laboratory wastewater treatment: Study case of Environmental Engineering Department ITS by Dyah Prasetyati Herrani, Nurhayati Ervin

“…Laboratory wastewater contains organic and inorganic pollutants that can pollute the environment if not treated well. …”
Get full text

Improved constructs for bait RNA display in a bacterial three-hybrid assay by Linh D. Nguyen, Hannah LeBlanc, Katherine E. Berry

“…We therefore recommend the use of constructs containing short GC clamps for the expression of future B3H bait RNAs. …”
Get full text

Exosomes in Ocular Health: Recent Insights into Pathology, Diagnostic Applications and Therapeutic Functions by Noelia Blanco-Agudín, Suhui Ye, Sara González-Fernández, Ignacio Alcalde, Jesús Merayo-Lloves, Luis M. Quirós

“…Exosomes are extracellular vesicles ranging from 30 to 150 nm in diameter that contain proteins, nucleic acids and other molecules. …”
Get full text

Citrus genetic resources in Russia, Ukraine, Belarus: conservation and management by R. V. Kulyan, L. S. Samarina, R. S. Rakhmangulov, I. V. Kikavskii, A. I. Alehna

“…The collection of citrus based in the Russian Research Institute of Floriculture and Subtropical Crops contains 132 accessions, the collection of the Belarus Botanical Garden contains 100 accessions, the collection of the Grishko National Botanical Garden contains about 60 accessions. …”
Get full text

Dynamical Hybrid System for Optimizing and Controlling Efficacy of Plant-Based Protein in Aquafeeds by Serge Dossou, Mahmoud A. O. Dawood, Amr I. Zaineldin, Ibrahim A. Abouelsaad, Kumbukani Mzengereza, Ronick S. Shadrack, Yukun Zhang, Mohamed El-Sharnouby, Hamada A. Ahmed, Mohammed F. El Basuini

“…Fishmeal (FM), raw rapeseed meal (RM), and a fermented meal with yeast (RM-Yeast) and fungi (Aspergillus oryzae RM-Koji) were used as test ingredients for the determination of apparent digestibility coefficients (ADCs) of dry matter, crude protein, crude lipid, energy, and essential amino acids (EAA) for olive flounder (Paralichthys olivaceus, 7 ± 0.02 g) using diets containing 0.5% Cr2O3 as an inert indicator. Among all ingredients tested, FM had the maximum ADC of dry matter (P<0.05), protein (P<0.05), lipid (P>0.05), and energy (P>0.05). …”
Get full text

Research Note: Additivity of P digestibility values previously determined using 4 dietary Ca levels for plant-based feedstuffs in broiler grower diets by B.W. Parsons, S.J. Rochell

“…Diet 1 was a corn-soybean meal-based diet that contained no inorganic P (0.84 % Ca, 0.12 % non-phytate P). …”
Get full text

Botanical catalogue of the Mendoza herbarium in the Real Biblioteca del Monasterio de San Lorenzo de El Escorial by Carlos Aedo, Mauricio Velayos

“…This herbarium is made up of four bound volumes containing a total of 988 plants, for which the scientific name is provided. …”
Get full text

Application of Probabilistic and Nonprobabilistic Hybrid Reliability Analysis Based on Dynamic Substructural Extremum Response Surface Decoupling Method for a Blisk of the Aeroengi... by Bin Bai, Wei Zhang, Botong Li, Chao Li, Guangchen Bai

“…Tuned and mistuned blisks are studied in a complicated environment, and the results are compared with the Monte Carlo method (MCM) and the multilevel nested algorithm (MLNA) to verify that the hybrid model can better handle reliability problems concurrently containing random variables and interval variables; meanwhile, it manifests that the computational efficiency of this method is superior and more reasonable for analysing and designing a mistuned blisk. …”
Get full text

Photobehaviour of Z-1,2-di-(3′-methoxynaphth-2′-yl)ethene as model compound of biphotochromic supermolecules with Z-ethenic bridge by F. Ortica, D. Levi, P. Brun, R. Guglielmetti, G. Favaro, U. Mazzucato

“…This paper reports the results obtained on the model molecule and two biphotochromic systems containing benzochromene and spirooxazine units.…”
Get full text

Making Simple Repairs: Repairing Drawers by Mary N. Harrison

“… This document contains instructions on how to fix sticking drawers and loose or broken handles and nobs. …”
Get full text

Sensitivity and uncertainty analyses for a SARS model with time-varying inputs and outputs by Robert G. McLeod, John F. Brewster, Abba B. Gumel, Dean A. Slonowsky

“…Consequently, the model contains continuous time-varying inputs andoutputs. …”
Get full text

Regenerative Potential of Granulation Tissue in Periodontitis: A Systematic Review and Meta-analysis by Naiwen Tan, Maja Sabalic, Linh Nguyen, Francesco D’Aiuto

“…Soft and hard periodontal tissues contain limited numbers of stem cells. This makes regeneration of the periodontium in patients with periodontitis challenging and unpredictable. …”
Get full text

Study on the Establishment of Efficient Leaf Regeneration System in ‘<i>Yuluxiang</i>’ Pear by Xiaohua Cheng, Weilong Zhang, Yarui Wei, Yuxing Zhang

“…Suitable wounding involved ensuring no damage to leaves while placing the abaxial side facing down on the medium; the ideal duration for dark culture was determined to be 21 days; optimal plantlet age was found to be 20 days; both plantlet line 1 and line 2 demonstrated effectiveness; triangle bottles were identified as appropriate culture containers. In summary, we successfully established an efficient leaf regeneration system for the ‘<i>Yuluxiang</i>’ pear that achieved a maximum regeneration frequency of 96.70% with an average bud number of 5.15 per explant. …”
Get full text

Narrow Dietary Niche With High Overlap Between Snow Leopards and Himalayan Wolves Indicates Potential for Resource Competition in Shey Phoksundo National Park, Nepal by Sandesh Lamichhane, Bikram Shrestha, Bhumi Prakash Chaudhary Tharu, Raj Kumar Koirala, Bishnu Prasad Bhattarai, Pratigyan Poudel, Binaya Adhikari, Gopal Khanal

“…Our findings reveal a significant overlap in their diets (Pianka's index = 0.93), with snow leopard and wolf scats containing the remains of 11 and 10 prey species, respectively. …”
Get full text