Research on verification of behavior requirement patterns based on action sequences by DU Jun-wei1, XU Zhong-wei2, JIANG Feng1

“…Function behavior requirements（FBR） and safety behavior requirements（SBR） were described by action se-quences.Compared with the traditional logic or graphic form,action sequences can express the temporal relationship among interactive behaviors more exactly.Moreover,FBR pattern and SBR pattern are constructed by action sequences,and the operation semantics of these patterns are also given.To implement the requirement verification based on behavior patterns,the necessary and sufficient conditions as well as the checking algorithm for the satisfiability of FBR pattern and SBR pattern are presented and proven by redefining the property expression and combination operation of LTS’s safety and liveness.The framework has been widely applied in the formal verification ＆ validation of component-based CTCS2/3 systems,and has shown great theoretical and practical significance to combinational verification of Compo-nent-based safety-critical systems.…”
Get full text

THE RELATIONSHIP BETWEEN SOCIAL CAPITAL AND ECONOMIC BEHAVIOR PATTERNS OF GRADUATES by A. A. Avakian

“…The article considers the relationship between social capital and economic behavior patterns of university graduates. The concept of social capital is defined. …”
Get full text

Impact of Sublethal Disinfectant Exposure on Antibiotic Resistance Patterns of Pseudomonasaeruginosa by Mohemid Maddallah Al-Jebouri

“…The exposure to disinfectants induced neomycin resistance among two isolates. The resistance patterns were three before disinfectants exposure which increased to be nine different patterns after exposure. …”
Get full text

Liverwort diversity in China: spatial and taxonomic patterns on species richness by Jiaqi Cui, Jiaqi Cui, Xiuhua Yang, Xiuhua Yang, Xiaoyu Li, Xiaoyu Li, Jitong Li, Jitong Li, Siqi Dong, Siqi Dong, Hongfeng Wang, Hongfeng Wang, Chengjun Yang, Chengjun Yang

“…It is of great significance to study the species distribution pattern of liverworts in China for the protection of liverworts diversity, flora research and biodiversity monitoring. …”
Get full text

A Wideband Tightly Coupled Array for Omnidirectional Pattern Synthesis by Manuel Luciarini, Domenico Gaetano, Christian Canestri, Cosmo Mitrano, Walter Fuscaldo, Alessandro Galli

“…This work presents the design of a wideband circular tightly coupled array for omnidirectional pattern generation. …”
Get full text

Turing Bifurcation and Pattern Formation of Stochastic Reaction-Diffusion System by Qianiqian Zheng, Zhijie Wang, Jianwei Shen, Hussain Muhammad Ather Iqbal

“…Noise is ubiquitous in a system and can induce some spontaneous pattern formations on a spatially homogeneous domain. …”
Get full text

Extending the Touchscreen Pattern Lock Mechanism with Duplicated and Temporal Codes by Ashley Colley, Tobias Seitz, Tuomas Lappalainen, Matthias Kranz, Jonna Häkkilä

“…We investigate improvements to authentication on mobile touchscreen phones and present a novel extension to the widely used touchscreen pattern lock mechanism. …”
Get full text

Conical bone points in northwestern Lithuania: dating and engraving patterns by Tomas Rimkus

Get full text

Microscale Patterning of Electrochromic Polymer Films via Soft Lithography by Jae-Yeong Jung, Seokwon Joo, Da-Seul Kim, Kyoung-Hwan Kim, Tae Soup Shim, Soonmin Seo, Ju-Hyung Kim

“…We present a direct fabrication technique of patterned polymeric electrochromic (EC) devices via soft lithography, enabling both negative patterning and positive patterning of the polymer. …”
Get full text

Protocol for fabricating elastomeric stencils for patterned stem cell differentiation by Stefanie Lehr, Jack Merrin, Monika Kulig, Thomas George Minchington, Anna Kicheva

“…Summary: Geometrically controlled stem cell differentiation promotes reproducible pattern formation. Here, we present a protocol to fabricate elastomeric stencils for patterned stem cell differentiation. …”
Get full text

Automatic diagnosis of lower back pain using gait patterns by Chandrasen Pandey, Neeraj Baghel, Malay Kishore-Dutta, Carlos M. Travieso González

“…It involves support vector machines that classify between lower back pain and normal, on the bases of 3 Gait patterns that are integrated pressure, the direction of progression, and CISP-ML. …”
Get full text

Quantum ghost imaging of transparent birefringent patterns with phase singularities by Vipin Devrari, Mandip Singh

“…Four observables of photons are measured by detection and correlated to obtain a quantum ghost image. This paper presents experiments including a theoretical analysis on the quantum ghost imaging of transparent birefringent vortex phase-shifting patterns, where each vortex pattern has a phase singularity at its centre by its definition.…”
Get full text

Pattern Design of Ethnic Clothing Based on Stretchable Nanofiber Fabrics by Xueqing Lu, Jing Wen, Xiaohua Shao

“…Through a lot of research, it will be found that most of the national costume patterns represent some symbols with specific meanings. …”
Get full text

Pattern-Based Test Suite Reduction Method for Smart Contracts by Tomasz Górski

“…The objective is to minimize the costs of smart contract testing by reducing the number of test cases. The article presents the test suite reduction method for smart contracts, which exploits the knowledge of their design manner. …”
Get full text

Index Modulation OFDM Systems with Direct Pattern of Subcarrier Activation by Zainab Mohammed Abdulkareem, Abdulrahman Ikram Siddiq

“…When working with OFDM-IM, the specification of subcarrier-activation-patterns (SAPs) is done by utilizing either look-up tables (LUTs) or a combinatorial approach to conform with data. …”
Get full text

Advanced Cancer Classification Using AI and Pattern Recognition Techniques by Haddou Bouazza Sara, Haddou Bouazza Jihad

Get full text

Spectral Pattern Classification in Lidar Data for Rock Identification in Outcrops by Leonardo Campos Inocencio, Mauricio Roberto Veronez, Francisco Manoel Wohnrath Tognoli, Marcelo Kehl de Souza, Reginaldo Macedônio da Silva, Luiz Gonzaga Jr, César Leonardo Blum Silveira

Get full text

Mining co-location patterns from distributed spatial data by Sandipan Maiti, R.B.V. Subramanyam

“…Co-location patterns in spatial dataset are the interesting collection of dissimilar objects which are located in proximity. …”
Get full text

Urban Inspirations: Crafting Unique Texture Patterns for Car Interiors by Prasanna Halbe

“…This study presents a novel approach to texture pattern design for automotive interiors. …”
Get full text

Analysis of Methods for Measuring Parameters of the Radiation Pattern of Antenna Systems by A. V. Sharamet, A. N. Lysy

“…The comparative analysis of the main groups of antenna measurement methods shows that at the present stage of their development, due to a number of advantages, measurement methods in the near-field with subsequent reconstruction of the radiation pattern of the studied antenna in the far-field are most widely used.…”
Get full text