• Search: "Programming Languages"

Showing 181 - 200 of 155,193

181

Programming with union, intersection, and negation types
Castagna, Giuseppe ; Centre National de la Recherche Scientifique (CNRS) ; Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) ; et al.
Bertrand Meyer. The French School of Programming. :309-378

Type-theory Subtyping Union types Intersection types Negation types Polymorphism …
Book
Save to List
182

Differential expression analysis with inmoose, the integrated multi-omic open-source environment in Python.
Colange M ; Appé G ; Meunier L ; et al.
Publisher: BioMed Central Country of Publication: England NLM ID: 100965194 Publication Model: Electronic Cited Medium: Internet ISSN: 1471-2105 (Electronic) Linking ISSN: 14712105 NLM ISO Abbreviation: BMC Bioinformatics Subsets: MEDLINE

Programming Languages Multiomics Software Gene Expression Profilin... Computational Biology me... Transcriptome
Academic journal
Save to List
183

Pytrf: a python package for finding tandem repeats from genomic sequences.
Du L ; Sun D ; Chen J ; et al.
Publisher: BioMed Central Country of Publication: England NLM ID: 100965194 Publication Model: Electronic Cited Medium: Internet ISSN: 1471-2105 (Electronic) Linking ISSN: 14712105 NLM ISO Abbreviation: BMC Bioinformatics Subsets: MEDLINE

Programming Languages Humans Computational Biology me... Software Tandem Repeat Sequences Genomics methods …
Academic journal
Save to List
184

NGPINT V3: a containerized orchestration Python software for discovery of next-generation protein-protein interactions.
Smith SD ; Velásquez-Zapata V ; Wise RP
Publisher: Oxford University Press Country of Publication: England NLM ID: 9808944 Publication Model: Print Cited Medium: Internet ISSN: 1367-4811 (Electronic) Linking ISSN: 13674803 NLM ISO Abbreviation: Bioinformatics Subsets: MEDLINE

Two-Hybrid System Techni... Computational Biology me... Programming Languages Software Protein Interaction Mapp... High-Throughput Nucleoti...
Academic journal
Save to List
185

Energy-Efficient AI for Medical Diagnostics: Performance and Sustainability Analysis of ResNet and MobileNet.
Rehman ZU ; Hassan U ; Islam SU ; et al.
Publisher: IOS Press Country of Publication: Netherlands NLM ID: 9214582 Publication Model: Print Cited Medium: Internet ISSN: 1879-8365 (Electronic) Linking ISSN: 09269630 NLM ISO Abbreviation: Stud Health Technol Inform Subsets: MEDLINE

Models, Theoretical Programming Languages Thoracic Diseases diagno... Humans Artificial Intelligence Diagnosis, Computer-Assi... …
Academic journal
Save to List
186

Inferring cellular and molecular processes in single-cell data with non-negative matrix factorization using Python, R and GenePattern Notebook implementations of CoGAPS.
Johnson JAI ; Tsang AP ; Mitchell JT ; et al.
Publisher: Nature Pub. Group Country of Publication: England NLM ID: 101284307 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1750-2799 (Electronic) Linking ISSN: 17502799 NLM ISO Abbreviation: Nat Protoc Subsets: MEDLINE

Bayes Theorem Single-Cell Analysis Algorithms Programming Languages
Academic journal
Save to List
187

A Computational Software for Training Robust Drug-Target Affinity Prediction Models: pydebiaseddta.
Barsbey M ; ÖZçelİk R ; Bağ A ; et al.
Publisher: Mary Ann Liebert, Inc Country of Publication: United States NLM ID: 9433358 Publication Model: Print Cited Medium: Internet ISSN: 1557-8666 (Electronic) Linking ISSN: 10665277 NLM ISO Abbreviation: J Comput Biol Subsets: MEDLINE

Proteins Drug Discovery Software Programming Languages
Academic journal
Save to List
188

An automated model annotation system (AMAS) for SBML models.
Shin W ; Gennari JH ; Hellerstein JL ; et al.
Publisher: Oxford University Press Country of Publication: England NLM ID: 9808944 Publication Model: Print Cited Medium: Internet ISSN: 1367-4811 (Electronic) Linking ISSN: 13674803 NLM ISO Abbreviation: Bioinformatics Subsets: MEDLINE

Software Models, Biological Language Systems Biology Programming Languages
Academic journal
Save to List
189

deltaXpress (ΔXpress): a tool for mapping differentially correlated genes using single-cell qPCR data.
Murillo Carrasco AG ; Furuya TK ; Uno M ; et al.
Publisher: BioMed Central Country of Publication: England NLM ID: 100965194 Publication Model: Electronic Cited Medium: Internet ISSN: 1471-2105 (Electronic) Linking ISSN: 14712105 NLM ISO Abbreviation: BMC Bioinformatics Subsets: MEDLINE

Genes, Essential Gene Expression Profilin... Programming Languages
Academic journal
Save to List
190

General, open-source vertex modeling in biological applications using Tissue Forge.
Sego TJ ; Comlekoglu T ; Peirce SM ; et al.
Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101563288 Publication Model: Electronic Cited Medium: Internet ISSN: 2045-2322 (Electronic) Linking ISSN: 20452322 NLM ISO Abbreviation: Sci Rep Subsets: MEDLINE

Reproducibility of Resul... Computer Simulation Epithelium Models, Biological Software Programming Languages
Academic journal
Save to List
191

Inglämnlagare: a tool for restructuring Swedish HER record site data for statistical analysis.
Löwenborg D ; Antomonov F
Publisher: F1000 Research Ltd Country of Publication: England NLM ID: 101594320 Publication Model: eCollection Cited Medium: Internet ISSN: 2046-1402 (Electronic) Linking ISSN: 20461402 NLM ISO Abbreviation: F1000Res Subsets: MEDLINE

Sweden Research Design Databases, Factual Software Programming Languages
Academic journal
Save to List
192

Computational theories should be made with natural language instead of meaningless code.
DeScioli P
Publisher: Cambridge Univ. Press Country of Publication: England NLM ID: 7808666 Publication Model: Electronic Cited Medium: Internet ISSN: 1469-1825 (Electronic) Linking ISSN: 0140525X NLM ISO Abbreviation: Behav Brain Sci Subsets: MEDLINE

Language Programming Languages
Academic journal
Save to List
193

Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies.
Hagedorn, Bastian ; Lenfers, Johannes ; Koehler, Thomas ; et al.
Communications of the ACM. Mar2023, Vol. 66 Issue 3, p89-97. 9p. 5 Diagrams, 2 Graphs.

PROGRAMMING languages COMPUTER programming ELECTRONIC data processi... COMPUTER software develo... OPL (Computer program la... DOMAIN-specific programm...
Journal
Save to List
194

Implementing Set-Theoretic Types
Laurent, Mickaël ; Nguyen, Kim ; Univerzita Karlova [Praha, Česká republika] = Charles University [Prague, Czech Republic] (UK) ; et al.

CCS Concepts: Theory of... semantic subtyping tallying implementation CCS Concepts Theory of computation →... …
Electronic Resource
Save to List
195

A Domain-Theoretic Framework for Composing Effectful Programs and Their Equations
Nowak, David ; Rusu, Vlad ; Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL) ; et al.

2012 ACM Subject Classif... LIPIcs.CVIT.2016.23 2012 ACM Subject Classif... Domain Theory Monad Program Equivalence Digi... …
Electronic Resource
Save to List
196

A Lazy, Concurrent Convertibility Checker
Courant, Nathanaëlle ; Leroy, Xavier ; OCamlPro SAS ; et al.

[INFO.INFO-PL]Computer S... Programming Languages [c... [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Electronic Resource
Save to List
197

HpC: A Calculus for Hybrid and Mobile Systems
HpC: A Calculus for Hybrid and Mobile Systems: Full Version
Xu, Xiong ; Talpin, Jean-Pierre ; Wang, Shuling ; et al.
Proceedings of the ACM on Programming Languages, In press, Object-Oriented Programming, Systems, Languages and Applications (SPLASH/OOPSLA), ⟨10.48550/arXiv.2501.09430⟩

Theory of computation Process calculi Timed and hybrid models Algebraic language theor... Operational semantics Hybrid Systems …
Journal
Save to List
198

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
Bayarmagnai, Erdenebayar ; Mohammadi, Fatemeh ; Prébet, Rémi ; et al.

[INFO.INFO-PL]Computer S... Programming Languages [c... [INFO.INFO-SC]Computer S... Symbolic Computation [cs... [MATH.MATH-AG]Mathematic... Algebraic Geometry [math...
Electronic Resource
Save to List
199

Differences in Students' Computational Thinking Activities when Designing an Algorithm for Drawing Plane Figures: Differences in students' Computational Thinking Activities when Designing an Algorithm for Drawing Plane Figures: C. Büscher.
Büscher, Carina
International Journal of Science & Mathematics Education. Feb2025, Vol. 23 Issue 2, p365-386. 22p.

Curriculum Sixth grade (Education) Algorithms Visual programming langu... Plane geometry
Academic journal
Save to List
200

Using Machine Translation as a Self-Directed Language Learning Tool for Low-Proficiency LCTL Learners in a Tandem Partnership.
Türkel, Tuba ; Brogaard, Christian
CALICO Journal. 2025, Vol. 42 Issue 1, p143-164. 22p.

Self-managed learning (P... Motivation (Psychology) Literacy Machine translating Programming languages
Academic journal
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter