Logic, programming, and type systems — Research Topic | NobleBlocks | NobleBlocks

Logic, programming, and type systems

Top publications in Logic, programming, and type systems across the NobleBlocks index. Open any paper for its abstract, citations, and AI-generated take.

Indexed papers

713

Total citations

5.0K

Latest paper

2025

Papers per year (last 16 years) — click a bar to see papers from that year

20102025

Top papers

Adaptation in Natural and Artificial Systems

John H. Holland

1992· The MIT Press eBooks35.5K

Particle mesh Ewald: An <i>N</i>⋅log(<i>N</i>) method for Ewald sums in large systems

Tom Darden, Darrin York, Lee Pedersen

1993· The Journal of Chemical Physics29.1K

Reporting physisorption data for gas/solid systems with special reference to the determination of surface area and porosity (Recommendations 1984)

1985· Pure and Applied Chemistry23.8K

Advances in neural information processing systems 7

Krzysztof J. Cios, Mark E. Shields

1997· Neurocomputing22.3K

Self-interaction correction to density-functional approximations for many-electron systems

J. P. Perdew, Alex Zunger

1981· Physical Review B19.4K

Fuzzy identification of systems and its applications to modeling and control

Tomohiro Takagi, Michio Sugeno

1985· IEEE Transactions on Systems Man and Cybernetics19.3K

Resilience and Stability of Ecological Systems

Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields

John Guckenheimer, Philip Holmes

1983· Applied mathematical sciences16.0K

Note on an Approximation Treatment for Many-Electron Systems

CHR. KN. MØLLER, M. S. Plesset

1934· Physical Review14.5K

Neural networks and physical systems with emergent collective computational abilities.

1982· Proceedings of the National Academy of Sciences14.4K

Multiplex Genome Engineering Using CRISPR/Cas Systems

Le Cong, F. Ann Ran, David Cox, Shuailiang Lin +7 more

2013· Science14.0K

Iterative Methods for Sparse Linear Systems

2003· Society for Industrial and Applied Mathematics eBooks13.6K

Metascape provides a biologist-oriented resource for the analysis of systems-level datasets

Yingyao Zhou, Bin Zhou, Lars Pache, Max Chang +4 more

2019· Nature Communications12.0K

LIII. <i>On lines and planes of closest fit to systems of points in space</i>

1901· The London Edinburgh and Dublin Philosophical Magazine and Journal of Science11.5K

Matrix Factorization Techniques for Recommender Systems

Yehuda Koren, Robert Bell, Chris Volinsky

2009· Computer11.5K

Complex brain networks: graph theoretical analysis of structural and functional systems.

Ed Bullmore, Olaf Sporns

2009· Nature reviews. Neuroscience11.5K

The DeLone and McLean Model of Information Systems Success: A Ten-Year Update

William DeLone, Ephraim R. McLean

2003· Journal of Management Information Systems11.2K

GMRES: A Generalized Minimal Residual Algorithm for Solving Nonsymmetric Linear Systems

Yousef Saad, Martin H. Schultz

1986· SIAM Journal on Scientific and Statistical Computing11.0K

Information Systems Success: The Quest for the Dependent Variable

William DeLone, Ephraim R. McLean

1992· Information Systems Research10.5K

Toward the next generation of recommender systems: a survey of the state-of-the-art and possible extensions

Gediminas Adomavičius, Alexander Tuzhilin

2005· IEEE Transactions on Knowledge and Data Engineering10.1K

Search all 713 papers in Logic, programming, and type systems →

Explore this topic

Search all papers Explore in Research Start a literature review ← Browse all topics

Topic snapshot

713 papers indexed

5.0K total citations

Latest: 2025