Published Books (Author, Co-author or Editor)
-
Maz'ya, V.; Nazarov, S.; Plamenevskij, B.;
"Asymptotic Theory
of Elliptic Boundary Value Problems in Singulary Perturbed Domains",
Volume I.
Birkhäuser Verlag Basel-Boston-Berlin 2000,
Translation from German into English (together with
G. Heinig).
-
Posthoff, Ch.; Steinbach, B.
"Logic Functions and Equations – Binary Models for Computer Science."
Springer, Dordrecht, The Netherlands,
2004, pp 1 – 392.
-
Steinbach, B.; Posthoff, Ch.
"Logic Functions and Equations – Examples and Exercises. "
Springer Science + Business Media B.V.,
2009. ISBN 978-1-4020-9594-8, pp 1 – 231.
Publications in Referred Journals
- Posthoff, Ch.
"Artificial Intelligence and its Impact on the Financial and Commercial
Sectors"
Caribbean Academy of Sciences, 21. 3. 1995.
- Posthoff, Ch.
"Computer Chess - Artificial Intelligence - Computer Science Education"
Inaugural Lecture, The University of the West indies, Faculty of Natural
Sciences, 20.3. 1995.
- Posthoff, Ch., Crichlow, J.
"Computer Science Education - Present Stage and Further Requirements"
6th Annual General Meeting of the Caribbean Academy of Sciences, St. Lucia,
April 1995.
- Posthoff, Ch.
"Konstruktion von Fuzzy-Modellen durch Lernen aus Beispielen"
(The Construction of Fuzzy Models by Learning from Examples)
GMD - IPSI, Darmstadt, Germany, June 1995.
- Posthoff, Ch.
"Learning Fuzzy-logical Structures from Examples"
Workshop on Advances in Methodology and Software in Decision Support Systems,
4. - 6. September 1995, IIASA, Laxenburg, Austria.
- Posthoff, Ch.
"Apprentissage par des Exemples. Théorie et Applications".
UNIVERSITE DES ANTILLES ET DE LA GUYANE,
Faculté des Sciences Exactes et Naturelles Département de Mathématiques-Informatiques
Guadeloupe, 9. Jan. 1996
-
G. Grohmann, M. Krauss, G. Pöhlmann, H.-P. Pohl, Ch. Posthoff, D.
Bilz, S. Müller
"Die Autokorrelationsfunktion der Herzperiodendauer
zur Beschreibung der statistischen Abhängigkeit zwischen den Herzaktionen
- eine weitere mögliche Beschreibungsform zur Früherkennung kardiovaskurer
Erkrankungen?"
Teil I: Theoretische Grundlagen
Teil II: Erste
Messungen an Patienten
(The Autocorrelation Function of the Heart
Period Duration in Order to Describe Statistical Dependencies Between
the Heart Actions - a Further Possibility for an Early Detection of
Cardiovascular Diseases? - Part I: Theoretical Foundations, Part II:
First Measurements at Patients)
Perfusion 10/96, 9. Jahrgang, S.
370 - 385, Perfusion 11/96, 9. Jahrgang, S. 396 - 410).
- Posthoff, Ch.
"Multi-Media and Technological Change".
Trinidad and Tobago Bureau of Standards - Meeting of the Panamerican Standards
Commission (COPANT), Trinidad Mai 1996.
-
Bissessarsingh, R., Saunders, R., Addae, J., Posthoff, C.
"Quantification of microvascular resistance in patients with diabetes
mellitus"
West Indian Med. J. 50 (Suppl. 7), 42, 2001.
-
Peters, H., Saunders, R., Addae, J., Posthoff, C., Reid, S., Baboolal,
N.
"Quantification of EEG waves in healthy persons and patients
with brain disorders"
West Indian Med. J. 50 (Suppl. 7), 17, 2001.
Publications in Conference Proceedings
-
Posthoff, C. "Learning Logic Functions from Examples - Better
Conceptions and Models"
Proceedings Intelligent Information Systems
IIS'97, Grand Bahama Island, December 1997
-
Peters, H., Addae, J., Saunders, R., Posthoff, C., Neehall, J., Baboolal,
N.
"Analysis of EEG Coherence Matrix in Healthy and Patients
with Functional Disorders"
IX. Annual Meeting of the Caribbean Academy
of Science, Guadeloupe, May 1998.
-
Arjoon, C., Addae, J., Saunders, R., Posthoff,C., Krauss, M., Teelucksingh,
P., Thomas, C.
"Analysis of the Cardiovascular and Autonomic
Nervous Systems in Normals and Patients Using Photoplethysmography"
IX. Annual Meeting of the Caribbean Academy of Science, Guadeloupe,
May 1998.
-
Primus, E., Addae, J., Singh, R., Saunders, R., Posthoff,C., Krauss,
M.
"Effects of Celiprolol and Propranolol on Hypertension-induced
Changes in Cardiovascular Parameters Assessed by Photoplethysmography"
IX. Annual Meeting of the Caribbean Academy of Science, Guadeloupe,
May 1998.
-
Posthoff, C.
"Learning from Examples and Decision Trees"
IX. Annual Meeting of the Caribbean Academy of Science, Guadeloupe,
May 1998.
-
Ramadharsingh, R., Saunders, R., Posthoff, C., Addae, J., Thomas,
C., Rassi, D.
" SQUID magnetocardiography in healthy Trinidadians"
Proceedings of XXI Congress of the European Society of Cardiology.
1999, pp. 991-994.
-
Saunders, R., Peters, H., Addae, J., Posthoff, C., Reid, S., Baboolal,
N.
" Coarse-grained dimensional analysis of EEG waves in healthy
and patients with functional disorders"
12th Annual Meeting and
Conference of the Caribbean Academy of Sciences, Guyana, 2001.
-
Posthoff, Chr.; Steinbach, B.
" Functions Implicitly Defined
by Logic Equations - Unique Solutions"
In: Steinbach, B. (Hrsg.):
Boolean Problems, Proceedings of the 5th International Workshops on
Boolean Problems, 19. - 20. September 2002, Freiberg University of Mining
and Technology, Freiberg, 2002, pp. 61 – 70.
-
Steinbach, B.; Posthoff, Chr.
"Optimal Design Using Implicitly
Given Function Sets"
In: The Experience of Designing and Application
of CAD Systems in Microelectronics - Proceedings of the VII-th International
Conference CADSM 2003. Lviv – Slavsko, Ukraine, 2003, pp. 446 – 453.
-
Steinbach, B.; Posthoff, Chr.
"Optimal Design by Resolving
Boolean Equations"
in: The Experience of Designing and Application
of CAD Systems in Microelectronics - Proceedings of the VII-th International
Conference CADSM 2003. Lviv – Slavsko, Ukraine, 2003, pp. 454 – 457.
-
Steinbach, B.; Posthoff, Chr.
"Optimal Design Using Implicitly
Given Function Sets"
in: The Experience of Designing and Application
of CAD Systems in Microelectronics - Proceedings of the VII-th International
Conference CADSM 2003. Lviv – Slavsko, Ukraine, 2003, pp. 446 – 453.
-
Posthoff, Ch.; Steinbach, B.
"Logic Functions and Equations – Binary Models for Computer Science"
Springer, Dordrecht, The Netherlands, 2004, pp 1 – 392.
-
Arvind S. Mohais, Rui Mendes, Christopher Ward, Christian Posthoff
" Neighborhood Re-structuring in Particle Swarm Optimization "
Australian Conference on Artificial Intelligence 2005: 776-785
-
Posthoff, Ch.; Steinbach, B.
" A Multi-Processor Approach
to SAT-Problems"
in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings
of the 7th International Workshops on Boolean Problems, 21. - 22. September
2006, Freiberg University of Mining and Technology, Freiberg, 2006,
pp. 49 – 62.
-
Steinbach, B.; Posthoff, Ch.
"Extended Theory of Boolean Normal
Forms "
in: Proceedings of the 6th Annual Hawaii International Conference
on Statistics, Mathematics and Related Fields, Honolulu, Hawaii, 2007,
pp. 1124 – 1139.
-
Posthoff, Ch.; Steinbach, B.
"SAT-Problems - New Findings "
in: Proceeding of the 6th WSEAS International Conference on Data
Networks, Communications, Computers, Trinidad and Tobago, November 5-7,
2007, pp. 339 – 344.
-
Steinbach, B.; Posthoff, Ch.
"XBOOLE and the Education of
Engineers"
in: Computer - Aided Design of Discrete Devices - CAD DD
2007,Proceedings of the Sixth International Conference 14 – 15
November 2007, Minsk, Belarus, Volume 2, pp. 14 – 22.
- Arvind S. Mohais, Rosemarie Mohais, Christopher Ward, Christian Posthoff
" Earthquake classifying neural networks trained with random dynamic neighborhood"
PSOs.
GECCO 2007: 110-117
-
Steinbach, B.; Posthoff, Ch.
"Set-Based SAT-Solving."
in:
Journal - FACTA UNIVERSITATIS (NIŠ), Series.: Electronics and Energetics.
Vol. 20, No. 3, December 2007, 395 – 414.
-
Posthoff, Ch.; Steinbach, B.
"Sudoku Solutions Using Logic
Equations"
in: Steinbach, B. (Hrsg.):
Proceedings of the 8th International Workshops on Boolean Problems,
18. - 19. September 2008, Freiberg University of Mining and Technology,
Freiberg, 2008, pp. 49 – 57.
-
Posthoff, Ch.; Steinbach, B.
"The Solution of Combinatorial
Problems Using SAT"
in: SIAM Conference on Discrete Mathematics
- Abstracts, 16 – 19 Juni 2008, Burlington (Vermont), USA, p. 36.
-
Steinbach, B; Posthoff, Ch.
"Complete Sets of Hamiltonian
Circuits for Classification of Documents"
in: Moreno-Diaz, Roberto;
Pichler, Franz; Quesada-Arencibia, Alexis; Computer Aided System Theory
- EUROCAST 2009. Springer (LNCS 5717), Berlin, Heidelberg, New York,
2009, ISBN-1 0 3-642-04771-8 , ISBN-13 978-3-642-04771-8, pp. 526 – 533.
-
Steinbach, B; Posthoff, Ch.
"The Boolean Differential Calculus
- Introduction and Examples "
Proceedings – Reed-Muller Workshop
2009, Naha, Okinawa, Japan, 2009, pp 107 - 117.
-
Steinbach, B.; Posthoff, Ch.
"Complete Sets of Hamiltonian
Circuits for Classification of Documents. "
in: Quesada-Arencibia,
A.; Rodriguez, J.C.; Moreno-Diaz, R. jr.; Moreno-Diaz, R. (Eds.): EUROCAST
2009 – Computer Aided System Theory, Extended Abstracts. IUCTC Universidad
de Las Palmas de Grand Canaria, 2009. ISBN 978-84-691-8502-5, pp. 177
- 178.
-
Steinbach, B; Posthoff, Ch.
" Boolean Differential Calculus
- Theory and Applications"
in: Journal of Computational and Theoretical
Nanoscience, American Scientific Publishers, Valencia, California, USA,
2010, ISSN 1546-1955, Volume 7, No. 6, pp. 933 – 981.
-
Steinbach, B; Posthoff, Ch.
"Boolean Differential Calculus"
in: Sasao, T., Butler, J.T.; Progress in Applications of Boolean Functions – Synthesis Lecturers on Digital Circuits and Systems # 26. Morgan & Claypool Publishers, San
Rafael, CA – USA, 2010, ISBN 978-1-60845-181-4,
pp. 55 – 78, 121 – 126.
-
Posthoff, Ch.; Steinbach, B.
"The Solution of Discrete Constraint
Problems Using Boolean Models "
in: J. Filipe; A. Fred; B. Sharp:
Proceedings of the 2nd International Conference on Agents and Artificial
Intelligence – ICAART 2010, Valencia, Spain, ISBN: 978-989-674-021-4,
pp. 487 – 493.
-
Steinbach, B; Posthoff, Ch.; Wessely, W.
"Approaches to Shift
the Complexity Limitations of Boolean Problems"
in: Computer - Aided
Design of Discrete Devices - CAD DD 2010, Proceedings of the Seventh
International Conference, 16 – 17 November 2010, Minsk, Belarus, ISBN
978-985-6744-63-4, pp. 84 – 91.
-
Steinbach, B; Posthoff, Ch.
"Parallel Solution of Covering
Problems - Better Models and Algorithms "
in: Proceedings of the
Annual International Conference on Advances in Distributed and Parallel
Computing (ADPC 2010) and Proceedings of the Annual International Conference
on Real-Tome and Embedded Systems (RTES 2010), Singapore, Published
by GSTF and Indexed by CrossRef., ISBN 978-981-08-7656-2, pp. A 70 – 75.
-
Steinbach, B; Wessely, W.; Posthoff, Ch.
"Several Approaches
to Parallel Computing in the Boolean Domain"
in: Chaudhuri, P.;
Ghosh, S.; Buyya, R. K.; Cao, J.; Dahiya, D.: 2010 1st International
Conference on Parallel, Distributed and Grid Computing (PDGC 2010),
October 28 – 30, 2010, Jaypee Univeersity of Information Technology
Waknaghat, Solan, H.P., India, ISBN 978-1-4244-7672-5 (printed proceedings),
ISBN 978-1-4244-7673-2 (CD-ROM version), pp. 6 – 11.
-
Steinbach, B; Posthoff, Ch.
"New Results Based on Boolean
Models"
in: Steinbach, B. (Ed.): Boolean Problems, Proceedings
of the 9th International Workshops on Boolean Problems, 16. - 17. September
2010, Freiberg University of Mining and Technology, Freiberg, 2010,
ISBN 978-3-86012-404-8, pp. 29 – 36.
-
Steinbach, B; Posthoff, Ch.
"New Results for Sets of Boolean
Functions"
in: Steinbach, B. (Ed.): Boolean Problems, Proceedings
of the 9th International Workshops on Boolean Problems, 16. - 17. September
2010, Freiberg University of Mining and Technology, Freiberg, 2010,
ISBN 978-3-86012-404-8, pp. 21 – 28.
-
Steinbach, B.; Posthoff, Ch.
"Classes of Bent Functions Identified
by Specific Normal Forms and Generated Using Boolean Differential Equations "
in: FACTA UNIVERSITATIS (NIŠ), Series: Electronics And Energetics.
Volume 24, Issue No. 3, ISSN: 0353-3670 , DOI number 10.2298/FUEE1103357S,
NIŠ, December 2011, pp. 357 – 383.
-
Posthoff, Ch.; Steinbach, B.
"The Solution of SAT Problems
Using Ternary Vectors and Parallel Processing "
in: International
Journal of Electronics and Telecommunications (JET), Warsaw, 2011, ISSN:
0867-6747, Volume 57, Number 3, Index 363189, pp. 233 – 249. (PDF 345K)
-
Steinbach, B; Posthoff, Ch.
"Classification and Generation
of Bent Functions "
in: Proceedings Reed-Muller 2011 Workshop, Tuusula,
Finnland, pp. 81 – 91.
-
Steinbach, B; Posthoff, Ch.
"Boolean Differential Equations "
in: Proceedings of the 20th International Workshops on Post-Binary
ULSI Systems, Tuusula, Finnland, pp. 46 – 53.
-
Steinbach, B; Posthoff, Ch.
"Parallel Solution of Covering
Problems Super-Linear Speedup on a Small Set of Cores "
in: GSTF
International Journal on Computing, Global Science and Technology Forum
(GSTF), Singapore, 2011, ISSN: 2010-2283, Volume 1, Number 2, pp. 113 – 122.
-
Steinbach, B; Posthoff, Ch.
"Improvements in Exact Minimal
Waveform Coverings of Periodic Binary Signals "
in: Quesada-Arencibia,
A.; Rodriguez, J.C.; Moreno-Diaz, R. jr.; Moreno-Diaz, R. (Eds.): – Computer Aided System Theory, Extended Abstracts. 13th International
Conference on Computer Aided System Theory (Eurocast 2011), IUCTC Universidad
de Las Palmas de Grand Canaria, 2011, ISBN 978-84-693-9560-8, pp. 410 – 411.
-
Steinbach, B; Posthoff, Ch.
"Utilization of Permutation Classes
for Solving Extremely Complex 4-Colorable Rectangle-free Grids "
in: Proceedings of the IEEE 2012 International Conference on Systems
and Informatics (ICSAI 2012), Yantai, China, ISBN: 978-1-4673-0197-8,
2012, pp. 2361 – 2370.
-
Steinbach, B.; Posthoff, Ch.
"Extremely Complex 4-Colored
Rectangle-Free Grids: Solution of Open Multiple-Valued Problems "
in: Proceedings
of the IEEE 42nd International Symposium on Multiple-Valued Logic (ISMVL
2012), Victoria, British Columbia, Canada, ISBN: 978-0-7695-4673-5,
ISSN 0195-623X/12, DOI: 10.1109/ISMVL.2012.12, 2012, pp. 37 – 44.
-
Steinbach, B; Posthoff, Ch.
"The Solution of Ultra-Large Grid
Problems "
in: 21st International Workshop on Post-Binary ULSI Systems,
Victoria, British Columbia, Canada, May 2012, pp. 1 – 10.
-
Steinbach, B.; Posthoff, Ch.
"Improvements of the Construction
of Exact Minimal Covers of Boolean Functions"
in: Roberto Moreno-Díaz,
Franz Pichler und Alexis Quesada-Arencibia: 13th International Conference
on Computer Aided Systems Theory - Part II, Lecture Notes in Computer
Science, Springer, Berlin, Heidelberg, 2012, Volume 6928, ISBN: 978-3-642-27578-4,
DOI: 10.1007/978-3-642-27579-1_35, 2012, pp. 272 – 279.
-
Steinbach, B; Posthoff, Ch.
"Algorithm for Fast Calculation
of Exact Minimal Coverings on Both the CPU and the GPU "
in: Quesada-Arencibia,
A.; Rodriguez, J.C.; Moreno-Diaz, R. jr.; Moreno-Diaz, R. (Eds.): – Computer Aided System Theory, Extended Abstracts. 14th International
Conference on Computer Aided System Theory (Eurocast 2013), IUCTC Universidad
de Las Palmas (Grand Canaries), 2013, ISBN 978-84-695-6971-9, pp. 262 – 263.
-
Steinbach, B.; Posthoff, Ch.
"Sources and Obstacles for Parallelization
- a Comprehensive Exploration of the Unate Covering Problem Using Both
CPU and GPU "
in: Astola, J.; Kameyama, M.; Lukac M.; Stanković R. S. (Eds.): GPU Computing with Applications in Digital Logic. Tampere
International Center for Signal Processing. TICSP series # 62, Tampere
2012, ISBN 978-952-15-2920-7, ISSN 1456-2774, (e-book), pp. 63 – 96.
-
Steinbach, B.; Posthoff, Ch.
"Solutions of Exceptionally Complex
Boolean Problems"
in: Steinbach, B. (Ed.): Boolean Problems, Proceedings
of the 10th International Workshops on Boolean Problems, 19. - 21. September
2012, Freiberg University of Mining and Technology, Freiberg, 2012,
ISBN 978-3-86012-438-3, pp. 185 – 223.
-
Steinbach, B.; Posthoff, Ch.
"Search Space Restriction for
Maximal Rectangle-Free Grids"
in: Steinbach, B. (Ed.): Boolean Problems,
Proceedings of the 10th International Workshops on Boolean Problems,
19. - 21. September 2012, Freiberg University of Mining and Technology,
Freiberg, 2012, ISBN 978-3-86012-438-3, pp. 155 – 162.
-
Steinbach, B.; Posthoff, Ch.
"Artificial Intelligence and
Creativity - Two Requirements to Solve an Extremely Complex Coloring
Problem "
in: J. Filipe; A. Fred: Proceedings of the 5th International
Conference on Agents and Artificial Intelligence – ICAART 2013, Valencia,
Spain, Volume 2, ISBN: 978-989-8565-39-6, pp. 411 – 418.
Research reports
-
Krauss, M., Grohmann, G., Addae, J., Posthoff, C., Saunders, R.
" Non-invasive recording of parameters of the heart and the
circulatory system using the NIRP-method and its application for the
sickle cell anaemia"
Monograph (48 pages), 2002.