The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Mathematical with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1939-1956 (16) 1957-1961 (24) 1962-1963 (16) 1964-1965 (18) 1966 (16) 1967 (23) 1968 (26) 1969 (17) 1970-1971 (37) 1972 (23) 1973 (192) 1974 (78) 1975 (107) 1976 (119) 1977 (104) 1978 (108) 1979 (91) 1980 (100) 1981 (88) 1982 (64) 1983 (32) 1984 (103) 1985 (154) 1986 (121) 1987 (112) 1988 (156) 1989 (212) 1990 (203) 1991 (259) 1992 (233) 1993 (244) 1994 (301) 1995 (299) 1996 (342) 1997 (325) 1998 (430) 1999 (417) 2000 (648) 2001 (577) 2002 (674) 2003 (878) 2004 (994) 2005 (1281) 2006 (1500) 2007 (1484) 2008 (1633) 2009 (1328) 2010 (712) 2011 (683) 2012 (653) 2013 (737) 2014 (854) 2015 (753) 2016 (752) 2017 (739) 2018 (783) 2019 (1053) 2020 (1104) 2021 (1078) 2022 (947) 2023 (993) 2024 (242)
Publication types (Num. hits)
article(9605) book(167) data(1) incollection(542) inproceedings(17413) phdthesis(379) proceedings(183)
Venues (Conferences, Journals, ...)
MFCS(2910) CoRR(909) MFPS(629) ISMM(453) ICMS(389) MMM-ACNS(178) Appl. Math. Comput.(175) PLoS Comput. Biol.(131) MACIS(127) COLING(122) MEMICS(121) Ann. Oper. Res.(117) MOTOR(115) IEEE Trans. Pattern Anal. Mach...(114) DGMM(112) Am. Math. Mon.(110) More (+10 of total 3976)
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
51Kiesha 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 PLoS Comput. Biol. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
48Mustapha Eddahibi, Azzeddine Lazrek, Khalid Sami Arabic Mathematical e-Documents. Search on Bibsonomy TEX, XML, and Digital Typography The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Arabic mathematical presentation, Multilingual documents, e-documents, Unicode, MathML, Mozilla, Mathematical expressions
48Hélder Ferreira, Diamantino Freitas Audio Rendering of Mathematical Formulae Using MathML and AudioMath. Search on Bibsonomy User Interfaces for All The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Audio Rendering of Mathematical Expressions, Conversion of mathematical formulae into text, Accessibility, Text-to-Speech, MathML
47Joseph J. LaViola Jr., Robert C. Zeleznik MathPad2: a system for the creation and exploration of mathematical sketches. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF mathematical sketching, gestures, pen-based interfaces
46Hsi-Jian Lee, Jiumn-Shine Wang Design of a mathematical expression recognition system. Search on Bibsonomy ICDAR The full citation details ... 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
45Seiichi Uchida, Akihiro Nomura 0001, Masakazu Suzuki Quantitative analysis of mathematical documents. Search on Bibsonomy Int. J. Document Anal. Recognit. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Mathematical document, Database, OCR, Mathematical expressions, Touching characters
45Mustapha Eddahibi, Azzeddine Lazrek, Khalid Sami Dynamic Arabic Mathematical Fonts. Search on Bibsonomy TEX, XML, and Digital Typography The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Mathematical font, Dynamic font, Variable-sized symbols, Arabic mathematical writing, Multilingual documents, Post- Script and OpenType, Unicode
45Masakazu Suzuki, Fumikazu Tamari, Ryoji Fukuda, Seiichi Uchida, Toshihiro Kanahori INFTY: an integrated OCR system for mathematical documents. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2003 DBLP  DOI  BibTeX  RDF character and symbol recognition, mathematical OCR, structure analysis of mathematical expressions
44Alan P. Sexton, Volker Sorge A Database of Glyphs for OCR of Mathematical Documents. Search on Bibsonomy MKM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Li Liu 0001, Yi Yang 0017, Lian Li 0003 Mathematics Computing Environment on the Web. Search on Bibsonomy SKG The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41Yingxu Wang 0001 On Mathematical Laws of Software. Search on Bibsonomy Trans. Comput. Sci. The full citation details ... 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
41Shirley Moore, A. Jerry Baker, Jack J. Dongarra Active netlib: an active mathematical software collection for inquiry-based computational science & engineering education. Search on Bibsonomy JCDL The full citation details ... 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
41Shirley Moore, A. Jerry Baker, Jack J. Dongarra Active netlib: an active mathematical software collection for inquiry-based computational science & engineering education. Search on Bibsonomy JCDL The full citation details ... 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
41Clare M. So, Stephen M. Watt Determining Empirical Characteristics of Mathematical Expression Use. Search on Bibsonomy MKM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
41Fairouz Kamareddine, Manuel Maarek, J. B. Wells Toward an Object-Oriented Structure for Mathematical Text. Search on Bibsonomy MKM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Yuji Kasuya, Hayato Yamana MathBox: interactive pen-based interface for inputting mathematical expressions. Search on Bibsonomy IUI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF mathematical expression recognition, DP matching
37Robert Miner, Rajesh Munavalli An Approach to Mathematical Search Through Query Formulation and Data Normalization. Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Afef Kacem, Abdel Belaïd, Mohamed Ben Ahmed Automatic extraction of printed mathematical formulas using fuzzy logic and propagation of context. Search on Bibsonomy Int. J. Document Anal. Recognit. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematic formula extraction, Symbol labeling, Context propagation, Fuzzy logic, Document segmentation
36William 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 SIGACT News The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Walaa Aly, Seiichi Uchida, Masakazu Suzuki Identifying Subscripts and Superscripts in Mathematical Documents. Search on Bibsonomy Math. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematical documents, structure analysis of mathematical expression, subscript and superscript
35Yoshinori Hijikata, Hideki Hashimoto, Shogo Nishida Search Mathematical Formulas by Mathematical Formulas. Search on Bibsonomy HCI (8) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF mathematical formula, search engine, index, inverted file, MathML
34Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner 0001 Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. Search on Bibsonomy Math. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematical knowledge management, system architecture, proof assistants
34Koji Nakagawa, Masakazu Suzuki Mathematical Knowledge Browser with Automatic Hyperlink Detection. Search on Bibsonomy MKM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Elena S. Smirnova, Clare M. So, Stephen M. Watt An Architecture for Distributed Mathematical Web Services. Search on Bibsonomy MKM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34J. Toumit, Sonia Garcia-Salicetti, Hubert Emptoz A Hierarchical and Recursive Model of Mathematical Expressions for Automatic Reading of Mathematical Documents. Search on Bibsonomy ICDAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
34Christoph Benzmüller, Andreas Meier 0002, Volker Sorge Bridging Theorem Proving and Mathematical Knowledge Retrieval. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Serge Autexier, Armin Fiedler Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. Search on Bibsonomy MKM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Isabelle Bloch Fuzzy and Bipolar Mathematical Morphology, Applications in Spatial Reasoning. Search on Bibsonomy ECSQARU The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Fuzzy mathematical morphology, bipolar mathematical morphology, bipolar spatial information, spatial reasoning, spatial relations
32Ihab Salawdeh, Eduardo César, Anna Morajko, Tomàs Margalef, Emilio Luque Performance Model for Parallel Mathematical Libraries Based on Historical Knowledgebase. Search on Bibsonomy Euro-Par The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematical Performance, PETSc Performance, Dynamic mathematical model, Performance Model
32Jiro Katto, Mutsumi Ohta Mathematical analysis of MPEG compression capability and its application to rate control. Search on Bibsonomy ICIP The full citation details ... 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
31Yong Shi 0001, Yingjie Tian 0001, Xiaojun Chen 0001, Peng Zhang 0001 Regularized multiple criteria linear programs for classification. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multiple criteria mathematical program, regularized multiple criteria mathematical program, data mining, classification
31Salman Cheema, Joseph J. LaViola Jr. Towards intelligent motion inferencing in mathematical sketching. Search on Bibsonomy IUI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF mathematical sketching, sketch inferencing, sketch parsing, pen-based interfaces
31Yingxu Wang 0001 Toward a Generic Mathematical Model of Abstract Game Theories. Search on Bibsonomy Trans. Comput. Sci. The full citation details ... 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
31B. B. Chaudhuri 0001, Utpal Garain An Approach for Recognition and Interpretation of Mathematical Expressions in Printed Document. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Symbol arrangement, OCR, Document, Symbol recognition, Mathematical Expression
31Xuejun Zhao, Xinyu Liu, Shengling Zheng, Baochang Pan, Yuan Yan Tang On-line recognition handwritten mathematical symbol. Search on Bibsonomy ICDAR The full citation details ... 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
31Kazuo Toraichi, Takahiko Horiuchi, Ryoji Haruki Observation method for mathematical graphology. Search on Bibsonomy ICDAR The full citation details ... 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
31Adam Grabowski, Christoph Schwarzweller Revisions as an Essential Tool to Maintain Mathematical Repositories. Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Adam Grabowski, Christoph Schwarzweller Translating Mathematical Vernacular into Knowledge Repositories. Search on Bibsonomy MKM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Kenichi 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 ICPR (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Claudio Sacerdoti Coen Mathematical Libraries as Proof Assistant Environments. Search on Bibsonomy MKM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Peter Elbau, Leonidas Mindrinos, Otmar Scherzer Mathematical Methods of Optical Coherence Tomography. Search on Bibsonomy Handbook of Mathematical Methods in Imaging The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
31Athanassios S. Fokas, George A. Kastis Mathematical Methods in PET and SPECT Imaging. Search on Bibsonomy Handbook of Mathematical Methods in Imaging The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
31David Makinson, Jacek Malinowski, Heinrich Wansing From Logic to Mathematical Philosophy. Search on Bibsonomy Towards Mathematical Philosophy The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Andrew Aberdein The Informal Logic Of Mathematical Proof. Search on Bibsonomy Perspectives On Mathematical Practices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Jill Adler Mathematical Practices In And Across School Contexts. Search on Bibsonomy Perspectives On Mathematical Practices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Reuben Hersh On The Interdisciplinary Study of Mathematical Practice, with a Real Live Case Study. Search on Bibsonomy Perspectives On Mathematical Practices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Sal Restivo Theory of Mind, Social Science, and Mathematical Practice. Search on Bibsonomy Perspectives On Mathematical Practices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Madeline Muntersbjorn Mathematical Progress As Increased Scope. Search on Bibsonomy Perspectives On Mathematical Practices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Lifeng Li 4. Mathematical Reflections on the Fourier Modal Method in Grating Theory. Search on Bibsonomy Mathematical Modeling in Optical Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Anne-Sophie Bonnet-Ben Dhia, Patrick Joly 8. Mathematical Analysis and Numerical Approximation of Optical Waveguides. Search on Bibsonomy Mathematical Modeling in Optical Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Robert Marty Foundations of a Mathematical Semiotics. Search on Bibsonomy Mathematical Aspects of Natural and Formal Languages The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
31Manfred Kudlek A Mathematical Model of Personal Pronouns. Search on Bibsonomy Mathematical Aspects of Natural and Formal Languages The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
31S. S. Sritharan 10. Mathematical Aspects of Harmonic Grid Generation. Search on Bibsonomy Mathematical Aspects of Numerical Grid Generation The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
31Tamás Gergely, Konstantin Vershinin Natural mathematical texts vs. programs. Search on Bibsonomy Mathematical Methods of Specification and Synthesis of Software Systems The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
31 Panel session on the challenges for developments of mathematical software. Search on Bibsonomy Problems and Methodologies in Mathematical Software Production The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
31Paul Messina Guidelines for managing mathematical software libraries at computer centers. Search on Bibsonomy Problems and Methodologies in Mathematical Software Production The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
31Paul Messina The role of computer centers in the field of mathematical software. Search on Bibsonomy Problems and Methodologies in Mathematical Software Production The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
30Carl A. Gunter Comparing Categories of Domains. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
28Huizhu 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 ICDAR The full citation details ... 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
28Hiromitsu Yamada, Kazuhiko Yamamoto, Katsumi Hosokawa Directional Mathematical Morphology and Reformalized Hough Transformation for the Analysis of Topographic Maps. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
28Lai-Jiu Lin 0001 Systems of variational inclusion problems and differential inclusion problems with applications. Search on Bibsonomy J. Glob. Optim. The full citation details ... 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
28Nikos Georgis, Maria Petrou, Josef Kittler On the generalised stock-cutting problem. Search on Bibsonomy Mach. Vis. Appl. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Stock-cutting, Simulated annealing, Optimisation, Mathematical morphology, Mathematical programming
28Ireneusz Karkowski Architectural synthesis with possibilistic programming. Search on Bibsonomy HICSS (1) The full citation details ... 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
28Jack-Gérard Postaire, R. D. Zhang, C. Lecocq-Botte Cluster Analysis by Binary Morphology. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
28Mahesh 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 ISBRA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF TNF? mediated NF-?B signaling pathway - protein-protein interaction and mathematical model
28Wai Kin Chan, Lee W. Schruben Mathematical programming models of closed tandem queueing networks. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Event relationship graph, mathematical programming representation, symmetry, queueing network, blocking, reversibility
28Joseph J. LaViola Jr. Advances in Mathematical Sketching: Moving Toward the Paradigm's Full Potential. Search on Bibsonomy IEEE Computer Graphics and Applications The full citation details ... 2007 DBLP  DOI  BibTeX  RDF mathematical sketching, drawing rectification, open-form solutions, associations, gestural interfaces
28Weidong Liao, Benjamin J. Koonse A Layered Java Application Framework for Supplying Mathematical Computing Power to the Distributed Environment. Search on Bibsonomy SEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF JSP Tag Libraries, Java, AJAX, MVC, Mathematical Computation
28Isabelle Bloch Unifying Quantitative, Semi-quantitative and Qualitative Spatial Relation Knowledge Representations Using Mathematical Morphology. Search on Bibsonomy Theoretical Foundations of Computer Vision The full citation details ... 2002 DBLP  DOI  BibTeX  RDF mathematical morphology, spatial reasoning, spatial relationships
28Zinovy Diskin On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000). Search on Bibsonomy TOOLS (37) The full citation details ... 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
28Ryoji Fukuda, Sou I, Fumikazu Tamari, Xie Ming, Masakazu Suzuki A Technique of Mathematical Expression Structure Analysis for the Handwriting Input System. Search on Bibsonomy ICDAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Mathematical formula, On line hand written recognition, Directional element feature
28Josep Maria Font On the Contributions of Helena Rasiowa to Mathematical Logic. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Helena Rasiowa, abstract algebra, formal logic, ordered sets, non-classical logics, mathematical logic, biographies
28Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller Towards Mathematical Knowledge Management for Electrical Engineering. Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge Towards a Parser for Mathematical Formula Recognition. Search on Bibsonomy MKM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Achim Mahnke, Jan Scheffczyk Engineering Mathematical Knowledge. Search on Bibsonomy MKM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Adam Grabowski, Markus Moschner Managing Heterogeneous Theories within a Mathematical Knowledge Repository. Search on Bibsonomy MKM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Konstantin 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 AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Akio Fujiyoshi, Masakazu Suzuki, Seiichi Uchida Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Koji Nakagawa, Akihiro Nomura 0001, Masakazu Suzuki Extraction of Logical Structure from Articles in Mathematics. Search on Bibsonomy MKM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Yannis Chicha, Marc Gaëtano Mathematical Web Services: A Case Study. Search on Bibsonomy TES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27David Gries, Bill Marion, Peter B. Henderson, Diane Schwartz How mathematical thinking enchances computer science problem solving. Search on Bibsonomy SIGCSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27A. Buzin, I. Naftulin APL tutorial in mathematical modelling. Search on Bibsonomy APL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF APL
27Manfred Kerber From MKRP to Omega. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Manfred Broy The Impact of Models in Software Development. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Armin Fiedler Natural Language Proof Explanation. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Peter Baumgartner 0001, Ulrich Furbach Living Books, Automated Deduction and Other Strange Things. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Elsa L. Gunter Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
27A. John Power An Algebraic Formulation for Data Refinement. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
27Maria Zamfir, David L. Martin 0001 On the Syntax and Semantics of Concurrent Computing. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
27Naphtali Rishe On Denotational Semantics of Data Bases. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
25Paul Libbrecht, Erica Melis Methods to Access and Retrieve Mathematical Content in ActiveMath. Search on Bibsonomy ICMS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Seyfettin 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 J. Medical Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Hospital services, Hierarchical mathematical model, Balanced workload, Mathematical programming, Staff scheduling
24Heraldo Maciel França Madeira, Junior Barrera Incremental Evaluation of BDD-Represented Set Operators. Search on Bibsonomy SIBGRAPI The full citation details ... 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
24Tapas Kanungo, David M. Gay, Robert M. Haralick Constrained monotone regression of ROC curves and histograms using splines and polynomials. Search on Bibsonomy ICIP The full citation details ... 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
24Badr Al-Badr, Robert M. Haralick Segmentation-free word recognition with application to Arabic. Search on Bibsonomy ICDAR The full citation details ... 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
24Stephen Fischer, Adnan Amin, D. Drivas Segmentation of the Yellow Pages. Search on Bibsonomy ICDAR The full citation details ... 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
24Alexander 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 SIGMOD Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF decision query, databases, mathematical programming
24Youxin Luo, Bin Zeng 0001, Zheming He Hyper-Chaotic Mathematical Programming Method and Its Application to Dodecahedron Variable Geometry Truss Manipulator. Search on Bibsonomy ISNN (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Hyper-chaotic system, Mathematical programming method, Dodecahedron variable geometry truss manipulator, Non-linear equations, Neuron network
24Ichiro 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 J. Glob. Optim. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Nondominated equilibrium solution, Multiobjective two-person nonzero-sum game in extensive form, Mathematical programming problem
24Wolfgang Achtziger, Christian Kanzow Mathematical programs with vanishing constraints: optimality conditions and constraint qualifications. Search on Bibsonomy Math. Program. The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license