Results 51 to 60 of about 373,352 (287)

Quantum counter automata

, 2011
The question of whether quantum real-time one-counter automata (rtQ1CAs) can outperform their probabilistic counterparts has been open for more than a decade. We provide an affirmative answer to this question, by demonstrating a non-context-free language
A. C. CEM SAY, ABUZER YAKARYILMAZ, Kaneps Jānis, Nakanishi Masaki, Nielsen Michael A., Rabin Michael O., Yakaryılmaz Abuzer, Yakaryılmaz Abuzer, Yakaryılmaz Abuzer   +8 more
core   +1 more source

Tryptophan metabolite atlas uncovers organ, age, and sex‐specific variations

FEBS Open Bio, EarlyView.
Tryptophan metabolites were analyzed across twelve organs, the central nervous system, and serum in male and female mice at three life stages. We found tissue‐, sex‐, and age‐specific differences, including increased indole‐3‐pyruvate and kynurenine in aging males.
Lizbeth Perez‐Castro, Afshan F. Nawas, Jessica A. Kilgore, Pedro A. S. Nogueira, M.Carmen Lafita‐Navarro, Paul H. Acosta, Roy Garcia, Noelle S. Williams, Maralice Conacci‐Sorrell   +8 more
wiley   +1 more source

Stormgen - A Domain specific Language to create ad-hoc Storm Topologies

Conference on Computer Science and Information Systems, 2014
Large-scale distributed data processing has gained significant momentum in research in the past decade. With the introduction of MapReduce, many frameworks have been developed that either implement MapReduce or provide additional functionalities useful ...
K. Chandrasekaran, Siddharth Santurkar, Abhishek Arora   +2 more
semanticscholar   +1 more source

Semantics of a Typed Algebraic Lambda-Calculus

, 2010
Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space.
Andrzej Filinski, André van Tonder, Benjamin C. Pierce, Benoît Valiron, Elham Kashefi, Eugenio Moggi, Fr'ed'eric Blanqui, Franco Barbanera, Gordon D. Plotkin, Gregory M. Kelly, Henk P. Barendregt, Jean-Yves Girard, Joachim Lambek, Lionel Vaux, Pablo Arrighi, Pablo Arrighi, Peter Selinger, Prakash Panangaden, S. Barry Cooper, Thomas Ehrhard, Val Breazu-Tannen   +20 more
core   +2 more sources

Production of antibacterial compounds by a Steely hybrid polyketide synthase in Dictyostelium

FEBS Open Bio, EarlyView.
By selecting appropriate production species under optimised culture conditions, new chlorinated dibenzofuran compounds, which previously could not be analysed in sufficient quantities, were identified from cellular slime mould fruiting bodies. The strong antibacterial activity exhibited by these compounds suggests a link to the ecological function of ...
Tomoaki R. Yamashita, Toyonobu Usuki, Robert R. Kay, Tamao Saito   +3 more
wiley   +1 more source

Computer Science Technology:Tutor, Tool and to Explore Language Teaching [PDF]

International Journal of Computer Engineering in Research Trends, 2016
Computer Technology is now being used in all facets of Teaching in English language classroom. It gives wide range of scope for discussions on usage of Computer Technology in Language class room. The application of Technology on Language study raises questions like what role should these technology plays in Teaching and Learning.
Sherry Turkle, S. Venkateswarlu, G. Mohana Charyulu, Atkinson   +3 more
openaire   +1 more source

Exam‐level analysis of lecture capture viewing and student exam performance

FEBS Open Bio, EarlyView.
This study asks how lecture capture relates to exam performance in biology courses with three noncumulative exams. Mixed‐effects modeling separated between‐students from within‐student effects on exam %. Students who watched more recordings earned higher grades, but viewing spikes above a student's own mean, consistent with cramming, predicted small ...
Kirk Hillsley
wiley   +1 more source

Diabetes‐induced vascular calcification is associated with low pyrophosphate and its oral supplementation prevents calcification in diabetic mice

FEBS Open Bio, EarlyView.
Induction of diabetes in three different mouse strains uniformly resulted in an increase in TNAP activity and a reduction in pyrophosphate (PPi) in the circulation. Inhibition of TNAP restored plasma PPi. Diabetes‐induced calcification in the media layer of the aorta was detected only in the Abcc6−/− strain, which is predisposed to ectopic ...
Krisztina Fülöp, Eszter Kozák, Natália Tőkési, Lilian Kocsis, Anikó Kelemen, Zsuzsanna Geszti, Adriána Kutás, Mariann Harangi, Ágnes Diószegi, Zsolt Rapi, József Balla, Olivier Le Saux, András Váradi, Viola Pomozi   +13 more
wiley   +1 more source

Long‐Term Temporal Profile of Motor Recovery After Intracerebral Hemorrhage

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Limited data is available to describe the temporal profile of long‐term recovery over 1 year after the stroke in patients with spontaneous intracerebral hemorrhage (ICH). Methods A registered multicentral cohort was conducted to consecutively include non‐herniated supratentorial ICH patients from November 2013 to January 2023 ...
Yan Zheng, Fu‐Xin Lin, Ling‐Yun Zhuo, Jian‐Cai Chen, Xin Ge, Xiang‐Lin Chen, Xue‐Jiao Wang, Zhi‐Gang Yao, You‐Liang Tong, Bo Xie, Bai‐Hai Guo, Zhao‐Sheng Sun, Zhi‐Hua Tian, Ping Qiu, Xin‐Ru Lin, Qiu He, Shu‐Na Huang, Ke Ma, Fang‐Yu Wang, Huang‐Cheng Shang‐Guan, Wen‐Hua Fang, Deng‐Liang Wang, Ying Fu, Yuan‐Xiang Lin, De‐Zhi Kang   +24 more
wiley   +1 more source

Automated Trading System [PDF]

This is a final report which is part of the dissertation for the Master course Computation Finance. The title of this dissertation is “Automated Trading System”.
Le, Duc
core   +2 more sources