Search results for "mathematical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Rebhi Baraka, Wolfgang Schreiner	Querying Registry-Published Mathematical Web Services.	AINA (1)	2006	DBLP DOI BibTeX RDF
17	Rebhi Baraka, Wolfgang Schreiner	Semantic Querying of Mathematical Web Service Descriptions.	WS-FM	2006	DBLP DOI BibTeX RDF
17	Abdou Youssef	Roles of Math Search in Mathematics.	MKM	2006	DBLP DOI BibTeX RDF
17	Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki	Capturing Abstract Matrices from Paper.	MKM	2006	DBLP DOI BibTeX RDF
17	Manfred Kerber	A Dynamic Poincaré Principle.	MKM	2006	DBLP DOI BibTeX RDF
17	Luca Padovani, Stefano Zacchiroli	From Notation to Semantics: There and Back Again.	MKM	2006	DBLP DOI BibTeX RDF
17	Ismet Bayraktaroglu, Alex Orailoglu	The Construction of Optimal Deterministic Partitionings in Scan-Based BIST Fault Diagnosis: Mathematical Foundations and Cost-Effective Implementations.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Fault diagnosis, finite field arithmetic, scan-based BIST
17	Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg H. Siekmann, Magdalena Wolska	Natural Language Dialog with a Tutor System for Mathematical Proofs.	Cognitive Systems	2005	DBLP DOI BibTeX RDF
17	Marcelo P. Fiore	Mathematical Models of Computational and Combinatorial Structures.	FoSSaCS	2005	DBLP DOI BibTeX RDF
17	Godfried T. Toussaint	Mathematical Features for Recognizing Preference in Sub-saharan African Traditional Rhythm Timelines.	ICAPR (1)	2005	DBLP DOI BibTeX RDF
17	Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner	A Web Registry for Publishing and Discovering Mathematical Services.	EEE	2005	DBLP DOI BibTeX RDF
17	Tianhai Tian, Kevin Burrage	A Mathematical Model for Genetic Regulation of the Lactose Operon.	ICCSA (2)	2005	DBLP DOI BibTeX RDF
17	Xuedong Tian, Haoxin Fan	Structural Analysis Based on Baseline in Printed Mathematical Expressions.	PDCAT	2005	DBLP DOI BibTeX RDF
17	Ernesto Tapia, Raúl Rojas 0001	Recognition of On-Line Handwritten Mathematical Expressions in the E-Chalk System - An Extension.	ICDAR	2005	DBLP DOI BibTeX RDF
17	Kamal Aboul-Hosn, Terese Andersen	A Proof-Theoretic Approach to Hierarchical Math Library Organization.	MKM	2005	DBLP DOI BibTeX RDF
17	Gueorgui I. Jojgov	Translating a Fragment of Weak Type Theory into Type Theory with Open Terms.	MKM	2005	DBLP DOI BibTeX RDF
17	Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, Erica Melis	Authoring Presentation for OpenMath.	MKM	2005	DBLP DOI BibTeX RDF
17	Leiming Liu, Chaonan Tong, Jianqin Wang, Ranbing Liu	A Uniform and Reduced Mathematical Model for Sucker Rod Pumping.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
17	Fairouz Kamareddine, Manuel Maarek, J. B. Wells	Flexible Encoding of Mathematics on the Computer.	MKM	2004	DBLP DOI BibTeX RDF
17	Gueorgui I. Jojgov, Rob Nederpelt	A Path to Faithful Formalizations of Mathematics.	MKM	2004	DBLP DOI BibTeX RDF
17	Kwang-Hyun Cho, Sung-Young Shin, Hyun Woo Kim, Olaf Wolkenhauer, Brian McFerran, Walter Kolch	Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway.	CMSB	2003	DBLP DOI BibTeX RDF
17	Bernd D. Heumesser, Dietmar Seipel, Ralf-Dieter Schimkat, Ulrich Güntzer	An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge.	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
17	Masayuki Okamoto, Hiroki Imai, Kazuhiko Takagi	Performance Evaluation of a Robust Method for Mathematical Expression Recognition.	ICDAR	2001	DBLP DOI BibTeX RDF
17	Bernd Wegner	The Electronic Library in EMIS - European Mathematical Information Service.	ECDL	2000	DBLP DOI BibTeX RDF
17	Utpal Garain, B. B. Chaudhuri 0001	A Syntactic Approach for Processing Mathematical Expressions in Printed Documents.	ICPR	2000	DBLP DOI BibTeX RDF
17	Andreas Franke 0001, Michael Kohlhase	System Description: MBASE, an Open Mathematical Knowledge Base.	CADE	2000	DBLP DOI BibTeX RDF
17	Michael Kohlhase	OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge.	AISC	2000	DBLP DOI BibTeX RDF
17	Daniel W. Lozier, Bruce R. Miller, Bonita V. Saunders	Design of a Digital Mathematical Library for Science, Technology and Education.	ADL	1999	DBLP DOI BibTeX RDF	Document Conversion, Visualization, World Wide Web, Database, Digital Library, Mathematics, Special Functions
17	Lubomir Birov, Arkady Prokofiev, Yuri Bartenev, Anatoly Vargin, Avijit Purkayastha, Yoginder S. Dandass, Vladimir Erzunov, Elena Shanikova, Anthony Skjellum, Purushotham V. Bangalore, Eugeny Shuvalov, Vitaly Ovechkin, Nataly Frolova, Sergey Orlov, Sergey Egorov	The Parallel Mathematical Libraries Project (PMLP): Overview, Design Innovations, and Preliminary Results.	PaCT	1999	DBLP DOI BibTeX RDF
17	Antony T. Popov, Hung T. Nguyen 0002, Leonid K. Reznik	An Application of Fuzzy Mathematical Morphology to Interval-Valued Knowledge Representation: A Remark.	Reliab. Comput.	1998	DBLP DOI BibTeX RDF
17	Karsten Homann, Jacques Calmet	Structures for Symbolic Mathematical Reasoning and Computation.	DISCO	1996	DBLP DOI BibTeX RDF	Integration of computing and reasoning paradigms, Interfaces
17	Niclas Andersson, Peter Fritzson	Generating Parallel Code from Object Oriented Mathematical Models.	PPoPP	1995	DBLP DOI BibTeX RDF
17	Frank Yeong-Chyang Shih, Owen Robert Mitchell	A mathematical morphology approach to Euclidean distance transformation.	IEEE Trans. Image Process.	1992	DBLP DOI BibTeX RDF
17	Fred Grossman, Robert J. Klerer, Melvin Klerer	A language for high-level programming of mathematical applications.	ICCL	1988	DBLP DOI BibTeX RDF
17	Lung Chiang Wu, Harry K. Edwards	A mixed integer mathematical programming model solution using branch and bound techniques (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
17	Satya D. Dubey	Statistical Determination of Certain Mathematical Constants and Functions Using Computers.	J. ACM	1966	DBLP DOI BibTeX RDF
16	Michael J. Barany	'[B]ut this is blog maths and we're free to make up conventions as we go along': Polymath1 and the modalities of 'massively collaborative mathematics'.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF	Polymath1, blogs, mathematics, online collaboration
16	Ed Gellenbeck, Andreas Stefik	Evaluating prosodic cues as a means to disambiguate algebraic expressions: an empirical study.	ASSETS	2009	DBLP DOI BibTeX RDF	SSML, accessibility, MathML, DAISY, synthetic speech
16	Davood G. Gozli, Marco Pollanen, Michael G. Reynolds	The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
16	John Howse, Gem Stapleton	Visual Mathematics: Diagrammatic Formalization and Proof.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
16	Sabina Jeschke, Nicole Natho, Thomas Richter, Ruedi Seiler, Marc Wilke	Knowledge Management in mArachna.	ISM	2006	DBLP DOI BibTeX RDF
16	Gin McCollum	Mathematics reflecting sensorimotor organization.	Biol. Cybern.	2003	DBLP DOI BibTeX RDF
16	Simon Colton, Volker Sorge, Ursula Martin	Workshop: The Role of Automated Deduction in Mathematics.	CADE	2000	DBLP DOI BibTeX RDF
16	Benjamin P. Berman, Richard J. Fateman	Optical Character Recognition for Typeset Mathematics.	ISSAC	1994	DBLP DOI BibTeX RDF
16	Martin Davis, Hilary Putnam	A Computing Procedure for Quantification Theory.	J. ACM	1960	DBLP DOI BibTeX RDF
15	Gabriele Iommazzo, Claudia D'Ambrosio, Antonio Frangioni, Leo Liberti	Learning to Configure Mathematical Programming Solvers by Mathematical Programming.	CoRR	2024	DBLP DOI BibTeX RDF
15	Gonzalo Romero-García, Isabelle Bloch, Carlos Agón	Mathematical Morphology Applied to Feature Extraction in Music Spectrograms.	DGMM	2024	DBLP DOI BibTeX RDF
15	Bernhard Garn, Klaus Kieseberg, Ceren Çulha, Marlene Koelbing, Dimitris E. Simos	A Mathematical Approach on the Use of Integer Partitions for Smurfing in Cryptocurrencies.	MARBLE	2023	DBLP DOI BibTeX RDF
15	Christer Oscar Kiselman	Digital Geometry, Mathematical Morphology, and Discrete Optimization: A Survey.	DGMM	2022	DBLP DOI BibTeX RDF
15	Santiago Velasco-Forero, Jesús Angulo	MorphoActivation: Generalizing ReLU Activation Function by Mathematical Morphology.	DGMM	2022	DBLP DOI BibTeX RDF
15	Tetiana Hodovaniuk, Tetiana Makhometa, Irina Tiahai, Daria Voznosymenko, Vitalii Dubovyk	Use of the Dynamic Mathematical Program of GeoGebra in Classes in Mathematical Disciplines in the Conditions of Blended Learning.	3L-Person@ICTERI	2021	DBLP BibTeX RDF
15	Isabelle Bloch, Samy Blusseau, Ramón Pino Pérez, Élodie Puybareau, Guillaume Tochon	On Some Associations Between Mathematical Morphology and Artificial Intelligence.	DGMM	2021	DBLP DOI BibTeX RDF
15	Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret	Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation.	DGMM	2021	DBLP DOI BibTeX RDF
15	Konstantin E. Samouylov, Leonid A. Sevastianov, Dmitry S. Kulyabov	The XI International Conference Information and Telecommunication Technologies and Mathematical Modeling of High-Tech Systems.	ITTMM	2021	DBLP BibTeX RDF
15	André Greiner-Petter, Moritz Schubotz, Fabian Müller 0002, Corinna Breitinger, Howard S. Cohl, Akiko Aizawa, Bela Gipp	Discovering Mathematical Objects of Interest - A Study of Mathematical Notations.	CoRR	2020	DBLP BibTeX RDF
15	André Greiner-Petter, Moritz Schubotz, Fabian Müller 0002, Corinna Breitinger, Howard S. Cohl, Akiko Aizawa, Bela Gipp	Discovering Mathematical Objects of Interest - A Study of Mathematical Notations.	WWW	2020	DBLP DOI BibTeX RDF
15	Gabriele Iommazzo, Claudia D'Ambrosio, Antonio Frangioni, Leo Liberti	Learning to Configure Mathematical Programming Solvers by Mathematical Programming.	LION	2020	DBLP DOI BibTeX RDF
15	Anh Duc Le	Recognizing handwritten mathematical expressions via paired dual loss attention network and printed mathematical expressions.	CVPR Workshops	2020	DBLP BibTeX RDF
15	Kuniko Yamada, Harumi Murakami	Mathematical Expression Retrieval in PDFs from the Web Using Mathematical Term Queries.	IEA/AIE	2020	DBLP DOI BibTeX RDF
15	Dennis Tobias Halbach	Mathematical World Knowledge Contained in the Multilingual Wikipedia Project.	ICMS	2020	DBLP DOI BibTeX RDF
15	Francis Quinby, Seyeon Kim, Sohee Kang, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr	Markov Transition Matrix Analysis of Mathematical Expression Input Models.	ICMS	2020	DBLP DOI BibTeX RDF
15	Jan Frederik Schaefer, Kai Amann, Michael Kohlhase	Prototyping Controlled Mathematical Languages in Jupyter Notebooks.	ICMS	2020	DBLP DOI BibTeX RDF
15	Athar Abdul-Quader	J. H. Schmerl, Subsets coded in elementary end extensions. Archive for Mathematical Logic, vol. 53 (2014), no. 5-6, pp. 571-581. - J. H. Schmerl, Minimal elementary end extensions. Archive for Mathematical Logic, vol. 56 (2017), no. 5-6, pp. 541-553.	Bull. Symb. Log.	2019	DBLP DOI BibTeX RDF
15	Joseph Malinzi	Mathematical Analysis of a Mathematical Model of Chemovirotherapy: Effect of Drug Infusion Method.	Comput. Math. Methods Medicine	2019	DBLP DOI BibTeX RDF
15	Aygun Abulfat Medzhidova	Mathematical Speech as a Development of the Mathematical Knoweledge of Students.	Russ. Digit. Libr. J.	2019	DBLP DOI BibTeX RDF
15	Lorenzo Sala, Christophe Prud'homme, Giovanna Guidoboni, Marcela Szopos, Alon Harris	Mathematical Assessment of the Role of Three Factors Entangled in the Development of Glaucoma by Means of the Ocular Mathematical Virtual Simulator.	ENUMATH	2019	DBLP DOI BibTeX RDF
15	Muhammad Zubair Islam, Kashif Mehmood, Hyung Seok Kim	Reinforcement Learning Based Interactive Agent for Personalized Mathematical Skill Enhancement.	MACIS	2019	DBLP DOI BibTeX RDF
15	Carl J. Nelson, Philip T. G. Jackson, Boguslaw Obara	Combining Mathematical Morphology and the Hilbert Transform for Fully Automatic Nuclei Detection in Fluorescence Microscopy.	ISMM	2019	DBLP DOI BibTeX RDF
15	Mateus Sangalli, Marcos Eduardo Valle	Approaches to Multivalued Mathematical Morphology Based on Uncertain Reduced Orderings.	ISMM	2019	DBLP DOI BibTeX RDF
15	Petros Maragos	Tropical Geometry, Mathematical Morphology and Weighted Lattices.	ISMM	2019	DBLP DOI BibTeX RDF
15	Teo Asplund, Andrés Serna, Beatriz Marcotegui, Robin Strand, Cris L. Luengo Hendriks	Mathematical Morphology on Irregularly Sampled Data Applied to Segmentation of 3D Point Clouds of Urban Scenes.	ISMM	2019	DBLP DOI BibTeX RDF
15	Sergio Manzetti	Mathematical Modeling of Rogue Waves: A Survey of Recent and Emerging Mathematical Methods and Solutions.	Axioms	2018	DBLP DOI BibTeX RDF
15	Seyeon Kim, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr	Identification of Errors in Mathematical Symbolism and Notation: Implications for Software Design.	ICMS	2018	DBLP DOI BibTeX RDF
15	Takeo Noda, Masataka Kaneko	Collaborative Use of Mathematical Content Generated by CindyJS on Tablets.	ICMS	2018	DBLP DOI BibTeX RDF
15	William M. Farmer	A New Style of Mathematical Proof.	ICMS	2018	DBLP DOI BibTeX RDF
15	Matthew England 0001	Machine Learning for Mathematical Software.	ICMS	2018	DBLP DOI BibTeX RDF
15	Wolfram Sperber	Mathematical Research Data, Software, Models, and the Publication-Based Approach.	ICMS	2018	DBLP DOI BibTeX RDF
15	Yihe Dong	NLP and Large-Scale Information Retrieval on Mathematical Texts.	ICMS	2018	DBLP DOI BibTeX RDF
15	Cristiano Natal Tonéis	The act of playing and the logical and mathematical reasoning in digital games: The mathematical experience in the digital games.	Entertain. Comput.	2017	DBLP DOI BibTeX RDF
15	Liangcai Gao, Zhuoren Jiang, Yue Yin, Ke Yuan, Zuoyu Yan, Zhi Tang 0001	Preliminary Exploration of Formula Embedding for Mathematical Information Retrieval: can mathematical formulae be embedded like a natural language?	CoRR	2017	DBLP BibTeX RDF
15	Tokinori Suzuki, Atsushi Fujii	Mathematical Document Categorization with Structure of Mathematical Expressions.	JCDL	2017	DBLP DOI BibTeX RDF
15	Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease	Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues.	CICM	2017	DBLP DOI BibTeX RDF
15	Noboru Kunihiro	Mathematical Approach for Recovering Secret Key from Its Noisy Version.	CREST Crypto-Math Project	2017	DBLP DOI BibTeX RDF
15	Tom Wiesing, Michael Kohlhase, Florian Rabe 0001	Virtual Theories - A Uniform Interface to Mathematical Knowledge Bases.	MACIS	2017	DBLP DOI BibTeX RDF
15	Michael Kohlhase, Luca De Feo, Dennis Müller 0001, Markus Pfeiffer, Florian Rabe 0001, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing	Knowledge-Based Interoperability for Mathematical Software Systems.	MACIS	2017	DBLP DOI BibTeX RDF
15	Guillaume Noyel, Michel Jourlin	Double-Sided Probing by Map of Asplund's Distances Using Logarithmic Image Processing in the Framework of Mathematical Morphology.	ISMM	2017	DBLP DOI BibTeX RDF
15	Isabelle Bloch	Topological Relations Between Bipolar Fuzzy Sets Based on Mathematical Morphology.	ISMM	2017	DBLP DOI BibTeX RDF
15	Lucius Schoenbaum	Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface.	CoRR	2016	DBLP BibTeX RDF
15	Kerry Lee	Mathematical Competence, Teaching, and Learning. Reflections on 'Challenges in Mathematical Cognition' by Alcock et al. (2016).	J. Numer. Cogn.	2016	DBLP DOI BibTeX RDF
15	Lucius Schoenbaum	Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface.	FM4M/MathUI/ThEdu/DP/WIP@CIKM	2016	DBLP BibTeX RDF
15	Anna Zamansky, Yoni Zohar	'Mathematical' Does Not Mean 'Boring': Integrating Software Assignments to Enhance Learning of Logico-Mathematical Concepts.	CAiSE Workshops	2016	DBLP DOI BibTeX RDF
15	Martin von Gagern, Ulrich Kortenkamp, Jürgen Richter-Gebert, Michael Strobel	CindyJS - Mathematical Visualization on Modern Devices.	ICMS	2016	DBLP DOI BibTeX RDF
15	Aaron Montag, Jürgen Richter-Gebert	CindyGL: Authoring GPU-Based Interactive Mathematical Content.	ICMS	2016	DBLP DOI BibTeX RDF
15	Martin von Gagern, Jürgen Richter-Gebert	CindyJS Plugins - Extending the Mathematical Visualization Framework.	ICMS	2016	DBLP DOI BibTeX RDF
15	Thomas Koprucki, Karsten Tabelow	Mathematical Models: A Research Data Category?	ICMS	2016	DBLP DOI BibTeX RDF
15	Wolfram Sperber	Mathematical Research Data and Information Services.	ICMS	2016	DBLP DOI BibTeX RDF
15	Stephen J. Maher, Matthias Miltenberger, João Pedro Pedroso, Daniel Rehfeldt, Robert Schwarz, Felipe Serrano	PySCIPOpt: Mathematical Programming in Python with the SCIP Optimization Suite.	ICMS	2016	DBLP DOI BibTeX RDF
15	Helge Holzmann, Mila Runnwerth, Wolfram Sperber	Linking Mathematical Software in Web Archives.	ICMS	2016	DBLP DOI BibTeX RDF
15	Mila Runnwerth	Mathematical Videos and Affiliated Supplementaries in TIB's AV Portal.	ICMS	2016	DBLP DOI BibTeX RDF
15	Joris van der Hoeven	Mathematical Font Art.	ICMS	2016	DBLP DOI BibTeX RDF