Results 41 to 50 of about 377,962 (403)
IEEE Access, 2018 In recent publications, we presented a novel formal symbolic process virtual machine (FSPVM) framework that combined higher-order logic theorem proving and symbolic execution for verifying the reliability and security of smart contracts developed in the ...
Zheng Yang, Hang Lei
doaj +1 more source
The semiotics study of Al-Ahdhar Mosque architecture using the trichotomy of Charles Sanders Peirce
ARTEKS : Jurnal Teknik Arsitektur, 2022 Semiotics is a science of signs, which is found daily in public spaces, print media, literary works, and buildings. A building can convey value, story, philosophy, and meaning through signs expressed on its architectural elements. These signs are in form
Taufiq Widodo, Primi Artiningrum
doaj +1 more source
Islamic State and Darul Islam — Difference and Jurisdiction [PDF]
Hazara Islamicus, 2019 Now-a-days a number of issues and questions are raised about certain concepts of Islam. Among such issues are the misuse of some peculiar terminologies used in Islamic Law and jurisprudence.
Dr.Zahid Shah, Dr.Habib Elahi Sahibzada
doaj
Health SA Gesondheid: Journal of Interdisciplinary Health Sciences, 2021 Background: South Africa is a multilingual society, and therefore, the likelihood of healthcare providers (HCPs), including students training to be HCPs, encountering language barriers with patients is high.
Lorna Blackwell +2 more
doaj +1 more source
Speculative Staging for Interpreter Optimization [PDF]
, 2013 Interpreters have a bad reputation for having lower performance than just-in-time compilers. We present a new way of building high performance interpreters that is particularly effective for executing dynamically typed programming languages. The key idea
Brunthaler, Stefan
core
Population Ecology, EarlyView.Population size and dynamics fundamentally shape speciation by influencing genetic drift, founder events, and adaptive potential. Small populations may speciate rapidly due to stronger drift, whereas large populations harbor more genetic diversity, which can alter divergence trajectories. We highlight theoretical models that incorporate population size
Ryo Yamaguchi +3 more
wiley +1 more source
International Journal for Equity in Health, 2018 BackgroundCurrent evidence highlights that language discordant clinical encounters seriously compromise patient quality of care and health outcomes. We aimed to characterise patterns of interpreter service use in medical inpatient wards use and explore ...
Jennifer White +5 more
semanticscholar +1 more source
Evolutionary interplay between viruses and R‐loops
FEBS Letters, EarlyView.Viruses interact with specialized nucleic acid structures called R‐loops to influence host transcription, epigenetic states, latency, and immune evasion. This Perspective examines the roles of R‐loops in viral replication, integration, and silencing, and how viruses co‐opt or avoid these structures.
Zsolt Karányi +4 more
wiley +1 more source
An Interpreter for Quantum Circuits
, 2013 This paper describes an ACL2 interpreter for "netlists" describing quantum circuits. Several quantum gates are implemented, including the Hadamard gate H, which rotates vectors by 45 degrees, necessitating the use of irrational numbers, at least at the ...
Gamboa, Ruben, Helms, Lucas
core +2 more sources
Circulating histones as clinical biomarkers in critically ill conditions
FEBS Letters, EarlyView.Circulating histones are emerging as promising biomarkers in critical illness due to their diagnostic, prognostic, and therapeutic potential. Detection methods such as ELISA and mass spectrometry provide reliable approaches for quantifying histone levels in plasma samples.
José Luis García‐Gimenez +17 more
wiley +1 more source