|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11014 occurrences of 5351 keywords
|
|
|
Results
Found 28291 publication records. Showing 28290 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
51 | Kiesha Prem, Kevin van Zandvoort, Petra Klepac, Rosalind M. Eggo, Nicholas G. Davies, Centre for the Mathematical Modelling of Infectious Diseases COVID-19 , Alex R. Cook, Mark Jit |
Projecting contact matrices in 177 geographical regions: An update and comparison with empirical data for the COVID-19 era. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 17(7), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
48 | Mustapha Eddahibi, Azzeddine Lazrek, Khalid Sami |
Arabic Mathematical e-Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEX, XML, and Digital Typography ![In: TeX, XML, and Digital Typography, International Conference on TeX, XML, and Digital Typography, Held Jointly with the 25th Annual Meeting of the TeX Users Group, TUG 2004, Xanthi, Greece, August 30 - September 3, 2004, Proceedings, pp. 158-168, 2004, Springer, 3-540-22801-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Arabic mathematical presentation, Multilingual documents, e-documents, Unicode, MathML, Mozilla, Mathematical expressions |
48 | Hélder Ferreira, Diamantino Freitas |
Audio Rendering of Mathematical Formulae Using MathML and AudioMath. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Interfaces for All ![In: User-Centered Interaction Paradigms for Universal Access in the Information Society, 8th ERCIM Workshop on User Interfaces for All, Vienna, Austria, June 28-29, 2004, Revised Selected Papers, pp. 391-399, 2004, Springer, 3-540-23375-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Audio Rendering of Mathematical Expressions, Conversion of mathematical formulae into text, Accessibility, Text-to-Speech, MathML |
47 | Joseph J. LaViola Jr., Robert C. Zeleznik |
MathPad2: a system for the creation and exploration of mathematical sketches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 23(3), pp. 432-440, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
mathematical sketching, gestures, pen-based interfaces |
46 | Hsi-Jian Lee, Jiumn-Shine Wang |
Design of a mathematical expression recognition system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 1084-1087, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
mathematical expression recognition, scientific documents, mathematical equations understanding, feature extraction, feature extraction, labeling, page segmentation, character segmentation, heuristic rules, mathematical expressions |
45 | Seiichi Uchida, Akihiro Nomura 0001, Masakazu Suzuki |
Quantitative analysis of mathematical documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Document Anal. Recognit. ![In: Int. J. Document Anal. Recognit. 7(4), pp. 211-218, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Mathematical document, Database, OCR, Mathematical expressions, Touching characters |
45 | Mustapha Eddahibi, Azzeddine Lazrek, Khalid Sami |
Dynamic Arabic Mathematical Fonts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEX, XML, and Digital Typography ![In: TeX, XML, and Digital Typography, International Conference on TeX, XML, and Digital Typography, Held Jointly with the 25th Annual Meeting of the TeX Users Group, TUG 2004, Xanthi, Greece, August 30 - September 3, 2004, Proceedings, pp. 149-157, 2004, Springer, 3-540-22801-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Mathematical font, Dynamic font, Variable-sized symbols, Arabic mathematical writing, Multilingual documents, Post- Script and OpenType, Unicode |
45 | Masakazu Suzuki, Fumikazu Tamari, Ryoji Fukuda, Seiichi Uchida, Toshihiro Kanahori |
INFTY: an integrated OCR system for mathematical documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2003 ACM Symposium on Document Engineering, Grenoble, France, November 20-22, 2003, pp. 95-104, 2003, ACM. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
character and symbol recognition, mathematical OCR, structure analysis of mathematical expressions |
44 | Alan P. Sexton, Volker Sorge |
A Database of Glyphs for OCR of Mathematical Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, pp. 203-216, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Li Liu 0001, Yi Yang 0017, Lian Li 0003 |
Mathematics Computing Environment on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKG ![In: 2006 International Conference on Semantics, Knowledge and Grid (SKG 2006), 1-3 November 2006, Guilin, China, pp. 88, 2006, IEEE Computer Society, 0-7695-2673-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Yingxu Wang 0001 |
On Mathematical Laws of Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Sci. ![In: Transactions on Computational Science II, pp. 46-83, 2008, Springer, 978-3-540-87562-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
denotational mathematics, generic model of software, laws of meta-processes, laws of process relations, laws of process compositions, modeling, software engineering, programs, analysis, software, process models, mathematical models, computational intelligence, Software science, RTPA, algebraic laws |
41 | Shirley Moore, A. Jerry Baker, Jack J. Dongarra |
Active netlib: an active mathematical software collection for inquiry-based computational science & engineering education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2002, Portland, Oregon, USA, June 14-18, 2002, Proceedings, pp. 401, 2002, ACM, 1-58113-513-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
education, software reuse, computational science, linear algebra, engineering, numerical analysis, learning environments, numerical methods, interactive interfaces, solvers, mathematical software, computational problems, computational servers |
41 | Shirley Moore, A. Jerry Baker, Jack J. Dongarra |
Active netlib: an active mathematical software collection for inquiry-based computational science & engineering education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2002, Portland, Oregon, USA, June 14-18, 2002, Proceedings, pp. 379, 2002, ACM, 1-58113-513-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
education, software reuse, computational science, linear algebra, engineering, numerical analysis, learning environments, numerical methods, interactive interfaces, solvers, mathematical software, computational problems, computational servers |
41 | Clare M. So, Stephen M. Watt |
Determining Empirical Characteristics of Mathematical Expression Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, pp. 361-375, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Fairouz Kamareddine, Manuel Maarek, J. B. Wells |
Toward an Object-Oriented Structure for Mathematical Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, pp. 217-233, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Yuji Kasuya, Hayato Yamana |
MathBox: interactive pen-based interface for inputting mathematical expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 12th International Conference on Intelligent User Interfaces, IUI 2007, Honolulu, Hawaii, USA, January 28-31, 2007, pp. 274-277, 2007, ACM, 1-59593-481-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
mathematical expression recognition, DP matching |
37 | Robert Miner, Rajesh Munavalli |
An Approach to Mathematical Search Through Query Formulation and Data Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings, pp. 342-355, 2007, Springer, 978-3-540-73083-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Afef Kacem, Abdel Belaïd, Mohamed Ben Ahmed |
Automatic extraction of printed mathematical formulas using fuzzy logic and propagation of context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Document Anal. Recognit. ![In: Int. J. Document Anal. Recognit. 4(2), pp. 97-108, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Mathematic formula extraction, Symbol labeling, Context propagation, Fuzzy logic, Document segmentation |
36 | William I. Gasarch |
A joint review of "Reality Conditions: Short Mathematical Fiction, by Alex Kasman", MAA 2005;"Numb3rs, TV show. CBS", Free. Currently running Fridays at 10: 00PM; "Mathematical Apocryphia: Stories and Annecdotes of Mathematicians and the Mathematical by Steven Kranz", MAA, 2002; "Mathematical Apocryphia Redux: More Stories and Annecdotes of Mathematicians and the Mathematical by Steven Kranz", MAA, 1999. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 37(3), pp. 17-19, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Walaa Aly, Seiichi Uchida, Masakazu Suzuki |
Identifying Subscripts and Superscripts in Mathematical Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 2(2), pp. 195-209, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematical documents, structure analysis of mathematical expression, subscript and superscript |
35 | Yoshinori Hijikata, Hideki Hashimoto, Shogo Nishida |
Search Mathematical Formulas by Mathematical Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (8) ![In: Human Interface and the Management of Information. Designing Information Environments, Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Procceedings, Part I, pp. 404-411, 2009, Springer, 978-3-642-02555-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mathematical formula, search engine, index, inverted file, MathML |
34 | Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner 0001 |
Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 2(2), pp. 253-277, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematical knowledge management, system architecture, proof assistants |
34 | Koji Nakagawa, Masakazu Suzuki |
Mathematical Knowledge Browser with Automatic Hyperlink Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, pp. 190-202, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Elena S. Smirnova, Clare M. So, Stephen M. Watt |
An Architecture for Distributed Mathematical Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, pp. 363-377, 2004, Springer, 3-540-23029-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | J. Toumit, Sonia Garcia-Salicetti, Hubert Emptoz |
A Hierarchical and Recursive Model of Mathematical Expressions for Automatic Reading of Mathematical Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Fifth International Conference on Document Analysis and Recognition, ICDAR 1999, 20-22 September, 1999, Bangalore, India, pp. 119-122, 1999, IEEE Computer Society, 0-7695-0318-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Christoph Benzmüller, Andreas Meier 0002, Volker Sorge |
Bridging Theorem Proving and Mathematical Knowledge Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 277-296, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Serge Autexier, Armin Fiedler |
Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, pp. 96-110, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Isabelle Bloch |
Fuzzy and Bipolar Mathematical Morphology, Applications in Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 1-13, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy mathematical morphology, bipolar mathematical morphology, bipolar spatial information, spatial reasoning, spatial relations |
32 | Ihab Salawdeh, Eduardo César, Anna Morajko, Tomàs Margalef, Emilio Luque |
Performance Model for Parallel Mathematical Libraries Based on Historical Knowledgebase. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2008 - Parallel Processing, 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings, pp. 110-119, 2008, Springer, 978-3-540-85450-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematical Performance, PETSc Performance, Dynamic mathematical model, Performance Model |
32 | Jiro Katto, Mutsumi Ohta |
Mathematical analysis of MPEG compression capability and its application to rate control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 555-558, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
MPEG compression, temporal predictive processing, MPEG video compression standard, optimum ordering, picture types, image source characteristics, target bit assignment, SNR gains, TM5 algorithm, B-pictures, P-pictures, I-pictures, data compression, video coding, rate control, mathematics, telecommunication standards, prediction theory, prediction theories, code standards, telecommunication control, mathematical analysis, mathematical analysis, coding gain |
31 | Yong Shi 0001, Yingjie Tian 0001, Xiaojun Chen 0001, Peng Zhang 0001 |
Regularized multiple criteria linear programs for classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(10), pp. 1812-1820, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multiple criteria mathematical program, regularized multiple criteria mathematical program, data mining, classification |
31 | Salman Cheema, Joseph J. LaViola Jr. |
Towards intelligent motion inferencing in mathematical sketching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 15th International Conference on Intelligent User Interfaces, IUI 2010, Hong Kong, China, February 7-10, 2010, pp. 289-292, 2010, ACM, 978-1-60558-515-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
mathematical sketching, sketch inferencing, sketch parsing, pen-based interfaces |
31 | Yingxu Wang 0001 |
Toward a Generic Mathematical Model of Abstract Game Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Sci. ![In: Transactions on Computational Science II, pp. 205-223, 2008, Springer, 978-3-540-87562-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
abstract games, static layout, layoff tables, zero-sum games, nonzero-sum games, serial matches, decision grids, game theory, decision making, mathematical models, utilities, Cognitive informatics, dynamic behaviors, properties |
31 | B. B. Chaudhuri 0001, Utpal Garain |
An Approach for Recognition and Interpretation of Mathematical Expressions in Printed Document. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 3(2), pp. 120-131, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Symbol arrangement, OCR, Document, Symbol recognition, Mathematical Expression |
31 | Xuejun Zhao, Xinyu Liu, Shengling Zheng, Baochang Pan, Yuan Yan Tang |
On-line recognition handwritten mathematical symbol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 4th International Conference Document Analysis and Recognition (ICDAR '97), 2-Volume Set, August 18-20, 1997, Ulm, Germany, Proceedings, pp. 645-648, 1997, IEEE Computer Society, 0-8186-7898-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
online handwritten mathematical symbol recognition, basic element ordering, standard symbols, basic element vector, basic element length vector, dynamic programming method, unmatching value, matching value, geometric restraints, improved Kohn-Munkres algorithm, correctness rate, incorrectness rate, refusal rate, handwriting recognition, relative positions |
31 | Kazuo Toraichi, Takahiko Horiuchi, Ryoji Haruki |
Observation method for mathematical graphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 656-659, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
mathematical graphology, graphological information processing, observation process, physiological saccade phenomena, character assessment from handwriting, information theory, handwriting recognition, contours, visual communication, feature points, handwriting analysis, smooth functions, observation method |
31 | Adam Grabowski, Christoph Schwarzweller |
Revisions as an Essential Tool to Maintain Mathematical Repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings, pp. 235-249, 2007, Springer, 978-3-540-73083-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Adam Grabowski, Christoph Schwarzweller |
Translating Mathematical Vernacular into Knowledge Repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, pp. 49-64, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Kenichi Toyozumi, Naoya Yamada, Kenji Mase, Takayuki Kitasaka, Kensaku Mori, Yasuhito Suenaga, Tomoichi Takahashi |
A Study of Symbol Segmentation Method for Handwritten Mathematical Formula Recognition using Mathematical Structure Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (2) ![In: 17th International Conference on Pattern Recognition, ICPR 2004, Cambridge, UK, August 23-26, 2004., pp. 630-633, 2004, IEEE Computer Society, 0-7695-2128-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Claudio Sacerdoti Coen |
Mathematical Libraries as Proof Assistant Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, pp. 332-346, 2004, Springer, 3-540-23029-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Peter Elbau, Leonidas Mindrinos, Otmar Scherzer |
Mathematical Methods of Optical Coherence Tomography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Methods in Imaging ![In: Handbook of Mathematical Methods in Imaging, pp. 1169-1204, 2015, Springer, 978-1-4939-0789-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Athanassios S. Fokas, George A. Kastis |
Mathematical Methods in PET and SPECT Imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Mathematical Methods in Imaging ![In: Handbook of Mathematical Methods in Imaging, pp. 903-936, 2015, Springer, 978-1-4939-0789-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | David Makinson, Jacek Malinowski, Heinrich Wansing |
From Logic to Mathematical Philosophy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Mathematical Philosophy ![In: Towards Mathematical Philosophy, pp. 1-7, 2009, Springer, 978-1-4020-9083-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Andrew Aberdein |
The Informal Logic Of Mathematical Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perspectives On Mathematical Practices ![In: Perspectives On Mathematical Practices - Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education, pp. 135-151, 2007, Springer, 978-1-4020-5033-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Jill Adler |
Mathematical Practices In And Across School Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perspectives On Mathematical Practices ![In: Perspectives On Mathematical Practices - Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education, pp. 191-213, 2007, Springer, 978-1-4020-5033-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Reuben Hersh |
On The Interdisciplinary Study of Mathematical Practice, with a Real Live Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perspectives On Mathematical Practices ![In: Perspectives On Mathematical Practices - Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education, pp. 231-241, 2007, Springer, 978-1-4020-5033-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Sal Restivo |
Theory of Mind, Social Science, and Mathematical Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perspectives On Mathematical Practices ![In: Perspectives On Mathematical Practices - Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education, pp. 61-79, 2007, Springer, 978-1-4020-5033-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Madeline Muntersbjorn |
Mathematical Progress As Increased Scope. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perspectives On Mathematical Practices ![In: Perspectives On Mathematical Practices - Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education, pp. 107-117, 2007, Springer, 978-1-4020-5033-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Lifeng Li |
4. Mathematical Reflections on the Fourier Modal Method in Grating Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Modeling in Optical Science ![In: Mathematical Modeling in Optical Science, pp. 111-139, 2001, SIAM, 978-0-89871-475-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Anne-Sophie Bonnet-Ben Dhia, Patrick Joly |
8. Mathematical Analysis and Numerical Approximation of Optical Waveguides. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Modeling in Optical Science ![In: Mathematical Modeling in Optical Science, pp. 273-324, 2001, SIAM, 978-0-89871-475-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Robert Marty |
Foundations of a Mathematical Semiotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Aspects of Natural and Formal Languages ![In: Mathematical Aspects of Natural and Formal Languages, pp. 257-273, 1994, World Scientific, 978-981-02-1914-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Manfred Kudlek |
A Mathematical Model of Personal Pronouns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Aspects of Natural and Formal Languages ![In: Mathematical Aspects of Natural and Formal Languages, pp. 245-256, 1994, World Scientific, 978-981-02-1914-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | S. S. Sritharan |
10. Mathematical Aspects of Harmonic Grid Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Aspects of Numerical Grid Generation ![In: Mathematical Aspects of Numerical Grid Generation, pp. 131-145, 1991, SIAM, 978-0-89871-267-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
31 | Tamás Gergely, Konstantin Vershinin |
Natural mathematical texts vs. programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 83-100, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
31 | |
Panel session on the challenges for developments of mathematical software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Problems and Methodologies in Mathematical Software Production ![In: Problems and Methodologies in Mathematical Software Production, International Seminar, Held at Sorrento, Italy, November 3-8, 1980, pp. 254-271, 1980, Springer, 3-540-11603-6. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
31 | Paul Messina |
Guidelines for managing mathematical software libraries at computer centers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Problems and Methodologies in Mathematical Software Production ![In: Problems and Methodologies in Mathematical Software Production, International Seminar, Held at Sorrento, Italy, November 3-8, 1980, pp. 207-253, 1980, Springer, 3-540-11603-6. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
31 | Paul Messina |
The role of computer centers in the field of mathematical software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Problems and Methodologies in Mathematical Software Production ![In: Problems and Methodologies in Mathematical Software Production, International Seminar, Held at Sorrento, Italy, November 3-8, 1980, pp. 198-206, 1980, Springer, 3-540-11603-6. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
30 | Carl A. Gunter |
Comparing Categories of Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings, pp. 101-121, 1985, Springer, 3-540-16816-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
28 | Huizhu Luo, Gady Agam, Its'hak Dinstein |
Directional mathematical morphology approach for line thinning and extraction of character strings from maps and line drawings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 257-260, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
directional mathematical morphology approach, line thinning, character string extraction, line vectorization, automatic algorithm, directional morphology operations, databases, feature extraction, CAD, computer aided design, maps, character recognition, mathematical morphology, string matching, visual databases, cartography, line drawings, symbol recognition |
28 | Hiromitsu Yamada, Kazuhiko Yamamoto, Katsumi Hosokawa |
Directional Mathematical Morphology and Reformalized Hough Transformation for the Analysis of Topographic Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(4), pp. 380-387, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
directional mathematical morphology, maps analysis, automatic digitisation, reformalized Hough transformation, graphical topographic maps, multiangled parallelism, erosion-dilation operations, directional feature planes, MAP matching method, 1/25000 scale map, parallel algorithms, image processing, image processing, feature extraction, feature extraction, mathematical morphology, Hough transforms, cartography, cartography |
28 | Lai-Jiu Lin 0001 |
Systems of variational inclusion problems and differential inclusion problems with applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 44(4), pp. 579-591, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Systems of variational inclusion problem, Systems of variational differential inclusion problems, Systems of equilibrium problems, Mathematical program with systems of variational differential inclusion constraints, Mathematical program with systems of equilibrium constraints |
28 | Nikos Georgis, Maria Petrou, Josef Kittler |
On the generalised stock-cutting problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 11(5), pp. 231-241, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Stock-cutting, Simulated annealing, Optimisation, Mathematical morphology, Mathematical programming |
28 | Ireneusz Karkowski |
Architectural synthesis with possibilistic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 14-22, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
possibilistic programming, fuzzy mathematical programming, simultaneous scheduling, FOAS, computational complexity, computational complexity, fuzzy logic, high level synthesis, high-level synthesis, circuit CAD, mathematical programming, possibility theory |
28 | Jack-Gérard Postaire, R. D. Zhang, C. Lecocq-Botte |
Cluster Analysis by Binary Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(2), pp. 170-180, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
binary morphology, unsupervised pattern classification, mathematical morphology operations, multidimensional observations, mathematical discrete binary set, well separated subsets, pattern recognition, set theory |
28 | Mahesh Visvanathan, Bernhard Pfeifer, Christian Baumgartner, Bernhard Tilg, Gerald H. Lushington |
Integrative Approach for Combining TNFa-NFkB Mathematical Model to a Protein Interaction Connectivity Map. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBRA ![In: Bioinformatics Research and Applications, 5th International Symposium, ISBRA 2009, Fort Lauderdale, FL, USA, May 13-16, 2009, Proceedings, pp. 63-74, 2009, Springer, 978-3-642-01550-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
TNF? mediated NF-?B signaling pathway - protein-protein interaction and mathematical model |
28 | Wai Kin Chan, Lee W. Schruben |
Mathematical programming models of closed tandem queueing networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 19(1), pp. 3:1-3:27, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Event relationship graph, mathematical programming representation, symmetry, queueing network, blocking, reversibility |
28 | Joseph J. LaViola Jr. |
Advances in Mathematical Sketching: Moving Toward the Paradigm's Full Potential. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 27(1), pp. 38-48, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
mathematical sketching, drawing rectification, open-form solutions, associations, gestural interfaces |
28 | Weidong Liao, Benjamin J. Koonse |
A Layered Java Application Framework for Supplying Mathematical Computing Power to the Distributed Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA, pp. 279-283, 2007, IEEE Computer Society, 0-7695-2862-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
JSP Tag Libraries, Java, AJAX, MVC, Mathematical Computation |
28 | Isabelle Bloch |
Unifying Quantitative, Semi-quantitative and Qualitative Spatial Relation Knowledge Representations Using Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Foundations of Computer Vision ![In: Geometry, Morphology, and Computational Imaging, 11th International Workshop on Theoretical Foundations of Computer Vision Dagstuhl Castle, Germany, April 7-12, 2002, Revised Papers, pp. 153-164, 2002, Springer, 3-540-00916-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
mathematical morphology, spatial reasoning, spatial relationships |
28 | Zinovy Diskin |
On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 182-189, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
business domains, toposes, generalized sketch, predefined signature, visualization superstructures, business specifications, logical derivation, algebraic term rewriting, systems analysis, directed graphs, directed graph, business modeling, diagrams, diagrams, labels, predicate, corporate modelling, mathematical foundations |
28 | Ryoji Fukuda, Sou I, Fumikazu Tamari, Xie Ming, Masakazu Suzuki |
A Technique of Mathematical Expression Structure Analysis for the Handwriting Input System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Fifth International Conference on Document Analysis and Recognition, ICDAR 1999, 20-22 September, 1999, Bangalore, India, pp. 131-134, 1999, IEEE Computer Society, 0-7695-0318-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Mathematical formula, On line hand written recognition, Directional element feature |
28 | Josep Maria Font |
On the Contributions of Helena Rasiowa to Mathematical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 147, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Helena Rasiowa, abstract algebra, formal logic, ordered sets, non-classical logics, mathematical logic, biographies |
28 | Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller |
Towards Mathematical Knowledge Management for Electrical Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings, pp. 371-380, 2007, Springer, 978-3-540-73083-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge |
Towards a Parser for Mathematical Formula Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 139-151, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Achim Mahnke, Jan Scheffczyk |
Engineering Mathematical Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, pp. 250-266, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Adam Grabowski, Markus Moschner |
Managing Heterogeneous Theories within a Mathematical Knowledge Repository. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, pp. 116-129, 2004, Springer, 3-540-23029-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly V. Anisimov |
On Correctness of Mathematical Texts from a Logical and Practical Point of View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, pp. 583-598, 2008, Springer, 978-3-540-85109-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Akio Fujiyoshi, Masakazu Suzuki, Seiichi Uchida |
Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, pp. 415-429, 2008, Springer, 978-3-540-85109-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Koji Nakagawa, Akihiro Nomura 0001, Masakazu Suzuki |
Extraction of Logical Structure from Articles in Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, pp. 276-289, 2004, Springer, 3-540-23029-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Yannis Chicha, Marc Gaëtano |
Mathematical Web Services: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TES ![In: Technologies for E-Services, 4th International Workshop, TES 2003, Berlin, Germany, September 8, 2003, Proceedings, pp. 155-167, 2003, Springer, 3-540-20052-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | David Gries, Bill Marion, Peter B. Henderson, Diane Schwartz |
How mathematical thinking enchances computer science problem solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2001, Charlotte, North Carolina, USA, 2001, pp. 390-391, 2001, ACM, 1-58113-329-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | A. Buzin, I. Naftulin |
APL tutorial in mathematical modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the APL-Berlin-2000 Conference: Think Arrays in a Great City, APL 2000, Berlin, Germany, July 24-27, 2000, pp. 61-68, 2000, ACM, 1-58113-182-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
APL |
27 | Manfred Kerber |
From MKRP to Omega. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 139-153, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Manfred Broy |
The Impact of Models in Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 396-406, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Armin Fiedler |
Natural Language Proof Explanation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 342-363, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Peter Baumgartner 0001, Ulrich Furbach |
Living Books, Automated Deduction and Other Strange Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 249-267, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Elsa L. Gunter |
Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings, pp. 351-363, 1989, Springer, 3-540-97375-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
27 | A. John Power |
An Algebraic Formulation for Data Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings, pp. 390-401, 1989, Springer, 3-540-97375-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
27 | Maria Zamfir, David L. Martin 0001 |
On the Syntax and Semantics of Concurrent Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings, pp. 357-394, 1985, Springer, 3-540-16816-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
27 | Naphtali Rishe |
On Denotational Semantics of Data Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings, pp. 249-274, 1985, Springer, 3-540-16816-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
25 | Paul Libbrecht, Erica Melis |
Methods to Access and Retrieve Mathematical Content in ActiveMath. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings, pp. 331-342, 2006, Springer, 3-540-38084-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Seyfettin Noyan Ogulata, Melik Koyuncu, Esra Karakas |
Personnel and Patient Scheduling in the High Demanded Hospital Services: A Case Study in the Physiotherapy Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Medical Syst. ![In: J. Medical Syst. 32(3), pp. 221-228, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Hospital services, Hierarchical mathematical model, Balanced workload, Mathematical programming, Staff scheduling |
24 | Heraldo Maciel França Madeira, Junior Barrera |
Incremental Evaluation of BDD-Represented Set Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 13th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2000), 17-20 October 2000, Gramado (RS), Brazil, pp. 308-315, 2000, IEEE Computer Society, 0-7695-0878-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
translation invariant operators, locally defined set operators, 2D discrete W-operators, 3D discrete W-operators, reduced ordered binary decision diagram, equivalence proof, mathematical morphology, mathematical morphology, formal language, vocabulary, morphological operators |
24 | Tapas Kanungo, David M. Gay, Robert M. Haralick |
Constrained monotone regression of ROC curves and histograms using splines and polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 292-295, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
monotonically decreasing curves, single valued functions, parametric splines, parametric polynomials, monotonicity constraints, optimal operating points, cumulative density functions, monotonic splines, fitted spline function, end-point constraints, constrained monotone regression problem, mathematical programming language, AMPL, programming languages, statistical analysis, histograms, mathematical programming, curve fitting, curve fitting, splines (mathematics), receivers, ROC curves, receiver operating characteristics, parametric representation, density functions, closed form |
24 | Badr Al-Badr, Robert M. Haralick |
Segmentation-free word recognition with application to Arabic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 355-359, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
segmentation-free word recognition, machine-printed Arabic words, shape primitives, word image, spatial arrangement, matched symbol models, spatial arrangements, design, implementation, image recognition, character recognition, mathematical morphology, mathematical morphology, lexicon, symbols, posterior probability |
24 | Stephen Fischer, Adnan Amin, D. Drivas |
Segmentation of the Yellow Pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 605-609, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
DEC computers, document scanning, Australian Telecom Yellow Pages, business entries, 5000/20 DEC workstation, image segmentation, testing, optical character recognition, OCR, image recognition, image recognition, mathematical morphology, mathematical morphology, graphics, document image processing, research, thresholding, business data processing, advertisements, C language, skew detection, text document, document image segmentation, digitisation |
24 | Alexander Brodsky 0001, Mayur M. Bhot, Manasa Chandrashekar, Nathan E. Egge, Xiaoyang Sean Wang |
A decisions query language (DQL): high-level abstraction for mathematical programming over databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2009, Providence, Rhode Island, USA, June 29 - July 2, 2009, pp. 1059-1062, 2009, ACM, 978-1-60558-551-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
decision query, databases, mathematical programming |
24 | Youxin Luo, Bin Zeng 0001, Zheming He |
Hyper-Chaotic Mathematical Programming Method and Its Application to Dodecahedron Variable Geometry Truss Manipulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part I, pp. 1033-1040, 2009, Springer, 978-3-642-01506-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Hyper-chaotic system, Mathematical programming method, Dodecahedron variable geometry truss manipulator, Non-linear equations, Neuron network |
24 | Ichiro Nishizaki, Takuma Notsu |
Nondominated equilibrium solutions of a multiobjective two-person nonzero-sum game in extensive form and corresponding mathematical programming problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 42(2), pp. 201-220, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Nondominated equilibrium solution, Multiobjective two-person nonzero-sum game in extensive form, Mathematical programming problem |
24 | Wolfgang Achtziger, Christian Kanzow |
Mathematical programs with vanishing constraints: optimality conditions and constraint qualifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 114(1), pp. 69-99, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Vanishing constraints, Constrained optimization, Optimality conditions, Structural optimization, Constraint qualifications, Mathematical programs with equilibrium constraints |
Displaying result #1 - #100 of 28290 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|