Results 1 to 10 of about 745,956 (142)
Meta SOS - A Maude Based SOS Meta-Theory Framework [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Meta SOS is a software framework designed to integrate the results from the meta-theory of structural operational semantics (SOS). These results include deriving semantic properties of language constructs just by syntactically analyzing their rule-based ...
Luca Aceto +2 more
doaj +4 more sources
Transistors for Solid-State Microwave Switches (A Review)
Известия высших учебных заведений России: Радиоэлектроника, 2023 Introduction. The characteristics of solid-state microwave switches are subject to different requirements depending on the application area and technical problems to be solved. No versatile solution exists that could satisfy all requirements at once. The
Elena M. Torina +2 more
doaj +1 more source
Applied Sciences, 2020 The symbiotic organism search (SOS) algorithm is a promising meta-heuristic evolutionary algorithm. Its excellent quality of global optimization solution has aroused the interest of many researchers.
Shu-Chuan Chu +2 more
doaj +1 more source
Predicting sinusoidal obstruction syndrome after allogeneic stem cell transplantation with the EASIX biomarker panel [PDF]
, 2020 No biomarker panel is established for prediction of sinusoidal obstruction syndrome/veno-occlusive disease (SOS/VOD), a major complication of allogeneic stem cell transplantation (alloSCT).
Blau, Igor W. +10 more
core +3 more sources
Journal of Migration and Health, 2023 Background: Gender-based violence (GBV) against women and girls, is a global pandemic that affects 1 in 3 women in their lifetime. Somalia is one of the leading countries in human rights violations and has one of the highest rates of sexual and gender ...
Hassan Abdullahi Dahie +2 more
doaj +1 more source
Focjusz a kuchnia grecka, czyli kilka słów o abyrtake (abyptakh)
Vox Patrum, 2008 The present commentary is aimed at elucidating the terms made use of by Photius, the Patriarch of Constantinople, in the entry abyrtake included in his Lexicon. The authors of the study maintain that abyrtake was a sauce of Medic (i.e.
Maciej Kokoszko, Katarzyna Gibel
doaj +1 more source
Sloth bear attacks: regional differences and safety messaging
Scientific Reports, 2022 Sloth bears behave aggressively toward humans when threatened and are among the most dangerous wildlife in India. Safety messaging for those who live in sloth bear country must be accurate to be effective, and messaging may need to be modified to account
Thomas R. Sharp +3 more
doaj +1 more source
Performance Testing of istSOS under High Load Scenarios
ISPRS International Journal of Geo-Information, 2019 In the last 20 years, a mainstream in Earth information and decision making has been drawn by the vision of the digital earth that calls for 3D representation, interoperability and modelling.
Massimiliano Cannata +3 more
doaj +1 more source
“That’s Just So-and-So Being So-and-So” [PDF]
Philosophy in the Contemporary World, 2019 When it comes to explaining someone’s puzzling, objectionable, or otherwise problematic behavior, one type of explanation occasionally employed in the service of doing so is as follows: “That’s just so-and-so being so-and-so.” But what, exactly, do explanations of the type “That’s just so-and-so being so-and-so” mean? More specifically, in what way, if
openaire +1 more source
International Journal of Child, Youth & Family Studies, 2020 Until recently, SOS Children’s Villages International, like many organisations in the social sector, lacked a rigorous and systematic approach to gauging the long-term impact of their services.
Rosalind Willi +2 more
doaj +1 more source