Search results for "Nelson"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
114	Dimiter Vakarelov	Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.	Stud Logica	2005	DBLP DOI BibTeX RDF	Nelson negation, subminimal logic, counterexample semantics, many-valued logics
77	Ken Knowlton	Ted Nelson's Xanadu - Caution - Four Letter Words Ahead.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
77	Peter Schmideg, Laurie Spiegel	Riffing on Ted Nelson - Hypermind.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
77	Ben Shneiderman	Odes to Ted Nelson.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
77	Henry Lowood	Ted Nelson: A Critical (and Critically Incomplete) Bibliography.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
77	Brewster Kahle	Hanging Out with Ted Nelson.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
77	Frode Hegland	Ted Nelson.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
66	Theodor Holm Nelson	What Box?	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
62	Dimiter Vakarelov	Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.	Stud Logica	2006	DBLP DOI BibTeX RDF	intuitionistic negation, dual intuitionistic negation, minimal negation, seminegation, regular negation, Nelson negation, Nelson algebras, twist construction, Kripke semantics
54	Andrew Pam	Intertwingled Inspiration.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
54	Belinda Barnet	The Importance of Ted's Vision.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
54	Wendy Hall 0001	Making Links: Everything Really Is Deeply Intertwingled - A Talk for Ted.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
54	Alan C. Kay	The Two-Eyed Man.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
54	Robert M. Akscyn	The Future of Transclusion.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
54	Ed Subitzky	The Computer Age.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
54	Noah Wardrip-Fruin	We Can and Must Understand Computers NOW.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
54	Christine L. Borgman	Data, Metadata, and Ted.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
54	Daniel Rosenberg	History Debugged.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
54	Dick Heiser	An Advanced Book for Beginners - How Computer Lib/Dream Machines Shaped Our Perspective on Cybercrud, Interactivity, Complex Texts and Computer Creativity.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
54	Xiao-hong Zhang 0001	Rough Algebras and Fuzzy Logic Algebras.	FSKD (1)	2007	DBLP DOI BibTeX RDF
54	Jianhua Dai, Hanfei Lv, Weidong Chen 0002, Yunhe Pan	Two Kinds of Rough Algebras and Brouwer-Zadeh Lattices.	RSCTC	2006	DBLP DOI BibTeX RDF
52	Kimberly T. Nelson	Academic and business partnerships to enhance digital government research.	DG.O	2006	DBLP DOI BibTeX RDF
51	Matthew Spinks, Robert Veroff	Constructive Logic with Strong Negation is a Substructural Logic. I.	Stud Logica	2008	DBLP DOI BibTeX RDF	Nelson algebra, FL ew -algebra, residuated lattice, substructural logic, strong negation, Constructive logic
51	Cesare Tinelli, Calogero G. Zarba	Combining Nonstably Infinite Theories.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	combination of decision procedures, Nelson-Oppen method
50	Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn.	ICTAC	2004	DBLP DOI BibTeX RDF
50	Franz Baader, Cesare Tinelli	A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method.	CADE	1997	DBLP DOI BibTeX RDF
45	Hitoshi Omori	A Note on Wansing's expansion of Nelson's logic - a correction to "An axiomatization of Wansing's expansion of Nelson's logic".	Reports Math. Log.	2016	DBLP BibTeX RDF
40	Calogero G. Zarba	A Tableau Calculus for Combining Non-disjoint Theories.	TABLEAUX	2002	DBLP DOI BibTeX RDF
40	Marcello M. Bonsangue, Joost N. Kok	Semantics, Orderings and Recursion in the Weakest Precondition Calculus.	REX Workshop	1992	DBLP DOI BibTeX RDF	fixed point transformations, Smyth powerdomain, Egli-Milner powerdomain, refinement, deadlock, recursion, fixed points, backtracking, weakest preconditions, predicate transformers
40	John L. Gustafson	Reevaluating Amdahl's Law.	Commun. ACM	1988	DBLP DOI BibTeX RDF
38	Matthew Spinks, Robert Veroff	Constructive Logic with Strong Negation is a Substructural Logic. II.	Stud Logica	2008	DBLP DOI BibTeX RDF	Nelson algebra, algebra, residuated lattice, substructural logic, strong negation, Constructive logic
38	Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	Nelson-Oppen procedure, set theory, decision procedure
38	Silvio Ghilardi	Model-Theoretic Methods in Combined Constraint Satisfiability.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	Nelson-Oppen procedure, superposition calculus, model completions, fusion, combination, quantifier elimination
38	Mauricio Osorio 0001, Fernando Zacarías Flores	On Updates of Logic Programs: A Properties-Based Approach.	FoIKS	2004	DBLP DOI BibTeX RDF	Nelson logic, Update programs, AGM postulates, Answer set programming, Properties, Strong negation
38	Markos Z. Tsoukalas, Joe W. Duran, Simeon C. Ntafos	On Some Reliability Estimation Problems in Random and Partition Testing.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	effective testing strategy, test outcomes, Thayer-Lipow-Nelson reliability model, upper confidence bounds, cost weighted performance, software reliability, program testing, random testing, partition testing
36	Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani	Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis.	LPAR	2006	DBLP DOI BibTeX RDF
36	Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures.	IJCAR	2006	DBLP DOI BibTeX RDF
36	Sergei P. Odintsov	The Class of Extensions of Nelson's Paraconsistent Logic.	Stud Logica	2005	DBLP DOI BibTeX RDF	N4-lattice, lattice of logics, paraconsistent logic, strong negation
35	Neal Nelson	The Neal Nelson Database BenchmarkTM: A Benchmark Based on the Realities of Business.	The Benchmark Handbook	1991	DBLP BibTeX RDF
27	Pascal Fontaine	Combinations of Theories for Decidable Fragments of First-Order Logic.	FroCoS	2009	DBLP DOI BibTeX RDF
27	Chris McCarthy, Nick Barnes, Mandyam V. Srinivasan	Real Time Biologically-Inspired Depth Maps from Spherical Flow.	ICRA	2007	DBLP DOI BibTeX RDF
27	Xiaohong Zhang 0001, Yingcang Ma, Zhanao Xue, Gang Yao	Implication Operators Based on Rough Set Model over Boolean Algebras.	GrC	2007	DBLP DOI BibTeX RDF	Implication operator, IMTL-algebra, Heyting Wajsberg algebra (HW algebra), Fuzzy Logic, Rough Set, Boolean Algebras
27	Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	Automatic Combinability of Rewriting-Based Satisfiability Procedures.	LPAR	2006	DBLP DOI BibTeX RDF
27	David Pearce 0001, Agustín Valverde	A First Order Nonmonotonic Extension of Constructive Logic.	Stud Logica	2005	DBLP DOI BibTeX RDF	here-and-there logic, equilibrium logic, interpolation, answer set programming, Constructive negation
27	Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	On Superposition-Based Satisfiability Procedures and Their Combination.	ICTAC	2005	DBLP DOI BibTeX RDF
27	Greta Yorsh, Madanlal Musuvathi	A Combination Method for Generating Interpolants.	CADE	2005	DBLP DOI BibTeX RDF
27	Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli	A Comprehensive Framework for Combined Decision Procedures.	FroCoS	2005	DBLP DOI BibTeX RDF
27	Pascal Fontaine, Silvio Ranise, Calogero G. Zarba	Combining Lists with Non-stably Infinite Theories.	LPAR	2004	DBLP DOI BibTeX RDF
27	Cesare Tinelli, Calogero G. Zarba	Combining Decision Procedures for Sorted Theories.	JELIA	2004	DBLP DOI BibTeX RDF
27	Michael R. Williams	Calvin Mooers, the NOL Computer Project, and John Vincent Atanasoff: An Introduction.	IEEE Ann. Hist. Comput.	2001	DBLP DOI BibTeX RDF
27	Hans J. Thamhain	Project Management - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
27	Donald L. Amoroso, James C. Brancheau	Moving the Organization to Convergent Technologies: e-Business and Wireless - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
27	Lawrence Leemis	Input modeling.	WSC	2000	DBLP DOI BibTeX RDF
27	Clark W. Barrett, David L. Dill, Aaron Stump	A Framework for Cooperating Decision Procedures.	CADE	2000	DBLP DOI BibTeX RDF
27	David Pearce 0001	Answer Sets and Nonmonotonic S4.	ELP	1993	DBLP DOI BibTeX RDF
27	David Pearce 0001, Wolfgang Rautenberg	Propositional logic based on the dynamics of disbelief.	The Logic of Theory Change	1989	DBLP DOI BibTeX RDF
27	Nigel Gardner	Integrating computers into the university curriculum: the experience of the UK computers.	SIGUCCS	1987	DBLP DOI BibTeX RDF
27	D. Sayre	Is automatic "folding" of programs efficient enough to displace manual?	Commun. ACM	1969	DBLP DOI BibTeX RDF	automatic folding, automatic paging, performance, measurement, memory hierarchies, paging, folding, replacement algorithms, demand paging, storage hierarchies
25	Benjamin I. P. Rubinstein, Blaine Nelson, Ling Huang, Anthony D. Joseph, Shing-hon Lau, Satish Rao, Nina Taft, J. D. Tygar	Stealthy poisoning attacks on PCA-based anomaly detectors.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
25	Peter Bruza, Kirsty Kitto, Douglas L. Nelson, Cathy McEvoy	Extracting Spooky-Activation-at-a-Distance from Considerations of Entanglement.	QI	2009	DBLP DOI BibTeX RDF
25	Margaret Dolinsky, Timothy Nelson 0002	Interfectio puerorum: digital projections and the 12th century fleury's massacre.	Creativity & Cognition	2007	DBLP DOI BibTeX RDF	opera, scenography, gesture, projection, lighting, theater
25	Shing Chih Tsai, Barry L. Nelson	Combined ranking and selection with control variates.	WSC	2006	DBLP DOI BibTeX RDF
25	Wayne B. Nelson	A bibliography of accelerated test plans part II - references.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
25	David Detlefs, Greg Nelson, James B. Saxe	Simplify: a theorem prover for program checking.	J. ACM	2005	DBLP DOI BibTeX RDF	Theorem proving, decision procedures, program checking
25	Greg Nelson	Foundations of a Constraint-Based Illustrator.	FroCoS	2002	DBLP DOI BibTeX RDF
25	Michael L. Nelson, Kurt Maly	Buckets: smart objects for digital libraries.	Commun. ACM	2001	DBLP DOI BibTeX RDF
25	Michael L. Nelson	Considerations in Choosing a Concurrent/Distributed Object-Oriented Programming Language.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF
24	Sumit Gulwani, Ashish Tiwari 0001	Combining abstract interpreters.	PLDI	2006	DBLP DOI BibTeX RDF	Nelson-Oppen combination, logical product, reduced product, abstract interpreter
24	Anders Fagerjord	Linearity and multicursality in World Wide Web documentaries.	Hypertext	2001	DBLP DOI BibTeX RDF	Barthes, Genette, Nelson, disposition, focalisation, multicursality, Web, narrative, nonlinearity, Web design, linking, linearity, text, semiotics, television, print, rhetoric, film, narratology
24	Nelson José Díaz Gautier, Nelson Manzanares-Filho, Edna Raimunda da Silva Ramirez	Multi-objective optimization algorithm assisted by metamodels with applications in aerodynamics problems.	Appl. Soft Comput.	2022	DBLP DOI BibTeX RDF
24	Matthew Hofmann, Zhiyao Tang, Jonathan Orgill, Jonathan Nelson, David Glanzman, Brent Nelson, André DeHon	XBERT: Xilinx Logical-Level Bitstream Embedded RAM Transfusion.	FCCM	2021	DBLP DOI BibTeX RDF
24	Benjamin Joseph Mailhé, Laurent Didier Bernard, Laurent Daniel, Nelson Sadowski, Nelson Jhoe Batistela	Modified-SST for Uniaxial Characterization of Electrical Steel Sheets Under Controlled Induced Voltage and Constant Stress.	IEEE Trans. Instrum. Meas.	2020	DBLP DOI BibTeX RDF
24	Kristen Wing, Omar Bouhaddou, Nelson Hsing, Carolyn L. Turvey, Dawn M. Klein, Joseph R. Nelson, Margaret Donahue	Motivation and Barriers to Using the Veterans Health Information Exchange: A Survey of Veterans Affairs 'Superusers'.	AMIA	2019	DBLP BibTeX RDF
24	Ronald O. Nelson, Sven C. Vogel, James F. Hunter, Erik B. Watkins, Adrian S. Losko, Anton S. Tremsin, Nicholas P. Borges, Theresa E. Cutler, Lee T. Dickman, Michelle A. Espy, Donald Cort Gautier, Amanda C. Madden, Jaroslaw Majewski, Michael W. Malone, Douglas R. Mayo, Kenneth J. McClellan, David S. Montgomery, Shea M. Mosby, Andrew T. Nelson, Kyle J. Ramos, Richard C. Schirato, Katlin Schroeder, Sanna A. Sevanto, Alicia L. Swift, Long K. Vo, Thomas E. Williamson, Nicola M. Winch	Neutron Imaging at LANSCE - From Cold to Ultrafast.	J. Imaging	2018	DBLP DOI BibTeX RDF
24	Margaret Donahue, Omar Bouhaddou, Nelson Hsing, Todd Turner, Glen Crandall, Joseph R. Nelson, Jonathan R. Nebeker	Veterans Health Information Exchange: Successes and Challenges of Nationwide Interoperability.	AMIA	2018	DBLP BibTeX RDF
24	Jivago Serrado Nunes, Nelson Castro, Sérgio Gonçalves, Nélson Pereira, Vitor Correia, Senentxu Lanceros-Mendez	Marked Object Recognition Multitouch Screen Printed Touchpad for Interactive Applications.	Sensors	2017	DBLP DOI BibTeX RDF
24	Jose Nelson Perez Castillo, Miguel Gutierrez, Nelson Enrique Vera Parra	Computational Performance Assessment of k-mer Counting Algorithms.	J. Comput. Biol.	2016	DBLP DOI BibTeX RDF
24	Cristian Alejandro Rojas Quintero, Nelson Enrique Vera Parra, Jose Nelson Perez Castillo	Massive Automatic Functional Annotation - MAFA.	IWBBIO	2014	DBLP BibTeX RDF
24	Kay M. Nelson, H. James Nelson	Introduction to IT and Entrepreneurship Minitrack.	HICSS	2013	DBLP DOI BibTeX RDF
24	H. James Nelson, Deborah J. Armstrong, Kay M. Nelson	Patterns of Transition: The Shift from Traditional to Object-Oriented Development.	J. Manag. Inf. Syst.	2009	DBLP DOI BibTeX RDF
24	Deborah J. Armstrong, H. James Nelson, Kay M. Nelson, V. K. Narayanan	Building the IT Workforce of the Future: The Demand for More Complex, Abstract, and Strategic Knowledge.	Inf. Resour. Manag. J.	2008	DBLP DOI BibTeX RDF
24	Deborah J. Armstrong, H. James Nelson, Kay M. Nelson, Vernon J. Richardson	Minitrack Introduction.	HICSS	2006	DBLP DOI BibTeX RDF
24	Maria Augusta V. Nelson, Torsten Nelson, Paulo S. C. Alencar, Donald D. Cowan	An approach to formal automated analysis of problem-frame concerns.	Inf. Softw. Technol.	2005	DBLP DOI BibTeX RDF
24	Nelson C. Baker, Kenneth E. Hoganson, Don Goff, Michael L. Nelson, Solomon Negash	Support issues in distance learning: supporting teachers and learners.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF
24	Daniel M. Berry, Khuzaima Daudjee, Jing Dong 0005, Igor Fainchtein, Maria Augusta V. Nelson, Torsten Nelson, Lihua Ou	User's manual as a requirements specification: case studies.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Users manual, Scenarios, Requirements specification, Requirements elicitation, Test cases, Requirements validation
24	Kay M. Nelson, H. James Nelson, Deborah J. Armstrong, Vernon J. Richardson	Creating Business Value through Business-IT Alignment, Shared Knowledge, Commitment and Accountability: Minitrack Introductio.	HICSS	2004	DBLP DOI BibTeX RDF
24	H. James Nelson, Kay M. Nelson	IT: What's It Good For?	HICSS	2003	DBLP DOI BibTeX RDF
24	Kay M. Nelson, H. James Nelson, Mehdi Ghods	Understanding the Personal Competencies of IS Support Experts: Moving toward the E-Business Future.	HICSS	2001	DBLP DOI BibTeX RDF
24	Kay M. Nelson, Mari W. Buche, H. James Nelson	Structural Change and Change Advocacy: A Study in becoming a Software Engineering Organization.	HICSS	2001	DBLP DOI BibTeX RDF
24	Kay M. Nelson, H. James Nelson, Deborah J. Armstrong	Revealed Causal Mapping as an Evocative Method for Information Systems Research.	HICSS	2000	DBLP DOI BibTeX RDF
24	H. James Nelson, David E. Monarchi, Kay M. Nelson	Evaluating Emerging Programming Paradigms: An Artifact-Oriented Approach.	HICSS (6)	1998	DBLP DOI BibTeX RDF
24	Kay M. Nelson, Mehdi Ghods, H. James Nelson	Measuring the Effectiveness of a Structured Methodology: A Comparative Analysis.	HICSS (6)	1998	DBLP DOI BibTeX RDF
24	Kay M. Nelson, H. James Nelson	Technology Flexibility: Conceptualization, Validation, and Measurement.	HICSS (3)	1997	DBLP DOI BibTeX RDF
23	Stefan Th. Gries	Corrections to Nelson (2023): DP norm and D KLnorm are Not Wrong on Pi at All.	J. Quant. Linguistics	2024	DBLP DOI BibTeX RDF
23	Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio	Nelson algebras, residuated lattices and rough sets: A survey.	CoRR	2024	DBLP DOI BibTeX RDF
23	Xianbo Zhou, Lianhua Luo, Ying Tao, Zhewen Pan 0002	Semiparametric estimation of Nelson-Olson simultaneous Tobit model.	Commun. Stat. Simul. Comput.	2023	DBLP DOI BibTeX RDF
23	Aldo V. Figallo, Gustavo Pelaitay, Jonathan Sarmiento	Discrete Duality for Nelson Algebras with Tense Operators.	Stud Logica	2023	DBLP DOI BibTeX RDF
23	Umberto Rivieccio	Fragments of quasi-Nelson: residuation.	J. Appl. Non Class. Logics	2023	DBLP DOI BibTeX RDF
23	Jorge Fandinno, Luis Fariñas del Cerro	Abstract Argumentation and Answer Set Programming: Two Faces of Nelson's Logic.	Theory Pract. Log. Program.	2023	DBLP DOI BibTeX RDF
23	Estee Vermeulen-Miltz, Jai K. Clifford-Holmes, Bernadette Snow, Amanda Talita Lombard	Exploring the Impacts of COVID-19 on Coastal Tourism to Inform Recovery Strategies in Nelson Mandela Bay, South Africa.	Syst.	2022	DBLP DOI BibTeX RDF