Search all articles

+ Advanced search
Search articles within:
2517 articles

Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens

Tomohiko Takagi, Ryo Kurozumi
Pages: 112 - 116
We propose a technique of simulation and regression testing for Extended Place/transition Net with Attributed Tokens (EPNAT) models, and then show a prototype tool to partially support it. In the technique, the information about a current marking, current values of variables, and current fireable transitions...
Conference Abstract

P117 ARTERIAL STIFFNESS, CAROTID REMODELING AND OTHER RISK FACTORS DETERMINING CORONARY ARTERY DISEASE IN HYPERTENSIVE PATIENTS

Luiz Bortolotto, Nadja Mendes, Valeria Costa-Hong, Luiz Cesar
Pages: 113 - 113
Increased arterial stiffness and carotid artery Intima-Media Thickness (IMT) are associated with atherosclerosis and Coronary Artery Disease (CAD), but their correlation with the anatomic extent of atherosclerosis in hypertensive patients is not completely known. We aim to evaluate whether Pulse Wave...
Proceedings Article

The influencing factors and mechanism of degradation of hypersaline tobias acid in electro-catalytic oxidation

Bin Zhang, Meng Li
Naphthalene organic compounds are produced and consumed widely in China recently, which has brought about great pressure to the local environment. How to cope with naphthalene organic intermediate wastewater (NOIW) effectively becomes an urgent task in the coming years. Electro-catalysts oxidation (ECO),...
Proceedings Article

Characteristics Of Adhesive Firmness Of Tannin Resorcinol Formaldehyde From Johar Sawdust Extract As Adhesive On Lamina Wood

Agestya Hernawati, Suyatno Sutoyo
This research has been done by testing the adhesive firmness of resorcinol formaldehyde from Johar sawdust extract. This study aims to determine the best adhesive characteristic made of the mixture of Johar sawdust extract with resorcinol and copolymerized with formaldehyde. The composition comparison...

Third-Party Payment and Commercial Bank Competition Relationship After Nets Union Clearing Corporation Running

Yuguo Yang, Shuyi Cai, Hao Yang
Third-party payment has cooperated with banks since the first date of its birth and directly connected to commercial banks. The payment is completed online and it is fast and convenient. However, there is fierce competition in terms of capital attraction and payment. After Net Union Clearing Corporation...
Proceedings Article

The Use of Meemba Leafe (Azadirachta Indica) for Recovery of Mouse β-Pancreas due to the Type-2 Diabetes Mellitus

Mirah Rejeki, Hartono, Adi Prayitno, Soetrisno, Kun Harismah, Andi Suhendi
One of the serious diseases that has been a concern in medicine is Diabetes Mellitus (DM). The rate of morbidity and mortality is significantly high. The medicine that comprehensively recovers the disease is necessary. This enables β pancreas recovery. The extract of Meemba Leaf is expected to fulfill...
Proceedings Article

Research on the Influence of Curved Shield Tunneling Construction on the Deformation of Existing Bridge Piles

Qingqu Fu, Xuanrong Zheng, Pengcheng Ding
The ABAQUS software was used to establish a finite element model of the existing bridge piles for curved shield tunneling, and the impact of each stage of curved shield tunneling construction on the upper surface and adjacent pile foundations was analyzed. Research has shown that the main settlement...

The Education Measurement Specific Effect on Sustainable Development: An Experience of Indonesia

Abdur Razzaq, Sari Lestari Zainal Ridho
Abstract—the sustainability development is a target to be achieved by any nations, it requires to have qualified human capital. While population`s level of education, especially those who work, are still relatively low. The failure in education indicates the failure in the education quality improvement,...
Proceedings Article

Spatial Analysis of Water Quality in Area of the Riverbank of Musi River in Palembang City

Inoy Trisnaini, A. Fickry Faisya, Haerawati Idris
The report by WALHI in 2016 showed that based on the quality status of the Musi River water in Gandus District is in abad status, which means that it has been polluting, which can come from the high activity of citizens and industry in the riverbank on that river.Geographic Information System (GIS) as...

Feature Reliability and Uncertainty-Aware Fuzzy Learning for COVID-19 Lesion Segmentation

Dhiraj Kumar Raut, Arla Gopala Krishna, Sowkuntla Pandu
There is still the difficult task of accurate delineation of the COVID-19 infection regions in the CT-based scan of the chest, since the lesions have blurred edges, the contrast between infected and noninfected tissues is low, and the lesion appearance is highly variable. Though encoder-decoder-based...
Proceedings Article

Enhancing Crop Disease Detection Systems with Explainable AI Techniques for Deep Learning Models Using Spectral Imaging

Nikita Gajbhiye, Karan Kumar Singh, Gouri Sankar Mishra
Recognizing crop diseases at an early stage is essential for modern agriculture because it greatly enhances crop output and decreases economic losses. Manual examination and specialized expertise are the backbone of traditional disease detection approaches, but they can be exhausting and error-prone....
Proceedings Article

Research on Accounting System of Government and Non-profit Organizations

Leping Jiang
With the further development of the socialism public finance reform and the socialism market economy, due to the lack of a complete government and non-profit organization accounting system, the existing government and non-profit organization accounting systems that rely only heavily on the planned economy...
Proceedings Article

Antihyperlipidemia Activity of Ethyl Acetate Fraction from Melinjo (Gnetum gnemon Linn.) Leaf in White Male Wistar Rats Induced by Propylthiouracil

Herlina, Ferlina Hayati, Dina Permata Wijaya, Rahma Belinda
The antihyperlipidemia activity of ethyl acetate fraction from Melinjo leaf (Gnetum gnemon L.) against white male wistar rats induced by propylthiouracil has been carried out. Wistar male rats were divided into six groups, which are a normal, a positive control, a negative control, and the other three...
Proceedings Article

Petri Net-based Modeling and VHDL Implementation of Digital Systems

Jun Wan
Petri net-based digital systems modeling and hardware implementation method is well-studied. However, the existing methods are mainly applied to synchronous circuits. In this paper, a new approach is proposed for the modeling and VHDL implementation of digital systems based on an extended class of Petri...
Proceedings Article

Effects of Paclobutrazol on Cadmium Accumulation of Stellaria Media

Jiajing Huang, Lijin Lin, Lei Yuan, Ming'an Liao
The effects of paclobutrazol (PP333) on cadmium (Cd) accumulation of Stellaria media were investigated through a pot experiment. The results showed that the root biomass increased with the increase of PP333 concentrations, but the shoot biomass and total biomass decreased. PP333 enhanced the photosynthetic...
Proceedings Article

Anti-Inflammatory Activities of Ethyl Acetate Fraction From Uncaria Gambir Leaves Through the Inhibition of Edema, COX-2 and iNOS Expression

Nanang Yunarto, Putri Reno Intan, Arifayu Addiena Kurniatri, Indah Sulistyowati, Nurul Aini
Inflammatory is a body defense mechanism due to respond of tissue on undermine influences, either local or the one that go into the body. Inflammatory can cause various physical dysfunctions. Uncaria gambir Roxb, a high catechin content in ethyl acetate fraction, is widely used as wound healing in Indonesian...
Conference Abstract

P193 CAROTID ATHEROSCLEROSIS, AORTIC STIFFNESS AND PENILE VASCULAR DAMAGE IN PATIENTS WITH ERECTILE DYSFUNCTION: RELATION TO LOW DENSITY LIPOPROTEIN LEVELS AND STATIN THERAPY

Nikolaos Ioakeimidis, Charalambos Vlachopoulos, Athanasios Angelis, Dimitrios Terentes- Printzios, Christos Georgakopoulos, Konstantinos Aznaouridis, Iosif Koutagiar, John Skoumas, Skliros, Dimitrios Tousoulis
Pages: 109 - 109
Purpose/Background/Objectives: Aim of the study is to examine the possible differentiation of aortic stiffness, carotid atherosclerosis and penile vascular function among patients with erectile dysfunction (ED) according to cholesterol level and statin therapy. Methods: We measured carotid intima-media...
Proceedings Article

Propolis Increases Brain Derived Neurotrophic Factor Expression in the Prefrontal Cortex of Rat Stress Model

Kuswati Kuswati, Ety Sari Handayani, Zainuri Sabta Nugraha
Stress causes an increase in glucocorticoid hormones and glutamat release in the central nervous system. This condition can increase calcium influx in the neuron, mitochondrial membrane permeability and triggers apoptosis, thereby reducing the number of neurons. In the prefrontal cortex, stress exposure...

Anthocyanin Extraction from Purple Banggai Yam Skin (Dioscorea alata L) as Acid-Base Bioindicators and Potential in Chemistry Learning

Sayu Komang Oktaviani, Tri Santoso, Anang W. M. Diah, Hockcu Suhanda, Sitti Aminah
Anthocyanins are natural pigments that can give color to plants, including purple banggai yams (Dioscorea alata L). Purple yams contain anthocyanin compounds that are sensitive to pH because they can show color changes in both acidic and alkaline pH, so they have the potential to be used as natural acid-base...

Comparing Residential Buildings at IIT Kanpur using GRIHA Ratings

Tarun Gupta, Shalini Sharma
India’s construction sector has witnessed significant growth in recent decades, with building sector becoming one of the largest contributors to energy consumption and greenhouse gas emissions. This rapid growth has significant environmental impacts highlighting the urgent need for adopting sustainable...

Conceptual Approach to Managing Technological Processes of Industrial IoT Workshop

Pavel Drobintsev, Vsevolod Kotlyarov, Igor Chernorutsky, Nikita Voinov
Usage of industrial networks of Internet with net-centric control is the driving trend of the future material manufacturing of goods and services. The bright future of this approach is out of doubt provided these complex net-centric systems will function with high reliability. Such systems are characterized...

Private Banking in Russia: Challenges and Prospects For the Future

Sokolova Elizaveta, Toropova Natalya, Mekhdiev Elnur, Fedyunin Alexander
This article is devoted to the peculiarities of optimizing the relationship of high net worth individuals (HNWI) with Russian and foreign banks offering services in the field of private banking. The authors consider organization issues of HNWI banking in different banks, especially the relationship between...
Proceedings Article

The Correlation Between Sodium Intake and Primary Dysmenorrhea Severity in Overnourished University Students

D. Karina Alya, Annisa Rizky Maulidiana
Primary dysmenorrhea is commonly found in female adolescents who experience menstruation. Overnutrition can increase the risk of dysmenorrhea because excess body weight raises prostaglandin levels in the body, which triggers menstrual pain. Dietary patterns that tend to favour less nutritious foods,...

Diversity of Fruit Bats (Pteropodidae) in Nature Tourism Park, Lombok Island, West Nusa Tenggara

Siti Rabiatul Fajri, Sucika Armiani, Akhmad Sukri, Kurnianingsih, Ibnu Maryanto, Kurniasih Nur Afifah
On the Lombok Island, there are 6 Nature Tourism Park that have a diversity of flora and fauna, and beautiful natural phenomena, which can be used as tourist attractions, culture and history including; Suranadi Nature Park, Kerandangan Nature Park, Gunung Tunak Nature Park, Tanjung Tampa Nature Park,...
Proceedings Article

Nanoemulsion Activity Test of Lemongrass Extract Preparation (Cymbopogon Citratus L.) on Reducing Urea, Creatinine, Glomerular and Tubular Changes in Rat Kidneys Induced by Streptozotocin

Evan Gunawan, Ali Napiah Nasution, Maya Sari Mutia
The kidneys are a vital part of the body that maintains a stable body condition. High blood glucose levels are a sign of a chronic disease known as diabetes mellitus. In this study,see howActivity test of nanoemulsion preparation of lemongrass extract (Cymbopogon Citratus L.) on reducing urea, creatinine,...
Proceedings Article

Effect of Combination Formula Cavendish Banana and Moringa Leaf Flour on HDL Levels in Obese Rats

Hapsari Sulistya Kusuma, Fadhilah Hilyatuzzahrah, Sufiati Bintanah, Nurrahman Nurrahman
Obesity leads to an increased risk of dyslipidemia, which is characterized by a decrease in High Density Lipoprotein (HDL) cholesterol levels. HDL is influenced, among other things, by the intake of foods containing fiber such as resistant starch and antioxidants such as flavonoids and vitamin C. Cavendish...
Proceedings Article

Study on the Mechanism of the Regulation of NAA Promoted the Adventitious Root Formation of the Dalbergia Odorifera.T.Chen Hardwood Cuttings

Hongxin Wang, Yuan Li, Li Zhang, Bo Chen
In order to reveal the rooting mechanism of Dalbergia odorifera.T.Chen, the rooting mechanism of Dendrocalamopsis mongolica was 4,600 mg / L NAA rooting (POD), polyphenol oxidase (PPO), superoxide dismutase (SOD), indole (SOD), indoxylate (SOD), indoxidase Acetic acid oxidase (IAAO) and other root-related...
Proceedings Article

A New ISTA-net Solution to Inverse Problem of Electrocardiology

Liansheng Wang, Weiqi Wu, Yiping Chen, Changhua Liu
In this paper, we combined the traditional ISTA approach with deep learning, transferred the application domain from image inverse problem to ECG inverse problem because of its excellent performance to propose a new ISTA-net method to solve the inverse problem of ECG. The proposed method has quick...
Research Article

Safety and Efficacy of Haploidentical Peripheral Blood Stem Cell Transplantation for Myeloid Malignancies Using Post-transplantation Cyclophosphamide and Anti-thymocyte Globulin as Graft-versus-Host Disease Prophylaxis

Maria Queralt Salas, Arjun Datt Law, Wilson Lam, Zeyad Al-Shaibani, David Loach, Dennis (Dong Hwan) Kim, Fotios V. Michelis, Santhosh Thyagu, Rajat Kumar, Jeffrey Howard Lipton, Jonas Mattsson, Auro Viswabandya
Pages: 105 - 113
Haploidentical stem cell transplantation (haploSCT) has greatly improved access to curative treatment for myeloid malignancies in patients without suitable matched sibling/unrelated donors. We investigated the safety and efficacy of haploSCT after reduced intensity conditioning (RIC) with anti-thymocyte...
Proceedings Article

Comparing the Export and Import Trade Patterns of the Chinese Low-technology Manufactures

Yu Hong, Shanshan Ren, Bonan Shao, Xiaowei Mu
This study analyzes the Chinese trade patterns in low-technology manufactures for the period of 1987-2017. We employ H-index, or the difference between net export capability and symmetric revealed comparative advantage, to assess the trade policies in exports and imports. The results reveal that China...
Proceedings Article

Geological study of carbonate band in Upper Bhuban Formation, Mizoram, India

C. Lalmuankimi, Shiva Kumar, R.P Tiwari
The main carbonate band in Upper Bhuban unit in Bhuban Formation of Surma Group in Mizoram is exposed in an N-S trending hill range about 5 km northeast of Muthi village in Aizawl district. Representative samples from the study area were prepared for rock thin sections and were also analyzed for their...
Proceedings Article

Multilevel Based Global Routing Algorithm for Hierarchical FPGA

Limin Zhu, Jinan Bian, Qiang Zhou, Xianlong Hong
This paper presents an efficient global routing algorithm for a hierarchical inter-connection architecture of FPGA. What is different from the traditional FPGA rout-ing algorithm is that the proposed algo-rithm takes advantage of the hierarchical structure of this particular FPGA. We use a hierarchical...
Conference Abstract

P185 CARDIO-ANKLE VASCULAR INDEX AND PLASMA LEVELS OF LEPTIN AND ADIPONECTIN IN PATIENTS WITH SYSTEMIC LUPUS ERYTHEMATOSUS

Kwame Yeboah, Richard NA. Owusu Mensah, Dzifa Dey, Vincent Boima, J. Kennedy Cruickshank
Pages: 106 - 107
Objective: Systemic lupus erythematosus (SLE) is a chronic inflammatory disease associated with vascular derangement [1]. Leptin and adiponectin are adipokines with immunomodulatory and vascular functions [2]. We studied the association between arterial stiffness and plasma leptin and adiponectin levels...
Proceedings Article

Antibacterial Activity of Single Garlic Against Salmonella typhi Lipopolysacaride in Vivo in Mus musculus

Lia Siti Halimah, Luthfi Nurlela, Eka Noneng Nawangsih, Reni Farenia, Dhisa Ridzkianursepta
Black garlic is a product of fermented garlic. According to previous research, black garlic has anti-inflammatory properties such as against Salmonella typhi. S. typhi has lipopolysaccharide (LPS) which will activate inflammatory cytokine mediators such as Tumor necrosis factor-alpha (TNF-α). TNF- is...
Proceedings Article

The Optimal Contract for Land Trusteeship

Cuiling Li, Qiuling Hou
Land trusteeship, as a new management mode to realize large-scale and intensive land management, has been paid more and more attention by the government and scholars. This paper develops a model to study the optimal contract of land trusteeship via principal-agent theory which is based on Tirole's...
Proceedings Article

Development of IoT Based Monitoring of Anaerobic Biogas Production

Rif’ah Amalia, Prima Dewi Permatasari, Aulia Lailatul Fitri, Hendrik Elvian Gayuh Prasetya, Fifi Hesty Sholihah
Biogas is a mixture of gases produced from the fermentation process of organic matter derived from animal waste. This research uses a measurement system to monitor conditions in the biogas reactor. Three variations were carried out, namely 1:1:0 (variation 1); 1:1:0.1 (variation 2); 1:0.5:0.2 (variation...
Proceedings Article

Evaluating Biomedical Features for Reactive Hypoglycaemia Prediction with Machine Learning

Frans Dany, Fifi Retiaty
Reactive hypoglycaemia (RH) is a condition when post-prandial plasma glucose level drops, usually <70 mg/dl. Its exact cause is unknown and associated with risk of diabetes among non-diabetic individuals. Attempts are made to predict RH but met with difficulties due to varied data characteristics...
Proceedings Article

Agent-Based Analysis of Annual Energy Usages for Domestic Heating based on a Heat Pump

Seyed Amin Tabatabaei, Dilhan J. Thilakarathne, Jan Treur
This paper describes an agent-based analysis approach to determine in which way a net zero house can be obtained. In particular, it addresses agent-based simulation to estimate annual energy usage for heating based on an air to water heat pump. Based on the introduced approach house owners will be able...
Proceedings Article

Adsorption characteristics of gallic acid on fresh calcium phosphate in sucrose solution

Yu-Hong Tian, Xiang-Li Xu, Shang-Guang Wu, Qi-Qiu Wei, Hao Cheng
The adsorption characteristics of gallic acid on fresh calcium phosphate in sucrose solution were discussed. Three kinetic models, including pseudo-first-order model, pseudo-second-order model and intraparticle diffusion model, were selected to follow the adsorption processes. The results which adsorption...

Performance Evaluation of Indonesian Banks and Foreign Banks Operating in Indonesia Related to Classification of Capital

Sugiarto Sugiarto
This study was undertaken to prove the public perception that bigger banks are more difficult to bankrupt than smaller banks through performance evaluation of Indonesian banks and foreign banks operating in Indonesia related to classification of capital. The study was conducted using secondary data obtained...
Research Article

Impact of human immunodeficiency virus infection on arterial stiffness and wave reflections in the early disease stages

Charalambos Vlachopoulos, Helen Sambatakou, Dimitris Tsiachris, Ilias Mariolis, Konstantinos Aznaouridis, Nikolaos Ioakeimidis, Athanasios J. Archimandritis, Christodoulos Stefanadis
Pages: 104 - 110
Background: Human immunodeficiency virus (HIV) infection is associated with subclinical inflammation and increased cardiovascular risk. Arterial stiffness and enhanced wave reflections are markers of cardiovascular disease and independent predictors of cardiovascular risk. The effect of HIV infection,...

Nonlinear Relationship Between Working Capital and Firm Performance Moderated by Financial Constraints on Manufacture Firms Listed in Indonesia Stock Exchange

Azizah Rarasati Widhyadji, Farah Margaretha Leon
The research aims to analyze the relationship between the working capital and firm performance of manufacturing companies listed in Indonesia stock exchange (IDX). Data were obtained from 33 manufactured from 2014 to 2018 using the Eviews 9.0 multiple regression analysis methods. The outcome showed the...
Proceedings Article

Modelling of Air Pollution Dispersion in the Utilization of Used Oil as a Fuel

Arif Susanto, Wiliam Engelbert Yochu, Alifah Ainun Hasari, Rizky Mahlisa, Edi Karyono Putro, Anthony Andorful Manuel
The need for quicklime has led to increased utilization of used oil as a substitute for fuel in its combustion process. Mahaka Lime Factory produces SO2 and NOx, which are emitted through the chimney and proportional to lime burning. Therefore, it is necessary to monitor the distribution of the emission...
Proceedings Article

Swin-Unet vs U-Net in MRI images of right ventricular Segmentation: Comparative study

Nouha Benzine, Tebra Abbassi, Asma Ammari, Iman Youkana, Rachida Ben Abedelaziz
Medical imaging is one of the essential technology used today for diagnosis as it provides detailed insight into internal heart structures, facilitates early detection of diseases and guides doctors in making treatment decisions. However, despite advances in technology, cardiac image segmentation remains...

Real-Time Monitoring of Carbon Dioxide and Indoor Air Temperature Using Arduino in an Effort to Maintain Indoor Air Health

Tri Suratno, Edi Saputra, Zainil Abidin, Daniel Asra, Norman Syarief
Air quality is believed to be one of the comfort factors for its residents. This study aims to develop an air quality monitoring information system by reviewing the concentration of carbon dioxide (CO2) and air temperature. The embedded system was developed using the Arduino Uno R3 SMD Board, MG-811...

Transforming the Digital Workforce: Evaluation of a Strategic “Finding Your Purpose” Intervention on Employee Meaningful Work and Leadership Energy

Richard Alberto, Eva Rofatun Nazwa
Digital workforce transformation is frequently misinterpreted merely as the acquisition of technological hard skills; however, the rapid acceleration of technology adoption paradoxically triggers identity crises, role anxiety, and professional burnout among employees. This article presents an evaluative...
Proceedings Article

Complex System Fault Diagnosis Method Based on CFFPN

Yan Su, Yiqing Ling, Hui Wang
Considering the complexity of system structure and fault mechanism of complex system, a fault diagnosis method based on extended color fuzzy fault Petri net model is proposed (CFFPN) for civil aircraft. In order to increase the fault diagnosis efficiency, the CFFPN is modeled based on fuzzy mathematics...
Proceedings Article

Efficient Removal of Cr(VI) from Aqueous Solution Using Polypyrrole/Rectorite Composites

Yaolei Xu, Jinyi Chen, Xiaofeng Wang, Peiling Yu
Cr(VI) is considered to be a toxic contaminant in water sources because of its risk to human health. In this study, Polypyrrole/rectorite (PPy/REC) clay composites were prepared via in situ polymerization. SEM, FTIR and XRD analysis provided information of the morphology and structure of the PPy/REC...
Proceedings Article

Capillary Electrophoresis Method for Determining the Content of Rutin in Fructus Kochiae

Huiqin Wang, Wei Hu, Ting Zhou, Haixing Liu
The experiment was carried out for the determination of rutin content in Fructus Kochiae by high performance capillary electrophoresis method. The borax solution as buffer solution was chosen, and its concentration was 20 mmol/L at a constant voltage of 20kV and injecting time of 10s. The detection wavelength...

Optimization Formulation of Spirulina platensis Chewable Tablet

Siti Fatmawati Fatimah, Raihan Novarida, Laela Hayu Nurani, Citra Aryani Edityaningrum
Among various natural food sources, spirulina contains β-carotene which is higher than other sources that is used to overcome malnutrition. However, spirulina was widely marketed in the conventional form such as capsules and tablets which are less favorable for consumption. In order to increase its acceptability,...