Results 11 to 20 of about 1,814,894 (278)
Interpreted Petri Nets Applied to Autonomous Components within Electric Power Systems
Applied Sciences, 2022 In this article, interpreted Petri nets are applied to the area of power and energy systems. These kinds of nets, equipped with input and output signals for communication with the environment, have so far proved to be useful in the specification of ...
Iwona Grobelna, Paweł Szcześniak
doaj +1 more source
The comparative study of epoxy and bacterial injections for cracked concrete beam flexural strength [PDF]
E3S Web of ConferencesCracks in concrete beams can significantly affect the performance of reinforced structures. To repair cracks in concrete, Traditional crack repair methods typically involve epoxy injection, but studies have suggested that epoxy may not fully restore the ...
Alimin Baso Muhammad Ilham +2 more
doaj +1 more source
Bimodal function of chromatin remodeler Hmga1 in neural crest induction and Wnt-dependent emigration
eLife, 2020 During gastrulation, neural crest cells are specified at the neural plate border, as characterized by Pax7 expression. Using single-cell RNA sequencing coupled with high-resolution in situ hybridization to identify novel transcriptional regulators, we ...
Shashank Gandhi +5 more
doaj +1 more source
Alga polysaccharide based bacterial encapsulation technology for potential self-healing concrete [PDF]
E3S Web of Conferencescracks are common in concrete due to its relatively low tensile strength, often caused by external loads that generate high tensile stress. Immediate and proper treatment is essential to prevent crack propagation and costly repairs. Self-healing concrete
Aprinnisa Rechita +2 more
doaj +1 more source
How Specific Is Specific Impairment?
Journal of the American Academy of Child & Adolescent Psychiatry, 2000 To describe the usefulness of impairment items placed at the end of each diagnostic section of a structured instrument (the Diagnostic Interview Schedule for Children Version 2.3) in an attempt to link impairment to specific diagnoses.Data from 3 sites of the Methods for the Epidemiology of Child and Adolescent Mental Disorders Study were used to ...
H R, Bird +7 more
openaire +2 more sources
Specification of a specification language [PDF]
Annual Review in Automatic Programming, 1981 ESPRESO is a recently developed specification system for process control software. It consists of a specification language and a software system which serves as a tool to check, manage, and evaluate specifications. The language was precisely defined by an Extended Attribute Grammar and by a mapping into a programming language. The definition turned out
openaire +2 more sources
Well-definedness of Streams by Transformation and Termination [PDF]
, 2010 Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. We propose a transformation from such a stream specification to a term rewriting system (TRS) in such a way that termination ...
Hans Zantema +3 more
core +4 more sources
ISPRS International Journal of Geo-Information, 2018 Cesium Markup Language (CZML) is an emerging specification for the representation and exchange of time-dynamic geospatial objects on virtual globes. The principal focus of CZML is on the definition of time-varying characteristics that are important for ...
Liangfeng Zhu +2 more
doaj +1 more source
LCM and MCM: specification of a control system using dynamic logic and process algebra [PDF]
, 1994 LCM 3.0 is a specification language based on dynamic logic and process algebra, and can be used to specify systems of dynamic objects that communicate synchronously.
Wieringa, Roel
core +2 more sources
ÇYTHYE-2018 Yönetmeliğine göre I-Enkesitli Eğilme Elemanları için Yardımcı Abaklar
Düzce Üniversitesi Bilim ve Teknoloji Dergisi, 2021 Türkiye’de çelik yapıların tasarımı 2016 yılından itibaren Çelik Yapıların Tasarım, Hesap ve Yapım Esasları (ÇYTHYE) yönetmeliği kullanılarak yapılmaktadır. Bu yönetmelik yapısal çelik elemanlarını öncelikle maruz kaldığı iç kuvvetlere göre sınıflandırıp
Mehmet Bakır Bozkurt
doaj +1 more source