Search results for "RUSSELL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
116	Hans-Juergen Boehm, Alan J. Demers	Implementing RUSSELL.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF	RUSSELL
108	Berit Brogaard	The 'Gray's Elegy' Argument, and The Prospects for the Theory of Denoting Concepts.	Synth.	2006	DBLP DOI BibTeX RDF
74	Andrew David Irvine	Bertrand Russell's Logic.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
68	Peter W. Hanks	How Wittgenstein Defeated Russell's Multiple Relation Theory of Judgment.	Synth.	2007	DBLP DOI BibTeX RDF
53	Joan Rand Moschovakis	The Logic of Brouwer and Heyting.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
53	Andrea Cantini	Paradoxes, Self-Reference and Truth in the 20th Century.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
53	Michael Potter	The Logic of The Tractatus.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
53	Mark van Atten, Juliette Kennedy	Gödel's Logic.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
53	Peter M. Simons	Leśniewski's Logic.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
53	Barry Hartley Slater	Hilbert's Epsilon Calculus and its Successors.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
53	Jan von Plato	Gentzen's Logic.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
53	Wilfried Sieg	Hilbert's Proof Theory.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
53	Dov M. Gabbay, John Woods 0001	Preface.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
53	Felice Cardone, J. Roger Hindley	Lambda-Calculus and Combinators in the 20th Century.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
53	Dale Jacquette	Logic for Meinongian Object Theory Semantics.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
53	Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier	Jacques Herbrand: Life, Logic, and Automated Deduction.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
53	Alasdair Urquhart	Emil Post.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
53	Keith Simmons	Tarski's Logic.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
53	Jens Erik Fenstad, Hao Wang 0001	Thoralf Albert Skolem.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
53	Jonathan P. Seldin	The Logic of Church and Curry.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
52	Alan J. Demers, James E. Donahue	Making Variables Abstract: An Equational Theory for Russell.	POPL	1983	DBLP DOI BibTeX RDF
43	Maziar Salahi, Mehdi Toloo, Zeynab Hesabirad	Robust Russell and enhanced Russell measures in DEA.	J. Oper. Res. Soc.	2019	DBLP DOI BibTeX RDF
43	Felipe Romero Moreno	From Gutenberg to the Internet Free Speech, Advancing Technology, and the Implications for Democracy, by Russell L. WeaverFree Speech in an Internet Era Papers from the Free Speech Discussion Forum, Edited by Clive Walker and Russell L. Weaver.	Int. J. Law Inf. Technol.	2015	DBLP DOI BibTeX RDF
33	James E. Donahue, Alan J. Demers	Data Types Are Values.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF	RUSSELL
31	Yevgeniy Dodis, Adam D. Smith	Entropic Security and the Encryption of High Entropy Messages.	TCC	2005	DBLP DOI BibTeX RDF
31	Vitaly Eltekov	Checking the Four-Valued Boolean Algebra by the Use PLANNER.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
31	Frank Klassner	A case study of LEGO Mindstorms' suitability for artificial intelligence and robotics courses at the college level.	SIGCSE	2002	DBLP DOI BibTeX RDF
31	Fairouz Kamareddine	On Functions and Types: A Tutorial.	SOFSEM	2002	DBLP DOI BibTeX RDF
31	Roberto Cordeschi	Early-connectionism machines.	AI Soc.	2000	DBLP DOI BibTeX RDF	Artificial intelligence (history of), Simulation of behaviour, Learning theory, Connectionism, Cybernetics
31	Alan J. Demers, James E. Donahue	"Type-Completeness" as a Language Design Principle.	POPL	1980	DBLP DOI BibTeX RDF
31	Alan J. Demers, James E. Donahue	Data Types, Parameters, and Type Checking.	POPL	1980	DBLP DOI BibTeX RDF
27	Josef Sivic, Bryan C. Russell, Andrew Zisserman, William T. Freeman, Alexei A. Efros	Unsupervised discovery of visual object class hierarchies.	CVPR	2008	DBLP DOI BibTeX RDF
27	Gorjan Alagic, Cristopher Moore, Alexander Russell	Quantum algorithms for Simon's problem over general groups.	SODA	2007	DBLP BibTeX RDF
27	Ingrid Russell, Zdravko Markov, Todd W. Neller	Teaching AI through machine learning projects.	ITiCSE	2006	DBLP DOI BibTeX RDF	artificial intelligence, projects
27	Sean Hallgren, Cristopher Moore, Martin Rötteler, Alexander Russell, Pranab Sen	Limitations of quantum coset states for graph isomorphism.	STOC	2006	DBLP DOI BibTeX RDF	hidden subgroup problem, graph isomorphism, quantum algorithms
27	Russell Beale	Rise up, revolt!	Interactions	2005	DBLP DOI BibTeX RDF
27	Michael Russell, Gabrielle Allen, Greg Daues, Ian T. Foster, Edward Seidel, Jason Novotny, John Shalf, Gregor von Laszewski	The Astrophysics Simulation Collaboratory Portal: A Science Portal Enabling Community Software Development.	HPDC	2001	DBLP DOI BibTeX RDF
24	Hua Cheng, Rana Jafari, April Russell, Russell Klopfer, Edmond Lu, Benjamin Striner, Matthew R. Gormley	MDACE: MIMIC Documents Annotated with Code Evidence.	CoRR	2023	DBLP DOI BibTeX RDF
24	Hua Cheng, Rana Jafari, April Russell, Russell Klopfer, Edmond Lu, Benjamin Striner, Matthew R. Gormley	MDACE: MIMIC Documents Annotated with Code Evidence.	ACL (1)	2023	DBLP DOI BibTeX RDF
24	Myles Russell, Dylan Russell, Roberto Corizzo, Nathalie Japkowicz	Machine Learning for Surgical Risk Assessment Decision Systems.	IJCNN	2022	DBLP DOI BibTeX RDF
24	Shaobo Liu, Frank Y. Shih, Gareth Russell, Kimberly Russell, Hai Phan 0001	Classification of Ecological Data by Deep Learning.	Int. J. Pattern Recognit. Artif. Intell.	2020	DBLP DOI BibTeX RDF
24	Jae-Eun Russell, Anna Marie Smith, Russell Larsen	Elements of Success: Supporting at-risk student resilience through learning analytics.	Comput. Educ.	2020	DBLP DOI BibTeX RDF
24	Ernest Turro, William J. Astle, Karyn Megy, Stefan Gräf, Daniel Greene, Olga Shamardina, Hana Lango Allen, Alba Sanchis-Juan, Mattia Frontini, Chantal Thys, Jonathan Stephens, Rutendo Mapeta, Oliver S. Burren, Kate Downes, Matthias Haimel, Salih Tuna, Sri V. V. Deevi, Timothy J. Aitman, David L. H. Bennett, Paul Calleja, Keren Carss, Mark J. Caulfield, Patrick F. Chinnery, Peter H. Dixon, Daniel P. Gale, Roger James, Ania Koziell, Michael A. Laffan, Adam P. Levine, Eamonn R. Maher, Hugh S. Markus, Joannella Morales, Nicholas W. Morrell, Andrew D. Mumford, Elizabeth Ormondroyd, Stuart Rankin, Augusto Rendon, Sylvia Richardson, Irene Roberts, Noemi B. A. Roy, Moin A. Saleem, Kenneth G. C. Smith, Hannah Stark, Rhea Y. Y. Tan, Andreas C. Themistocleous, Adrian J. Thrasher, Hugh Watkins, Andrew R. Webster, Martin R. Wilkins, Catherine Williamson, James Whitworth, Sean Humphray, David R. Bentley, Stephen Abbs, Lara Abulhoul, Julian Adlard, Munaza Ahmed, Hana Alachkar, David J. Allsup, Jeff Almeida-King, Philip Ancliff, Richard Antrobus, Ruth Armstrong, Gavin Arno, Sofie Ashford, Anthony Attwood, Paul Aurora, Christian Babbs, Chiara Bacchelli, Tamam Bakchoul, Siddharth Banka, Tadbir Bariana, Julian Barwell, Joana Batista, Helen E. Baxendale, Phil L. Beales, Agnieszka Bierzynska, Tina Biss, Maria A. K. Bitner-Glindzicz, Graeme C. M. Black, Marta Bleda, Iulia Blesneac, Detlef Bockenhauer, Harm Bogaard, Christian J. Bourne, Sara Boyce, John R. Bradley, Eugene Bragin, Gerome Breen, Paul Brennan, Carole Brewer, Matthew Brown, Andrew C. Browning, Michael J. Browning, Rachel J. Buchan, Matthew S. Buckland, Teofila Bueser, Carmen Bugarin Diz, John Burn, Siobhan O. Burns, Nigel Burrows, Carolyn Campbell, Gerald Carr-White, Ruth Casey, Jenny Chambers, John Chambers, Melanie M. Y. Chan, Calvin Cheah, Floria Cheng, Manali Chitre, Martin T. Christian, Colin Church, Jill Clayton-Smith, Maureen Cleary, Naomi Clements Brod, Gerry Coghlan, Elizabeth Colby, Trevor R. P. Cole, Janine Collins, Peter W. Collins, Camilla Colombo, Cecilia J. Compton, Robin Condliffe, Stuart A. Cook, H. Terence Cook, Nichola Cooper, Paul A. Corris, Abigail Furnell, Fiona Cunningham, Nicola S. Curry, Antony J. Cutler, Matthew J. Daniels, Mehul Dattani, Louise C. Daugherty, John Davis, Anthony De Soyza, Timothy Dent, Charu Deshpande, Eleanor F. Dewhurst, Sofia Douzgou, Anna M. Drazyk, Elizabeth Drewe, Daniel Duarte, Tina Dutt, J. David M. Edgar, Karen Edwards, William Egner, Melanie N. Ekani, Perry Elliott, Wendy N. Erber, Marie Erwood, Maria C. Estiu, Dafydd Gareth Evans, Gillian Evans, Tamara Everington, Mélanie Eyries, Hiva Fassihi, Remi Favier, Jack Findhammer, Debra Fletcher, Frances A. Flinter, R. Andres Floto, Tom Fowler, James Fox, Amy J. Frary, Courtney E. French, Kathleen Freson, Henning Gall, Vijeya Ganesan, Michael Gattens, Claire Geoghegan, Terence S. A. Gerighty, Ali G. Gharavi, Stefano Ghio, Hossein-Ardeschir Ghofrani, J. Simon R. Gibbs, Kate Gibson, Kimberly C. Gilmour, Barbara Girerd, Nicholas S. Gleadall, Sarah Goddard, David B. Goldstein, Keith Gomez, Pavels Gordins, David Gosal, Jodie Graham, Luigi Grassi, Lynn Greenhalgh, Andreas Greinacher, Paolo Gresele, Philip Griffiths, Sofia Grigoriadou, Russell J. Grocock, Detelina Grozeva, Mark Gurnell, Scott Hackett, Charaka Hadinnapola, William M. Hague, Rosie Hague, Matthew Hall, Helen L. Hanson, Eshika Haque, Kirsty Harkness, Andrew R. Harper, Claire L. Harris, Daniel Hart, Ahamad Hassan, Grant Hayman, Alex Henderson, Archana Herwadkar, Jonathan Hoffman, Simon Holden, Rita Horvath, Henry Houlden, Arjan C. Houweling, Luke S. G. E. Howard, Fengyuan Hu, Gavin Hudson, Joseph Hughes, Aarnoud P. Huissoon, Marc Humbert, Sarah Hunter, Matthew E. Hurles, Melita Irving, Louise Izatt, Sally A. Johnson, Stephen Jolles, Jennifer Jolley, Dragana Josifova, Neringa Jurkute, Tim Karten, Johannes Karten, Mary A. Kasanicki, Hanadi Kazkaz, Rashid Kazmi, Peter Kelleher, Anne M. Kelly, Wilf Kelsall, Carly Kempster, David G. Kiely, Nathalie Kingston, Robert Klima, Nils Koelling, Myrto Kostadima, Gabor Kovacs, Roman Kreuzhuber, Taco W. Kuijpers, Ajith Kumar, Dinakantha Kumararatne, Manju A. Kurian, Fiona Lalloo, Michele Lambert, Allan Lawrie, D. Mark Layton, Nick Lench, Claire Lentaigne, Tracy Lester, Rachel Linger, Hilary Longhurst, Lorena E. Lorenzo, Eleni Louka, Paul A. Lyons, Rajiv D. Machado, Robert V. MacKenzie Ross, Bella Madan, Jesmeen Maimaris, Samantha Malka, Sarah Mangles, Kevin J. Marchbank, Stephen Marks, Hanns-Ulrich Marschall, Andrew G. Marshall, Jennifer Martin, Mary Mathias, Emma Matthews, Heather Maxwell, Paul McAlinden, Mark I. McCarthy, Harriet McKinney, Aoife McMahon, Stuart Meacham, Adam J. Mead, Ignacio Medina Castello, Sarju G. Mehta, Michel Michaelides, Carolyn Millar, Shehla N. Mohammed, Shahin Moledina, David Montani, Anthony T. Moore, Monika Mozere, Keith W. Muir, Andrea H. Nemeth, William G. Newman, Michael Newnham, Sadia Noorani, Paquita Nurden, Jennifer O'Sullivan, Samya Obaji, Chris Odhams, Steven Okoli, Andrea Olschewski, Horst Olschewski, Kai Ren Ong, S. Helen Oram, Willem H. Ouwehand, Claire Palles, Sofia Papadia, Soo-Mi Park, David Parry 0003, Smita Patel, Joan Paterson, Andrew Peacock, Simon H. Pearce, John Peden, Kathelijne Peerlinck, Christopher J. Penkett, Joanna Pepke-Zaba, Romina Petersen, Clarissa Pilkington, Kenneth E. S. Poole, Radhika Prathalingam, Bethan Psaila, Angela Pyle, Richard Quinton, Shamima Rahman, Anupama Rao, F. Lucy Raymond, Paula J. Rayner-Matthews, Christine Rees, Tara Renton, Christopher J. Rhodes, Andrew S. C. Rice, Alex Richter, Leema Robert, Anthony Rogers, Sarah J. Rose, Robert Ross-Russell, Catherine Roughley, Deborah M. Ruddy, Omid Sadeghi-Alavijeh, Nilesh J. Samani, Crina Samarghitean, Ravishankar B. Sargur, Robert N. Sarkany, Simon Satchell, Sinisa Savic, John A. Sayer, Genevieve Sayer, Laura Scelsi, Andrew M. Schaefer, Sol Schulman, Richard Scott, Marie Scully, Claire Searle, Werner Seeger, Arjune Sen, W. A. Carrock Sewell, Denis Seyres, Neil Shah, Susan E. Shapiro, Adam C. Shaw, Patrick J. Short, Keith Sibson, Lucy Side, Ilenia Simeoni, Michael A. Simpson, Matthew C. Sims, Suthesh Sivapalaratnam, Damian Smedley, Katherine R. Smith, Katie Snape, Nicole Soranzo, Florent Soubrier, Laura Southgate, Olivera Spasic-Boskovic, Simon Staines, Emily Staples, Charles A. Steward, Kathleen E. Stirrups, Alex Stuckey, Jay Suntharalingam, Emilia M. Swietlik, Petros Syrris, R. Campbell Tait, Kate Talks, Katie Tate, John M. Taylor, Jenny C. Taylor, James E. Thaventhiran, Ellen Thomas, David Thomas 0004, Moira J. Thomas, Patrick Thomas, Kate Thomson, Glen Threadgold, Tobias Tilly, Marc Tischkowitz, Catherine Titterton, John A. Todd, Cheng-Hock Toh, Bas Tolhuis, Ian P. Tomlinson, Mark Toshner, Matthew Traylor, Carmen Treacy, Paul Treadaway, Richard Trembath, Wojciech Turek, Philip Twiss, Tom Vale, Chris Van Geet, Natalie van Zuydam, Maarten Vandekuilen, Anthony M. Vandersteen, Marta Vazquez-Lopez, Julie von Ziegenweidt, Anton Vonk-Noordegraaf, Annette Wagner, Quinten Waisfisz, Suellen M. Walker, Neil Walker, Klaudia Walter, James S. Ware, Christopher Watt, Lucy Wedderburn, Wei Wei, Steven B. Welch, Julie Wessels, Sarah K. Westbury, John-Paul Westwood, John Wharton, Deborah Whitehorn, Andrew O. M. Wilkie, Brian T. Wilson, Edwin K. S. Wong, Nicholas W. Wood, Yvette Wood, Christopher Geoffrey Woods, Emma R. Woodward, Stephen J. Wort, Austen Worth, Michael Wright, Katherine Yates, Patrick F. K. Yong, Timothy Young, Ping Yu, Patrick Yu-Wai-Man, Eliska Zlamalova	Whole-genome sequencing of patients with rare diseases in a national health system.	Nat.	2020	DBLP DOI BibTeX RDF
24	Daniel Gonzalez, Gerardo Granados, Juan Battini, Russell Carter, Tom Nguyen, Jungsoo Lim, Russell Abbott 0001	Case Study : Environmental Safety Monitoring System For Sidewalk.	MECO	2019	DBLP DOI BibTeX RDF
24	Eser Erdem Tuna, Taoming Liu, Russell C. Jackson, Nate Lombard Poirot, Mac Russell, Murat Cenk Cavusoglu	Analysis of Dynamic Response of an MRI-Guided Magnetically-Actuated Steerable Catheter System.	IROS	2018	DBLP DOI BibTeX RDF
24	Russell Impagliazzo, Cristopher Moore, Alexander Russell	An Entropic Proof of Chang's Inequality.	SIAM J. Discret. Math.	2014	DBLP DOI BibTeX RDF
24	Stewart Russell, Thien An Nguyen, Clyde Rey Torres, Stephen Bhagroo, Milo J. Russell, H. Camara, Brian W. Pogue, Robert R. Alfano	Characterization of the fourier spatial frequencies of time resolved laser speckle from interacting high density lipoprotein disks.	ISBI	2014	DBLP DOI BibTeX RDF
24	Russell J. Jancewicz, Aggelos Kiayias, Laurent D. Michel, Alexander Russell, Alexander A. Shvartsman	Malicious takeover of voting systems: arbitrary code execution on optical scan voting terminals.	SAC	2013	DBLP DOI BibTeX RDF
24	Russell Impagliazzo, Cristopher Moore, Alexander Russell	An Entropic Proof of Chang's Inequality	CoRR	2012	DBLP BibTeX RDF
24	Richard P. Auburn, Roslin R. Russell, Bettina Fischer, Lisa A. Meadows, Santiago Sevillano Matilla, Steven Russell	SimArray: a user-friendly and user-configurable microarray design tool.	BMC Bioinform.	2006	DBLP DOI BibTeX RDF
24	Eduardo S. Barriga, Stephen R. Russell, Michael D. Abràmoff, Robert Brittain, Russell Waymire, Anne Edwards, Richard Engstrom, Bert Davis, Peter Soliz	A Training System for Photodynamic Therapy using Modeling and Simulation.	CBMS	2006	DBLP DOI BibTeX RDF
24	Russell R. Barton, Stephen E. Chick, Russell C. H. Cheng, Shane G. Henderson, Averill M. Law, Bruce W. Schmeiser, Lawrence M. Leemis, Lee Schruben, James R. Wilson	Panel discussion on current issues in input modeling: panel on current issues in simulation input modeling.	WSC	2002	DBLP DOI BibTeX RDF
24	Russell J. Turner, Kabir Chaturvedi, Nathan Edwards, Daniel P. Fasulo, Aaron L. Halpern, Daniel H. Huson, Oliver Kohlbacher, Jason R. Miller, Knut Reinert, Karin A. Remington, Russell Schwartz, Brian Walenz, Shibu Yooseph, Sorin Istrail	Visualization challenges for a new cyberpharmaceutical computing paradigm.	IEEE Symposium on Parallel and Large-Data Visualization and Graphics	2001	DBLP BibTeX RDF
24	P. J. Russell, J. M. Doenias, S. J. Russell	GELYMAC: a Macintosh application for calculating DNA fragment size from gel electrophoresis migration data.	Comput. Appl. Biosci.	1991	DBLP DOI BibTeX RDF
24	Daniel M. Russell, Richard R. Burton, Daniel S. Jordan, Anne-Marie S. Jensen, Russell A. Rogers, Jonathan R. Cohen	Creating instruction with IDE: Tools for instructional designers.	Intell. Tutoring Media	1990	DBLP DOI BibTeX RDF
24	Daniel S. Jordan, Daniel M. Russell, Anne-Marie S. Jensen, Russell A. Rogers	Facilitating the Development of Representations in Hypertext with IDE.	Hypertext	1989	DBLP DOI BibTeX RDF
22	Peng-Qi Wang, Xingye Liu, Qing-Chun Li, Xia-Wan Zhou, Yi-Fan Feng	Nonlinear Inversion Method of Russell's Fluid Factor Based on Exact-Zoeppritz Equation.	IEEE Trans. Geosci. Remote. Sens.	2023	DBLP DOI BibTeX RDF
22	Juliana Castro-Amorim, Ana Oliveira, Ashis K. Mukherjee, Maria João Ramos, Pedro Alexandrino Fernandes	Unraveling the Reaction Mechanism of Russell's Viper Venom Factor X Activator: A Paradigm for the Reactivity of Zinc Metalloproteinases?	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
22	Ali Kemal Uncu	Proofs of Modulo 11 and 13 Cylindric Kanade-Russell Conjectures for A2 Rogers-Ramanujan Type Identities.	CoRR	2023	DBLP DOI BibTeX RDF
22	Mostafa Naghavi, Israfil Roshdi, Amir Arjomandi, Dimitris Margaritis 0002	Some comments on Russell graph efficiency measures in data envelopment analysis: The multiplicative approach.	Eur. J. Oper. Res.	2023	DBLP DOI BibTeX RDF
22	Nina Cassandra, Didi Suherdi	Teaching language online: a guide to designing, developing, and delivering online, blended, and flipped language courses: Russell Victoria and Murphy-Judy Kathryn (New York, NY: Routledge, 2021), 281 pp. ISBN: 9781138386983 (Hbk), US $128.00; ISBN: 9781138387003 (Pbk), US $29.56; ISBN: 9780429426483 (e-bk), US $29.56.	Interact. Learn. Environ.	2022	DBLP DOI BibTeX RDF
22	Robabeh Eslami, Mohammad Khoveyni	A Novel Enhanced Russell Graph Efficiency Measure in Network DEA.	Int. J. Inf. Technol. Decis. Mak.	2022	DBLP DOI BibTeX RDF
22	Manuel Arana-Jiménez, Carmen Sánchez-Gil, Sebastián Lozano 0001, Atefeh Younesi	Efficiency assessment using fuzzy production possibility set and enhanced Russell Graph measure.	Comput. Appl. Math.	2022	DBLP DOI BibTeX RDF
22	Xu Wang, Ying-Ming Wang	Interval enhanced Russell measure with undesirable outputs based on data envelopment analysis: An efficiency measurement of industry in China.	J. Intell. Fuzzy Syst.	2021	DBLP DOI BibTeX RDF
22	Raja Rosenhagen	Norwood Russell Hanson's account of experience: an untimely defense.	Synth.	2021	DBLP DOI BibTeX RDF
22	John Woods 0001	What did Frege take Russell to have proved?	Synth.	2021	DBLP DOI BibTeX RDF
22	Lei Zhu 0014, Junqi Liu, Jun Xie, Yang Yu, Lin Gao, Sheng Li, Hongbo Duan	Can efficiency evaluation be applied to power plant operation improvement? A combined method with modified weighted russell directional distance model and pattern matching.	Comput. Oper. Res.	2021	DBLP DOI BibTeX RDF
22	Javier Alcaraz, Laura Anton-Sanchez, Juan Aparicio, Juan F. Monge, Nuria Ramón	Russell Graph efficiency measures in Data Envelopment Analysis: The multiplicative approach.	Eur. J. Oper. Res.	2021	DBLP DOI BibTeX RDF
22	José Espírito Santo, Gilda Ferreira	The Russell-Prawitz embedding and the atomization of universal instantiation.	Log. J. IGPL	2021	DBLP DOI BibTeX RDF
22	Nazmi Sofian Suhaimi, James Mountstephens, Jason Teo	Class-Based Analysis of Russell's Four-Quadrant Emotion Prediction in Virtual Reality using Multi-Layer Feedforward ANNs.	ICSCA	2021	DBLP DOI BibTeX RDF
22	Martijn Cremers, Ankur Pareek, Zacharias Sautner	Short-Term Investors, Long-Term Investments, and Firm Value: Evidence from Russell 2000 Index Inclusions.	Manag. Sci.	2020	DBLP DOI BibTeX RDF
22	Elena Maceviciute	Review of: Russell, Daniel M. The joy of search: a Google insider's guide to going beyond the basics. The MIT Press, 2019.	Inf. Res.	2020	DBLP BibTeX RDF
22	Oleg Badunenko, Pavlo Mozharovskyi	Statistical inference for the Russell measure of technical efficiency.	J. Oper. Res. Soc.	2020	DBLP DOI BibTeX RDF
22	Walter Bridges	Partition Inequalities and Applications to Sum-Product Conjectures of Kanade-Russell.	Integers	2020	DBLP BibTeX RDF
22		Editorial correction for A. Tzouvaras, "Russell's typicality as another randomness notion".	Math. Log. Q.	2020	DBLP DOI BibTeX RDF
22	Athanassios Tzouvaras	Russell's typicality as another randomness notion.	Math. Log. Q.	2020	DBLP DOI BibTeX RDF
22	Mehdi Modabberifar, Matthew Spenko	Development of a gecko-like robotic gripper using Scott-Russell mechanisms.	Robotica	2020	DBLP DOI BibTeX RDF
22	Shane Chern, Zhitai Li	Linked partition ideals and Kanade-Russell conjectures.	Discret. Math.	2020	DBLP DOI BibTeX RDF
22	Chiang Kao	Most Favorable Russell Measures of Efficiency: Properties and Measurement.	MOTOR	2020	DBLP DOI BibTeX RDF
22	Wanfang Shen, Guoliang Yang, Zhongbao Zhou, Wenbin Liu	DEA models with Russell measures.	Ann. Oper. Res.	2019	DBLP DOI BibTeX RDF
22	Karamjit S. Gill	DELINQUENT GENIUS: the strange affair of man and his technology - Mike Cooley, Spokesman 2018, Russell House, Bulwell Lane, Nottingham, NG6 6BT, England, www.spokesmanbooks.com, ISBN: 978-0-851-24878-3.	AI Soc.	2019	DBLP DOI BibTeX RDF
22	Ke Zhong, Tianwei Qiao, Liqun Zhang	A Study of Emotional Communication of Emoticon Based on Russell's Circumplex Model of Affect.	HCI (18)	2019	DBLP DOI BibTeX RDF
22	Erik Palmgren	A Constructive Examination of a Russell-Style Ramified Type Theory.	Bull. Symb. Log.	2018	DBLP DOI BibTeX RDF
22	Fer-Jan de Vries	Many-valued logics inside λ-calculus: Church's rescue of Russell with B{"}ohm trees.	CoRR	2018	DBLP BibTeX RDF
22	Margaréta Halická, Mária Trnovská	The Russell measure model: Computational aspects, duality, and profit efficiency.	Eur. J. Oper. Res.	2018	DBLP DOI BibTeX RDF
22	Lisa M. McFall	Developing Librarian Competencies for the Digital Age. Jeffrey G. Coghill and Roger G. Russell, eds. Lanham, Md.: Roman & Littlefield, 2017. 180p. Paper, $41.00 (ISBN 978-1-4422-6444-1).	Coll. Res. Libr.	2018	DBLP DOI BibTeX RDF
22	Norbert Gratzl, Georg Schiemer	Two Types of Indefinites: Hilbert & Russell.	FLAP	2017	DBLP BibTeX RDF
22	Scott W. Hansen, Marius Tucsnak	Some new applications of Russell's principle to infinite dimensional vibrating systems.	Annu. Rev. Control.	2017	DBLP DOI BibTeX RDF
22	Dmitry Vlasov	System Description: Russell - A Logical Framework for Deductive Systems.	CoRR	2017	DBLP BibTeX RDF
22	Salvatore Florio, Graham Leach-Krouse	What Russell Should have said to Burali-Forti.	Rev. Symb. Log.	2017	DBLP DOI BibTeX RDF
22	Ross Feller	Russell Pinkston: Balancing Acts.	Comput. Music. J.	2017	DBLP DOI BibTeX RDF
22	Shawn Shahriar Keshmiri, Emily J. Arnold, Aaron Blevins, Mark S. Ewing, Rick Hale, Carl Leuschen, Jonathan Lyle, Ali Mahmood, John Paden, Fernando Rodriguez-Morales, Stephen Yan	Radar ECHO sounding of russell glacier at 35 MHz using compact radar systems on small unmanned aerial vehicles.	IGARSS	2017	DBLP DOI BibTeX RDF
22	Kira Dreher	Russell Willerton.	IEEE Trans. Prof. Commun.	2016	DBLP DOI BibTeX RDF
22	Alasdair Urquhart	Russell and Gödel.	Bull. Symb. Log.	2016	DBLP DOI BibTeX RDF
22	Edwin D. Mares	Gregory H. Moore (ed.), The Collected Papers of Bertrand Russell, Volume 5: Toward "Principia Mathematica", London and New York: Routledge, 2014, c + 954 and 10 plates.	Bull. Symb. Log.	2016	DBLP DOI BibTeX RDF
22	Stefano Predelli	Russell-Names: An Introduction to Millian Descriptivism.	J. Philos. Log.	2016	DBLP DOI BibTeX RDF
22	Sean Walsh 0001	Predicativity, the Russell-Myhill Paradox, and Church's Intensional Logic.	J. Philos. Log.	2016	DBLP DOI BibTeX RDF
22	Takuya Tsujimoto, Yasutake Takahashi, Shouhei Takeuchi, Yoichiro Maeda	RNN with Russell's circumplex model for emotion estimation and emotional gesture generation.	CEC	2016	DBLP DOI BibTeX RDF
22	Hikaru Hasegawa, Ken Itoh, Shogo Okamoto, Hatem Elfekey, Yoji Yamada	Colorful Tactile Stimuli. Association Between Colors and Tactile-Display Stimuli on Russell's Psychological Plane.	AsiaHaptics	2016	DBLP DOI BibTeX RDF
22	Shane Greenstein	Networking standards and russell's revisionism (review of, "Open standards and the digital age: history, ideology, and networks, russel, a.; 2014)[book review].	IEEE Micro	2015	DBLP DOI BibTeX RDF