Results 61 to 70 of about 45,469 (261)
Circuit architecture derivation starting from a formal requirements specification considering a DDS as example [PDF]
Advances in Radio Science, 2004 Based on a formal specification of a direct digital synthesis (DDS) and assuming the availability of a set of possible circuit architectures we derive a customised system configuration.
H. Garbe, R. Richter, H.-J. Jentschel
doaj
Die Zukunft der Derivation oder: Derivation 2.0
Linguistik Online, 2016 Traditionally, contemporary German is considered to be rich in affixes which is displayed by a wide range of e. g. nominal suffixes (such as -ung, -heit, -nis, -tum, -sal).
Nanna Fuhrhop, Martina Werner
doaj +1 more source
On some innovations in teaching the formal semantics using software tools
Open Computer Science, 2020 In this work we discuss the motivation for innovations and need of a teaching tool for the visualization of the natural semantics method of imperative programming languages. We present the rôle of the teaching software, its design, development and use in
Steingartner William
doaj +1 more source
Molecular Oncology, EarlyView.The proposed mechanism of action for the CDK12/13 inhibitor and cyclin K degrader, CT7439. CDK12/13 inhibition interrupts transcription elongation, leading to increased DNA damage that results in cell death. This agent is a potentially novel treatment option for patients with colorectal cancer. Created in BioRender. Cyclin‐dependent kinase (CDK) 12 and
Wylie K. Watlington +10 more
wiley +1 more source
About the Performance of SQLf Evaluation Mechanisms
CLEI Electronic Journal, 2006 In order to make more flexible database access the query language SQLf has been previously proposed. One of the SQLf features is the use of Fuzzy Quantifiers in Having Clause.
Yosmar López, Leonid Tineo
doaj +1 more source
On the Formal Specification and Derivation of Relational Database Applications
Electronic Notes in Theoretical Computer Science, 1998 AbstractThe development of database applications is usually carried out informally. The derivation of database programs directly from formal specifications is a well known and unsolved problem. Most of the previous work on the area either tried to solve the problem too generally or was restricted to some trivial aspects, for example deriving the ...
Souto, Roberto, de Barros, Maior
openaire +2 more sources
Pharmacological chromatin remodeling enhances response to estrogen therapy in ER+ breast cancer
Molecular Oncology, EarlyView.Estrogen therapy elicits clinical benefit in ~ 30% of patients with endocrine‐resistant estrogen receptor (ER)‐positive breast cancer. Based on findings that ER transcriptional activation underlies response to estrogen therapy, we tested the effects of epigenetic dysregulation via pharmacological inhibition of histone deacetylases (HDACi).
Anneka L. Johnson Thomas +16 more
wiley +1 more source
Molecular Oncology, EarlyView.Tumour heterogeneity and clonal evolution of metastatic salivary gland cancer were evaluated in two patients with adenoid carcinoma and one patient with myoepithelial carcinoma. Radiology‐guided autopsy enabled multi‐region sampling (total samples n = 149), followed by whole‐genome sequencing and phylogenetic reconstruction (17 tumour samples, 4–7 per ...
Gerben Lassche +10 more
wiley +1 more source
OPPOSITIONAL REPRESENTATION OF DERIVATIONAL RELATIONS: A METALANGUAGE POTENTIAL
Вестник Волгоградского государственного университета: Серия 2. Языкознание, 2017 The theoretical problem of language meta-description is considered with the support of oppositionality concept – an important feature of language system-forming relations.
Aleksandr A. Barkovich
doaj +1 more source
Molecular Oncology, EarlyView.This study integrates publicly available transcriptomic datasets to identify molecular signatures associated with response to neoadjuvant chemoradiotherapy in locally advanced rectal cancer. By analyzing a combination of multiple cohorts with bioinformatics approaches, we reveal biological pathways and immune‐related features that may improve ...
Aleksandra Stanojevic +10 more
wiley +1 more source