Results 61 to 70 of about 639,528 (302)
Application of Uṣūl ʿAmaliyyah in Resolving Ambiguity Arising from the Placement of a Restriction Following Multiple Rulings in Legal Propositions: A Review and Critique of the Views of Uṣūl al-Fiqh Scholars [PDF]
پژوهشنامه حقوق اسلامیContext & Objective: In legislative discourse, it is common for multiple rulings or general statements to be followed by a qualifier or exception, either for rhetorical elegance or necessity.
Hossein Abedini +1 more
doaj +1 more source
Journal of Semantics, 2001 This paper is concerned with semantic noun phrase typology, focusing on the question of how to draw fine-grained distinctions necessary for an accurate account of natural language phenomena. In the extensive literature on this topic, the most commonly encountered parameters of classification concern the semantic type of the denotation of the noun ...
openaire +3 more sources
Diversity and complexity in neural organoids
FEBS Letters, EarlyView.Neural organoid research aims to expand genetic diversity on one side and increase tissue complexity on the other. Chimeroids integrate multiple donor genomes within single organoids. Self‐organising multi‐identity organoids, exogenous cell seeding, or enforced assembly of region‐specific organoids contribute to tissue complexity.
Ilaria Chiaradia, Madeline A. Lancaster
wiley +1 more source
Acupuncture: Specific and Non-Specific Effects [PDF]
Forschende Komplementärmedizin / Research in Complementary Medicine, 2008 As an alternative and complement to conventional or allopathic medicine, acupuncture has become a firmly established therapy in many countries. Despite this wide acceptance, the question of how acupuncture works, or whether it works at all, remains the subject of lively debate. One problem in the discussion of acupuncture and its possible mechanisms is
openaire +2 more sources
Automotive system design with specification and verification of uncertainties
, 2022 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
FEBS Letters, EarlyView.Septin 9 polybasic domains couple phosphoinositide‐rich membrane binding to centrosome positioning, Golgi organization, and microtubule acetylation to control epithelial polarity. Their loss disrupts this axis, causing centrosome mispositioning, Golgi fragmentation, reduced microtubule acetylation, and polarity inversion via upregulation of the ...
Ting ting Cai +4 more
wiley +1 more source
On the Model Checking Problem for Some Extension of CTL*
Моделирование и анализ информационных систем, 2020 Sequential reactive systems include programs and devices that work with two streams of data and convert input streams of data into output streams. Such information processing systems include controllers, device drivers, computer interpreters.
Anton Romanovich Gnatenko +1 more
doaj +1 more source
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
Towards the ’Verified Verifier’. Theory and Practice
Моделирование и анализ информационных систем, 2014 As opposed to traditional testing, the deductive verification represents a formal way to examine the program correctness. But what about the correctness of the verification system itself?
D. A. Kondratyev, A. V. Promsky
doaj +1 more source
From Conceptual Specification to OO Specification
, 2023 Our earlier work showed how to improve the development path for an information system from initial user wishes via a conceptual specification (CS) to an implementation design in a systematic way. A CS should be implementation-independent. We generated implementations in a few directions, e.g., towards a relational DBMS using SQL. An object-oriented (OO)
Bert de Brock, Rein Smedinga
openaire +2 more sources