Miracle-dz/UniFAR-FTUs huggingface dataset:
Formal Verification of an Efficient Architecture to Enhance the Security in IoT

The Internet of Things (IoT) is one of the world's newest intelligent communication technologies. There are several kinds of novels about IoT architectures, but they still suffer from security and privacy challenges. Formal verification is a vital method for detecting potential weaknesses and vulnerabilities at an early stage. During this paper, a framework in the Event-B formal method will be used to design a formal description of the secure IoT architecture to cover the security properties of the IoT architecture. As well as using various Event-B properties like formal verification, functional checks, and model checkers to design different formal spoofing attacks for the IoT environment. Additionally, the Accuracy of the IoT architecture can be obtained by executing different Event-B runs like simulations, proof obligation, and invariant checking. By applied formal verification, functional checks and model checkers verified models of IoT-EAA architecture have automatically discharged 82.35% of proof obligations through different Event-B provers. Finally, this paper will focus on introducing a well-defined IoT security infrastructure to address and reduce the security challenges.
Specifies of construction industry terminology and methods of analysis of the natural language sentences similarity by using isomorphism of their structures

This article discusses methods of automatic translation by analogy. Each dictionary entry in the online dictionary contains a certain number of examples highlighting the use of this lexeme in different contexts. The purpose of this study is to find an example from an online dictionary that most fully conveys the meaning of a word in a particular context. Based on the fact that natural language sentences can be represented as graphs, the author considers several methods based on set theory, graph theory and linear algebra to compare sentences in order to find the closest example in meaning. In addition to purely formal comparison methods based on syntax, the author presents methods for analyzing sentences based on the semantics of their components. The balance between syntactic and semantic structure when comparing sentences gives the best result for finding the correct meaning of the predicate, which ensures an adequate transfer of the idea of the sentence during translation.
Guided wave‐based damage assessment on welded steel I‐beam under ambient temperature variations

Welded steel I‐beams are widely used in civil infrastructures and industrial facilities as the major load‐carrying members. The fillet weld zone, which connects the web plate and flange plate, is vulnerable to defects and fatigue cracks during the long service life, which may result in catastrophic accidents. In this study, a guided wave‐based damage assessment method is presented to monitor the weld zone of a steel I‐beam under ambient temperature variations. The semi‐analytical finite element (SAFE) analysis was performed to investigate the characteristics of guided wave propagation in a welded I‐beam. A signal‐processing procedure that incorporates the principal component analysis (PCA) and independent component analysis (ICA) was proposed for damage assessment. The PCA was performed to identify and eliminate significant environmental effects from the guided wave signals. Reconstructed residual signals were obtained from the PCA for damage detection. The ICA was performed to improve the damage localization by identifying the wave packets that are closely related to the occurrence of damage. Lab‐scale experiments were performed on a steel I‐beam under various ambient temperatures. The results show that the inflicted cuts on the weld line have been successfully detected. The damage severity can be qualitatively evaluated based on the magnitudes of Q‐statistics through the PCA. The results of the damage localization can be effectively improved by incorporating the ICA‐based signal decomposition.
Electrohydrodynamic Conduction Pump with Asymmetrical Electrode Structures in the Microchannels

In this study, we have developed a microfluidic pump that utilizes the electrohydrodynamic (EHD) conduction of a working fluid. Ring-shaped pumps have been used in previous studies on EHD conduction, but these require a three-dimensional arrangement of electrode pairs, which makes it difficult to downsize the apparatus. Here, we propose a mechanism to achieve one-way fluid flow in the microchannels by arranging non-parallel electrodes in a plane to generate an asymmetric electric field. One advantage of this design is that it can be easily and precisely fabricated using microelectromechanical system (MEMS) processing techniques: this has allowed us to integrate a micropump and a microchannel into a single device. Moreover, the pressure generated by the pump is induced solely by electrochemical reactions; since mechanical components such as gears are not required, this helps reduce the noise generated by the device.
Image denoising based on BCOLTA: Dataset and study

Robot deburring is an effective method for improving the surface quality of the high-voltage copper contact. The ﬁrst step of robot deburring is to acquire the burr images. We propose a new burr mathematical model and build a real burr image dataset for burr image denoising. In order to improve burr image denoising effects of the high-voltage copper contact, this study proposes an online burr image denoising algorithm, that is, block cosparsity overcomplete learning transform algorithm (BCOLTA). The penalty term and the condition number are affected by the burr parameter. The clustering and transform alternate minimisation algorithms are adopted to achieve lower computational cost and better denoising effect. In addition, BCOLTA also has a good adaptibility to inherent noise images, especially in Gaussian noise. Compared with other traditional and deep learning algorithms by no reference and full reference image quality assessment methods, BCOLTA has state-of-the-art denoising effects and computational complexity on dealing with burr images. This research will play an important role in the intelligent manufacturing ﬁeld.
Embedding Refinement Framework for Targeted Aspect-Based Sentiment Analysis

The state-of-the-art approaches to targeted aspect-based sentiment analysis (TABSA) are mostly built on deep neural networks with attention mechanisms. One problem is that embeddings of targets and aspects are either pre-trained from large external corpora or randomly initialized. We argue that affective commonsense knowledge and words indicative of sentiment could be used to learn better target and aspect embeddings. We therefore propose an embedding refinement framework called RAEC (Refining Affective Embedding from Context), in which sentiment concepts extracted from affective commonsense knowledge and word relative location information are incorporated to derive context-affective embeddings. Furthermore, a sparse coefficient vector is exploited in refining the embeddings of targets and aspects separately. In this way, embeddings of targets and aspects can capture the highly relevant affective words. Experimental results on two benchmark datasets show that our framework can be easily integrated with existing embedding-based TABSA models and achieves state-of-the-art results compared to models relying on pre-trained word embeddings or built on other embedding refinement methods.
Managerial over-optimism and agency costs of debt: evidence from high-tech IPO firms in Korea

ABSTRACT We examine whether the combination of agency costs of debt and managerial optimism in high-tech IPOs creates inefficient R&D investment, thus undermining corporate value. We find that high-tech IPO firms with a high debt ratio exhibit a positive relationship between discretionary and future R&D expenses at the IPO point. We also find a negative relationship between discretionary R&D expenses and the long-term cumulative abnormal return. Furthermore, managerial optimism and agency costs of debt can increase during an IPO, reducing future value. Thus, a stock return decrease after an IPO may be influenced by management’s psychological errors and shareholders’ preferences for risky investments.
Survey on Parental Attitude Towards Ethical Considerations of Involving their Children in Physiotherapy Care

BACKGROUND: Ethical considerations around Physiotherapy treatment on Children are more complexthan discussions about adult involvement. The interrelation between the ethical values and its involvementin practice is a challenging one. The accountability of clinical decision making by the therapists differfor children and adults. The implications of ethical values in practice provide quality good care for thepatient. The purpose of this study was to explore the parental attitudes towards ethical considerations ofinvolving their children in Physiotherapy care. METHODS: Total of 38 parents whose children undergoingPhysiotherapy session at present were participated in the survey. Participants were chosen using convenientsampling technique. The instrument used in the study was a self-descriptive questionnaire. The data wereanalysed using descriptive statistics. CONCLUSION: The result revealed that there is no marked evidenceof ethical misconduct seen among Physiotherapists handling the Children and it was found that there is abias in some of the ethical norms like getting written informed consent before treatment, documentation ofthe records. Efforts to focus on the elements which has a bias and if rectified will have a positive effect onquality Physiotherapy treatment for the children.
Application and Research of the Particle Element Model in Ignition Process of Large-Particle High-Density Charge

ABSTRACT In order to describe the movement characteristics of large-particle high-density charge and the development process of flow field and flame spreading in the chamber, a new modified and simplified particle element model was established based on Eulerian-Lagrangian approach, and the gas governing equations are discretized with the fifth-order WENO scheme. The experiment was carried out on the visualized experiment platform, and the relevant data were recorded by the data acquisition instrument and high-speed photography system. The results show that the numerical simulation results are in good agreement with the experiment, and the particle element model describes the process of particle motion accurately, which indicated that the problem of flow characteristics in the period of ignition and flame spreading in high-density charge solved effectively by the model. In the initial period of the ignition, the particles in the high-density charging bed moved slowly, and the law of the particles almost the same. The pressure in the middle chamber fluctuates obviously when the particles start to move. The gap in high-density charge would lead to throttling of the discontinuity surface, resulting in pressure fluctuation at the interface and the discontinuity surface of gas-phase velocity. The effects of different ignition and charging conditions on flame spreading performance are investigated and this study lays important practical significance to the application of the model on problem solution.
Acute feeding effects of Erythrina variegata proteinase inhibitor and Momordica balsamina proteinase inhibitor on the growth and development of Spodoptera frugiperda

Proteinase inhibitors (PIs) are widely distributed plant defense proteins against herbivores. Exploiting these proteins in insect control tactics is one of the environmental friendly methods. In this context the present study was undertaken to study the effect of partially purified proteinase inhibitors from Indian coral tree, Erythrina variegata (EvPI) and balsam apple, Momordica balsamina (MbPI) on growth and development of fall armyworm, Spodoptera frugiperda. The three day old larvae were fed with maize leaves treated with EvPI (1, 3 and 6 %) and MbPI (1, 3 and 6 %) and EvPI 6% + MbPI 6% for three days (acute feeding) and untreated leaves until pupation. After feeding, the growth parameters like larval weight, pupal weight, adult weight, larval and adult period were not influenced upon treatments. However, malformations were observed in these treatments and it ranged from 10 to 20 %. There was pupal mortality (12.5 %) in MbPI 6% and combination treatment and adult emergence was reduced upto 12.5 % in these treatments. These results suggest that these treatments did not have great influence on growth and development when fed for short period. Hence, the PIs from E. variegata and M. balsamina shall be used in development of transgenic plants, as transgenic plant will provide opportunities for the larva to continuously feed on thePIs which will affect the growth and development of fall armyworm.
Mycotoxins: Impact on Health and Strategies for Prevention and Detoxification in the Food Chain

ABSTRACT Mycotoxins are secondary metabolites present in agricultural commodities and produced by certain fungi with adverse acute and chronic effects such as genotoxicity and carcinogenicity on humans and animals. This review has focused on strategies to inhibit toxigenic fungal growth and reduce mycotoxin production to maximize consumer safety. Strategies for mycotoxin prevention and control are not expected to be achieved by a single treatment but from a combination of appropriate environmental control, good agricultural and manufacturing practices, suitable storage conditions, proper quality assurance programs, and bio-safe post-harvest detoxifying methods. The most effective methods are those carried out before the fungal infestation and mycotoxin production on the plant.
Forward Privacy Preservation in IoT-Enabled Healthcare Systems

In recent years, Internet of Things (IoT)-enabled health monitoring wearable devices have become a trend in healthcare systems, regularly collecting vital sign data from patients and uploading them to the cloud. Through on-demand search queries, data are shared with third-party healthcare service providers to monitor patients' health status and provide timely diagnoses. To ensure privacy and security, patient health data should be encrypted before being uploaded to the cloud. The cloud can give search encryption services. However, current searchable encryption (SE) technologies still have problems with forward privacy security and verifiability. This article proposes an IoT-cloud-enabled healthcare data system incorporating a SE method with forward privacy and verifiability. By designing a trapdoor permutation function, we render the resulting output indistinguishable from meaningless random data to the adversary. Thus, the adversary cannot judge the relationship between a newly inserted record and a past search token, and therefore, the system realizes forward privacy or forward secrecy. We propose a multikeyword search verification mechanism based on a pseudo-random function. Our approach solves verifying the correctness of search results in the top-k search scenario with partial search results. A formal security analysis proves that our scheme achieves forward privacy preservation, which can help guarantee healthcare data privacy. Additionally, a performance evaluation shows that our method is efficient and effective, providing an information security system to preserve patient privacy in IoT-enabled healthcare systems.
Ritual Spaces, Governmentality and Cultural Governance in Urban Development: The Case of Shenzhen

Recently, the concept of “cultural governance” has gained analytical traction in research on Chinese urban development. This is mostly diagnosed as a top-down process of defining and imposing cultural forms in government-led projects, such as in tourism. We argue that the case of Shenzhen manifests important differences, and is highly significant, considering the national and international status of this mega-city. Based on detailed field studies, supplemented with information about other cases, we show that in Shenzhen local cultural forms show resilience and increasing public presence, while also being shaped by inclusive cultural policies that are informed by the national drive towards reinstating traditional Chinese values as part and parcel of national identity. One manifestation is the enactment of the traditional ritual space of the village in urban architecture, such as the duality of ancestral hall and village temple, often at so-called “cultural squares,” and the expression of territorial ambitions of lineages in competitive projects of redevelopment. We suggest enhancing the concept of cultural governance by the concept of governmentality to grasp these phenomena analytically.
An Integrative Review of Image Captioning Research

In the field of computer vision, image captioning is a new frontier research. The basic task of image captioning is to generate a descriptive natural language for the input image. This paper investigates and analyzes the related research of image captioning. Firstly, the task and application scenarios of image captioning are introduced. Secondly, the image captioning algorithm based on template and the image captioning algorithm based on encoder-decoder structure are analyzed, and the advantages and limitations of each method are discussed. Then, the benchmark dataset and evaluation for image captioning are introduced. Finally, the future development of image captioning is prospected.
Laparoscopic Versus Open Gastrectomy for Gastric Cancer (LOGICA): A Multicenter Randomized Clinical Trial.

BACKGROUND The oncological efficacy and safety of laparoscopic gastrectomy are under debate for the Western population with predominantly advanced gastric cancer undergoing multimodality treatment. METHODS In 10 experienced upper GI centers in the Netherlands, patients with resectable (cT1-4aN0-3bM0) gastric adenocarcinoma were randomly assigned to either laparoscopic or open gastrectomy. No masking was performed. The primary outcome was hospital stay. Analyses were performed by intention to treat. It was hypothesized that laparoscopic gastrectomy leads to shorter hospital stay, less postoperative complications, and equal oncological outcomes. RESULTS Between 2015 and 2018, a total of 227 patients were randomly assigned to laparoscopic (n = 115) or open gastrectomy (n = 112). Preoperative chemotherapy was administered to 77 patients (67%) in the laparoscopic group and 87 patients (78%) in the open group. Median hospital stay was 7 days (interquartile range, 5-9) in both groups (P = .34). Median blood loss was less in the laparoscopic group (150 v 300 mL, P < .001), whereas mean operating time was longer (216 v 182 minutes, P < .001). Both groups did not differ regarding postoperative complications (44% v 42%, P = .91), in-hospital mortality (4% v 7%, P = .40), 30-day readmission rate (9.6% v 9.1%, P = 1.00), R0 resection rate (95% v 95%, P = 1.00), median lymph node yield (29 v 29 nodes, P = .49), 1-year overall survival (76% v 78%, P = .74), and global health-related quality of life up to 1 year postoperatively (mean differences between + 1.5 and + 3.6 on a 1-100 scale; 95% CIs include zero). CONCLUSION Laparoscopic gastrectomy did not lead to a shorter hospital stay in this Western multicenter randomized trial of patients with predominantly advanced gastric cancer. Postoperative complications and oncological efficacy did not differ between laparoscopic gastrectomy and open gastrectomy.
Hydroxyurea for the Treatment of Recurrence and Unresectable Meningiomas: A Systematic Review

BACKGROUND: Meningioma is mostly benign tumor (World Health Organization Grade 1) and surgery remains the best option in treating symptomatic or enlarging meningiomas where total removal of the tumor is the goal of surgery. Radiation therapy has shown to be effective to cease the growth of the tumor, but not in tumor regression. Adjuvant therapy may treat patients with recurrence or unresectable meningiomas yet the uses of hormone therapy, immunotherapy, or chemotherapy had many results and were not consistently effective. Hydroxyurea has promising results in patients with meningiomas. AIM: This study analyzed the efficacy and safety of hydroxyurea for the treatments of recurrence or unresectable meningiomas. MATERIALS AND METHODS: The study adapted PRISMA guidelines by searching electronic databases, PUBMED, Cochrane, and JNS in August 2020 and was full-text observational study or randomized control trial presented as PICO and assessed using the risk-of-bias assessment tool. RESULTS: A total of six articles (157 patients with meningioma) were reviewed from the total of 425. Hydroxyurea was administered orally for 28 days continuously and repeated every 28 days or after recovery with various dosages in six studies. DISCUSSION: Administration of hydroxyurea showed a varied stable disease rate ranging from 30 to 69% with a median progression-free survival med varying between 2 and 27.75 months. The studies performed oral hydroxyurea administration at a dose of 20–30 mg/kg body weight/day or 1000 mg/m2/day. However, the adverse events (AEs) that appear also, based on literature, are not much different from other chemotherapy administrations. CONCLUSION: Patients with unresected and recurrent meningiomas have limited treatment options due to difficulty for surgical management. However, this study offers another perspective addressing the efficacy and safety results with the use of hydroxyurea. Overall, hydroxyurea showed good outcomes, particularly in low-grade meningioma, with relatively low AEs. Further combination treatment may be used as a multimodal therapy.
Oxidative metabolism altered by plant growth regulators in atemoia seeds (Annona x atemoya Mabb.) ‘Thompson’

Abstract The objective of this work was to validate the enzymatic activity in Annona x atemoyaseeds submitted to treatments with plant growth regulators belonging to the group of gibberellins and cytokinins for overcoming dormancy during the germination process. Initially, the water acquisition curve was determined, where two points of phase II (72 and 144 hours) were determined to evaluate the activity of superoxide dismutase (SOD), peroxidase (POD) and catalase (CAT) enzymes in atemoya seeds after the application of two plant growth regulators. Treatments with GA resulted in higher activity of SOD enzyme, which may be favored the higher germination percentage and speed in comparison to control treatment. In cases in which SOD enzyme presented high activity, other enzymes showed the opposite, which indicates the predominantly production of superoxides during this period. The POD enzyme also has activity in seeds treated with gibberellin, which suggests interaction of ROS with GA in the process of dormancy overcoming. Treatments with cytokinin and cytokinin + gibberellin resulted in germination percentage similar to control and no activity pattern of SOD, POD and CAT enzymes that could be correlated with germination metabolism was observed.