Results 111 to 120 of about 590,012 (309)

Osmanlı Müfessirlerinden Şihabuddin es-Sivasi 860-1455 ve Tesiri

Dini Araştırmalar, 2015
Şihabuddin es-Sivasi is an interpreter of Anatolian. He lived in Sivas . and Ayasluğ (known as Selçuk) during the autonomy of the states in Anatolia and in the establishment of the Ottoman Empire. He is one of the rationalistic interpreters of that time.
Bahattin Dartma
doaj  

A Semantic Approximation Technique for Automated Detection of Illicit Information Flows in Web-Based Systems

IEEE Access
Security in software systems ultimately seeks to safeguard the confidentiality, integrity, and availability of information. Of these, ensuring confidentiality is extremely difficult as sensitive information can leak due to unauthorized information flows ...
Anwesha Kashyap, Angshuman Jana
doaj   +1 more source

Stimulator of interferon genes agonist augmented antitumor immunity of osimertinib in Egfr‐mutated lung cancer

Molecular Oncology, EarlyView.
Combining osimertinib with the STING agonist ADU‐S100 activates innate and adaptive immunity to overcome the non‐inflamed microenvironment of Egfr‐mutant lung cancer. This combination increases NK and CD8+ T‐cell infiltration, associated with activation of the STING‐IRF3 pathway and local immunogenic cell death.
Jun Nishimura, Tadahiro Kuribayashi, Johannes Brägelmann, Sachi Okawa, Masataka Taoka, Shunta Mori, Tomoka Nishimura, Takaaki Tanaka, Go Makimoto, Kiichiro Ninomiya, Kammei Rai, Eiki Ichihara, Ryohei Katayama, Katsuyuki Hotta, Masahiro Tabata, Yosuke Togashi, Yoshinobu Maeda, Martin L. Sos, Katsuyuki Kiura, Kadoaki Ohashi   +19 more
wiley   +1 more source

Abstraction carrying code and resource-awareness

, 2005
Proof-Carrying Code (PCC) is a general approach to mobile code safety in which the code supplier augments the program with a certifícate (or proof). The intended benefit is that the program consumer can locally validate the certifícate w.r.t.
Albert Albiol, Elvira, Hermenegildo, Manuel V., López García, Pedro, Puebla Sánchez, Alvaro Germán   +3 more
core  

Art – experience – analysis. On certain aspects of Michael Brötje’s theory

Sacrum et Decorum, 2010
The oeuvre of Michael Brötje, the creator of a new existential-hermeneutic research perspective in art history, includes numerous analyses of old art employing traditional religious iconography.
Mariusz Bryl
doaj  

Tumor B‐cell infiltration in platinum‐treated advanced muscle‐invasive urothelial carcinoma

Molecular Oncology, EarlyView.
Bladder tumors with higher pretreatment memory B‐cell infiltration were linked to longer survival after cisplatin chemotherapy, but not carboplatin. These tumors also showed more organized immune structures (tertiary lymphoid structures) and a shared pro‐inflammatory B‐cell‐rich community, suggesting that memory B cells may help identify patients most ...
Konrad Stawiski, Júlia Perera‐Bel, Alejo Rodriguez‐Vida, Nuria Juanpere, Jihyun Lee, Daniel E. Michaud, Jennifer L. Guerriero, Kent W. Mouw, Aristotelis Bamias, Filipe L. F. Carvalho, Joaquim Bellmunt   +10 more
wiley   +1 more source

Abstract Interpretation-Based Feature Importance for Support Vector Machines [PDF]

We study how a symbolic representation for support vector machines (SVMs) specified by means of abstract interpretation can be exploited for: (1) enhancing the interpretability of SVMs through a novel feature importance measure, called abstract feature ...
Urban C., Pal A., Ranzato F., Zanella M.
core   +1 more source

Liquid biopsy‐based diagnostic evaluation of hypermethylated CpG sites for ovarian cancer diagnosis

Molecular Oncology, EarlyView.
This schematic outlines the workflow from biomarker identification to duplex MethyLight assay validation for epithelial ovarian cancer diagnosis using cfDNA‐based liquid biopsy. Initial screening of hypermethylated CpG candidates (cg02957270, cg10061138 cg00480298, COL2A1) was performed in tissue using ARMS‐PCR, COBRA, qPCR and image analysis. Selected
Deepa Bisht, Sameer Gupta, Amrita Chaurasia, Manisha Sachan   +3 more
wiley   +1 more source

Timing Analysis of Parallel Software Using Abstract Execution

, 2014
A major trend in computer architecture is multi-core processors. To fully exploit this type of parallel processor chip, programs running on it will have to be parallel as well.
Gustavsson, Andreas,, Lisper, Björn,, Gustafsson, Jan,   +2 more
core   +2 more sources

LOGICS, INTERPRETATIONS AND INFORMAL RIGOR [PDF]

Kriterion
The development of non-classical logics brought to light the question of their philosophical interpretation. Given a non-classical logic L, what is the informal/philosophical interpretation of its vocabulary? We find in the literature arguments defending
Edson Bezerra
doaj   +1 more source