Spiking Neural P Systems with Polarizations and Rules on Synapses by Suxia Jiang, Jihui Fan, Yijun Liu, Yanfeng Wang, Fei Xu

“…The computation power of PSNRS P systems is investigated. It is proven that PSNRS P systems are Turing universal, both as number generating and accepting devices. …”
Get full text

Design of Prestressed Cable Dome Using Minor Perturbation Method by Haitao Zhou, Feng Fu, Bo Si, Deqing You, Fengjian Zhang

“…Through the case studies of two different kinds of cable dome, it is proven that the proposed method and software program can simply, quickly, and effectively design the cable domes with an economic cross-section.…”
Get full text

ID-based server-aided verification signature scheme with strong unforgeability by Xiao-dong YANG, Miao-miao YANG, Guo-juan GAO, Ya-nan LI, Xiao-yong LU, Cai-fen WANG

“…Most identity-based signature schemes in the standard model are existentially unforgeable,which cannot prevent adversaries from forging valid signatures on messages that have previously been signed.However,signature verification algorithms of ID-based signature schemes in the standard model require expensive bilinear pairing operations.In order to overcome the shortcomings of the existing ID-based signature schemes such as strong security assumption and high computation cost，a strongly unforgeable ID-based server-aided verification signature scheme was presented.This scheme was proven to be secure under collusion attacks,adaptive chosen identity and message attacks in the standard model.Analysis results show that the proposed scheme effectively reduces computation cost of pairing operation,and it greatly reduces computational complexity of signature verification algorithm.The proposed scheme is more efficient than the existing ID-based signature schemes.…”
Get full text

An Adaptive Estimation Scheme for Open-Circuit Voltage of Power Lithium-Ion Battery by Yun Zhang, Chenghui Zhang, Naxin Cui

“…Then the implementation procedure of the adaptive scheme is given; also the asymptotic convergence of the observer error and the boundedness of all the parameter estimates are proven. Finally, experiments are carried out, and the effectiveness of the adaptive estimation scheme is validated by the experimental results.…”
Get full text

The use of mathematical Modeling and linear programming in agribusiness by Jandrić Mersida, Vico Grujica, Nedeljković Miroslav

“…Despite the fact that the benefits of linear programming have been proven, it is still not widely accepted and applied in our region. …”
Get full text

Un nouvel habitat du Bronze final IIIb dans le Val d’Orléans et ses traces de métallurgie du fer : Bonnée, Les Terres à l’Est du Bourg (Centre, Loiret) by Stéphane Joly, Florent Mercey, Anne Filippini, Valérie Abenzoar, Morgane Liard, Frédéric Poupon

“…Some activities of post-forging are proven and certain operations are guessed at. The discovery of this settlement in this sector of the major bed of the Loire, has produced new data concerning the occupation of the land and its evolutionary problems in the valley of Orleans over these periods of transition in the early Hallstatt.…”
Get full text

Immunomodulation as the main characteristic of vegetable oils: a review by D.P. Tres, S.T. Nicolau, T.S. Ayala, R.A. Menolli

“…The benefits in their consumption by the population worldwide is proven, mainly promoting the balance of the lipid profile, cardiovascular aspects, decrease in blood pressure, and healing effects when used topically. …”
Get full text

Ketogenic diet and β-hydroxybutyrate in osteoporosis: current progress and controversy by Changfang Luo, Changfang Luo, Changfang Luo, Changfang Luo, Zhuojun Dai, Zhuojun Dai, Zhuojun Dai, Zhuojun Dai, Wanhong He, Wanhong He, Wanhong He, Wanhong He, Yanqiu He, Yanqiu He, Yanqiu He, Yanqiu He, Ping Yang, Ping Yang, Ping Yang, Ping Yang, Mengting Huang, Mengting Huang, Mengting Huang, Mengting Huang, Junle Li, Junle Li, Junle Li, Junle Li, Yong Xu, Yong Xu, Yong Xu, Yong Xu, Wei Huang, Wei Huang, Wei Huang, Wei Huang

“…Diet has been proven to have significant impacts on the pathogenesis and treatment of osteoporosis. …”
Get full text

IMPLEMENTASI PROGRAM SEKOLAH PENCETAK WIRAUSAHA (SPW) DALAM MENINGKATKAN MINAT DAN KETERAMPILAN WIRAUSAHA SISWA SMK NEGERI 1 CIKALONGKULON by Erwin Kustamaji, Yosal Iriantara, Irfan Ahmad, Ricky Yoseptry, Riyani Fitria Ningsih, Wahyu Pawaka

“…The research subjects include students, teachers, and the school principal.cThe findings reveal that the implementation of the SPW Program encompasses structured planning, effective organization, integrated execution with the curriculum, and continuous evaluation. The program has proven effective in increasing students' entrepreneurial interest and skills, despite challenges such as budget constraints and limited human resources. …”
Get full text

Primary Breast Angiosarcoma: Avoiding a Common Trap by Christine Desbiens, Jean-Charles Hogue, Yves Lévesque

“…A highly vascular breast mass should always be considered malignant until proven otherwise. Surgical treatment seems to be the best course of action. …”
Get full text

The Substitution Effect on Reaction Enthalpies of Antioxidant Mechanisms of Juglone and Its Derivatives in Gas and Solution Phase: DFT Study by Aymard Didier Tamafo Fouegue, Désiré Bikélé Mama, Julius Numbonui Ghogomu, Younang Elie, Marie-Annie Etoh

“…The results obtained have proven that the HAT mechanism is the thermodynamically preferred mechanism in the gas phase. …”
Get full text

An Improved Finite Difference Type Numerical Method for Structural Dynamic Analysis by Sung-Hoon Kim, Youn-sik Park

“…Using a numerical example, the suggested method was proven to be more accurate and effective than the well-known central difference method. …”
Get full text

Niemann-Pick Disease: An Underdiagnosed Lysosomal Storage Disorder by Inusha Panigrahi, Manoj Dhanorkar, Renu Suthar, Chanchal Kumar, Mullai Baalaaji, Babu Ram Thapa, Jasvinder Kalra

“…The diagnosis of NPD was proven by mutation analysis with identification of novel mutations, including a novel 4 bp insertion mutation (C>CCTGG) in exon 2 of the SMPD1 gene. …”
Get full text

A Rare Occurrence of Primary Hepatic Leiomyosarcoma Associated with Epstein Barr Virus Infection in an AIDs Patient by Haritha Chelimilla, Kanthi Badipatla, Ariyo Ihimoyan, Masooma Niazi

“…Close association of Epstein Barr virus (EBV) induced soft tissue sarcomas is proven, especially in the presence of immunosuppression encountered in HIV/AIDS patients and in posttransplant patients. …”
Get full text

Effect of extrusion processing on the structural, functional, and physicochemical properties of wheat and wheat-based products: A review by Junjie Chen, Qiang Liu, Siqi Zhao, Liping Guo, Xinbo Zhuang, Xuehong Chen, Tingting Tao, Chao Ding

“…Extrusion, a process commonly used in the food industry, has proven effective in enhancing the nutritional value and functionality of wheat-based products by precisely controlling processing parameters. …”
Get full text

Effects of Anesthetics on Barrier Tissue Function by Fujing Wang, Yanhui Li, Changlei Cui, Zhaoping Xue, Haichun Ma

“…Anesthetics have long been proven to have additional effects other than anesthesia on different organs and tissues of the human body. …”
Get full text

Regulation of Tumor Immunity by Tumor/Dendritic Cell Fusions by Shigeo Koido, Sadamu Homma, Eiichi Hara, Yoshihisa Namiki, Akitaka Takahara, Hideo Komita, Eijiro Nagasaki, Masaki Ito, Toshifumi Ohkusa, Jianlin Gong, Hisao Tajiri

“…Although DCs-based vaccine such as fusions of whole tumor cells and DCs has been proven to be clinically safe and is efficient to enhance antitumor immune responses for inducing effective immune response and for breaking T-cell tolerance to tumor-associated antigens (TAAs), only a limited success has occurred in clinical trials. …”
Get full text

Pharmacogenetic markers of colorectal cancer treatment. New approaches for cytostatic drugs efficacy estimation by N. B. Zakharzhevskaya, N. A. Kulemin, Ye. A. Babikova, Ye. B. Khomyakova, E. V. Generozov

“…If efficacy and necessity of pharmacogenetic investigation for such drugs of targeted therapy, as cetuximab, is already proven for the present time, it is still underestimated for the widely applied drugs of general cytostatic action. …”
Get full text

Research on the Combined Prediction Model of Residential Building Energy Consumption Based on Random Forest and BP Neural Network by Xuenan Zhang, Jinxin Zhang, Jinhua Zhang, YuChuan Zhang

“…Compared with the random forest, BP neural network model, and other existing models, respectively, it is proven by the experimental results that the RF-BPNN model possesses higher prediction accuracy and better stability.…”
Get full text

Smart Waste Management System Using Lora Technology by Azmi Aina Zafira, Mohd Sahar Norsuzlin, Islam Muhammad Tariqul

“…The conventional waste collection schedules have proven to be inefficient: frequent visits to empty bins are waste resources, while delayed cleaning of overflowing bins harms the environment. …”
Get full text