Results 71 to 80 of about 29,886 (270)

Computation with Advice [PDF]

Electronic Proceedings in Theoretical Computer Science, 2010
Computation with advice is suggested as generalization of both computation with discrete advice and Type-2 Nondeterminism. Several embodiments of the generic concept are discussed, and the close connection to Weihrauch reducibility is pointed out.
Vasco Brattka, Arno Pauly
doaj   +1 more source

A methionine‐lined active site governs carbocation stabilization and product specificity in a bacterial terpene synthase

FEBS Letters, EarlyView.
This study reveals a unique active site enriched in methionine residues and demonstrates that these residues play a critical role by stabilizing carbocation intermediates through novel sulfur–cation interactions. Structure‐guided mutagenesis further revealed variants with significantly altered product profiles, enhancing pseudopterosin formation. These
Marion Ringel, Carl P. O. Helmer, Shani Zev, Ronja Driller, Emily Buhr, Markus Reinbold, Renana Schwartz, Gabriel Foley, Mikael Boden, Daniel Garbe, Gerhard Schenk, Dan Thomas Major, Bernhard Loll, Thomas Brück   +13 more
wiley   +1 more source

A logical basis for constructive systems

, 2011
The work is devoted to Computability Logic (CoL) -- the philosophical/mathematical platform and long-term project for redeveloping classical logic after replacing truth} by computability in its underlying semantics (see http://www.cis.upenn.edu/~giorgi ...
Japaridze, Giorgi
core   +1 more source

Uniwersalność systemów funkcyjnych a całkowitość dziedzin funkcji – granice konfliktu i wzajemnego wpływu

Zagadnienia Filozoficzne w Nauce, 2017
The article presents several examples of different mathematical structures and interprets their properties related to the existence of universal functions.
Jerzy Mycka
doaj  

SEIR‐driven semantic integration framework: Internet of Things‐enhanced epidemiological surveillance in COVID‐19 outbreaks using recurrent neural networks

IET Cyber-Physical Systems
With the current COVID‐19 pandemic, sophisticated epidemiological surveillance systems are more important than ever because conventional approaches have not been able to handle the scope and complexity of this global emergency.
Saket Sarin, Sunil K. Singh, Sudhakar Kumar, Shivam Goyal, Brij B. Gupta, Varsha Arya, Kwok Tai Chui   +6 more
doaj   +1 more source

Aggressive prostate cancer is associated with pericyte dysfunction

Molecular Oncology, EarlyView.
Tumor‐produced TGF‐β drives pericyte dysfunction in prostate cancer. This dysfunction is characterized by downregulation of some canonical pericyte markers (i.e., DES, CSPG4, and ACTA2) while maintaining the expression of others (i.e., PDGFRB, NOTCH3, and RGS5).
Anabel Martinez‐Romero, Ane Martinez‐Larrinaga, Joaquim Grego‐Bessa, Saioa Garcia‐Longarte, Hielke van Splunder, Ianire Astobiza, Amaia Ercilla, Laura Bozal‐Basterra, Isabel Mendizabal, Pilar Villacampa, Arkaitz Carracedo, Mariona Graupera   +11 more
wiley   +1 more source

A Primer on the Tools and Concepts of Computable Economics [PDF]

, 2004
Computability theory came into being as a result of Hilbert's attempts to meet Brouwer's challenges, from an intuitionistc and constructive standpoint, to formalism as a foundation for mathematical practice.
Velupillai, K. Vela
core   +1 more source

Plasma extrachromosomal circular DNA as a biomarker in EGFR‐targeted therapy of non‐small cell lung cancer

Molecular Oncology, EarlyView.
Detection of extrachromosomal circular DNA (eccDNA) in plasma samples from EGFR‐mutated non‐small cell lung cancer patients. Plasma was collected before and during treatment with the EGFR‐tyrosine kinase inhibitor osimertinib. Plasma eccDNA was detected in all cancer samples, and the presence of the EGFR gene on eccDNA serves as a potential biomarker ...
Simone Stensgaard, Sarmad Mehmood, Eva Boysen Fynboe Ebert, Peter Meldgaard, Anindya Dutta, Boe S. Sorensen   +5 more
wiley   +1 more source

HİLBERT’İN BİÇİMSELLEŞTİRME PROGRAMININ FELSEFESİ

Felsefe Dünyası, 2014
Bu yazıda, Hilbert’in biçimselleştirme programına kadar giden matematikfelsefesindeki önemli krizlerden bahsedilmiştir. Hilbert’in programınıngerçekleşemeyeceğini gösteren Gödel’in eksiklik teoremi gibi programınsonuçları ve nedenleri tartışılmıştır ...
Ahmet Çevik
doaj  

A Complete Theory of Everything (Will Be Subjective)

Algorithms, 2010
Increasingly encompassing models have been suggested for our world. Theories range from generally accepted to increasingly speculative to apparently bogus.
Marcus Hutter
doaj   +1 more source