]> mj.ucw.cz Git - saga.git/log
saga.git
15 years agoMoved the abstract before TOC. paper
Martin Mares [Fri, 3 Oct 2008 15:41:53 +0000 (17:41 +0200)]
Moved the abstract before TOC.

15 years agoMore fixes after JN's feedback.
Martin Mares [Fri, 3 Oct 2008 15:40:20 +0000 (17:40 +0200)]
More fixes after JN's feedback.

15 years agoMoved TOC to the beginning as JN wished.
Martin Mares [Wed, 1 Oct 2008 13:30:46 +0000 (15:30 +0200)]
Moved TOC to the beginning as JN wished.

15 years agoMention grant and thesis.
Martin Mares [Wed, 1 Oct 2008 13:29:04 +0000 (15:29 +0200)]
Mention grant and thesis.

15 years agoInstitute.
Martin Mares [Sat, 13 Sep 2008 19:29:13 +0000 (21:29 +0200)]
Institute.

15 years agoFootnotes should be numbered globally.
Martin Mares [Sat, 13 Sep 2008 19:19:09 +0000 (21:19 +0200)]
Footnotes should be numbered globally.

15 years agoAdded `archive' target.
Martin Mares [Sat, 13 Sep 2008 19:18:11 +0000 (21:18 +0200)]
Added `archive' target.

15 years agoAdded an abstract.
Martin Mares [Sat, 13 Sep 2008 19:14:50 +0000 (21:14 +0200)]
Added an abstract.

15 years agoSimplified the introduction to models.
Martin Mares [Sat, 13 Sep 2008 18:30:38 +0000 (20:30 +0200)]
Simplified the introduction to models.

15 years agoA couple of fixes to minor-closed classes.
Martin Mares [Sat, 13 Sep 2008 18:21:17 +0000 (20:21 +0200)]
A couple of fixes to minor-closed classes.

15 years agoBetter (and more explicit) bounds on class density; Hadwiger numbers.
Martin Mares [Sat, 13 Sep 2008 17:56:25 +0000 (19:56 +0200)]
Better (and more explicit) bounds on class density; Hadwiger numbers.

15 years agoRemoved ranking from the Epilogue.
Martin Mares [Sat, 13 Sep 2008 15:59:37 +0000 (17:59 +0200)]
Removed ranking from the Epilogue.

15 years agoMoved the Gustedt remark to Applications.
Martin Mares [Sat, 13 Sep 2008 15:58:53 +0000 (17:58 +0200)]
Moved the Gustedt remark to Applications.

15 years agoAll refs to ranking hopefully gone.
Martin Mares [Sat, 13 Sep 2008 15:55:20 +0000 (17:55 +0200)]
All refs to ranking hopefully gone.

15 years agoRemoved further references to ranks.
Martin Mares [Sat, 13 Sep 2008 15:08:45 +0000 (17:08 +0200)]
Removed further references to ranks.

15 years agoPruned Notation.
Martin Mares [Sat, 13 Sep 2008 15:07:38 +0000 (17:07 +0200)]
Pruned Notation.

15 years agoRemoved the Preface.
Martin Mares [Sat, 13 Sep 2008 14:37:34 +0000 (16:37 +0200)]
Removed the Preface.

15 years agoTrimmed sections that will not be used in the paper.
Martin Mares [Sat, 13 Sep 2008 14:31:02 +0000 (16:31 +0200)]
Trimmed sections that will not be used in the paper.

15 years agoRemoved files that are not needed for the saga itself.
Martin Mares [Sat, 13 Sep 2008 14:25:21 +0000 (16:25 +0200)]
Removed files that are not needed for the saga itself.

15 years agoFinished the revised version. v2
Martin Mares [Sat, 13 Sep 2008 14:01:29 +0000 (16:01 +0200)]
Finished the revised version.

15 years agoMore fixes to bugs reported by Patrice.
Martin Mares [Sat, 13 Sep 2008 13:55:56 +0000 (15:55 +0200)]
More fixes to bugs reported by Patrice.

15 years agoCorrected bugs reported by Koubek.
Martin Mares [Sat, 13 Sep 2008 13:41:44 +0000 (15:41 +0200)]
Corrected bugs reported by Koubek.

15 years agoMinor fixes to chapters 3 and 6.
Martin Mares [Sat, 30 Aug 2008 14:03:41 +0000 (16:03 +0200)]
Minor fixes to chapters 3 and 6.

15 years agoFixes to Chapter 2.
Martin Mares [Sat, 30 Aug 2008 13:27:10 +0000 (15:27 +0200)]
Fixes to Chapter 2.

15 years agoTODO.
Martin Mares [Sat, 30 Aug 2008 12:34:19 +0000 (14:34 +0200)]
TODO.

15 years agoFixes to Chapter 1.
Martin Mares [Sat, 30 Aug 2008 12:27:38 +0000 (14:27 +0200)]
Fixes to Chapter 1.

15 years agoMore TODO.
Martin Mares [Sat, 30 Aug 2008 12:01:35 +0000 (14:01 +0200)]
More TODO.

15 years agoWritten a new TODO list.
Martin Mares [Sat, 30 Aug 2008 12:00:16 +0000 (14:00 +0200)]
Written a new TODO list.

15 years agoHopefully final. phd-final
Martin Mares [Tue, 29 Jul 2008 08:26:57 +0000 (10:26 +0200)]
Hopefully final.

15 years agoSlides v0.0.
Martin Mares [Mon, 28 Jul 2008 21:58:46 +0000 (23:58 +0200)]
Slides v0.0.

16 years agoFixed typos.
Martin Mares [Mon, 16 Jun 2008 11:04:20 +0000 (13:04 +0200)]
Fixed typos.

16 years agoFixed missing ref.
Martin Mares [Mon, 16 Jun 2008 10:50:49 +0000 (12:50 +0200)]
Fixed missing ref.

16 years agoFormatting the list of publications.
Martin Mares [Mon, 16 Jun 2008 10:49:09 +0000 (12:49 +0200)]
Formatting the list of publications.

16 years agoCleanups.
Martin Mares [Mon, 16 Jun 2008 10:38:37 +0000 (12:38 +0200)]
Cleanups.

16 years agoCover of the abstract.
Martin Mares [Mon, 16 Jun 2008 10:37:28 +0000 (12:37 +0200)]
Cover of the abstract.

16 years agoAbstract: Minor typographic details.
Martin Mares [Mon, 16 Jun 2008 08:35:07 +0000 (10:35 +0200)]
Abstract: Minor typographic details.

16 years agoThe great split.
Martin Mares [Mon, 16 Jun 2008 08:10:06 +0000 (10:10 +0200)]
The great split.

Font macros are now stored separately, because we need 12pt fonts in the
saga and 10pt in the abstract. Also split off the list of publications
from the abstract.

16 years agoAbstract: Final fixes.
Martin Mares [Wed, 4 Jun 2008 12:54:33 +0000 (14:54 +0200)]
Abstract: Final fixes.

16 years agoMore shortening.
Martin Mares [Wed, 4 Jun 2008 12:32:21 +0000 (14:32 +0200)]
More shortening.

16 years agoList of publications.
Martin Mares [Wed, 4 Jun 2008 12:15:21 +0000 (14:15 +0200)]
List of publications.

16 years agoPruning...
Martin Mares [Wed, 4 Jun 2008 10:37:53 +0000 (12:37 +0200)]
Pruning...

16 years agoAbstract: Minor improvements.
Martin Mares [Wed, 4 Jun 2008 10:18:52 +0000 (12:18 +0200)]
Abstract: Minor improvements.

16 years agoAbstract: added Conclusions and reviewed chapters 1--5.
Martin Mares [Tue, 3 Jun 2008 21:34:31 +0000 (23:34 +0200)]
Abstract: added Conclusions and reviewed chapters 1--5.

16 years agoFixed a typo in the comment about vEBT's.
Martin Mares [Tue, 3 Jun 2008 21:34:09 +0000 (23:34 +0200)]
Fixed a typo in the comment about vEBT's.

16 years agoUnify typesetting of #P-completeness.
Martin Mares [Tue, 3 Jun 2008 20:59:10 +0000 (22:59 +0200)]
Unify typesetting of #P-completeness.

16 years agoAbstracted the chapter on ranks.
Martin Mares [Tue, 3 Jun 2008 20:34:58 +0000 (22:34 +0200)]
Abstracted the chapter on ranks.

16 years agoMore abstract art.
Martin Mares [Tue, 3 Jun 2008 19:47:55 +0000 (21:47 +0200)]
More abstract art.

16 years agoFixes to the abstract.
Martin Mares [Tue, 3 Jun 2008 09:57:17 +0000 (11:57 +0200)]
Fixes to the abstract.

16 years ago\alpha -> \timesalpha
Martin Mares [Tue, 3 Jun 2008 09:56:39 +0000 (11:56 +0200)]
\alpha -> \timesalpha

16 years agoAbstract: two more chapters.
Martin Mares [Tue, 3 Jun 2008 09:53:53 +0000 (11:53 +0200)]
Abstract: two more chapters.

16 years agoIterative Jarnik's alg. is correctly spelled Iterated.
Martin Mares [Tue, 3 Jun 2008 09:53:38 +0000 (11:53 +0200)]
Iterative Jarnik's alg. is correctly spelled Iterated.

16 years agoMore of the abstract. Reached the end of Chapter 2.
Martin Mares [Mon, 2 Jun 2008 19:03:39 +0000 (21:03 +0200)]
More of the abstract. Reached the end of Chapter 2.

16 years agoDefined \rawsection and made \section use it.
Martin Mares [Mon, 2 Jun 2008 19:03:27 +0000 (21:03 +0200)]
Defined \rawsection and made \section use it.

16 years agoFirst bits of the abstract.
Martin Mares [Mon, 2 Jun 2008 17:38:56 +0000 (19:38 +0200)]
First bits of the abstract.

16 years agoForgotten mjalpha.bst. printed
Martin Mares [Mon, 5 May 2008 17:58:51 +0000 (19:58 +0200)]
Forgotten mjalpha.bst.

16 years agoClarify notation.
Martin Mares [Sun, 4 May 2008 22:00:33 +0000 (00:00 +0200)]
Clarify notation.

16 years agoFinal final fixes to bibliography.
Martin Mares [Sun, 4 May 2008 17:56:05 +0000 (19:56 +0200)]
Final final fixes to bibliography.

16 years agoYet more fixes to bibliography.
Martin Mares [Sun, 4 May 2008 17:48:37 +0000 (19:48 +0200)]
Yet more fixes to bibliography.

16 years agoNoted that all logs are binary.
Martin Mares [Sun, 4 May 2008 16:56:11 +0000 (18:56 +0200)]
Noted that all logs are binary.

16 years agoUpdated the release date.
Martin Mares [Sun, 4 May 2008 16:44:26 +0000 (18:44 +0200)]
Updated the release date.

16 years agoPLAN--
Martin Mares [Sun, 4 May 2008 16:42:47 +0000 (18:42 +0200)]
PLAN--

16 years agoFinal typograpic hacks.
Martin Mares [Sun, 4 May 2008 16:42:24 +0000 (18:42 +0200)]
Final typograpic hacks.

16 years agosection -> Section (fix remaining).
Martin Mares [Sun, 4 May 2008 12:31:44 +0000 (14:31 +0200)]
section -> Section (fix remaining).

16 years agoFinal typesetting: Chapters 1 and 2.
Martin Mares [Sun, 4 May 2008 12:29:24 +0000 (14:29 +0200)]
Final typesetting: Chapters 1 and 2.

16 years agoKruskal.
Martin Mares [Sat, 3 May 2008 21:16:15 +0000 (23:16 +0200)]
Kruskal.

16 years agoFixed online references.
Martin Mares [Sat, 3 May 2008 21:12:08 +0000 (23:12 +0200)]
Fixed online references.

16 years agoYet more fixes to bibliography.
Martin Mares [Sat, 3 May 2008 21:06:02 +0000 (23:06 +0200)]
Yet more fixes to bibliography.

16 years agoBibliography: Next round of corrections.
Martin Mares [Sat, 3 May 2008 20:40:03 +0000 (22:40 +0200)]
Bibliography: Next round of corrections.

16 years agoFirst part of corrections of bibliography.
Martin Mares [Sat, 3 May 2008 20:14:14 +0000 (22:14 +0200)]
First part of corrections of bibliography.

16 years agoRemoved most refs from the Epilogue.
Martin Mares [Sat, 3 May 2008 19:31:25 +0000 (21:31 +0200)]
Removed most refs from the Epilogue.

16 years agoReferences to better bounds for enforced minors.
Martin Mares [Sat, 3 May 2008 19:27:02 +0000 (21:27 +0200)]
References to better bounds for enforced minors.

16 years agoUnified typesetting of complexity classes.
Martin Mares [Sat, 3 May 2008 19:02:09 +0000 (21:02 +0200)]
Unified typesetting of complexity classes.

16 years agoRound to an even number of pages at the end.
Martin Mares [Sat, 3 May 2008 18:57:48 +0000 (20:57 +0200)]
Round to an even number of pages at the end.

16 years agoCorrections: Cover.
Martin Mares [Sat, 3 May 2008 18:41:54 +0000 (20:41 +0200)]
Corrections: Cover.

16 years agoMore corrections to Appendix A.
Martin Mares [Sat, 3 May 2008 18:41:01 +0000 (20:41 +0200)]
More corrections to Appendix A.

16 years agoCorrections: Appendix A.
Martin Mares [Sat, 3 May 2008 18:40:30 +0000 (20:40 +0200)]
Corrections: Appendix A.

16 years agoCorrections: Epilogue.
Martin Mares [Sat, 3 May 2008 18:33:15 +0000 (20:33 +0200)]
Corrections: Epilogue.

16 years agoCorrections: The rest of Chapter 7.
Martin Mares [Sat, 3 May 2008 18:28:50 +0000 (20:28 +0200)]
Corrections: The rest of Chapter 7.

16 years agoCorrections: Sections 7.1--7.4.5.
Martin Mares [Sat, 3 May 2008 18:07:56 +0000 (20:07 +0200)]
Corrections: Sections 7.1--7.4.5.

16 years agoCorrections: Chapter 6.
Martin Mares [Sat, 3 May 2008 17:52:44 +0000 (19:52 +0200)]
Corrections: Chapter 6.

16 years agoCorrections: The rest of Chapter 5.
Martin Mares [Sat, 3 May 2008 17:49:25 +0000 (19:49 +0200)]
Corrections: The rest of Chapter 5.

16 years agoUpdated PLAN.
Martin Mares [Sat, 3 May 2008 13:57:25 +0000 (15:57 +0200)]
Updated PLAN.

16 years agoCorrections to Sections 5.1--5.2.
Martin Mares [Sat, 3 May 2008 13:56:44 +0000 (15:56 +0200)]
Corrections to Sections 5.1--5.2.

16 years agoCorrections: Chapter 4.
Martin Mares [Sat, 3 May 2008 13:43:39 +0000 (15:43 +0200)]
Corrections: Chapter 4.

16 years agoCorrections: Chapter 3.
Martin Mares [Sat, 3 May 2008 13:20:55 +0000 (15:20 +0200)]
Corrections: Chapter 3.

16 years agoCorrections: Chapter 2.
Martin Mares [Sat, 3 May 2008 12:45:10 +0000 (14:45 +0200)]
Corrections: Chapter 2.

16 years agoCorrections: Chapter 1.
Martin Mares [Sat, 3 May 2008 11:24:57 +0000 (13:24 +0200)]
Corrections: Chapter 1.

16 years agoAdded generated EPS.
Martin Mares [Tue, 29 Apr 2008 11:11:01 +0000 (13:11 +0200)]
Added generated EPS.

16 years agoCorrections to K-best.
Martin Mares [Sun, 27 Apr 2008 20:27:05 +0000 (22:27 +0200)]
Corrections to K-best.

16 years agoCorrections of the K-best section.
Martin Mares [Sun, 27 Apr 2008 19:42:35 +0000 (21:42 +0200)]
Corrections of the K-best section.

16 years agoConnect K best to the introductory chapters.
Martin Mares [Thu, 24 Apr 2008 10:57:08 +0000 (12:57 +0200)]
Connect K best to the introductory chapters.

16 years agoFinished K best.
Martin Mares [Thu, 24 Apr 2008 10:48:53 +0000 (12:48 +0200)]
Finished K best.

16 years agoFirst parts of the section on Almost minimum trees.
Martin Mares [Wed, 23 Apr 2008 19:07:12 +0000 (21:07 +0200)]
First parts of the section on Almost minimum trees.

16 years agoA picture of a Q-heap.
Martin Mares [Wed, 23 Apr 2008 17:20:34 +0000 (19:20 +0200)]
A picture of a Q-heap.

16 years agoAdded a picture of a q-heap trie.
Martin Mares [Wed, 23 Apr 2008 17:14:38 +0000 (19:14 +0200)]
Added a picture of a q-heap trie.

WARNING: Vrr fails to save this. Manual editation needed.

16 years agoAdded the Epilogue.
Martin Mares [Wed, 23 Apr 2008 15:39:52 +0000 (17:39 +0200)]
Added the Epilogue.

16 years agoCorrections of the Preface.
Martin Mares [Wed, 23 Apr 2008 13:40:33 +0000 (15:40 +0200)]
Corrections of the Preface.

16 years agoLarger cover letters.
Martin Mares [Wed, 23 Apr 2008 12:29:07 +0000 (14:29 +0200)]
Larger cover letters.

16 years agoFinished prolog.
Martin Mares [Wed, 23 Apr 2008 09:17:29 +0000 (11:17 +0200)]
Finished prolog.

16 years agoMore of the prolog.
Martin Mares [Wed, 23 Apr 2008 09:00:01 +0000 (11:00 +0200)]
More of the prolog.