Role-based abstract modeling of blockchain auction contracts and verification of temporal security and fairness by WANG Changjing, OUYANG Junyuan, ZHANG Qufa, ZUO Zhengkang, CHENG Zhuo, LU Jiaxing

“…Firstly, the source code of the contract was abstractly modeled based on account roles and converted into a timed automaton network model. Formal descriptions of time security were provided and verified using the UPPAAL tool. …”
Get full text

Rewizje historii Polski a „miękka awangarda” filmowa lat sześćdziesiątych by Ewa Mazierska

“…Filmy te pod względem formalnym noszą wiele znamion stylu awangardowego, takich jak zniesienie rozróżnienia między rzeczywistością a nierzeczywistością, niespójność narracyjna i rozdzielenie warstw konstytuujących film. …”
Get full text

POI Data Fusion Method Based on Multi-Feature Matching and Optimization by Yue Wang, Cailin Li, Hongjun Zhang, Baoyun Guo, Xianlong Wei, Zhao Hai

“…Secondly, the random forest algorithm is utilized to dynamically determine the information weights of each attribute and calculate the comprehensive similarity. …”
Get full text

Implementing quantitative data in a qualitative contrastive approach: the case of COME+V-ING by Lucie Gournay

“…Resorting to the COCA-BYU and frequency tables, new arguments are brought forward leading to a typology that helps sort out the collostruction [COME+V-ING] (like in She came running in the kitchen) from other manifestations of the linear sequence in COME+V-ING. …”
Get full text

Biopharmaceutical characterisation of ciprofloxacin-metallic ion interactions: Comparative study into the effect of aluminium, calcium, zinc and iron on drug solubility and dissolu... by Stojković Aleksandra, Tajber Lidia, Paluch Krzysztof J., Djurić Zorica, Parojčić Jelena, Corrigan Owen I.

“…The results obtained indicate that different types of adducts may form and retard ciprofloxacin solubility and dissolution. …”
Get full text

The Toda-Weyl mass spectrum by Martin T. Luu

“…We generalize this set-up by formulating Lagrangians based on eigenvectors of arbitrary elements in the Weyl group. …”
Get full text

Níveis de dano e de controle do percevejo-verde-da-soja Nezara viridula (Hemiptera: Pentatomidae) em feijão-caupi by Paulo Henrique Silva, Candido Athaide Sobrinho

“…Os níveis de densidades populacionais de percevejos nas gaiolas foram o equivalente aos de 0; 2; 4; 6 e 8 adultos m-1. …”
Get full text

Le MT180® ou les infortunes de l’excellence by Jean Frances, Stéphane Le Lay

“…Indeed, once one begins to ask former participants about their opinions regarding their experiences over the course of the competition, the idea that My Thesis primarily serves to bring science out of the laboratory and to raise interest in researchers becomes ever more clearly in need of being re-examined. …”
Get full text

Polycystic Diseases in Visceral Organs by Shakila Abdul-Majeed, Surya M. Nauli

“…In addition, although gender and sex hormones are known to regulate cyst formation, their roles in regulating physiological functions of cilia need to be further explored.…”
Get full text

Chrysosporium: A rare cause of allergic fungal rhinosinusitis by Juhi Shrivastava, Kinal Shah, Navin Shah

“…Allergic fungal rhinosinusitis (AFRS) forms a significant group of patients presenting with the commonest health problem encountered in rhinology. …”
Get full text

Study on the spatial and temporal evolution of ecosystem service value based on land use change in Xi’an City by Lei Han, Yan Li, Zhemin Ge, Fang Fang, Lan Gao, Jin Zhang, Zhen Du, Liping Cui

“…Forest and unused lands remained stable, while grassland and water bodies fluctuated. …”
Get full text

Using machine learning to predict patients with polycystic ovary disease in Chinese women by Chen-Yu Wang, Dee Pei, Chun-Kai Wang, Jyun-Cheng Ke, Siou-Ting Lee, Ta-Wei Chu, Yao-Jen Liang

“…Compare the accuracy of five alternative Mach-L techniques with that of conventional LR. 2. Use Mach-L to forecast PCOS and prioritize the risk factors. Materials and methods: Totally, 170 PCOS patients and 950 control participants were included. …”
Get full text

Methods of long-term planning of corporate financing by V. V. Prokhorov, I. P. Rozhnov

“…The study of the mentioned methods allowed us to propose a method of planning the bond interest rate, which calculates the weighted average of the forecast bond interest rate. To assess the quality of the proposed method, it has been tested. …”
Get full text

Policy-adaptive capability inheritance algorithm consistent with POSIX standard by SHEN Qing-ni1, QING Si-han1, HE Ye-ping1, SHEN Jian-jun1

“…In order to support POSIX capability mechanism,many secure operating systems provided individual capability inheritable algorithms.These algorithms were only applicable to specified least privilege control policies,and had such defects as semantic conflicts and no defined security-objectives.So they couldn’t flexibly support for implementing diversified privilege policies for different requirements.Based on the analysis of some existing algorithms,a new capability inheritance algorithm was proposed,which introduced the policy-relevant capability control variable and the trusted application attribution.The implementation of the algorithm in ANSHENG secure operating system demonstrates that this algorithm provides such properties as policy-adaptability and usability,the formal analysis and verification of this algorithm proves that it supports a secure operating system to meet basic security theorems of the privilege policies enforced in it.…”
Get full text

Efficient removal of aqueous Pb(II) using partially reduced graphene oxide-FeO by Ting Guo, Chaoke Bulin, Bo Li, Zhiwei Zhao, Huitao Yu, He Sun, Xin Ge, Ruiguang Xing, Bangwen Zhang

“…The impacts of pH, contact time, adsorbent dosage, temperature, and foreign substances on Pb(II) adsorption performance were investigated. …”
Get full text

Predictors of Onset of Wheezing in Grain Elevator Workers by Punam Pahwa, Ambikaipakan Senthilselvan, Helen H McDuffie, James A Dosman

“…Significant predictors for first episode of wheezing were current smoking (relative risk [RR] 2.33; 95% CI 1.63 to 3.33; P<0.0001) and baseline forced expiratory volume in 1 s to forced vital capacity ratio [RR 0.02; 95% CI 0.003 to 0.20; P<0.0001). …”
Get full text

BUYER BEHAVIOR: BUYING FROM PHYSICAL STORES VERSUS BUYING FROM ONLINE STORES by TOMA ANDREI

“…There is sometimes also the middle way (i.e. to combine online purchases with those in physical stores), with several possible forms. One of these is searching for information online by shoppers, followed by buying from the physical store. …”
Get full text

Infraestructura y servicios hospitalarios de Tacna: una revisión histórica by Jorge Luis Espinoza-Molina, Karina Yanina Acosta-Caipa

“…Esto incidió fundamentalmente en el tratamiento formal, funcional y del espacio en la infraestructura hospitalaria estudiada.…”
Get full text

Digital Media Image of Business University Professor by M. A. Lukashenko, N. V. Gromova, A. A. Ozhgikhina

“…To achieve the goal, the article discusses the features of an entrepreneurial university and the characteristics of its corporate image, shows the need to form a teacher’s digital image and identifies strategies for such formation in social networks. …”
Get full text

Occupational therapists’ experiences of working with people with dementia: a qualitative study by Johannes Österholm, Åsa Larsson Ranada

“…Due to demographical shifts, the number of older people with dementia is forecasted to increase. Occupational therapists encounter people with dementia in their daily work, yet little is known about their experience of working with people with dementia.Aim/objectives To explore occupational therapist’s experiences of working with people with dementia.Material and methods Ten occupational therapists were interviewed using semi-structured interviews. …”
Get full text