Results 31 to 40 of about 512,676 (214)
Evolutionary origin of muscle is a central question when discussing mesoderm evolution. Developmental mechanisms underlying somatic muscle development have mostly been studied in vertebrates and fly where multiple signals and hierarchic genetic ...
Carmen Andrikou +3 more
doaj +1 more source
A New Approach to Model Verification, Falsification and Selection
This paper shows that a qualitative analysis, i.e., an assessment of the consistency of a hypothesized sign pattern for structural arrays with the sign pattern of the estimated reduced form, can always provide decisive insight into a model’s validity ...
Andrew J. Buck, George M. Lady
doaj +1 more source
RNA-binding protein Elavl1/HuR is required for maintenance of cranial neural crest specification
While neural crest development is known to be transcriptionally controlled via sequential activation of gene regulatory networks (GRNs), recent evidence increasingly implicates a role for post-transcriptional regulation in modulating the output of these ...
Erica J Hutchins +4 more
doaj +1 more source
Technical Specification for Effective Next Generation Network Interconnection in Indonesia [PDF]
This paper proposes technical specifications for effectively implementing the interconnection of Next Generation Network (NGN) in Indonesia. NGN is one of the current telecommunication infrastructure network technology trends.
Nugroho, Bambang Setia; School of Electrical Engineering, Telkom University, Jl. Telekomunikasi No. 1, Bandung, 40257, Indonesia +1 more
core +1 more source
Methodological Tools for Diagnosing Insolvency (Bankruptcy) of Organizations in the Anti-Crisis Management System [PDF]
Introduction. Bankruptcy is the most important element of legal regulation of modern market relations. National economy has to be able to predict a potential default in the general system of anti-crisis management. Therefore, it needs advanced techniques
Chernichenko Svetlana G. +1 more
doaj +1 more source
Technical Language Processing for Telecommunications Specifications
Large Language Models (LLMs) are continuously being evaluated in more diverse contexts. However, they still have challenges when extracting information from highly specific internal technical documentation.
Felipe A. Rodriguez Y
doaj +1 more source
The health and economic crisis caused by the SARS CoV-2 coronavirus and the COVID-19 disease has accelerated the emergence of an informational economy focused on the use of electronic networks.
Cruz García Lirios
doaj
Automotive system design with specification and verification of uncertainties
S.245-246This paper gives an overview of the "AutoSUN" approach. AutoSUN is a common initiative of German automobile manufacturers, suppliers, and microelectronic companies.
Grimm, C., Dietrich, M.
core +1 more source
The specification and formal verification of distributed systems is usually a complex task. It requires extensive knowledge of algorithm theory and modeling of distributed or concurrent systems.
Jorge Cortés Galicia +2 more
doaj +1 more source
Influence of bamboo fiber reinforcement on the mechanical behavior of soft soil
Soft soils, characterized by low strength and high compressibility, pose significant challenges to civil engineering projects, often leading to excessive settlement and structural instability.
Robi Sonkor Mozumder +2 more
doaj +1 more source

