Search results for "Lewis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
62	Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe	Exact analysis of Dodgson elections: Lewis Carroll's 1876 voting system is complete for parallel access to NP.	J. ACM	1997	DBLP DOI BibTeX RDF	Lewis Carroll, election systems, majority rule, completeness
56	Ross Paul Cameron	Truthmakers and necessary connections.	Synth.	2008	DBLP DOI BibTeX RDF	Truthmakers, Necessary connections, Lewis
48	Andreas F. Holmsen	The Katchalski-Lewis Transversal Problem in Rn.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
48	Andreas F. Holmsen	New Bounds on the Katchalski-Lewis Transversal Problem.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
48	Tania Paneni, Romano Scozzafava	Multi-valued Conditional Events Avoid Lewis' Triviality Result.	ECSQARU	2003	DBLP DOI BibTeX RDF
42	Steve Portigal, Julie Norvaisas	Elevator pitch.	Interactions	2011	DBLP DOI BibTeX RDF
42	Yen-Teh Hsia	A Possibility-Based Propositional Logic of Conditionals.	ISMIS	1994	DBLP DOI BibTeX RDF
42	Kum-Yew Lai, Thomas W. Malone	Object lens: letting end-users create cooperative work applications.	CHI	1991	DBLP DOI BibTeX RDF
42	Kate Ehrlich	Human interface at SUN (East).	CHI	1991	DBLP DOI BibTeX RDF	Sun
42	Mark K. Singley	MOLEHILL: an instructional system for Smalltalk programming.	CHI	1991	DBLP DOI BibTeX RDF	Smalltalk
42	Brad T. Vander Zanden, Brad A. Myers	The Lapidary graphical interface design tool.	CHI	1991	DBLP DOI BibTeX RDF
42	Jamie Schultz	A graphical reflection notation used in an intelligent discovery world tutoring system.	CHI	1991	DBLP DOI BibTeX RDF
42	Lon Barfield, Eddy Boeve, Steven Pemberton	The views user-interface system.	CHI	1991	DBLP DOI BibTeX RDF
42	Allen Cypher	Video presentation Eager: programming repetitive tasks by example.	CHI	1991	DBLP DOI BibTeX RDF	HyperCard
42	Achille C. Varzi	Strict Identity with No Overlap.	Stud Logica	2006	DBLP DOI BibTeX RDF	Trans-World Identity, Counterpart Theory, Kripke, Lewis, Semantics vs. Metaphysics
42	Rod Fatoohi	Performance evaluation of communication networks for distributed computing.	ICCCN	1995	DBLP DOI BibTeX RDF	HiPPI, IBM Allnode switch, DaVinci, SGI R8000 workstations, NASA Ames, LACE, IBM RS6000 workstations, NASA Lewis, IBM SP2 machine, communication tests, programming levels, ttcp program, peak rates, BSD socket programming interface, PVM message passing library, performance evaluation, performance evaluation, distributed computing, ATM, communication networks, Ethernet, testbeds, high speed networks, FDDI, performance results, Fibre Channel
40	John Rieman, Susan E. Davies, D. Charles Hair, Mary Esemplare, Peter G. Polson, Clayton H. Lewis	An automated cognitive walkthrough.	CHI	1991	DBLP DOI BibTeX RDF	HyperCard
40	Anna V. Pomogaeva, Alexey Y. Timoshkin	Influence of the solvent on the Lewis acidity of antimony pentahalides and group 13 Lewis acids toward acetonitrile and pyridine.	J. Comput. Chem.	2021	DBLP DOI BibTeX RDF
40	Steven E. Stern	The Duckworth-Lewis-Stern method: extending the Duckworth-Lewis methodology to deal with modern scoring rates.	J. Oper. Res. Soc.	2016	DBLP DOI BibTeX RDF
40	Dan López de Sa	Lewis vs Lewis on the problem of the many.	Synth.	2014	DBLP DOI BibTeX RDF
40	Robert K. Meyer	AI, me and Lewis (Abelian Implication, Material Equivalence and C I Lewis 1920).	J. Philos. Log.	2008	DBLP DOI BibTeX RDF
36	Peter R. Lewis 0001, Stephen Lewis, Sue Lewis, Amanda McEachern Gaudet, Amanda Ottley	Reimagining Digital Public Spaces and Artificial Intelligence for Deep Cooperation.	IEEE Technol. Soc. Mag.	2023	DBLP DOI BibTeX RDF
34	Aladár Heppes	Proof of the Katchalski-Lewis Transversal Conjecture for T(3)-Families of Congruent Discs.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
34	David Maier 0001	Charting a Dataspace: Lessons from Lewis and Clark.	EDBT	2006	DBLP DOI BibTeX RDF
34	Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe	Exact Analysis of Dodgson Elections: Lewis Carroll's 1876 Voting System is Complete for Parallel Access to NP.	ICALP	1997	DBLP DOI BibTeX RDF
32	Ruth Lewis	IEEE SSIT Standards Committee Chair Ruth Lewis Honored With 2022 IEEE Standards Medallion.	IEEE Technol. Soc. Mag.	2022	DBLP DOI BibTeX RDF
28	Sam Bryfczynski	OrganicPad: a tablet PC based chemistry tool.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF
28	Gilbert Cockton	Revisiting usability's three key principles.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	software development principles, evaluation, design, usability, user studies
28	Jun He, Sanyi Zhan, Degang Chen 0001, Randall L. Geiger	A simple and accurate method to predict offset voltage in dynamic comparators.	ISCAS	2008	DBLP DOI BibTeX RDF
28	Juan Gao, Philip Holmes	On the dynamics of electrically-coupled neurons with inhibitory synapses.	J. Comput. Neurosci.	2007	DBLP DOI BibTeX RDF	Bifurcation diagrams, Electrical coupling, Inhibitory synapses, Integrate-and-fire models, Poincaré maps
28	M. N. Islam, B. B. Maini, J. Azaiez	Nonlinear Simulation of Thermo-viscous Fingering in Miscible Displacements in Porous Media.	HPCS	2007	DBLP DOI BibTeX RDF
28	Vishwa Vinay, Ingemar J. Cox, Natasa Milic-Frayling, Kenneth R. Wood	Measuring the Complexity of a Collection of Documents.	ECIR	2006	DBLP DOI BibTeX RDF
28	Vishwa Vinay, Ingemar J. Cox, Natasa Milic-Frayling, Kenneth R. Wood	On ranking the effectiveness of searches.	SIGIR	2006	DBLP DOI BibTeX RDF	query performance prediction
28	Larry S. Corman, Evans Adams	TECH@FLC: a program funded by an industry consortium.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	information technology education, web development
28	Isidora Stojanovic	Whom Is the Problem of the Essential Indexical a Problem for?	CONTEXT	2001	DBLP DOI BibTeX RDF
28	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
28	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
28	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
28	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
28	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
28	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
27	John N. Williams	Propositional knowledge and know-how.	Synth.	2008	DBLP DOI BibTeX RDF	Knowing how, Propositional knowledge, Counterfactual success, Reliable methods, Ryle, Hawley, Hetherington, Williamson, Stanley, Lewis, Ability
27	Sam Bryfczynski	OrganicPad: a tablet PC based chemistry tool.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	lewis structures, organic chemistry, tablet PC, graph isomorphism
26	Clayton Lewis	HCI and cognitive disabilities.	Interactions	2006	DBLP DOI BibTeX RDF
26	Vi Chi Chan, David Lewis	Hierarchical partitioning for field-programmable systems.	ICCAD	1997	DBLP DOI BibTeX RDF	FPGA partitioning problems, circuit structures, field-programmable systems, partitioning tree, recursive bipartitioning algorithm, field programmable gate arrays, VLSI, quality, logic CAD, hierarchical partitioning
26	L. Rodney Long, Lewis E. Berman, George R. Thoma	Client/Server Design for Fast Retrieval of Large Images on the Internet.	CBMS	1995	DBLP DOI BibTeX RDF	client/server design, fast image retrieval, large images, application-level technique, transmission rate improvement, cervical X-ray image files, FTP transmission, high-level design concepts, Internet, Internet, information retrieval, statistics, statistics, medical image processing, portable, PACS, client-server systems, visual databases, performance tests, channel capacity, robust technique
24	Heather D. Couture, Madison Alvara, Jeremy Freeman, Aaron Davitt, Hannes Koenig, Ali Rouzbeh Kargar, Joseph O'Connor, Isabella Söldner-Rembold, André Ferreira, Jeyavinoth Jeyaratnam, Jordan Lewis, Colin McCormick, Tiffany Nakano, Charmaine Dalisay, Christy Lewis, Gabriela Volpato, Matthew Gray, Gavin McCormick	Estimating Carbon Dioxide Emissions from Power Plant Water Vapor Plumes Using Satellite Imagery and Machine Learning.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
24	Yue Meng-Lewis, Gavin Lewis, Zhi Lin, Yupei Zhao	Examination of Esports Fans' Live Streaming Experiences Using an Extended Expectation-Confirmation Model: A Case Study of the King Pro League.	Int. J. Hum. Comput. Interact.	2024	DBLP DOI BibTeX RDF
24	Jessica Lanini, Gianluca Santarossa, Finton Sirockin, Richard A. Lewis, Nikolas Fechner, Hubert Misztela, Sarah Lewis, Krzysztof Maziarz, Megan Stanley, Marwin H. S. Segler, Nikolaus Stiefl, Nadine Schneider	PREFER: A New Predictive Modeling Framework for Molecular Discovery.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
24	Marguerite Koole, Randy Morin, Kevin wâsakâyâsiw Lewis, Kristine Dreaver-Charles, Ralph Deters, Julita Vassileva, Frank B. W. Lewis	Nisotak: An Example of Flexible Design for Indigenous Language Learning Apps and Reconciliation.	Int. J. Mob. Blended Learn.	2023	DBLP DOI BibTeX RDF
24	Madison Hobbs, Ali Rouzbeh Kargar, Heather D. Couture, Jeremy Freeman, Isabella Söldner-Rembold, André Ferreira, Jeyavinoth Jeyaratnam, Joseph O'Connor, Jordan Lewis, Hannes Koenig, Colin McCormick, Tiffany Nakano, Charmaine Dalisay, Aaron Davitt, Lee Gans, Christy Lewis, Gabriela Volpato, Matthew Gray, Gavin McCormick	Inferring Carbon Dioxide Emissions From Power Plants Using Satellite Imagery and Machine Learning.	IGARSS	2023	DBLP DOI BibTeX RDF
24	Patrick S. H. Lewis, Ethan Perez, Aleksandra Piktus, Fabio Petroni, Vladimir Karpukhin, Naman Goyal, Heinrich Küttler, Mike Lewis, Wen-tau Yih, Tim Rocktäschel, Sebastian Riedel 0001, Douwe Kiela	Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks.	CoRR	2020	DBLP BibTeX RDF
24	Patrick S. H. Lewis, Ethan Perez, Aleksandra Piktus, Fabio Petroni, Vladimir Karpukhin, Naman Goyal, Heinrich Küttler, Mike Lewis, Wen-tau Yih, Tim Rocktäschel, Sebastian Riedel 0001, Douwe Kiela	Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks.	NeurIPS	2020	DBLP BibTeX RDF
24	Matthew Fuller-Tyszkiewicz, Ben Richardson, Vivienne Lewis, Jake Linardon, Jacqueline Mills, Kerry Juknaitis, Charlotte Lewis, Kim Coulson, Renee O'Donnell, Lilani Arulkadacham, Anna Ware, Isabel Krug	A randomized trial exploring mindfulness and gratitude exercises as eHealth-based micro-interventions for improving body satisfaction.	Comput. Hum. Behav.	2019	DBLP DOI BibTeX RDF
24	Joao Lewis, Bo Hsiao, Wender Lin, Roberto Lewis	Integration of DEMATEL-Based ANP with BOCR Merits for Hospital Sustainability: Evidence from Hospitals in Panama.	PACIS	2018	DBLP BibTeX RDF
24	Nikolaus Stiefl, Peter Gedeck, Donovan Chin, Peter Hunt, Mika K. Lindvall, Katrin Spiegel, Clayton Springer, Scott Biller, Christoph L. Buenemann, Takanori Kanazawa, Mitsunori Kato, Richard A. Lewis, Eric J. Martin, Valery R. Polyakov, Ruben Tommasi, John H. Van Drie, Brian Vash, Lewis Whitehead, Yongjin Xu, Ruben Abagyan, Eugene Raush, Maxim Totrov	FOCUS - Development of a Global Communication and Modeling Platform for Applied and Computational Medicinal Chemists.	J. Chem. Inf. Model.	2015	DBLP DOI BibTeX RDF
24	Lewis H. Mervin, Avid M. Afzal, Georgios Drakakis, Richard Lewis 0002, Ola Engkvist, Andreas Bender 0002	Target prediction utilising negative bioactivity data covering large chemical space.	J. Cheminformatics	2015	DBLP DOI BibTeX RDF
24	Sheena Lewis Erete, Ryan Miller, Dan A. Lewis	Differences in technology use to support community crime prevention.	CSCW Companion	2014	DBLP DOI BibTeX RDF
24	Yuan Guo, Shane K. Fleshman, George K. Lewis Sr., George K. Lewis Jr.	Ultrasonic modeling and hydrophone measurements of dual divergent transducers for wearable therapeutic ultrasound device.	EMBC	2014	DBLP DOI BibTeX RDF
24	Sheena Lewis, Dan A. Lewis	Examining technology that supports community policing.	CHI	2012	DBLP DOI BibTeX RDF
24	Fei Xia, Carrie Lewis, William D. Lewis	The Problems of Language Identification within Hugely Multilingual Data Sets.	LREC	2010	DBLP BibTeX RDF
24	Julie A. Brefczynski-Lewis, Ritobrato Datta, James W. Lewis, Edgar A. DeYoe	The Topography of Visuospatial Attention as Revealed by a Novel Visual Field Mapping Technique.	J. Cogn. Neurosci.	2009	DBLP DOI BibTeX RDF
24	Kelly D. Lewis, James E. Lewis	Web Single Sign-On Authentication using SAML	CoRR	2009	DBLP BibTeX RDF
24	Bahram Alidaee, Gary A. Kochenberger, Karen R. Lewis, Mark W. Lewis, Haibo Wang 0001	Computationally attractive non-linear models for combinatorial optimisation.	Int. J. Math. Oper. Res.	2009	DBLP DOI BibTeX RDF
24	Bahram Alidaee, Gary A. Kochenberger, Karen R. Lewis, Mark W. Lewis, Haibo Wang 0001	A new approach for modeling and solving set packing problems.	Eur. J. Oper. Res.	2008	DBLP DOI BibTeX RDF
24	Promita Chakraborty, Gabrielle Allen, Zhou Lei, John Lewis, Adam Wade Lewis, Ian Chang-Yen, Itthichok Jangjaimon, Nian-Feng Tzeng	An Integrated Grid Portal for Managing Energy Resources.	eScience	2007	DBLP DOI BibTeX RDF
24	James W. Lewis, Raymond E. Phinney, Julie A. Brefczynski-Lewis, Edgar A. DeYoe	Lefties Get It "Right" When Hearing Tool Sounds.	J. Cogn. Neurosci.	2006	DBLP DOI BibTeX RDF
24	Mark W. Lewis, Karen R. Lewis, Barbara Jo White	Guided design search in the interval-bounded sailor assignment problem.	Comput. Oper. Res.	2006	DBLP DOI BibTeX RDF
24	Noëlle Lewis, Guillaume Monnerie, Léo Lewis, Jocelyn Sabatier, Pierre Melchior	Automatic procedure generating noise models for discrete-time applications.	ISCAS	2006	DBLP DOI BibTeX RDF
20	Jakub Brzeski	Aluminabenzene-based Lewis superacids and weakly coordinating anions.	J. Comput. Chem.	2023	DBLP DOI BibTeX RDF
20	Anna V. Pomogaeva, Anna S. Lisovenko, Artem S. Zavgorodnii, Alexey Y. Timoshkin	Lewis acid stabilized group 13-15 element analogs of ethylene.	J. Comput. Chem.	2023	DBLP DOI BibTeX RDF
20	Naren Sarayu Manoj, Max Ovsiankin	The Change-of-Measure Method, Block Lewis Weights, and Approximating Matrix Block Norms.	CoRR	2023	DBLP DOI BibTeX RDF
20	Amit Suliman, Omri Weinstein	Infinite Lewis Weights in Spectral Graph Theory.	CoRR	2023	DBLP DOI BibTeX RDF
20	Mahsa Sanei, Solomon Atcitty, Fernando Moreu	Low-cost Efficient Wireless Intelligent Sensor (LEWIS) for Engineering, Research, and Education.	CoRR	2023	DBLP DOI BibTeX RDF
20	Ryo Ueda, Tadahiro Taniguchi	Lewis's Signaling Game as beta-VAE For Natural Word Lengths and Segments.	CoRR	2023	DBLP DOI BibTeX RDF
20	Khashayar Gatmiry, Jonathan A. Kelner, Santosh S. Vempala	Sampling with Barriers: Faster Mixing via Lewis Weights.	CoRR	2023	DBLP DOI BibTeX RDF
20	Giacomo Bonanno	A Kripke-Lewis semantics for belief update and belief revision.	CoRR	2023	DBLP DOI BibTeX RDF
20	Alexander Shen	The Kraft-Barmpalias-Lewis-Pye lemma revisited.	CoRR	2023	DBLP DOI BibTeX RDF
20	David P. Woodruff, Taisuke Yasuda 0002	Online Lewis Weight Sampling.	SODA	2023	DBLP DOI BibTeX RDF
20	Sharmistha Maity, Paul Taele, Josh Cherian, Samantha Ray, Jung In Koh, Tracy Hammond	Chemisketch: Learning Lewis Dot Diagrams with Pen-Based Editing Interactions and Immediate Feedback.	IUI Companion	2023	DBLP DOI BibTeX RDF
20	José Eric F. Costa, Marcelino Pereira dos Santos Silva, Sebastiao Emidio Alves Filho	LEWis: Methodology and Platform for Monitoring the Level of Eutrophication on Water Bodies.	IGARSS	2023	DBLP DOI BibTeX RDF
20	Fanli Meng, Tianyao Qi, Junjie Zhang, Hongmin Zhu, Zhenyu Yuan, Congyue Liu, Wenbo Qin, Mengning Ding	MoS2-Templated Porous Hollow MoO3 Microspheres for Highly Selective Ammonia Sensing via a Lewis Acid-Base Interaction.	IEEE Trans. Ind. Electron.	2022	DBLP DOI BibTeX RDF
20	Mohmmad Faizan, Ravinder Pawar	Boron based intramolecular heterocyclic frustrated Lewis pairs as organocatalysts for CO2 adsorption and activation.	J. Comput. Chem.	2022	DBLP DOI BibTeX RDF
20	Zheng-Feng Zhang, Ming-Der Su	The reactivity of the trapping reaction of the benzene-bridged boron/phosphorus-based frustrated Lewis pair with difluorocarbene and its group 14 analogs: A theoretical investigation.	J. Comput. Chem.	2022	DBLP DOI BibTeX RDF
20	David H. Michels	Informed by Joy: A Christian Librarian's Reflection on C. S. Lewis.	Libr. Trends	2022	DBLP DOI BibTeX RDF
20	Mathieu Rita, Corentin Tallec, Paul Michel, Jean-Bastien Grill, Olivier Pietquin, Emmanuel Dupoux, Florian Strub	Emergent Communication: Generalization and Overfitting in Lewis Games.	CoRR	2022	DBLP DOI BibTeX RDF
20	David P. Woodruff, Taisuke Yasuda 0002	Online Lewis Weight Sampling.	CoRR	2022	DBLP DOI BibTeX RDF
20	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
20	Stanley S. Coelho, Lucas Queiroz, Danilo T. Alves	Exact Solution of a Time-Dependent Quantum Harmonic Oscillator with Two Frequency Jumps via the Lewis-Riesenfeld Dynamical Invariant Method.	Entropy	2022	DBLP DOI BibTeX RDF
20	Philip Yaffe	Making sense of nonsense: writing advice from Lewis Carroll and the "Jabberwocky".	Ubiquity	2022	DBLP DOI BibTeX RDF
20	Maryam Fazel, Yin Tat Lee, Swati Padmanabhan, Aaron Sidford	Computing Lewis Weights to High Precision.	SODA	2022	DBLP DOI BibTeX RDF
20	Arghya Pal, Sailaja Rajanala, Raphael C.-W. Phan, KokSheik Wong	Guess-It-Generator: Generating in a Lewis Signaling Framework through Logical Reasoning.	ACM Multimedia	2022	DBLP DOI BibTeX RDF
20	Mathieu Rita, Corentin Tallec, Paul Michel, Jean-Bastien Grill, Olivier Pietquin, Emmanuel Dupoux, Florian Strub	Emergent Communication: Generalization and Overfitting in Lewis Games.	NeurIPS	2022	DBLP BibTeX RDF
20	David P. Bunde, Zack Butler 0001, Christopher Lynnly Hovey, Cynthia Bagier Taylor	CONVERSATIONS: Conversation with a prominent propagator: Colleen Lewis.	Inroads	2021	DBLP DOI BibTeX RDF
20	Abdelmalek Khorief Nacereddine, Lynda Merzoud, Christophe Morell, Henry Chermette	A computational investigation of the selectivity and mechanism of the Lewis acid catalyzed oxa-Diels-Alder cycloaddition of substituted diene with benzaldehyde.	J. Comput. Chem.	2021	DBLP DOI BibTeX RDF
20	Matteo Tesi	Labelled Sequent Calculi for Lewis' Non-normal Propositional Modal Logics.	Stud Logica	2021	DBLP DOI BibTeX RDF
20	Amirouche Moktefi	Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll's Symbolic Logic.	Logica Universalis	2021	DBLP DOI BibTeX RDF
20	Jim de Groot, Tadeusz Litak, Dirk Pattinson	Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication.	CoRR	2021	DBLP BibTeX RDF
20	Maryam Fazel, Yin Tat Lee, Swati Padmanabhan, Aaron Sidford	Computing Lewis Weights to High Precision.	CoRR	2021	DBLP BibTeX RDF
20	Machel Reid, Victor Zhong	LEWIS: Levenshtein Editing for Unsupervised Text Style Transfer.	CoRR	2021	DBLP BibTeX RDF