Results 11 to 20 of about 29,700 (267)

Functional Automata - Formal Languages for Computer Science Students [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
An introductory formal languages course exposes advanced undergraduate and early graduate students to automata theory, grammars, constructive proofs, computability, and decidability. Programming students find these topics to be challenging or, in many cases, overwhelming and on the fringe of Computer Science.
Marco T. Morazán, Rosario Antunez
openaire   +3 more sources

Symbolic computation of differential equivalences

ACM-SIGACT Symposium on Principles of Programming Languages, 2016
Ordinary differential equations (ODEs) are widespread in many natural sciences including chemistry, ecology, and systems biology, and in disciplines such as control theory and electrical engineering.
L. Cardelli, M. Tribastone, Max Tschaikowski, Andrea Vandin   +3 more
semanticscholar   +1 more source

A game engine to learn computer science languages

2014 IEEE Frontiers in Education Conference (FIE) Proceedings, 2014
There is an increasing interest in providing Computer Science (CS) instruction to a wider sector of the population. On the one hand, it would be convenient to include CS instruction in higher education beyond engineering disciplines, since CS has become a powerful catalyzer for development of society, and therefore the need for a workforce with solid ...
Torrente, Javier, Serrano Laguna, Ángel, Manero Iglesias, José Borja, Fernández Manjón, Baltasar   +3 more
openaire   +3 more sources

Data science as a language: challenges for computer science—a position paper [PDF]

International Journal of Data Science and Analytics, 2018
In this paper, I posit that from a research point of view, Data Science is a language. More precisely Data Science is doing Science using computer science as a language for datafied sciences; much as mathematics is the language of, e.g., physics. From this viewpoint, three (classes) of challenges for computer science are identified; complementing the ...
openaire   +2 more sources

Causal loops: Logically consistent correlations, time travel, and computation

Ausgezeichnete Informatikdissertationen, 2019
Causal loops are loops in cause-effect relations, where, say for two events A, B, the event A is a cause of B and, vice versa, B is a cause of A. Such loops are traditionally ruled out due to potential logical problems, e.
Ämin Baumeler
semanticscholar   +1 more source

Microbial exopolysaccharide production by polyextremophiles in the adaptation to multiple extremes

FEBS Letters, EarlyView.
Polyextremophiles are microorganisms that endure multiple extreme conditions by various adaptation strategies that also include the production of exopolysaccharides (EPSs). This review provides an integrated perspective on EPS biosynthesis, function, and regulation in these organisms, emphasizing their critical role in survival and highlighting their ...
Tracey M Gloster, Ebru Toksoy Öner
wiley   +1 more source

Cell‐free DNA aneuploidy score as a dynamic early response marker in prostate cancer

Molecular Oncology, EarlyView.
mFast‐SeqS‐based genome‐wide aneuploidy scores are concordant with aneuploidy scores obtained by whole genome sequencing from tumor tissue and can predict response to ARSI treatment at baseline and, at an early time point, to ARSI and taxanes. This assay can be easily performed at low cost and requires little input of cfDNA. Cell‐free circulating tumor
Khrystany T. Isebia, Anouk C. de Jong, Lisanne F. van Dessel, Vanja de Weerd, Corine Beaufort, Jean Helmijr, José Alberto Nakauma‐González, Job van Riet, Paul Hamberg, Daniel Vis, Michiel S. van der Heijden, Nick Beije, Martijn P. Lolkema, Teoman Deger, Saskia M. Wilting, Ronald de Wit, Maurice P. H. M. Jansen, John W. M. Martens   +17 more
wiley   +1 more source

Comparing self‐reported race and genetic ancestry for identifying potential differentially methylated sites in endometrial cancer: insights from African ancestry proportions using machine learning models

Molecular Oncology, EarlyView.
Integrating ancestry, differential methylation analysis, and machine learning, we identified robust epigenetic signature genes (ESGs) and Core‐ESGs in Black and White women with endometrial cancer. Core‐ESGs (namely APOBEC1 and PLEKHG5) methylation levels were significantly associated with survival, with tumors from high African ancestry (THA) showing ...
Huma Asif, J. Julie Kim
wiley   +1 more source

A large‐scale retrospective study in metastatic breast cancer patients using circulating tumour DNA and machine learning to predict treatment outcome and progression‐free survival

Molecular Oncology, EarlyView.
There is an unmet need in metastatic breast cancer patients to monitor therapy response in real time. In this study, we show how a noninvasive and affordable strategy based on sequencing of plasma samples with longitudinal tracking of tumour fraction paired with a statistical model provides valuable information on treatment response in advance of the ...
Emma J. Beddowes, Mario Ortega Duran, Solon Karapanagiotis, Alistair Martin, Meiling Gao, Riccardo Masina, Ramona Woitek, James Tanner, Fleur Tippin, Justine Kane, Jonathan Lay, Anja Brouwer, Stephen‐John Sammut, Suet‐Feung Chin, Davina Gale, Dana W. Y. Tsui, Sarah‐Jane Dawson, Nitzan Rosenfeld, Maurizio Callari, Oscar M. Rueda, Carlos Caldas   +20 more
wiley   +1 more source

Chemoresistome mapping in individual breast cancer patients unravels diversity in dynamic transcriptional adaptation

Molecular Oncology, EarlyView.
This study used longitudinal transcriptomics and gene‐pattern classification to uncover patient‐specific mechanisms of chemotherapy resistance in breast cancer. Findings reveal preexisting drug‐tolerant states in primary tumors and diverse gene rewiring patterns across patients, converging on a few dysregulated functional modules. Despite receiving the
Maya Dadiani, Gilgi Friedlander, Gili Perry, Nora Balint‐Lahat, Shlomit Gilad, Dana Morzaev‐Sulzbach, Anjana Shenoy, Noa Bossel Ben‐Moshe, Anya Pavlovsky, Rinat Bernstein‐Molho, Eytan Domany, Iris Barshack, Tamar Geiger, Bella Kaufman, Einav Nili Gal‐Yam   +14 more
wiley   +1 more source