Search results for "successes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
68	Nick Benton, Andrew Kennedy, Martin Hofmann 0001, Vivek Nigam	Counting Successes: Effects and Transformations for Non-deterministic Programs.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Sam Lindley, Conor McBride, Philip W. Trinder, Donald Sannella (eds.)	A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Jennifer Paykin, Steve Zdancewic	Linear λμ is CP (more or less).	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	John Hughes 0001	Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo	Proof-Relevant Parametricity.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Ralf Hinze, Dan Marsden	Dragging Proofs Out of Pictures.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Andreas Rossberg	1ML with Special Effects - F-ing Generativity Polymorphism.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Avraham Shinnar, Jérôme Siméon	A Branding Strategy for Business Types.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Jeremy G. Siek, Sam Tobin-Hochstadt	The Recursive Union of Some Gradual Types.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Bernardo Toninho, Nobuko Yoshida	Certifying Data in Multiparty Session Types.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	John T. O'Donnell, Cordelia V. Hall	Pointlessness is Better than Listlessness.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Andrew P. Black, Kim B. Bruce, James Noble 0001	The Essence of Inheritance.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Simon J. Gay	Subtyping Supports Safe Session Substitution.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki	The Essence of Dependent Object Types.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Jeremy Gibbons	Comprehending Ringads - For Phil Wadler, on the Occasion of his 60th Birthday.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Manuel Serrano	The Computer Scientist Nightmare - My Favorite Bug.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	D. A. Turner	Recursion Equations as a Programming Language.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens	Reflections on Monadic Lenses.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Graham Hutton, Patrick Bahr	Cutting Out Continuations.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Peter Thiemann 0001	A Delta for Hybrid Type Checking.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Hugh Leather, Janne Irgens	The Lambda Calculus: Practice and Principle.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Tiark Rompf	The Essence of Multi-stage Evaluation in LMS.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Robert Atkey, Sam Lindley, J. Garrett Morris	Conflation Confers Concurrency.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis	A Reflection on Types.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
49	Conor McBride	I Got Plenty o' Nuttin'.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
40	Joseph W. Yoder, Ralph E. Johnson, Steven R. Wingo, Ron Jeffries, Linda Rising	Object-oriented success stories: "learning from our failures".	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	successes, object-oriented, failures
38	Ravi Anand Rao, Rahul De'	Organizational Assimilation of Technology in a Sunrise Industry - A Story of Successes and Failures.	TDIT	2013	DBLP DOI BibTeX RDF
38	Anastasia Papazafeiropoulou, Georgios Gerostergioudis, Hsin Chen, Laurence D. Brooks	Green IT Logistics in a Greek Retailer: Grand Successes and Minor Failures.	TDIT	2013	DBLP DOI BibTeX RDF
38	Richard J. Goeke, Robert H. Faley	Technical opinion - Do SAP successes outperform themselves and their competitors?	Commun. ACM	2009	DBLP DOI BibTeX RDF
38	Frank P. A. Coolen, Pauline Coolen-Schrijner	Comparing Proportions Data with Few Successes.	SMPS	2006	DBLP DOI BibTeX RDF
38	Gloria Mark, Wolfgang Prinz, Volker Wulf, Vidar Hepsø	Introducing Groupware into Organizations: What Leads to Successes and Failures? (workshop).	CSCW	1996	DBLP DOI BibTeX RDF
31	Karin Danielsson, Amir M. Naghsh, Dorina C. Gumm, Andrew Warr	Distributed participatory design.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	distributed participatory design, successes, case study, tools, processes, failures
31	Capers Jones	Variations in Software Development Practices .	IEEE Softw.	2003	DBLP DOI BibTeX RDF	software benchmarks, software successes, software occupation groups, software quality, software processes, software failures
29	Andrew Arch	Web accessibility for older users: successes and opportunities (keynote).	W4A	2009	DBLP DOI BibTeX RDF	ATAG, World Wide Web, usability, accessibility, disability, ageing, older people, WCAG, W3C, WAI, impairment, UAAG
29	Elizabeth Baron	Successes and Challenges on Using VR in Product Design and Engineering.	VR	2009	DBLP DOI BibTeX RDF
29	Boudewijn R. Haverkort	Performance and Dependability Evaluation: Successes, Failures and Challenges.	EPEW	2008	DBLP DOI BibTeX RDF	security, performance evaluation, model checking, verification, scalability, Markov chains, Dependability evaluation
29	Chen-Fu Chien, Stéphane Dauzère-Pérès, Hans Ehm, John W. Fowler, Zhibin Jiang, Shekar Krishnaswamy, Lars Mönch, Reha Uzsoy	Modeling and analysis of semiconductor manufacturing in a shrinking world: Challenges and successes.	WSC	2008	DBLP DOI BibTeX RDF
29	Srinivasan Parthasarathy 0001	Data mining at the crossroads: successes, failures and learning from them.	KDD	2007	DBLP DOI BibTeX RDF	applications and implementations, failures and mistakes, future outlook, success stories
29	Alan Armitage, Peter Wisniewski, Alan de-Ste-Croix	Greater successes by using Agile Techniques closer to the light bulb moment.	AGILE	2007	DBLP DOI BibTeX RDF
29	Thomas A. Gerace, Jean Mouton	The challenges and successes of implementing an enterprise patch management solution.	SIGUCCS	2004	DBLP DOI BibTeX RDF	HFNetChk, HFNetChkPro, SUS, security, operating system, update, patch, microsoft, automatic update
29	Claire C. Lassalle, Robyn C. Richard	The successes of centralization "merger of support services".	SIGUCCS	2004	DBLP DOI BibTeX RDF	student staffing, communications, training, management, organization, help desk, user satisfaction, staffing
29	Stephen Wassef	Moving mountains in Motown: trailblazing technology at the Wayne State University PC clinic.	SIGUCCS	2008	DBLP DOI BibTeX RDF	Cisco Clean Access Agent, Dynamic Host Configuration Protocol (dhcp), Lightweight Directory Access Protocol (ldap), network authentication
29	Sorin Craciunescu	Proving the Equivalence of CLP Programs.	ICLP	2002	DBLP DOI BibTeX RDF	CLP(forall), logic programming, constraint, induction, proof system, reactive program, coinduction, CLP, Program equivalence
19	Pratik Patil, Yuchen Wu, Ryan J. Tibshirani	Failures and Successes of Cross-Validation for Early-Stopped Gradient Descent.	CoRR	2024	DBLP DOI BibTeX RDF
19	Jenny T. Liang, Chenyang Yang 0002, Brad A. Myers	A Large-Scale Survey on the Usability of AI Programming Assistants: Successes and Challenges.	ICSE	2024	DBLP DOI BibTeX RDF
19	Pratik Patil, Yuchen Wu, Ryan J. Tibshirani	Failures and Successes of Cross-Validation for Early-Stopped Gradient Descent.	AISTATS	2024	DBLP BibTeX RDF
19	Le Khanh Ngan Nguyen, Cecilia Kumar, Marine Bisaro Shah, Andrew Chilvers, Isabella Stevens, Rachel Hardy, Claire J. Sarell, Nici Zimmermann	Civil Servant and Expert Perspectives on Drivers, Values, Challenges and Successes in Adopting Systems Thinking in Policy-Making.	Syst.	2023	DBLP DOI BibTeX RDF
19	Constance J. Jeffery	Current successes and remaining challenges in protein function prediction.	Frontiers Bioinform.	2023	DBLP DOI BibTeX RDF
19	Hang Li 0009, Ahmed Mourad, Shengyao Zhuang, Bevan Koopman, Guido Zuccon	Pseudo Relevance Feedback with Deep Language Models and Dense Retrievers: Successes and Pitfalls.	ACM Trans. Inf. Syst.	2023	DBLP DOI BibTeX RDF
19	Bert Vandenberk, Derek S. Chew, Dinesh Prasana, Sunny Gupta, Derek V. Exner	Successes and challenges of artificial intelligence in cardiology.	Frontiers Digit. Health	2023	DBLP DOI BibTeX RDF
19	Yudong Xu, Wenhao Li, Pashootan Vaezipoor, Scott Sanner, Elias B. Khalil	LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations.	CoRR	2023	DBLP DOI BibTeX RDF
19	Yedid Hoshen	Representation Learning in Anomaly Detection: Successes, Limits and a Grand Challenge.	CoRR	2023	DBLP DOI BibTeX RDF
19	Athina P. Petropulu	Reflecting on the Successes of ICASSP 2023 [President's Message].	IEEE Signal Process. Mag.	2023	DBLP DOI BibTeX RDF
19	Denis O. Kiobia, Canicius J. Mwitta, Kadeghe G. Fue, Jason M. Schmidt, David G. Riley, Glen C. Rains	A Review of Successes and Impeding Challenges of IoT-Based Insect Pest Detection Systems for Estimating Agroecosystem Health and Productivity of Cotton.	Sensors	2023	DBLP DOI BibTeX RDF
19	Eva-Maria Schön, Tiago Silva da Silva, Andreas Hinderks, Helen Sharp, Jörg Thomaschewski	Introduction to special issue on Agile UX: challenges, successes and barriers to improvement.	Inf. Softw. Technol.	2023	DBLP DOI BibTeX RDF
19	Federico Adolfi, Jeffrey S. Bowers, David Poeppel	Successes and critical failures of neural networks in capturing human-like speech recognition.	Neural Networks	2023	DBLP DOI BibTeX RDF
19	Basit Qureshi	ChatGPT in Computer Science Curriculum Assessment: An analysis of Its Successes and Shortcomings.	ICSLT	2023	DBLP DOI BibTeX RDF
19	Gregory W. Hislop, Darci Burdge, Karl R. Wurst	Teaching Open Source: Successes and Challenges.	SIGCSE (2)	2023	DBLP DOI BibTeX RDF
19	Wendy M. DuBow, Dorian Arnold, Brittany Fasy, Mariantonieta Gutierrez Soto	Challenges and Successes in Writing BPC Plans for NSF Proposals: A Panel of Peers Discuss Their Approaches.	SIGCSE (2)	2023	DBLP DOI BibTeX RDF
19	Fateh Boulmaiz, Patrick Reignier, Stéphane Ploix	Leveraging both Successes and Failures in Case-Based Reasoning for Optimal Solutions.	ACIIDS (1)	2023	DBLP DOI BibTeX RDF
19	Kathryn Yankura Swacha, Jayson Heim	Public Podcast Production on Interdisciplinary Teams: Challenges and Successes.	SIGDOC	2023	DBLP DOI BibTeX RDF
19	Christopher J. Coley	Vertical Scaling of Variational Multiscale Modeling for Fluid Dynamics: Successes, Challenges, and Opportunities.	SC Workshops	2023	DBLP DOI BibTeX RDF
19	Fateh Boulmaiz, Patrick Reignier, Stéphane Ploix	Learning from Successes and Failures: An Exploration of a Case-Based Reasoning Technique.	IEA/AIE (1)	2023	DBLP DOI BibTeX RDF
19	Stacey A. Huang, Jeanne Sauber	Successes and Challenges of MT-InSAR Methods in Coastal Regions: A Case Study on the Island of Tutuila, American Samoa.	IGARSS	2023	DBLP DOI BibTeX RDF
19	Qian Liu, Zhengfa Yang, Xiaofang Cai, Qianzhou Du, Weiguo Fan	The more, the better? The effect of feedback and user's past successes on idea implementation in open innovation communities.	J. Assoc. Inf. Sci. Technol.	2022	DBLP DOI BibTeX RDF
19	Jason Cong, Jason Lau, Gai Liu, Stephen Neuendorffer, Peichen Pan, Kees A. Vissers, Zhiru Zhang	FPGA HLS Today: Successes, Challenges, and Opportunities.	ACM Trans. Reconfigurable Technol. Syst.	2022	DBLP DOI BibTeX RDF
19	William T. Quach, Chi H. Le, Michael G. Clark, Evonne McArthur, Jessica S. Ancker, Cynthia S. Gadd, Kevin B. Johnson	Engaging the next generation of physician-informaticians through early exposure to the field: successes and challenges associated with starting a novel clinical informatics interest group.	J. Am. Medical Informatics Assoc.	2022	DBLP DOI BibTeX RDF
19	Frank Liao, Sabrina Adelaine, Majid Afshar, Brian W. Patterson	Governance of Clinical AI applications to facilitate safe and equitable deployment in a large health system: Key elements and early successes.	Frontiers Digit. Health	2022	DBLP DOI BibTeX RDF
19	Federico Adolfi, Jeffrey S. Bowers, David Poeppel	Successes and critical failures of neural networks in capturing human-like speech recognition.	CoRR	2022	DBLP DOI BibTeX RDF
19	Benjamin Eysenbach, Soumith Udatha, Sergey Levine, Ruslan Salakhutdinov	Imitating Past Successes can be Very Suboptimal.	CoRR	2022	DBLP DOI BibTeX RDF
19	Xiaolei Zhang, Guohua Yan, Renjun Ma, Jiaxiu Li	Analysis of Longitudinal Binomial Data with Positive Association between the Number of Successes and the Number of Failures: An Application to Stock Instability Study.	Entropy	2022	DBLP DOI BibTeX RDF
19	Julia A. Kelly, Shannon L. Farrell, Lois G. Hendrickson, James Luby, Kristen L. Mastel	A Critical Literature Review of Historic Scientific Analog Data: Uses, Successes, and Challenges.	Data Sci. J.	2022	DBLP DOI BibTeX RDF
19	Pornpat Sirithumgul, Pimpaka Prasertsilp	Applying Sentiment Analysis and Machine Learning Algorithms on Students' Reflections to Identify an Effective Teaching Strategy as a Factor of Learning Successes.	ACIS	2022	DBLP BibTeX RDF
19	Tumaini Mwendile Kabudi	Artificial Intelligence for Quality Education: Successes and Challenges for AI in Meeting SDG4.	ICT4D	2022	DBLP DOI BibTeX RDF
19	Samuel Shields, Ross Mawhorter, Edward F. Melcer, Michael Mateas	Searching for Balanced 2D Brawler Games: Successes and Failures of Automated Evaluation.	AIIDE	2022	DBLP BibTeX RDF
19	Gerrard Li, Cheuk Hang (Allen) Au	What drive the successes and adoption of cryptocurrencies?	ICEB	2022	DBLP BibTeX RDF
19	Benjamin Eysenbach, Soumith Udatha, Russ Salakhutdinov, Sergey Levine	Imitating Past Successes can be Very Suboptimal.	NeurIPS	2022	DBLP BibTeX RDF
19	Vijay K. Narayanan	Successes and Opportunities in Enterprise AI.	WSDM	2022	DBLP DOI BibTeX RDF
19	Zoriana Haladzhun, Nataliia Kunanets, Lidiia Snitsarchuk, Nataliia Veretennikova	Legal Aspects of Journalist Activity: Successes and Problems in Project Implementation.	CSIT	2022	DBLP DOI BibTeX RDF
19	Ron S. Jarmin	Reflections on the Successes and Challenges of Research Data Centers in Canada and the U.S.	J. Priv. Confidentiality	2021	DBLP DOI BibTeX RDF
19		RETRACTED ARTICLE: COVID 19 response: An analysis of teachers' perception on pedagogical successes and challenges of digital teaching practice during new normal.	Educ. Inf. Technol.	2021	DBLP DOI BibTeX RDF
19	Ryan Jacobs, Mingren Shen, Yuhan Liu, Wei Hao, Xiaoshan Li, Ruoyu He, Jacob R. C. Greaves, Donglin Wang, Zeming Xie, Zitong Huang, Chao Wang, Kevin G. Field, Dane Morgan	Performance, Successes and Limitations of Deep Learning Semantic Segmentation of Multiple Defects in Transmission Electron Micrographs.	CoRR	2021	DBLP BibTeX RDF
19	Hang Li 0009, Ahmed Mourad, Shengyao Zhuang, Bevan Koopman, Guido Zuccon	Pseudo Relevance Feedback with Deep Language Models and Dense Retrievers: Successes and Pitfalls.	CoRR	2021	DBLP BibTeX RDF
19	Jeff Druce, James Niehaus, Vanessa Moody, David D. Jensen, Michael L. Littman	Brittle AI, Causal Confusion, and Bad Mental Models: Challenges and Successes in the XAI Program.	CoRR	2021	DBLP BibTeX RDF
19	Ali Borji	Saliency Prediction in the Deep Learning Era: Successes and Limitations.	IEEE Trans. Pattern Anal. Mach. Intell.	2021	DBLP DOI BibTeX RDF
19	Qun Chen, Ji-Wen Li, Jian-Guo Liu, Jingti Han, Yun Shi, Xunhua Guo	Borrower Learning Effects: Do Prior Experiences Promote Continuous Successes in Peer-to-Peer Lending?	Inf. Syst. Frontiers	2021	DBLP DOI BibTeX RDF
19	Danfeng (Daphne) Yao	Measurable and Deployable Security: Gaps, Successes, and Opportunities.	CODASPY	2021	DBLP DOI BibTeX RDF
19	Patricia Gerlero	Successes and failures in software development project management: a systematic literature review.	ICAI Workshops	2021	DBLP BibTeX RDF
19	Nabil Georges Badr, Elissar Chami, Michele Kosremelli Asmar	e-Health Implementation in Lebanese Teaching Hospitals: What Can We Learn from Their Successes and Imminent Challenges.	HEALTHINF	2021	DBLP DOI BibTeX RDF
19	Matthew E. Taylor	Reinforcement Learning for Electronic Design Automation: Successes and Opportunities.	ISPD	2021	DBLP DOI BibTeX RDF
19	Zhengfa Yang, Qian Liu, Xin Zhao 0004, Yang Zhao	Boosting Ideation in Open Innovation Community: The Role of Feedback and User's Past Successes.	ICCSE	2021	DBLP DOI BibTeX RDF
19	Abdullah Hamad, Abeera P. Rehmat, Grace Panther, Heidi A. Diefes-Dux	Challenges and Successes of Engineering Instructors when Forced to Deliver Courses Remotely.	FIE	2021	DBLP DOI BibTeX RDF
19	Himel Dev	Modeling the successes and failures of content-based platforms		2021	RDF
19	María Alonso-García, Miguel-Ángel Pardo-Vicente, Lucía Rodríguez-Parada, Daniel Moreno Nieto	Do Products Respond to User Desires? A Case Study. Errors and Successes in the Design Process, under the Umbrella of Emotional Design.	Symmetry	2020	DBLP DOI BibTeX RDF
19	David Scheinker, Margaret L. Brandeau	Implementing Analytics Projects in a Hospital: Successes, Failures, and Opportunities.	INFORMS J. Appl. Anal.	2020	DBLP DOI BibTeX RDF
19	Kyle S. Van Houtan, Tyler Gagne, Clinton N. Jenkins, Lucas Joppa	Sentiment Analysis of Conservation Studies Captures Successes of Species Reintroductions.	Patterns	2020	DBLP DOI BibTeX RDF
19	Shehzad Mevawalla	Successes, Challenges and Opportunities for Speech Technology in Conversational Agents.	INTERSPEECH	2020	DBLP BibTeX RDF
19	Joe Stubbs, Julia Looney, Marjo Poindexter, Elias Chalhoub, Gregory J. Zynda, Erik S. Ferlanti, Matthew Vaughn, John M. Fonner, Maytal Dahan	Integrating Jupyter into Research Computing Ecosystems: Challenges and Successes in Architecting JupyterHub for Collaborative Research Computing Ecosystems.	PEARC	2020	DBLP DOI BibTeX RDF
19	Dan Garcia 0001, Moses Charikar, Eboney Hearn, Ed Lazowska, Jonathan Reynolds	Institutions Share Successes, Failures, and Advice in Moving the Diversity Needle.	SIGCSE	2020	DBLP DOI BibTeX RDF
19	Anna Cinzia Squicciarini	Multi-party Access Control - 10 Years of Successes and Lessons Learned.	SACMAT	2020	DBLP DOI BibTeX RDF