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

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

Idiopathic Atrophoderma of Pasini and Pierini in a Zosteriform Pattern on Face by Mehak Gupta, Vijay Kumar Garg, Sonali Saxena

“…Dermoscopy shows a prominent pigment network with irregular distribution and a storiform pattern. The present report describes a case of a 14-year-old girl who had zosteriform pattern of atrophoderma of Pasini and Pierini on the left side of the face. …”
Get full text

MORPHOLOGICAL PATTERN MOUNTAIN TERRAINS POSTGLACIAL REGION AND ITS TRANSFORMATION by Viktor Alexandrovich Shalnev, Tatiana Gennadevna Kovaleva, Daria Sergeevna Nastatuha

Get full text

Testing the role of spontaneous activity in visuospatial perception with patterned optogenetics. by Kengo Takahashi, Samuel Pontes Quero, Julien Fiorilli, Davide Benedetti, Rafael Yuste, Karl J Friston, Giulio Tononi, Cyriel M A Pennartz, Umberto Olcese, TWCF: INTREPID Consortium

“…The former position is held by theoretical accounts of consciousness based on the predictive processing framework (such as neurorepresentationalism and active inference), while the latter is posited by the integrated information theory. This protocol describes an experiment, part of a larger adversarial collaboration, that was designed to address this question through a combination of behavioral tests in mice, functional imaging, patterned optogenetics and electrophysiology. …”
Get full text

Is There Really Root-and-Pattern Morphology? Evidence from Classical Arabic by Dominique Bobeck

“… The morphologies of Semitic languages have most often been described as a system of roots and patterns suggesting a pluri-consonantal root. …”
Get full text

Patterns of landscape change in a rapidly urbanizing mountain region by Clémence Vannier, Jérémie Lefebvre, Pierre-Yves Longaretti, Sandra Lavorel

Get full text

Encoding Static and Temporal Patterns with a Bidirectional Heteroassociative Memory by Sylvain Chartier, Mounir Boukadoum

“…This paper describes such a BAM, one that can encode patterns of real and binary values, perform multistep pattern recognition of variable-size time series and accomplish many-to-one associations. …”
Get full text

Pattern Analysis of Driver’s “Pressure-State-Response” in Traffic Congestion by Weiwei Qi, Yulong Pei, Mo Song, Yiming Bie

Get full text

Regeneration patterns in Naineris aurantiaca (Müller, 1858) (Annelida, Orbiniidae) by Ricardo Álvarez, Estela Pires, Giovanna Valério, Maikon Di Domenico

Get full text

Electrically tunable liquid-crystal metasurfaces with patterned birefringence and dichroism by Paola Savarese, Sarvesh Bansal, Maria Gorizia Ammendola, Raouf Barboza, Marcella Salvatore, Stefano Luigi Oscurato, Bruno Piccirillo, Francesco Di Colandrea, Lorenzo Marrucci, Filippo Cardano

“…Light propagation through artificially patterned anisotropic materials, such as dielectric metasurfaces, enables precise control of the spatio-vectorial properties of optical fields using highly transparent, thin, and flat optical elements. …”
Get full text

Population ageing patterns in Małopolskie voivodship by poviats until 2030 by Kurkiewicz Jolanta, Knapik Oskar

“…Using the data coming from Demographic Years Book 2011, and from Demographic Projection 2008‒2011 (www.stat.gov.pl) some types of population ageing patterns in Małopolskie voivodship by poviats until 2030 are demonstrated. …”
Get full text

Ukrainian adaptation of the nomenclature of the International Consensus on Antinuclear Antibody Patterns by Ye.V. Tarasov, M.M. Kurtova, I.H. Koltsova, A.Yu. Shevchuk, O.A. Gruzevskiy

“…The most recent and most comprehensive attempt to describe HEp-2 IFA patterns was made by the International Consensus on Antinuclear Antibody (ANA) Patterns (ICAP). …”
Get full text

Treatment Patterns in Patients with Metastatic Melanoma: A Retrospective Analysis by Zhongyun Zhao, Song Wang, Beth L. Barber

“…Objective. To describe treatment patterns and factors influencing treatment in a real-world setting of US patients with metastatic melanoma (MM). …”
Get full text

Focal neuroendocrine differentiation in prostatic gland carcinoma with basaloid pattern by Gligorijević Jasmina V., Veličković Ljubinka V., Jančić Snežana A., Radovanović Zoran, Krstić Miljan S., Katić Vuka V.

Get full text

Pattern of Orbito-ocular Tumours in Nigeria: a systematic review by Godswill I. Nathaniel, Ugochukwu A. Eze, Arinze A. Onwuegbuna, Chigozie I. Echieh, Helen A. Alen

“…The regional burden varies for various reasons. Aim To describe the patterns of these tumors in Nigeria. Methods A systematic literature search was conducted on Google Scholar and PubMed using the following keywords: pattern, orbit tumour, ocular tumour, Nigeria. …”
Get full text

The relationship between EGFR mutation and metastasis pattern in lung adenocarcinoma by Ismail Beypinar, Hacer Demir, Murat Araz, Mukremin Uysal

“…Aim: The metastatic pattern of non-small cell lung cancer (NSCLC) has been described in several studies. …”
Get full text

Identifying Cladribine prescription pattern in MS: an Italian multicentre study by Aurora Zanghì, Roberta Fantozzi, Matteo Foschi, Elisabetta Signoriello, Matilde Inglese, Giacomo Lus, Diego Centonze, Andrea Surcinelli, Tommaso Sirito, Simona Bonavita, Carlo Avolio, Emanuele D’Amico

“…Background: Characterizing Cladribine tablets prescription pattern in daily clinical practice is crucial for optimizing multiple sclerosis (MS) treatment. …”
Get full text

Differences in dietary patterns between native and immigrant populations in Spain. by Joaquín Moncho, Lauren Elena Ortega Sarabia, Eva María Trescastro-López, Alba Martínez-García

Get full text

Analysis of goal scoring patterns in the UEFA Women’s EURO 2022 by Jorge Sanmiguel Codina, Rafael Ballester Lengua, Claudio Casal, Florentino Huertas Olmedo

“…Despite the growing interest in research on women’s football, few approaches have analysed the primary performance indicator in football, which is the goal. This study describes the goal scoring patterns and explores technical-tactical behaviours associated with the scorer location in the 2022 UEFA Women’s European Championship. …”
Get full text