Search results for "Nelson"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Manuela Busaniche, Nikolaos Galatos, Miguel Andrés Marcos	Twist Structures and Nelson Conuclei.	Stud Logica	2022	DBLP DOI BibTeX RDF
23	Aldo V. Figallo, Jonathan Sermento, Gustavo Pelaitay	A Categorical Equivalence for Tense Nelson Algebras.	Stud Logica	2022	DBLP DOI BibTeX RDF
23	Jorge Fandinno, Luis Fariñas del Cerro	Abstract argumentation and answer set programming: two faces of Nelson's logic.	CoRR	2022	DBLP DOI BibTeX RDF
23	Candice R. Price	Encyclopedia of Knot Theory: Edited by Colin Adams, Erica Flapan, Allison Henrich, Louis H. Kauffman, Lewis D. Ludwig, & Sam Nelson. Chapman and Hall/CRC Press, Boca Raton, FL, 2020. ISBN 978-1138297845	Am. Math. Mon.	2022	DBLP DOI BibTeX RDF
23	Tommaso Flaminio, Umberto Rivieccio	Prelinearity in (quasi-)Nelson logic.	Fuzzy Sets Syst.	2022	DBLP DOI BibTeX RDF
23	Umberto Rivieccio	Fragments of Quasi-Nelson: The Algebraizable Core.	Log. J. IGPL	2022	DBLP DOI BibTeX RDF
23	Umberto Rivieccio, Ramon Jansana	Quasi-Nelson algebras and fragments.	Math. Struct. Comput. Sci.	2021	DBLP DOI BibTeX RDF
23	Aldo V. Figallo, Gustavo Pelaitay, Jonathan Sarmiento	An Algebraic Study of Tense Operators on Nelson Algebras.	Stud Logica	2021	DBLP DOI BibTeX RDF
23	Domenico Cantone, Andrea De Domenico, Pietro Maugeri	On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework.	GandALF	2021	DBLP DOI BibTeX RDF
23	Juan Manuel Cornejo, Andrés Gallardo, Ignacio Darío Viglizzo	A categorial equivalence for semi-Nelson algebras.	Soft Comput.	2021	DBLP DOI BibTeX RDF
23	Janet Waters	Book review: Bryce Nelson, The Academic Library Administrator's Field Guide.	J. Libr. Inf. Sci.	2021	DBLP DOI BibTeX RDF
23	Conrado Gomez, Miguel Andrés Marcos, Hernán Javier San Martín	On the relation of negations in Nelson algebras.	Reports Math. Log.	2021	DBLP BibTeX RDF
23	Lwando Ngcama, Nicky Mostert	An Evaluation of Social Media Policy Awareness and Compliance at the Nelson Mandela University.	AFRICON	2021	DBLP DOI BibTeX RDF
23	Umberto Rivieccio	Fragments of Quasi-Nelson: Two Negations.	FLAP	2020	DBLP BibTeX RDF
23	Jannis Harder 0001	An Answer to the Bose-Nelson Sorting Problem for 11 and 12 Channels.	CoRR	2020	DBLP BibTeX RDF
23	Won Joong Kim, Gunho Jung, Sun-Yong Choi	Forecasting CDS Term Structure Based on Nelson-Siegel Model and Machine Learning.	Complex.	2020	DBLP DOI BibTeX RDF
23	Thiago Nascimento, Umberto Rivieccio, João Marcos 0001, Matthew Spinks	Nelson's logic ℒ.	Log. J. IGPL	2020	DBLP DOI BibTeX RDF
23	Juan Manuel Cornejo, Hernán Javier San Martín	Dually hemimorphic semi-Nelson algebras.	Log. J. IGPL	2020	DBLP DOI BibTeX RDF
23	Matthew Spinks, Umberto Rivieccio, Thiago Nascimento	Compatibly involutive residuated lattices and the Nelson identity.	Soft Comput.	2019	DBLP DOI BibTeX RDF
23	Ruth Szpunar	Emy Nelson Decker and Seth M. Porter. Engaging Design: Creating Libraries for Modern Users. Santa Barbara, CA: Libraries Unlimited, 2018. 159p. Paper, $70.00 (ISBN 978-1-4408-5612-9).	Coll. Res. Libr.	2019	DBLP DOI BibTeX RDF
23	Fei Liang, Thiago Nascimento	Algebraic Semantics for Quasi-Nelson Logic.	WoLLIC	2019	DBLP DOI BibTeX RDF
23	Juan Manuel Cornejo, Ignacio Darío Viglizzo	Semi-Nelson Algebras.	Order	2018	DBLP DOI BibTeX RDF
23	Umberto Rivieccio, Matthew Spinks	Quasi-Nelson Algebras.	LSFA	2018	DBLP DOI BibTeX RDF
23	Roli Varma, Owen Marshall	Reviews of Recent Publications by Aspray and Nelson [2 books reviewed].	IEEE Ann. Hist. Comput.	2018	DBLP DOI BibTeX RDF
23	Sergei P. Odintsov, Stanislav O. Speranski, Igor Shevchenko	Hintikka's Independence-Friendly Logic Meets Nelson's Realizability.	Stud Logica	2018	DBLP DOI BibTeX RDF
23	Hitoshi Omori, Heinrich Wansing	On contra-Classical Variants of Nelson Logic N4 and its Classical Extension.	Rev. Symb. Log.	2018	DBLP DOI BibTeX RDF
23	Juan Manuel Cornejo, Hernán Javier San Martín	A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras.	Log. J. IGPL	2018	DBLP DOI BibTeX RDF
23	Thiago Nascimento, Umberto Rivieccio, João Marcos 0001, Matthew Spinks	Algebraic Semantics for Nelson's Logic S S.	WoLLIC	2018	DBLP DOI BibTeX RDF
23	Zied Ammari, Marco Falconi	Bohr's Correspondence Principle for the Renormalized Nelson Model.	SIAM J. Math. Anal.	2017	DBLP DOI BibTeX RDF
23	Fumio Hiroshima, Susumu Osawa	Mass Renormalization in the Nelson Model.	Int. J. Math. Math. Sci.	2017	DBLP DOI BibTeX RDF
23	Stefano Aguzzoli, Manuela Busaniche, Brunella Gerla, Miguel Andrés Marcos	On the category of Nelson paraconsistent lattices.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
23	Andreas Kapsner, Hitoshi Omori	Counterfactuals in Nelson Logic.	LORI	2017	DBLP DOI BibTeX RDF
23	Ross Feller	Andrew J. Nelson: The Sound of Innovation - Stanford and the Computer Music Revolution.	Comput. Music. J.	2016	DBLP DOI BibTeX RDF
23	Alexander Soifer	The Hadwiger-Nelson Problem.	Open Problems in Mathematics	2016	DBLP DOI BibTeX RDF
23	Adam Grabowski	Two Axiomatizations of Nelson Algebras.	Formaliz. Math.	2015	DBLP DOI BibTeX RDF
23	Sergei Odintsov, Vladimir V. Rybakov	Inference Rules in Nelson's Logics, Admissibility and Weak Admissibility.	Logica Universalis	2015	DBLP DOI BibTeX RDF
23	Hitoshi Omori	An axiomatization of Wansing's expansion of Nelson's logic.	Reports Math. Log.	2015	DBLP BibTeX RDF
23	Mikhail G. Katz, Semen S. Kutateladze	Edward Nelson (1932-2014).	Rev. Symb. Log.	2015	DBLP DOI BibTeX RDF
23	Douglas R. Dechow, Daniele C. Struppa (eds.)	Intertwingled - The Work and Influence of Ted Nelson		2015	DBLP DOI BibTeX RDF
23	Jouni Järvinen, Sándor Radeleczki	Monteiro Spaces and Rough Sets Determined by Quasiorder Relations: Models for Nelson algebras.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
23	Sajda Qureshi	Lessons from the Age of Nelson Mandela: Information and Communication Technology in the Quest for Equality, Freedom and Justice.	Inf. Technol. Dev.	2014	DBLP DOI BibTeX RDF
23	John G. Hedberg	Design for learning in virtual worlds - By Brian C Nelson and Benjamin E Erlandson.	Br. J. Educ. Technol.	2014	DBLP DOI BibTeX RDF
23	Sergey Odintsov	On the Equivalence of Paraconsistent and Explsive Versions of Nelson Logic.	Logic, Computation, Hierarchies	2014	DBLP DOI BibTeX RDF
23	Angus Inkster, Fraser Milton, Andy J. Wills	Does incidental training increase the prevalence of overall similarity classification? A re-examination of kemler Nelson (1984).	CogSci	2014	DBLP BibTeX RDF
23	Jouni Järvinen, Piero Pagliani, Sándor Radeleczki	Information Completeness in Nelson Algebras of Rough Sets Induced by Quasiorders.	Stud Logica	2013	DBLP DOI BibTeX RDF
23	Daphna Yeshua-Katz	Who's Watching? Daily Practices of Surveillance Among Contemporary Families, edited by Margaret K. Nelson and Anita Ilta Garey. Nashville, TN: Vanderbilt University Press, 2009, 298 pp. $27.95. ISBN 9780826516725 (paper).	Inf. Soc.	2013	DBLP DOI BibTeX RDF
23	Johan Van Niekerk, Kerry-Lynn Thomson, Rayne Reid	Cyber Safety for School Children - A Case Study in the Nelson Mandela Metropolis.	World Conference on Information Security Education	2013	DBLP DOI BibTeX RDF
23	Dalenca Pottas, Nicky Mostert-Phipps	Citizens and Personal Health Records - the Case of Nelson Mandela Bay.	MedInfo	2013	DBLP DOI BibTeX RDF
23	Nikolaus Hautsch, Fuyu Yang	Bayesian inference in a Stochastic Volatility Nelson-Siegel model.	Comput. Stat. Data Anal.	2012	DBLP DOI BibTeX RDF
23	Norihiro Kamide, Heinrich Wansing	Proof theory of Nelson's paraconsistent logic: A uniform perspective.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
23	Geneviève Gauthier, Jean-Guy Simonato	Linearized Nelson-Siegel and Svensson models for the estimation of spot interest rates.	Eur. J. Oper. Res.	2012	DBLP DOI BibTeX RDF
23	Bob Little	Nelson Croom's e-Learning Crusade.	eLearn Mag.	2011	DBLP DOI BibTeX RDF
23	Paul Beynon-Davies	Book Review: America identified, by Lisa S. Nelson.	Inf. Polity	2011	DBLP DOI BibTeX RDF
23	Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie	A Nelson-Oppen based Proof System using Theory Specific Proof Systems.	PxTP	2011	DBLP BibTeX RDF
23	Michael Ferguson, Nick Webb, Tomek Strzalkowski	Nelson: a low-cost social robot for research and education.	SIGCSE	2011	DBLP DOI BibTeX RDF
23	Sergei P. Odintsov	Priestley Duality for Paraconsistent Nelson's Logic.	Stud Logica	2010	DBLP DOI BibTeX RDF
23	Vygantas Paulauskas	On Beveridge-Nelson decomposition and limit theorems for linear random fields.	J. Multivar. Anal.	2010	DBLP DOI BibTeX RDF
23	Domenica Costantino, Maria Giuseppa Angelini	Realization of a Cartographic GIS for the Filing and Management of the Archaelogical Excavations in the Nelson's Island.	EuroMed	2010	DBLP DOI BibTeX RDF
23	Susan Garfinkel, Jurretta Jordan Heckscher	Historical Interpretation through Multiple Markup: The Case of Horatio Nelson Taft's Diary, 1861-62.	DH	2010	DBLP BibTeX RDF
23	Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani	Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis.	Ann. Math. Artif. Intell.	2009	DBLP DOI BibTeX RDF
23	Ming-Yueh Tsay	Citation analysis of Ted Nelson's works and his influence on hypertext concept.	Scientometrics	2009	DBLP DOI BibTeX RDF
23	Manuela Busaniche, Roberto Cignoli	Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic.	J. Log. Comput.	2009	DBLP DOI BibTeX RDF
23	Ryno Boshoff, Johan Van Niekerk	E-mail Security awareness at Nelson Mandela Metropolitan University (Registrar's Division).	ISSA	2009	DBLP BibTeX RDF
23		Steven A. Coons Award: Nelson Max.	SIGGRAPH Award Recipients	2007	DBLP DOI BibTeX RDF
23	Sava Krstic, Amit Goel	Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL.	FroCoS	2007	DBLP DOI BibTeX RDF
23	René Victor Valqui Vidal	The Design Way: Intentional Change in an Unpredictable World - Foundations and Fundamentals of Design Competence, Harold G. Nelson, Erik Stolterman. Educational Technology Publications, Englewood Cliffs, NJ 07632-0564 (2003), ISBN: 0-87778-305-5.	Eur. J. Oper. Res.	2006	DBLP DOI BibTeX RDF
23	Horst Bunke, A. Lawrence Spitz (eds.)	Document Analysis Systems VII, 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006, Proceedings	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Daniel Zuwala, Salvatore Tabbone	A Method for Symbol Spotting in Graphical Documents.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Ikram Moalla, Frank Lebourgeois, Hubert Emptoz, Adel M. Alimi	Contribution to the Discrimination of the Medieval Manuscript Texts: Application in the Palaeography.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Li Yang, Weihua Huang, Chew Lim Tan	Semi-automatic Ground Truth Generation for Chart Image Recognition.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Jan Rendek, Bart Lamiroy, Karl Tombre	A Few Steps Towards On-the-Fly Symbol Recognition with Relevance Feedback.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Bilan Zhu, Junko Tokuno, Masaki Nakagawa	Segmentation of On-Line Handwritten Japanese Text Using SVM for Improving Text Recognition.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Bertin Klein, Stefan Agne, Andreas Dengel 0001	On Benchmarking of Invoice Analysis Systems.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Alexander Gribov, Eugene Bodansky	Reconstruction of Orthogonal Polygonal Lines.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Fernando Boto Sánchez, Andoni Cortés Vidal, Clemente Rodríguez Lafuente	Cut Digits Classification with k-NN Multi-specialist.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Abdel Belaïd, André Alusse	Toward File Consolidation by Document Categorization.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Lijun Zhou, Yue Lu 0001, Chew Lim Tan	Bangla/English Script Identification Based on Analysis of Connected Component Profiles.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Yan Jiang, Xiaoqing Ding, Qiang Fu, Zheng Ren	Application of Bi-gram Driven Chinese Handwritten Character Segmentation for an Address Reading System.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Sachin Rawat, K. S. Sesh Kumar, Million Meshesha, Indraneel Deb Sikdar, A. Balasubramanian, C. V. Jawahar	A Semi-automatic Adaptive OCR for Digital Libraries.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Steven J. Simske, Jordi Arnabat	Document Analysis System for Automating Workflows.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Clément Chatelain 0001, Laurent Heutte, Thierry Paquet	Segmentation-Driven Recognition Applied to Numerical Field Extraction from Handwritten Incoming Mail Documents.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Faisal Shafait, Daniel Keysers, Thomas M. Breuel	Performance Comparison of Six Algorithms for Page Segmentation.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	K. Pramod Sankar, Vamshi Ambati, Lakshmi Pratha, C. V. Jawahar	Digitizing a Million Books: Challenges for Document Analysis.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Sylvain Stotzer, Ottar Johnsen, Frédéric Bapst, Rolf Ingold	Groove Extraction of Phonographic Records.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Seiichi Toyota, Seiichi Uchida, Masakazu Suzuki	Structural Analysis of Mathematical Formulae with Verification Based on Formula Description Grammar.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Junchang Ma, Zhimin Gu	A Shared Fragments Analysis System for Large Collections of Web Pages.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Jamie L. Rothfeder, R. Manmatha, Toni M. Rath	Aligning Transcripts to Automatically Segmented Handwritten Manuscripts.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Mayo Murata, Lazaro S. P. Busagala, Wataru Ohyama, Tetsushi Wakabayashi, Fumitaka Kimura	The Impact of OCR Accuracy and Feature Transformation on Automatic Text Classification.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Hidetoshi Miyao, Minoru Maruyama	Virtual Example Synthesis Based on PCA for Off-Line Handwritten Character Recognition.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Hirobumi Nishida	Networked Document Imaging with Normalization and Optimization.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Robert Milewski, Venu Govindaraju	Extraction of Handwritten Text from Carbon Copy Medical Form Images.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Kazem Taghva, Russell Beckley, Jeffrey S. Coombs	The Effects of OCR Error on the Extraction of Private Information.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Yves Rangoni, Abdel Belaïd	Document Logical Structure Analysis Based on Perceptive Cycles.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Marcus Liwicki, Andreas Schlapbach, Horst Bunke, Samy Bengio, Johnny Mariéthoz, Jonas Richiardi	Writer Identification for Smart Meeting Room Systems.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	David W. Embley, Daniel P. Lopresti, George Nagy	Notes on Contemporary Table Recognition.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Sargur N. Srihari, Jim Collins, Rohini K. Srihari, Pavithra Babu, Harish Srinivasan	Automated Scoring of Handwritten Essays Based on Latent Semantic Analysis.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Henry S. Baird, Matthew R. Casey	Towards Versatile Document Analysis Systems.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF	versatile document analysis systems, DAS methodology, document image content extraction, classification, computational geometry, hashing, k Nearest Neighbors, spatial data structures, CART, k-d trees
23	Vladimir Pervouchine, Graham Leedham	Extraction and Analysis of Document Examiner Features from Vector Skeletons of Grapheme 'th'.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Simone Marinai, Stefano Faini, Emanuele Marino, Giovanni Soda	Efficient Word Retrieval by Means of SOM Clustering and PCA.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
23	Vasant Manohar, Padmanabhan Soundararajan, Matthew Boonstra, Harish Raju, Dmitry B. Goldgof, Rangachar Kasturi, John S. Garofolo	Performance Evaluation of Text Detection and Tracking in Video.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF