Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,290 papers from all fields of science
Search
Sign In
Create Free Account
Algorithmics
Algorithmics is the science of algorithms. It includes algorithm design, the art of building a procedure which can solve efficiently a specific…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Algorithm
Algorithm design
Boolean satisfiability problem
Harry Mairson
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
MaMiCo: Transient multi-instance molecular-continuum flow simulation on supercomputers
Philipp Neumann
,
X. Bian
Computer Physics Communications
2017
Corpus ID: 27471998
2016
2016
MaMiCo: Software design for parallel molecular-continuum flow simulations
Philipp Neumann
,
H. Flohr
,
Rahul Arora
,
P. Jarmatz
,
Nikola Tchipev
,
H. Bungartz
Computer Physics Communications
2016
Corpus ID: 45108243
Review
2008
Review
2008
Social network analysis and visualization [Applications Corner]
U. Brandes
IEEE Signal Processing Magazine
2008
Corpus ID: 13985202
The notion of a social network, and associated methods of analysis, is permeating an increasing number of application domains…
Expand
2006
2006
A Simple Multi-Factor "Factor Adjustment" for the Treatment of Credit Capital Diversification
Juan Carlos García Céspedes
,
Juan Antonio de Juan Herrero
,
A. Kreinin
,
D. Rosen
2006
Corpus ID: 28859036
We present a simple adjustment to the single-factor credit capital model, which recognizes the diversification from a multifactor…
Expand
2004
2004
Joint Analysis of DNA Copy Numbers and Gene Expression Levels
D. Lipson
,
A. Ben-Dor
,
E. Dehan
,
Z. Yakhini
Workshop on Algorithms in Bioinformatics
2004
Corpus ID: 13587425
Genomic instabilities, amplifications, deletions and translocations are often observed in tumor cells. In the process of cancer…
Expand
2003
2003
Founding FireWire bridges through Promela prototyping
Izak van Langevelde
,
J. Romijn
,
N. Goga
Proceedings International Parallel and…
2003
Corpus ID: 584253
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the…
Expand
2003
2003
Design Based Learning in the Curriculum of Computing Science a Skilful Struggle
Jc Jacob Perrenet
,
A. Aerts
,
Van Der J.D. Woude
2003
Corpus ID: 60504283
A new learning environment, called Design-Based Learning (DBL), was incorporated in a Computing Science curriculum, as part of a…
Expand
2003
2003
A General Pram Simulation Scheme For Clustered Machines
C. Fantozzi
,
A. Pietracaprina
,
G. Pucci
International Journal of Foundations of Computer…
2003
Corpus ID: 16345619
We present a general deterministic scheme to implement a shared memory abstraction on any distributed-memory machine which…
Expand
1998
1998
Towards Manipulation of Mutually Recursive Functions
H. Iwasaki
,
Zhenjiang Hu
,
M. Takeichi
Fuji International Symposium on Functional and…
1998
Corpus ID: 9317141
TOWARDSMANIPULATIONOFMUTUALLYRECURSIVEFUNCTIONSHIDEYAIWASAKIDepartmentofComputerScienceTokyoUniversityofAgricultureandchnology2…
Expand
1993
1993
Basic Research in Computer Science
S. Shafer
,
R. Bryant
,
+5 authors
J. Carbonell
1993
Corpus ID: 60541166
Abstract : This report documents a broad program of basic and applied information processing research conducted by Carnegie…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE