Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,879,524 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
Towards fast natural language parsing: FASTPARSE ERC Starting Grant
Carlos Rodríguez
2017
Corpus ID: 64755143
This project has received funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and…
Expand
2013
2013
Designing and Programming Robots in Contemporary Didactics in Polish Schools
Wojciech Zuziak
2013
Corpus ID: 117228733
The article presents a solid fastening for educational classes – conducted with the use of sets for building and programming…
Expand
2009
2009
Optimal Space Data Structures for I / O Efficient Search of Objects Moving on a Graph
T. Le
,
B. Nickerson
2009
Corpus ID: 18210420
We present a space optimal spatio-temporal data structure called minimum I/O Graph Strip Tree (minGStree)to index objects assumed…
Expand
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
2008
2008
2 0 Ju n 20 05 The Positivity Set of a Recurrence Sequence
J. Bell
,
S. Gerhold
2008
Corpus ID: 17674887
We consider real sequences (fn) that satisfy a linear recurrence with constant coefficients. We show that the density of the…
Expand
2007
2007
Corpus Contraction by Sentence Extraction using Analogy
Y. Lepage
2007
Corpus ID: 14994677
2005
2005
Signal processing in biological cells : proteins, networks, and models
M. Said
2005
Corpus ID: 60574688
Thesis Supervisor: Alan V. Oppenheim Title: Ford Professor of Engineering Thesis Supervisor: Douglas A. Lauffenbuger Title…
Expand
2004
2004
1 Specifying Properties of Distributed Real-time Systems for Dynamic Resource Management
Randy Coleburn
,
R. Daley
,
+4 authors
Jonathan Tanner
2004
Corpus ID: 16298101
This paper discusses the resource management approach being developed in the DARPA ARMS program. The primary focus of the paper…
Expand
2003
2003
DFG-Schwerpunktprogramm "Algorithmik großer und komplexer Netzwerke"
D. Wagner
it - Information Technology
2003
Corpus ID: 10491290
Zusammenfassung Das Schwerpunktprogramm "Algorithmik großer und komplexer Netzwerke" wird seit 2001 von der DFG für die Dauer von…
Expand
1995
1995
Calculational graph algorithmics: reconciling two approaches with dynamic algebra
K. Clenaghan
1995
Corpus ID: 117660339
One concern in making the calculation of algorithms a formal mathematical activity is succinctness of notation and proof. Here we…
Expand