Search results for "Nelson"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	José L. Castiglioni, Matías Menni, Marta Sagastume	On Some Categories of Involutive Centered Residuated Lattices.	Stud Logica	2008	DBLP DOI BibTeX RDF	Kalman functor, residuated lattices, involution
13	Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe	Constructive Logic and the Sorites Paradox.	New Directions in Intelligent Interactive Multimedia	2008	DBLP DOI BibTeX RDF	the sorites paradox, contractionless constructive logic, vagueness, sequent calculus
13	George P. Landow	When a wiki is not a wiki: twenty years of the Victorian Web: keynote.	Int. Sym. Wikis	2008	DBLP DOI BibTeX RDF
13	Christopher Lynch, Duc-Khanh Tran	Automatic Decidability and Combinability Revisited.	CADE	2007	DBLP DOI BibTeX RDF
13	Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	Combining Proof-Producing Decision Procedures.	FroCoS	2007	DBLP DOI BibTeX RDF
13	Norihiro Kamide	Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	electric circuit, linear logic with strong negation, Petri net with inhibitor arc, phase semantics, medical diagnosis
13	Clark W. Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli	Splitting on Demand in SAT Modulo Theories.	LPAR	2006	DBLP DOI BibTeX RDF
13	Sean Bechhofer, Yeliz Yesilada, Bernard Horan, Carole A. Goble	Knowledge-Driven Hyperlinks: Linking in the Wild.	AH	2006	DBLP DOI BibTeX RDF
13	Viktor Kuncak, Martin C. Rinard	An overview of the Jahob analysis system: project goals and current status.	IPDPS	2006	DBLP DOI BibTeX RDF
13	Yinlei Yu, Sharad Malik	Lemma Learning in SMT on Linear Constraints.	SAT	2006	DBLP DOI BibTeX RDF
13	A. A. Soliman	Estimation of parameters of life from progressively censored data using Burr-XII model.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
13	Yaroslav Shramko	Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.	Stud Logica	2005	DBLP DOI BibTeX RDF	falsification, dual intuitionistic logic, kite of negations, Verification
13	Shuvendu K. Lahiri, Thomas Ball, Byron Cook	Predicate Abstraction via Symbolic Decision Procedures.	CAV	2005	DBLP DOI BibTeX RDF
13	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani	Efficient Satisfiability Modulo Theories via Delayed Theory Combination.	CAV	2005	DBLP DOI BibTeX RDF
13	L. Jeff Hong	Discrete optimization via simulation using coordinate search.	WSC	2005	DBLP DOI BibTeX RDF
13	Gwendolyn J. Malone, Seong-Hee Kim, David Goldsman, Demet Batur	Performance of variance updating ranking and selection procedures.	WSC	2005	DBLP DOI BibTeX RDF
13	Sergei P. Odintsov, David Pearce 0001	Routley Semantics for Answer Sets.	LPNMR	2005	DBLP DOI BibTeX RDF
13	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani	The MathSAT 3 System.	CADE	2005	DBLP DOI BibTeX RDF
13	K. Rustan M. Leino, Madan Musuvathi, Xinming Ou	A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover.	TACAS	2005	DBLP DOI BibTeX RDF
13	Angelo Di Iorio, Fabio Vitali	From the writable web to global editability.	Hypertext	2005	DBLP DOI BibTeX RDF	global editability, collaboration, customization, data collection, web authoring
13	Tor Brekke Skjøtskift	Syntagmatic- and paradigmatic stretchtext.	Hypertext	2005	DBLP DOI BibTeX RDF	paradigmatic, stretchtext, syntagmatic, hypermedia, narrative
13	Ting Zhang 0001, Henny B. Sipma, Zohar Manna	Decision Procedures for Queues with Integer Constraints.	FSTTCS	2005	DBLP DOI BibTeX RDF
13	Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba	Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic.	FroCoS	2005	DBLP DOI BibTeX RDF
13	Sergei P. Odintsov	On the Representation of N4-Lattices.	Stud Logica	2004	DBLP DOI BibTeX RDF	N4-lattice, paraconsistent logic, strong negation
13	Byron Cook, Daniel Kroening, Natasha Sharygina	Accurate Theorem Proving for Program Verification.	ISoLA	2004	DBLP DOI BibTeX RDF
13	Ting Zhang 0001, Henny B. Sipma, Zohar Manna	Decision Procedures for Recursive Data Structures with Integer Constraints.	IJCAR	2004	DBLP DOI BibTeX RDF
13	Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato	A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation.	CSL	2004	DBLP DOI BibTeX RDF
13	Noah Wardrip-Fruin	What hypertext is.	Hypertext	2004	DBLP DOI BibTeX RDF	hyperfilm, hypergram, stretchtext, hypermedia, hypertext
13	Calogero G. Zarba	Combining Sets with Elements.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
13	Lawrence Leemis	Input modeling: input modeling.	WSC	2003	DBLP DOI BibTeX RDF
13	Giuseppe Trautteur, Raniero Virgilio	An Agent-based Computational Model for the Battle of Trafalgar: A Comparison Between Analytical and Simulative Methods of Research.	WETICE	2003	DBLP DOI BibTeX RDF	combat analysis, Lanchester, conflict resolution, agent-based simulation, SWARM, CAS
13	Zohar Manna, Calogero G. Zarba	Combining Decision Procedures.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
13	Calogero G. Zarba	Combining Multisets with Integers.	CADE	2002	DBLP DOI BibTeX RDF
13	Harald Ganzinger	Shostak Light.	CADE	2002	DBLP DOI BibTeX RDF
13	Natarajan Shankar, Harald Rueß	Combining Shostak Theories.	RTA	2002	DBLP DOI BibTeX RDF
13	Stuart Moulthrop, Diana Slattery, Jim Rosenberg, Mark Bernstein, Nick Montfort	Hypermedia and multimedia.	Hypertext	2002	DBLP DOI BibTeX RDF
13	Calogero G. Zarba	Combining Sets with Integers.	FroCoS	2002	DBLP DOI BibTeX RDF
13	Clark W. Barrett, David L. Dill, Aaron Stump	A Generalization of Shostak's Method for Combining Decision Procedures.	FroCoS	2002	DBLP DOI BibTeX RDF
13	Mojgan Mahmoudi, M. Mehdi Ebrahimi	Purity and Equational Compactness of Projection Algebras.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	projection algebra, pure, equationally compact, s-pure, s-compact, s-injective, pure-essential, equational compact hull, injective hull, complete, sequence
13	Lawrence Leemis	Input modeling: input modeling techniques for discrete-event simulations.	WSC	2001	DBLP DOI BibTeX RDF
13	Eric K. Clemons, Rajiv M. Dewan, Robert J. Kauffman, Yu-Ming Wang	Economics and E-Commerce - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
13	Stephen Morris, George Spanoudakis	UML: An Evaluation of the Visual Syntax of the Language.	HICSS	2001	DBLP DOI BibTeX RDF	graphic syntax, notational systems, notational schemes, UML, visual language, software modeling
13	Gail Corbitt, James Mensching	ERP Issues and Answers - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
13	Kimmo Wideroos	Awt (Associative writing tool): supporting writing process with a ZigZag based writing tool - work in progress.	Hypertext	2001	DBLP DOI BibTeX RDF	GZigZag, ZigZag metastructure, set based hypermedia, supporting writing process, spatial hypertext
13	David Basanta Gutiérrez, María Cándida Luengo Díez, Raúl Izquierdo Castanedo, José Emilio Labra Gayo, Juan Manuel Cueva Lovelle	Improving the quality of compiler construction with object-oriented techniques.	ACM SIGPLAN Notices	2000	DBLP DOI BibTeX RDF
13	Shane G. Henderson, Belinda A. Chiera, Roger M. Cooke	Generating "dependent" quasi-random numbers.	WSC	2000	DBLP DOI BibTeX RDF
13	George C. Necula, Peter Lee 0001	Proof Generation in the Touchstone Theorem Prover.	CADE	2000	DBLP DOI BibTeX RDF
13	Leo Bachmair, Ashish Tiwari 0001	Abstract Congruence Closure and Specializations.	CADE	2000	DBLP DOI BibTeX RDF
13	G. J. Erwin, C. N. Blewett	Information Systems Textbook Design for South Africa.	HICSS	1999	DBLP DOI BibTeX RDF
13	John R. Koza, Forrest H. Bennett III, Jeffrey L. Hutchings, Stephen L. Bade, Martin A. Keane, David Andre	Evolving Computer Programs Using Rapidly Reconfigurable Field-Programmable Gate Arrays and Genetic Programming.	FPGA	1998	DBLP DOI BibTeX RDF
13	Pavel Vanousek	Automated Theorem Proving in a Combination of Theories with Disjoint Signatures.	SOFSEM	1998	DBLP DOI BibTeX RDF
13	David Cyrluk, Patrick Lincoln, Natarajan Shankar	On Shostak's Decision Procedure for Combinations of Theories.	CADE	1996	DBLP DOI BibTeX RDF
13	Walter J. Gutjahr	Optimal Test Distributions for Software Failure Cost Estimation.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Input distributions, input-domain-based models, software failure costs, software testing, software reliability, risk assessment, reliability estimation
13	Richard J. Boulton	Combining Decision Procedures in the HOL System.	TPHOLs	1995	DBLP DOI BibTeX RDF
13	Xingwei Wang 0001, Hong Zhao, Jiakeng Zhu	GRPC: A Communication Cooperation Mechanism in Distributed Systems.	ACM SIGOPS Oper. Syst. Rev.	1993	DBLP DOI BibTeX RDF
13	Mary Baker, John K. Ousterhout	Availability in the Sprite Distributed File System.	ACM SIGOPS Oper. Syst. Rev.	1991	DBLP DOI BibTeX RDF
13	J. Kent Peacock	Deadlock Avoidance in Loosely-Coupled Multiprocessors with Finite Buffer Pools.	ACM SIGOPS Oper. Syst. Rev.	1989	DBLP DOI BibTeX RDF
13	Stephen Russell 0004	Single-User Capabilities in Interprocess Communication.	ACM SIGOPS Oper. Syst. Rev.	1988	DBLP DOI BibTeX RDF
13	William P. Heising	Fortran.	Commun. ACM	1963	DBLP DOI BibTeX RDF
12	Nelson R. C. Monteiro, José Luís Oliveira, Joel P. Arrais	TAG-DTA: Binding-region-guided strategy to predict drug-target affinity using transformers.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
12	Hassan Bencherif, Damaris Kirsch Pinheiro, Olivier Delage, Tristan Millet, Lucas Vaz Peres, Nelson Bègue, Gabriela Dornelles Bittencourt, Maria Paulete Pereira Martins, Francisco Raimundo da Silva, Luiz Angelo Steffenel, Nkanyiso Mbatha, Vagner Anabor	Ozone Trend Analysis in Natal (5.4°S, 35.4°W, Brazil) Using Multi-Linear Regression and Empirical Decomposition Methods over 22 Years of Observations.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
12	Kel N. Markert, Gustavious P. Williams, E. James Nelson, Daniel P. Ames, Hyongki Lee, Robert E. Griffin	Dense Time Series Generation of Surface Water Extents through Optical-SAR Sensor Fusion and Gap Filling.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
12	Nelson Russo, Leonilde Reis, Maria Clara Silveira, Henrique S. Mamede	Towards a Comprehensive Framework for the Multidisciplinary Evaluation of Organizational Maturity on Business Continuity Program Management: A Systematic Literature Review.	Inf. Secur. J. A Glob. Perspect.	2024	DBLP DOI BibTeX RDF
12	Nelson Sharma, Aswini Ghosh, Rajiv Misra, Sajal K. Das 0001	Deep Meta Q-Learning Based Multi-Task Offloading in Edge-Cloud Systems.	IEEE Trans. Mob. Comput.	2024	DBLP DOI BibTeX RDF
12	Wayne B. Nelson	Advances in Accelerated Life Tests With Step and Varying Stress.	IEEE Trans. Reliab.	2024	DBLP DOI BibTeX RDF
12	Manuel Vargas-Martínez, Nelson Rangel-Valdez, Eduardo Fernández-González 0002, Claudia Gómez Santillán, Gilberto Rivera, Fausto Balderas	MOSA/D-O and MOSAD/D-O-II: Performance analysis of decomposition-based algorithms in many objective problems.	SoftwareX	2024	DBLP DOI BibTeX RDF
12	Nelson J. Trujillo-Barreto, David Araya Galvez, Aland Astudillo, Wael El-Deredy	Explicit Modeling of Brain State Duration Using Hidden Semi Markov Models in EEG Data.	IEEE Access	2024	DBLP DOI BibTeX RDF
12	Nelson Dhanpal Chetty, Gulshan Sharma, Ravi Gandhi, Emre Çelik	A Novel Salp Swarm Optimization Oriented 3-DOF-PIDA Controller Design for Automatic Voltage Regulator System.	IEEE Access	2024	DBLP DOI BibTeX RDF
12	Marco Pomponio, Archita Hati, Craig W. Nelson	Ultra-Low Phase Noise Frequency Division With Array of Direct Digital Synthesizers.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
12	João Ricardo Bueno de Morais Borba, Leonardo Pereira de Araújo, Marcia Paranho Veloso, Nelson José Freitas da Silveira	Applying the bioisosterism strategy to obtain lead compounds against SARS-CoV-2 cysteine proteases: An in-silico approach.	J. Comput. Chem.	2024	DBLP DOI BibTeX RDF
12	Sinam Ajitkumar Singh, Ningthoujam Dinita Devi, Khuraijam Nelson Singh, Khelchandra Thongam, Balakrishna Reddy D, Swanirbhar Majumder	An ensemble-based transfer learning model for predicting the imbalance heart sound signal using spectrogram images.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
12	Abhilash Nelson, Ramaswamy Swarnammal Shaji	A novel occluded face detection approach using Enhanced ORB and optimized GAN.	Int. J. Wavelets Multiresolution Inf. Process.	2024	DBLP DOI BibTeX RDF
12	V. Nelson Morales, S. Gonzalo Nelis, Jorge Amaya	An efficient method for optimizing nested open pits with operational bottom space.	Int. Trans. Oper. Res.	2024	DBLP DOI BibTeX RDF
12	Josival Silva, Nelson S. Rosa, Fernando Aires	UP-Home: A Self-Adaptive Solution for Smart Home Security.	J. Univers. Comput. Sci.	2024	DBLP DOI BibTeX RDF
12	Shawn M. Jones, Martin Klein 0001, Michele C. Weigle, Michael L. Nelson	Summarizing Web Archive Corpora via Social Media Storytelling by Automatically Selecting and Visualizing Exemplars.	ACM Trans. Web	2024	DBLP DOI BibTeX RDF
12	Hongyu Zhao, Min Ye, Bradley J. Nelson, Xiaopu Wang	A Selectively Controllable Triple-Helical Micromotor.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
12	C. Luke Nelson, Daniel S. Drew	High Aspect Ratio Multi-Stage Ducted Electroaerodynamic Thrusters for Micro Air Vehicle Propulsion.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
12	Siru Liu, Allison B. McCoy, Josh F. Peterson, Thomas A Lasko, Dean F. Sittig, Scott D. Nelson, Jennifer Andrews, Lorraine Patterson, Cheryl M. Cobb, David Mulherin, Colleen T. Morton, Adam Wright	Leveraging explainable artificial intelligence to optimize clinical decision support.	J. Am. Medical Informatics Assoc.	2024	DBLP DOI BibTeX RDF
12	Reed Nelson, Rosa Aghdam, Claudia R. Solís-Lemus	MiNAA: Microbiome Network Alignment Algorithm.	J. Open Source Softw.	2024	DBLP DOI BibTeX RDF
12	Chris Byrohl, Dylan Nelson	scida: scalable analysis for scientific big data.	J. Open Source Softw.	2024	DBLP DOI BibTeX RDF
12	Denis von Arx, Cedric Fischer, Harun Torlakcik, Salvador Pané, Bradley J. Nelson, Quentin Boehler	Simultaneous Localization and Actuation Using Electromagnetic Navigation Systems.	IEEE Trans. Robotics	2024	DBLP DOI BibTeX RDF
12	Yuzhen Mao, Yen-Yi Lin, Nelson K. Y. Wong, Stanislav Volik, Funda Sar, Colin C. Collins, Martin Ester	Phenotype prediction from single-cell RNA-seq data using attention-based neural networks.	Bioinform.	2024	DBLP DOI BibTeX RDF
12	Biniam Sisheber, Michael T. Marshall, Daniel Mengistu, Andrew Nelson 0003	Assimilation of Earth Observation Data for Crop Yield Estimation in Smallholder Agricultural Systems.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2024	DBLP DOI BibTeX RDF
12	Stefanie Steinbach, Andreas Rienow, Martin Wainaina Chege, Niels Dedring, Wisdom Kipkemboi, Kuria Bartholomew Thiong'o, Sander Jaap Zwart, Andrew Nelson 0003	Low-Cost Sensors and Multitemporal Remote Sensing for Operational Turbidity Monitoring in an East African Wetland Environment.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2024	DBLP DOI BibTeX RDF
12	Evangelin Dasan, Nelson Samuel Jebastin Jeyabalan	Towards the Analysis of Regularized Denoising Autoencoder for Biosignal Processing: Lasso Versus Ridge Norms.	Wirel. Pers. Commun.	2024	DBLP DOI BibTeX RDF
12	Juan Antonio Martos-Sitcha, Javier Sosa, Dailos Ramos-Valido, Francisco Javier Bravo, Cristina Carmona-Duarte, Henrique Leonel Gomes, Josep A. Calduch-Giner, Enric Cabruja, Aurelio Vega, Miguel Ángel Ferrer, Manuel Lozano 0003, Juan Antonio Montiel-Nelson, Juan Manuel Afonso, Jaume Pérez-Sánchez	Ultra-low power sensor devices for monitoring physical activity and respiratory frequency in farmed fish.	CoRR	2024	DBLP DOI BibTeX RDF
12	Payel Das, Subhajit Chaudhury, Elliot Nelson, Igor Melnyk, Sarath Swaminathan, Sihui Dai, Aurélie C. Lozano, Georgios Kollias, Vijil Chenthamarakshan, Jirí Navrátil 0001, Soham Dan, Pin-Yu Chen	Larimar: Large Language Models with Episodic Memory Control.	CoRR	2024	DBLP DOI BibTeX RDF
12	Benjamin Decardi-Nelson, Abdulelah S. Alshehri, Akshay Ajagekar, Fengqi You	Generative AI and Process Systems Engineering: The Next Frontier.	CoRR	2024	DBLP DOI BibTeX RDF
12	Christopher Jellen, Charles Nelson, Cody Brownell, John Burkhardt	Effective Benchmarks for Optical Turbulence Modeling.	CoRR	2024	DBLP DOI BibTeX RDF
12	Daniel Fesalbon, Arvin De La Cruz, Marvin Mallari, Nelson Rodelas	Fine-Tuning Pre-trained Language Models to Detect In-Game Trash Talks.	CoRR	2024	DBLP DOI BibTeX RDF
12	Edith Cohen, Xin Lyu 0002, Jelani Nelson, Tamás Sarlós, Uri Stemmer	Lower Bounds for Differential Privacy Under Continual Observation and Online Threshold Queries.	CoRR	2024	DBLP DOI BibTeX RDF
12	Srinivasan Umesh, Leon Cohen, Douglas J. Nelson	On the relationship between speech and hearing.	CoRR	2024	DBLP DOI BibTeX RDF
12	Sayash Kapoor, Rishi Bommasani, Kevin Klyman, Shayne Longpre, Ashwin Ramaswami, Peter Cihon, Aspen Hopkins, Kevin Bankston, Stella Biderman, Miranda Bogen, Rumman Chowdhury, Alex Engler, Peter Henderson 0002, Yacine Jernite, Seth Lazar, Stefano Maffulli, Alondra Nelson, Joelle Pineau, Aviya Skowron, Dawn Song, Victor Storchan, Daniel Zhang, Daniel E. Ho, Percy Liang, Arvind Narayanan	On the Societal Impact of Open Foundation Models.	CoRR	2024	DBLP DOI BibTeX RDF
12	Ghada Zamzmi, Kesavan Venkatesh, Brandon Nelson, Smriti Prathapan, Paul H. Yi, Berkman Sahiner, Jana G. Delfino	Out-of-Distribution Detection and Data Drift Monitoring using Statistical Process Control.	CoRR	2024	DBLP DOI BibTeX RDF
12	Emily Escamilla, Martin Klein 0001, Talya Cooper, Vicky Rampin, Michele C. Weigle, Michael L. Nelson	Cited But Not Archived: Analyzing the Status of Code References in Scholarly Articles.	CoRR	2024	DBLP DOI BibTeX RDF
12	José Nelson Amaral	Effective Communication of Scientific Results.	CoRR	2024	DBLP DOI BibTeX RDF
12	Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi	Conceptual Mutation Testing for Student Programming Misconceptions.	CoRR	2024	DBLP DOI BibTeX RDF
12	Gianpietro Consolaro, Zhen Zhang, Harenome Razanajato, Nelson Lossing, Nassim Tchoulak, Adilla Susungi, Artur Cesar Araujo Alves, Renwei Zhang, Denis Barthou, Corinne Ancourt, Cédric Bastoul	PolyTOPS: Reconfigurable and Flexible Polyhedral Scheduler.	CoRR	2024	DBLP DOI BibTeX RDF
12	Nelson Colón Vargas	Exploiting the Margin: How Capitalism Fuels AI at the Expense of Minoritized Groups.	CoRR	2024	DBLP DOI BibTeX RDF
12	Christian Nelson, Xuhong Li 0001, Aleksei Fedorov, Benjamin J. B. Deutschmann, Fredrik Tufvesson	Distributed MIMO Measurements for Integrated Communication and Sensing in an Industrial Environment.	CoRR	2024	DBLP DOI BibTeX RDF