Results 21 to 30 of about 17,802 (247)
Hybrid Deduction–Refutation Systems
Axioms, 2019 Hybrid deduction–refutation systems are deductive systems intended to derive both valid and non-valid, i.e., semantically refutable, formulae of a given logical system, by employing together separate derivability operators for each of these and combining
Valentin Goranko
doaj +1 more source
Embracing Sustainability - A Journey with Municipal Solid Waste Ash in Brick Production [PDF]
E3S Web of ConferencesThis research investigates the potential of incorporating municipal solid waste (MSW) ash into brick production to mitigate challenges arising from urbanization and waste disposal. MSW ash was substituted for fly ash at varying proportions (5%, 10%, 15%,
Kiruthika L. +4 more
doaj +1 more source
Shakespeare's Sound Government: Sound Defects, Polyglot Sounds, and Sounding Out
Oral Tradition, 2009 Shakespearean sound effects (or sound defects) depend not only on hearing with the eye (as in Sonnet 23) but also on seeing with the ear, including through the vivid reports of the nuntius or messenger who produces not "ocular proof" but what might be called a (potentially unsound) "evidence effect," turning the ear into a substitute oculus or eye ...
openaire +2 more sources
Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints
IEEE Access, 2018 The correctness verification is very important for workflow systems. It is closely related with both control-flows and data-flows. Workflow nets with data (WFD-nets) are a kind of formal model that can reflect some logical structures of workflow systems,
Yaqiong He +5 more
doaj +1 more source
Gaziantep Üniversitesi Sosyal Bilimler Dergisi, 2021 Financial soundness of banks is vital not only for the firms but also countries in order to achieve sustainable economic development and the welfare of the society. There are many factors affecting financial soundness of banks both firm level and country
İsmail Cem Ay +2 more
doaj +1 more source
From Sound to Sound Space, Sound Environment, Soundscape, Sound Milieu or Ambiance … [PDF]
Paragraph, 2018 This article proposes approaching the phenomenon of sound as a fabric of relationships. Critiquing the notion of a sound object as it has become defined thanks to the fixity enabled by sound recording, it focuses on the characteristics of sound that converge towards a relational approach and suggests that there is an inextricable link between the ...
openaire +2 more sources
Soundness in negotiations [PDF]
Logical Methods in Computer Science, 2018 Negotiations are a formalism for describing multiparty distributed cooperation. Alternatively, they can be seen as a model of concurrency with synchronized choice as communication primitive.
Javier Esparza +3 more
doaj +1 more source
Early Sound Symbolism for Vowel Sounds
i-Perception, 2013 Children and adults consistently match some words (e.g., kiki) to jagged shapes and other words (e.g., bouba) to rounded shapes, providing evidence for non-arbitrary sound–shape mapping. In this study, we investigated the influence of vowels on sound–shape matching in toddlers, using four contrasting pairs of nonsense words differing in vowel sound ...
Ferrinne Spector, Daphne Maurer
openaire +3 more sources
Pediatric Blood &Cancer, EarlyView.Abstract Background A routine baseline echocardiogram is often obtained prior to anthracycline administration in children with cancer. The utility of baseline echocardiogram is unclear in patients with standard risk B‐cell acute lymphoblastic leukemia (SR B‐ALL) as their anthracycline cumulative dose is low.
Ziyad Alrajhi +4 more
wiley +1 more source
Multiple ETS family transcription factors bind mutant p53 via distinct interaction regions
FEBS Letters, EarlyView.Mutant p53 gain‐of‐function is thought to be mediated by interaction with other transcription factors. We identify multiple ETS transcription factors that can bind mutant p53 and found that this interaction can be promoted by a PXXPP motif. ETS proteins that strongly bound mutant p53 were upregulated in ovarian cancer compared to ETS proteins that ...
Stephanie A. Metcalf +6 more
wiley +1 more source