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

“…Formal descriptions of four types of fairness were provided and verified using UPPAAL. …”
Get full text

Modelling Decision-Making Processes in the Management Support of the Manufacturing Element in the Logistic Supply Chain by Robert Bucki, Petr Suchánek

“…The precisely elaborated case study implements initial data obtained by preceding simulation procedures carried out in manufacturing systems consisting of three, four, and five subsystems.…”
Get full text

Return and volatility spillover between cryptocurrencies, oil price and stock market in GCC countries by Hanan Haider Ali, Sumathi Kumaraswamy, Sara Al Balooshi, Yomna Abdulla

“…The diagonal BEKK method is applied to the daily trading prices of three major cryptocurrencies, crude oil and four stock market indices from January 2018 to February 2024. …”
Get full text

Parcours professionnels et professionnalisation des enseignants du secondaire : des régularités du social aux trajectoires singulières by Pascal Guibert, Gilles Lazuech

“…In this article we will describe, from a statistical analysis, two modes of access to the profession and four types of professional integration (Guibert Lazuech, Rimbert, 2008). …”
Get full text

Effectiveness of Gratitude Therapy in Diabetes Management: A Qualitative Study by Safeya Makhmur, Sangeeta Rath

“…In the present study, four participants screened with high perceived stress, moderate depression, poor sense of gratitude, were selected. …”
Get full text

Memory culture in the making: the Heidelberg Catechism in the memory of the Dutch Reformed Church (1862-1937) by H. van Tonder

“…The third part provides four sets of examples of Heidelberg Catechism recollections as a contribution to analyses of the memory culture of the DRC in the late 19th and early 20th centuries. …”
Get full text

Efficiency of Ratio, Product, and Regression Estimators under Maximum and Minimum Values, Using Two Auxiliary Variables by Abdullah Y. Al-Hossain, Mursala Khan

“…Also the performance of the proposed estimators have shown theoretically and these theoretical conditions are verified numerically by taking four real data sets under which the proposed class of estimators performed better than the other previous works.…”
Get full text

Difficulté de l’enseignant : à qui appartient-elle ? de quoi parle-t-on ? by Sandra Cadiou

“…We rely on the clinical didactic vignette of Viviane teacher of French and four of his students in vocational high school during a writing sequence (from verbatim courses, interviews semi-directed and texts produced by students). …”
Get full text

Anomalous tqγ Couplings in γp Collision at the LHC by M. Köksal, S. C. İnan

“…We have examined the constraints on the anomalous tqγ  (q=u,c) couplings through the process pp→pγp→pWbX at the LHC by considering four forward detector acceptances: 0.0015<ξ<0.5, 0.0015<ξ<0.15, 0.015<ξ<0.15, and 0.1<ξ<0.5, where ξ=Eγ/E with Eγ and E the energies of the photon and of the incoming proton, respectively. …”
Get full text

Research on PSO-based intuitionistic fuzzy kernel clustering algorithm by UXiao-dong Y, EIYing-jie L, UEShao-hua Y, ANGRui W

“…The intuitionistic fuzzy kernel c-means clustering algorithm has several problems such as sensitivity to the ini-tial value,low convergence speed,etc.To overcome these shortages,the particle swarm optimization (PSO) algorithm with powerful ability of global search and quick convergence rate is applied to intuitionistic fuzzy clustering.Firstly,PSO is used to optimize the initial clustering centers.Then,the approach of intuitionistic fuzzy kernel clustering based on PSO,namely PS-IFKCM,is proposed.This algorithm can enhance both the clustering ability and the convergence speed.Fi-nally,experiments based on four measured datasets are carried out to illustrate the performance of the proposed method.Compared with results from FCM and IFKCM,PS-IFKCM is of great efficiency for classification.…”
Get full text

Outsourcing of IT and Absorptive Capacity: A Multiple Case Study in the Brazilian Insurance Sector by Valter Moreno, Marcello A. S. Coelho, Claudio Pitassi

“…The results of comparing four insurers with different degrees of innovation and adoption of IT outsourcing indicate that the connections between the strategy of relationship with suppliers and the stance of the IT area of the client company, and its previous activity and level of knowledge, are essential to determine the absorptive and innovative capacity. …”
Get full text

"One Hundred False Starts" : l’espace fitzgéraldien ou la quête d’un ailleurs impossible by Pascal Bardet

“…This process takes him to the four corners of the American continent and to Europe and incites him to try and grasp the true meaning of his surroundings. …”
Get full text

Scaling counterarguments: by Elena Callegari

“…Although they resemble adverbial clauses, ESCs function autonomously as main clauses. I identify four defining properties of ESCs: adverbial clause form, form-function mismatch, main-clausality, and the anchoring of surprise to a preceding assertion rather than to the ESC’s own propositional content. …”
Get full text

Research of the Linkage Point Trajectory Curvature and Design of the Related Mechanism by Wang Yundi, Wang Shuai, Wang Liangwen, Zhang Hao

“…The undecided parameters method and auxiliary vertical line method for determining diameter and direction of the inflection circle in the four bar mechanism are elaborating out. The new general formula of calculation and graphic method for determining the linkage point trajectory curvature center are explained. …”
Get full text

Un archéologue capucin en Éthiopie (1922-1936) : François Bernardin Azaïs by Amélie Chekroun

“…In total, he achieved ten archaeological and ethnological missions in the South and the East of the country. Only his first four expeditions are known today, thanks to his book Cinq Années de recherches archéologiques en Éthiopie (1931). …”
Get full text

Current data on Short-toed Eagle in the Nizhny Novgorod Region, Russia by Pavel M. Shukov

“…We designed a network of auto routes to survey the area and subsequently covered it in a four-wheel drive vehicle combined with walking through upland bogs and forest margins by foot. …”
Get full text

Label-based protection scheme of vTPM secret by Xingshu CHEN, Wei WANG, Xin JIN

“…The virtual trusted platform module (vTPM) played an important role in virtualization of trusted computing.According to security problems of existed vTPM,a protection scheme based on vTPM label was proposed.Firstly,a vTPM label was created for each virtual machine.This label had four main components,signature information,encryption information,measurement information and status information.Then,the security-enhanced vTPM dynamic migration protocol based on vTPM label status information was designed,to ensure the security of vTPM during live migration based on status information of vTPM label.Experiments show that the proposed scheme can protect vTPM secrets effectively and the increased performance cost during live migration is only 19.36%.…”
Get full text

The baptistery of St Lydia in northern Greece by Katerina Seraïdari

“…This case study therefore provides a clearer understanding of interactions between the four principal parameters of religious tourism: the religious site, people, objects, and events.…”
Get full text

Northern Red-Oak Kermes, Kermes Scale (suggested common names), Allokermes kingii (Cockerell) (Insecta: Hemiptera: Coccoidea: Kermesidae) by Jay Cee Turner, Eileen Buss

“… In North America there are 32 species of Kermesidae in five genera, but in northeastern North America there are only nine species in four genera (Eriokermes, Nanokermes, Allokermes, and Kermes). …”
Get full text

Nutrient Availability and Changes on Chemical Attributes of a Paleudult Soil Amended with Liquid Sewage Sludge and Cropped with Surinam Grass by Luiz Carlos Ceolato, Ronaldo Severiano Berton, Aline Renée Coscione

“…The liquid sewage sludge (LSS) was applied on a field experiment during four years at successive applications to evaluate the changes in soil attributes and on Surinam grass (Brachiaria decumbens) uptake of nutrients. …”
Get full text