Property-Directed Inference of Relational Invariants by Dmitry A. Mordvinov

Subjects: “…relational verification…”
Get full text

Scientific schools and directions of economic theory on the modern era of development by S. S. Repin, L. V. Gogolina

Subjects: Get full text

LTL Verification of Automaton Programs by K. A. Vasileva, E. V. Kuzmin

“…In the paper one of approaches to modelling, specification and verification of automaton programs are considered. The automata programming technology is effective enough in design and verification (the analysis of correctness) software for reactive and controlling systems. …”
Get full text

Aspherical Surface Wavefront Testing Based on Multi-Directional Orthogonal Lateral Shearing Interferometry by Yahui Zhu, Ailing Tian, Hongjun Wang, Bingcai Liu

Subjects: Get full text

LTL-specification for development and verification of control programs by Maxim V. Neyzov, Egor V. Kuzmin

“…This work continues the series of articles on development and verification of control programs based on the LTL-specification. …”
Get full text

Development, Verification and Assessment of a Laser Profilometer and Analysis Algorithm for Microtexture Assessment of Runway Surfaces by Gadel Baimukhametov, Greg White

Get full text

Clinical Significance and Effect of lncRNA HOXA11-AS in NSCLC: A Study Based on Bioinformatics, In Vitro and in Vivo Verification by Yu Zhang, Wen-jie Chen, Ting-qing Gan, Xiu-ling Zhang, Zu-cheng Xie, Zhi-hua Ye, Yun Deng, Ze-feng Wang, Kai-teng Cai, Shi-kang Li, Dian-zhong Luo, Gang Chen

Get full text

Network pharmacological investigation and experimental verification of the peel of Zea mays L. regulating metabolic reprogramming in the treatment of diabetic nephropathy by Andong Wang, Yuru Yang, Yaonan He, Guangtong Chen, Bai Ling, Bai Ling, Xiaotian Cheng, Xiaotian Cheng

“…By investigating the novel pharmacological effect of traditional Chinese medicine and encouraging in-depth study and development, this work may offer a new experimental foundation and theoretical direction for the sensible application of YMP on DN.…”
Get full text

An Overview of Autonomous Parking Systems: Strategies, Challenges, and Future Directions by Javier Santiago Olmos Medina, Jessica Gissella Maradey Lázaro, Anton Rassõlkin, Hernán González Acuña

Get full text

Initial weighting strength control of thick and hard roof based on pre-splitting blasting of whole roadway roof: numerical model and engineering verification by Chenyang Liu, Hui Li, Yiyi Wu, Yuxuan Wang, Jingkun Zhu

Get full text

Risk factors and diagnostic value of urinary N-terminal pro-brain natriuretic peptide for verification of heart failure in human immunodeficiency virus-infected patients by O. G. Goryacheva, N. A. Koziolova

“…Correlation analysis revealed a significant direct moderate correlation between blood and urinary NT-proBNP in the entire cohort of studied patients (r=0,367; p<0,05). …”
Get full text

Exploring machine learning for fake news detection: techniques, tools, challenges, and future research directions by Sapana Yakkundi, Rudragoud Patil, Sangeeta Sangani, R. H. Goudar, Swetha Indudhar Goudar, Aijazahamed Qazi

“…Furthermore, this study highlights the main challenges that are identified and suggests directions for future research to mitigate its harmful social impact. …”
Get full text

Scheme Design and Key Technology Application of Multi-joint Unmanned Underwater Vehicle by HAN Tao, HU Zhiqiang, CUI Qingjia, QING Xiaohui, XU Biao

Get full text

A Modularized Super Capactior Energy Storage System forMetro Train and Its Control Algorithm by CHEN Guangzan, LIU Lan, HUANG Deliang, YI Yunlan

Get full text

Implemetasi Komputasi Akar Kuadrat Resolusi Tinggi pada Field Programmable Gate Array (FPGA) by Muhammad Irfan, Hendra Setiawan

“… Komputasi akar kuadrat diperlukan pada beberapa proses pengendalian, diantaranya untuk Direct Torque Control (DTC) pada sistem penggerak motor yang membutuhkan proses perhitungan yang sangat cepat. …”
Get full text

Counterrail design with increased service life for advanced turnout switches by M. E. Berezovskii

“…The strength calculations of the rail pads are based on mathematical modelling. Verification of models is carried out by direct dynamic-strength tests in the way of counterrail linings in the operated cross-link railway track. …”
Get full text

A Fault Early Warning Method of Train BatteryBased on Real-time Network Data by XU Yong, LIU Yong, DAI Jisheng, ZHANG Shiqiang

“…Battery is a direct power source of the train under the condition of pantograph dropping or emergency, which plays an important role in the safety train operation. …”
Get full text

Comment on “Organelles Ca²⁺ redistribution contributes to cadmium-induced EMT of renal cancer cells through p-cPLA2-mediated arachidonic acid release” by Jiaqi Liang, Guangzhen Wu

“…Key recommendations encompass the following aspects: Supplementing statistical power justification through explicit definition of parameters including ≥80% desired power, minimal effect size, and intra-group variability; Report exact P values with confidence intervals to improve statistical transparency; Clarification of p38 MAPK versus cPLA2 pathway contributions via co-inhibition experiments; Exclusion of TRP channel confounding effects when using 2-APB through targeted TRPV6 inhibition; Distinction between direct Cd²⁺ effects and toxicity-induced compensatory responses; Provision of explicit rationale for selecting Mag-Fluo-4/AM and Rhod-2/AM fluorescent probes; Experimental verification of PMCA inhibition synergism with cadmium-induced cytosolic Ca²⁺ overload. …”
Get full text

Village fund program in Cibeureum and Sukapura village, Bandung Regency, Indonesia: Problems, risks, and solutions by Arwanto Harimas Ginting, Ida Widianingsih, Rahman Mulyawan, Heru Nurasa

“…By using a qualitative approach and collecting data through interviews and documentation and analyzing it with data reduction, data presentation, and data verification techniques. The research findings explain that it is important to increase direct community participation in the planning and budgeting of village funds, increase the capacity of village officials as a solution to overcome these risks, and strengthen the sub-district government in assisting the management of village funds.…”
Get full text

Аutosomal Dominant Oculodental-Digital Dysplasia with Mutation in Gene GJA1 (Clinical Case) by I. V. Zolnikova, V. V. Kadyshev, A. V. Marakhonov, S. I. Kutsev, R. A. Zinchenko

“…The purpose: to describe clinical cases of oculodental-digital dysplasia (ODDD, OMIM #164200) with mutation in GJA1 (OMIM 121014) with molecular genetic verification of the diagnosis.Methods. The article describes the clinical case of oculodental-digital dysplasia in a 51 years old patient. …”
Get full text