Search all articles

Program checking is an interesting and challenging problem. Many kinds of programs can be formulated as polynomial programs, expressing the same meanings in a mathematical way. Moreover, with the mathematic framework of semi-algebraic systems, the polynomial based model checking can be applied directly...

This study examines the feasibility of using a smartphone application (app) to conduct surveys among travellers during the Hajj pilgrimage, where the use of apps has not been evaluated for infectious disease surveillance. A longitudinal study was conducted among pilgrims at the Hajj 2014 using an iPhone...

In this work, a qualitative analysis of maintainability is performed on the basis of a general and specially designed criteria in the early stage of equipment development. A qualitative evaluation system of maintainability is constructed by defining the design criteria of maintainability and combining...

The authors have the aim to reveal specific features in compositions of two editions of the novel “The Springtime” (“Saasky Kem”) by a Yakut folk writer N. E. Mordinov-Amma Achchygyia, as well as in language and style of the literary work as a whole. The first edition of the novel was published in 1944...

Since the concept of collaborative innovation was put forward, China's colleges and universities have continuously broken through internal and external mechanisms and barriers, vigorously promoted the deep integration of internal and external universities, and solved the problems of resource dispersion,...

The article conducts the study of the circulation of power in the diagnosis of the car on the brake stand that is kinematically connected with the supporting rollers. Case study. It is suggested that the longitudinal displacement of the wheel operating in braking mode on two kinematically connected support...

In recent years, agricultural product processing industry in Guangxi has tremendous opportunities with structure adjustment of national agricultural industry and rapid development of agricultural technology. In this review, current situations and main problems of fruit and vegetable processing industry...

Contrasts to the villages, cities in Chinese movies are not fully expressed. Since the 90 s, the sixth generation has become the main directors for city films. It is different from other groups that they based on urban/reality of cultural psychology and express viewpoint, presented the cities they have...

This study aims to explain the anthropolinguistic perspective of hoax narratives in campus religious institutions, classify community responses in religious campus environments to hoax narratives, and explain the potential threats of narrative hoaxes to patterns of religious and diversity. The method...

Teacher’s competence in the use of instructional media is important in learning component. These competencies include how the teacher’s ability in designing, developing and using instructional media. This research study aims to describe Elementary School teacher competence profile in Yogyakarta in utilization...

The article offers an analysis of the conservative views on nature proposed by the thinkers of continental Europe in the 20th - early 21st centuries, and the connection between the understanding of nature and the complex worldviews of modernity, as well as Christian and pre-Christian European traditions....

There is increasing demand for strengthening ageing steel structures, and bonded carbon fiber reinforced polymer (CFRP) plates strengthening is becoming more widely used. The technique can be advantageous compared to traditional welded steel plate methods, due to its ease of installation, a high strength-to-weight...

Based on the data of China listed companies from 2012 to 2023, this study empirically examines the impact of green insurance on total factor productivity (TFP) of enterprises. The research finds that green insurance can significantly enhance TFP of enterprises, and this finding has been robustly tested...

The rapid expansion of digital infrastructure has positioned the telecommunications industry as both a key enabler of digital transformation and a significant consumer of energy. This paper analyzes Telkom Group’s greenhouse gas emissions profile from 2023 to 2025, focusing on Scope 1, Scope 2, and Scope...

This paper proposed a system to survey candidate popularity for governor of Jakarta in 2017 from Twitter, Facebook, Instagram, YouTube, and Google Trends. While traditional surveys take days or weeks to complete, the system demonstrated results instantly and continuously. This paper aims to measure the...

Analysis of university in carrying out the sunshine sports , how to around college talents training objectives ,build for two-level academy "sunshine sports instructors " working mechanism, management system and evaluation mechanisms. And make full use of the school for nearly three years' work practice...

The request of improving in distribution network reliability is completely uninterruptive during the process of power distribution. This article targets on an existing training method which is inefficient during the process of live working for power distribution. A system based on virtual reality technology...

This paper presents a decentralized multilateral interactive power transaction algorithm based on block chain technology for micro-grid. The intelligent micro-grid accesses a large number of distributed new energy sources, electric vehicle terminals, energy storage devices, etc., and the user side and...

This paper aims to investigate the influencing factors of innovative behavior of Rural Management organizations. Through investigating the innovation behavior of the rural management organization in the old revolutionary area of Sichuan province, authors combed the literature and analyzed the data. This...

Mobile payment platforms have developed rapidly due to their convenience and flexibility, low transaction and time costs. Based on trust theory, this paper constructs the structural equation model and the assumption of the willingness to use mobile payment platform based on the detailed analysis of personal...

MircroRNAs (miRNAs) are one type of small non-coding RNAs and play important roles in regulating wide range of biological processes, such as stem cell maintenance, tissue development and cell metabolism. By modulating these key cellular processes, miRNAs can simultaneously regulate both oncogenes and...

Chongqi bridge is the longest-span continuous steel box girder bridge with an orthotropic steel deck in China. Due to the small thickness of both the deck plate and rib wall, the out-of-plane bending moments result in high local flexural stresses causing fatigue cracks to develop at the rib-to-deck joints....

The SDGs aim to address global challenges such as poverty, inequality, climate change, and environmental degradation. Indonesia has shown progress in various sectors but faces challenges. Low levels of SDG disclosure in Indonesia indicate the need for increased transparency and accountability among companies....

Wayang Potehi is a form of traditional performance art rooted in Chinese culture, but it has assimilated into Indonesian culture. This art form faces various social, political, and economic challenges in maintaining its continuity. In response to these challenges, Toni Harsono, a Wayang Potehi activist...

This study examines the influence of dating app usage on body satisfaction and self-esteem and explores whether self-compassion can moderate the effect of dating app use on body satisfaction and self-esteem. The study collected 133 samples of Chinese young adult dating app users in Hong Kong (mean age...

Doppler signals of body movement are measured and collected by using X-band continuous wave radar to extract the human motion characteristics of radar echo. In order to suppress the cross terms more effective and retain the high resolution time frequency resolution, This paper construct a window function...

The paper applied finite element method to analysis and calculate the stress of bulb hydropower station concrete foundation and the deformation of turbine pipe base in all load case. The analysis results indicate the main piece reciprocal infection extent and supplies the theoretical basis for safety...

At present, teachers' vocational skills training acquired by normal university students is far from enough to make normal university students qualified professional teachers. In the actual teaching process, it fails to impart more efficient knowledge to students. Teacher professionalization enables teachers...

Fuzzy C-means (FCM) algorithm is used to cluster monthly power consumption data of power consumers, which has been pretreated, in a certain domestic area, and power consumers clusters in three different months and each of clustering centers can be obtained. According to the algorithm, the reliability...

The study on the ideology of Han Ying, a famous scribe of the Western Han Dynasty, has always been easy to ignore in the academic world. In recent years, scholars have increased their research on Korean infants, but they are still not systematic. Especially in the educational thinking of Korean infants,...

Educational outcomes should be felt directly by every individual in social life. The basic problems in the scope of our education are the level of professionalism, facilities, and the willingness of students to learn themselves. These three factors, are very supportive of the learning outcomes to be...

Within the revolutionary strategy for power domination, ideology has become a convention that unites subordinate class society in achieving hegemonic leadership. The said issue is also found in literary works which becomes the media for the author to deliver the ideology he wants to convey, as contained...

Before the progress of the attack ahead of the opponent’s goal area, a player must get a long-distance ball or long pass from a teammate behind him, so that he gets a way to progressively attack to the opponent’s goal area. In the game, a player’s movement pattern is needed when controlling the ball...

This study is purposed to estimate the proportion of students' needs for a learning journal application that can detect learning styles. Learning styles can optimize learning achievement because individuals can learn in the right way with their learning styles. Learning journal applications can be used...

In this fast-changing digital era, Artificial Intelligence (AI) has transitioned contemporary criminal justice systems through its migration into surveillance networks, predictive policy methods, and regulatory cybercrime enforcements. This technology ensures greater operational efficiency, real-time...

Based on the real situation of China's capital market, this paper takes non-financial listed companies in Shanghai and Shenzhen from 2007 to 2021 as samples to explore the impact of chain shareholders from the perspective of auditor behavior. Using Stata16 software for data processing, Logistic...

The FMCG sector is the cornerstone of any economy with significant contribution to GDP, employment and economic growth. The study aims to explore the relationship among production, demand, inventories and profit before interest and tax for FMCG sector in context of India. For analysis a panel data is...

In a male-dominated industry, how is the social adaptation of the emerging marginalized group of female food delivery workers? Through questionnaires, participatory observations and semi-structured interviews on female food delivery workers in Shenzhen, this study found that: in terms of occupational...

Cloud storage services allow the users to outsource their data to the cloud storage servers to reduce management costs. The cloud servers cannot be fully trusted while those data may contain sensitive personal information. We study a problem of storing and retrieving private data encrypted in a cloud....

With the development of information technology in medical field, a large amount of medical health data has been generated, including personal health records, electronic medical records and other personal health information. These data can provide personalized medical health management programs for the...

Assembly process model illuminating product assembly is the base of assembly simulation and assembly assessment, and assembly process model based ordinal assembly task link can not describe hierarchical structure and parallelism of assembly task. The development actuality of assembly process modelling...

This paper aimed at exploring the dilemmas and solutions of rural residential land management systems reform in China. To achieve it, this paper firstly introduced the necessity of reforming. Then the main dilemmas which rural residential land management systems reform has experienced were explained....

In the article “Cruel Stories of Bottom: Rural China in a Video Social Media” published online, the author describes, with great length, contents about self-torture, eye-catching and crude etc. on “Kuai-Shou”, rendering “cruel and absurd scenes” for us. Under the circumstance, “Kuai-Shou”, a short video...

The rural revitalization strategy is put forward in the 19th National Congress of CPC. The strategy is the reaction to rural decline. In current, the rapid urbanization enhances destitution of agriculture and decline of rural culture, and leads to many social problems as less rural people in villages,...

During the cruise process of prionace glauca, its pectoral fins play an important role in keeping balance and stability of its body. The research on the fluid-solid coupling of prionace glauca pectoral fins is of important value to optimizing the design of the AUV and other marine engineering equipment....

The customary law community prioritizes dispute resolution through discussion that aim to bring about peace in the community. The discussion is the first choice used by the customary law community in resolving disputes, because in the discussion a peace agreement can be made that benefits both parties....

With the aid of the spectral gradient method of Fuchssteiner, the compatible pair of Hamiltonian operators for the coupled NLS hierarchy is rediscovered. This result enables us to construct a hierarchy, which contains a vector generalization of Fokas-Lenells system. The vector Fokas-Lenells system is...

Artificial intelligence (AI)-based services and products have gradually infiltrated various industries in recent years, creating an effective, creative, and technological shift. The extant research has focused on what factors affect employees’ acceptance of AI products as effective tools to enhance task...

In order to determine the structural changes of the tunnel before and after the construction of the adjacent project, and to control the diseases within the specified range, based on the deep foundation pit project around the Jiubao Metro in Hangzhou, the maximum displacement results of the typical cross-section...

In the Pensées, Pascal introduces the idea of the imaginary self versus the real self. He states that it is impossible for us to love the substance of a person's soul, and it would also be wrong to do so. Our inability to find the essence of the soul is attributed to our corrupted nature, while the wrongness...