Search results for "Glasgow"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
65	Gareth Ennis, Malcolm Lindsay	VRML Possibilities: The Evolution of the Glasgow Model.	IEEE Multim.	2000	DBLP DOI BibTeX RDF
57	Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler	The Glasgow Haskell Compiler: A Retrospective.	Functional Programming	1992	DBLP DOI BibTeX RDF
57	André L. M. Santos, Simon L. Peyton Jones	On Program Transformation in the Glasgow Haskell Compiler.	Functional Programming	1992	DBLP DOI BibTeX RDF
50	Robert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl	The Design and Implementation of Glasgow Distributed Haskell.	IFL	2000	DBLP DOI BibTeX RDF
48	Nicholas Nethercote, Alan Mycroft	The cache behaviour of large lazy functional programs on stock hardware.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	Glasgow Haskell Compiler, cache measurement, Haskell, Haskell, cache simulation, hardware counters, branch misprediction
38	Bridget McConnell	Making It Happen in Glasgow: A Vision for Glasgow Libraries.	Public Libr. Q.	2017	DBLP DOI BibTeX RDF
38	Ali Momeni, Claire Hentschker	Statuevision: Glasgow.	Creativity & Cognition	2015	DBLP DOI BibTeX RDF
38	Sheila Kinsella, Vanessa Murdock 0001, Neil O'Hare	"I'm eating a sandwich in Glasgow": modeling locations with tweets.	SMUC	2011	DBLP DOI BibTeX RDF
38	Alan Tait	The 14th Annual Ph.D. Consortium held at the 9th Annual United Kingdom Academy of Information Systems (UKAIS) Conference, Glasgow Caledonian University, Glasgow, Scotland, May 4-5 2004.	Int. J. Inf. Manag.	2004	DBLP DOI BibTeX RDF
38	Julian Seward	Beyond Prototype Implementations: Polymorphic Projection Analysis for Glasgow Haskell	SAS	1995	DBLP DOI BibTeX RDF
38	Simon Peyton Jones, André L. M. Santos	Compilation by Transformation in the Glasgow Haskell Compiler.	Functional Programming	1994	DBLP DOI BibTeX RDF
38	John Launchbury, Patrick M. Sansom (eds.)	Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992	Functional Programming	1993	DBLP DOI BibTeX RDF
38	Rogardt Heldal, Carsten Kehler Holst, Philip Wadler (eds.)	Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14 August 1991	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Paul Sanders, Colin Runciman	LZW Text Compression in Haskell.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Kei Davis	Analysing Functions by Projection-Based Backward Abstraction.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Will Partain	The nofib Benchmark Suite of Haskell Programs.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Erik Meijer 0001	Hazard Algebra and the Design of Asynchronous Automata.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Peter Achten, John H. G. van Groningen, Marinus J. Plasmeijer	High Level Specification of I/O in Functional Languages.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Duncan C. Sinclair	Graphical User Interfaces for Haskell.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Simon J. Thompson	Formulating Haskell.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Mark P. Jones	Programming with Constructor Classes (Preliminary Summary).	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Simon Marlow, Philip Wadler	Deforestation for Higher-Order Functions.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Patrick M. Sansom, Simon L. Peyton Jones	Profiling Lazy Functional Programs.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	John Launchbury, Andy Gill, John Hughes 0001, Simon Marlow, Simon L. Peyton Jones, Philip Wadler	Avoiding Unnecessary Updates.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	David J. King, Philip Wadler	Combining Monads.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Alex Ferguson, John Hughes 0001	Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary).	Functional Programming	1992	DBLP DOI BibTeX RDF
38	John Hughes 0001, Alex Ferguson	A Loop-Detecting Interpreter for Lazy, Higher-Order Programs.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	John T. O'Donnell	Generating Netlists from Executable Circuit Specifications.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Geraint Jones, Mary Sheeran	A Certain Loss of Identity.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Colin Runciman, David Wakeling	Heap Profiling of a Lazy Functional Compiler.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Kevin Hammond, Dave McNally, Patrick M. Sansom, Philip W. Trinder	Improving Persistent Data Manipulation for Functional Languages.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	John Hughes 0001, Andrew Moran	A Semantics for Locally Bottom-Avoiding Choice.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Guy Argo	GRIT: Guy's RISC Implementation of the Three Instruction.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Geoffrey Livingston Burn	A Logical Framework for Program Analysis.	Functional Programming	1992	DBLP DOI BibTeX RDF
38	Guy Argo	A New Sharing Mechanism for the TIM.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Satnam Singh	Using XView/X11 from Miranda.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Geraint Jones	Getting Your Wires Crossed.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Lennart Augustsson	BWM: A Concrete Machine for Graph Reduction.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Kevin Hammond	Efficient Type Inference Using Monads (Summary).	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Carsten Kehler Holst, John Hughes 0001	A Loop-Detecting Interpreter for Lazy Programs.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Patrick M. Sansom	Combining Single-Space and Two-Space Compacting Garbage Collectors.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Ben A. Sijtsma	Requirements for a Functional Programming Environment.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Andrew John Gill	A Novel Approach Towards Peephole Optimisations.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Carsten K. Gomard, Peter Sestoft	Evaluation Order Analysis for Lazy Data Structures.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Kei Davis	A Note on the Choice of Domains for Projection-Based Program Analysis.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Graham Hutton, Ed Voermans	Making Functionality More General.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Colin Runciman	TIP in Haskell - another Exercise in Functional Programming.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Lars Rossen	From Primitive Recursive Functions to Silicon through Relations.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Geoffrey Livingston Burn	The Abstract interpretation of Higher-Order Functional Languages: From Properties to Abstract Domains (Technical Summary).	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Rogardt Heldal	Generating More Practical Compilers by Partial Evaluation.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Geoff W. Hamilton, Simon B. Jones	Extending Deforestation for First Order functional Programs.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Cordelia V. Hall	Strictness Analysis Using Hindley-Milner Type Inference.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder	A Parallel Functional Database on GRIP.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Manfred Schmidt-Schauß	External Function Calls in a Functional Language.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Duncan C. Sinclair	Debugging by Dataflow - Summary.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Ryszard Kubiak, John Hughes 0001, John Launchbury	Implementing Projection-based Strictness Analysis.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	David Sands	Operational Theories of Improvement in Functional Languages (Extended Abstract).	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Alain Deutsch	An Operational Model of Strictness Properties and Its Abstractions (Extended Abstract).	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Mary Sheeran	A Note on Abstraction in Ruby.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Paul Sanders	Experiments in Haskell - A Network Simulation Algorithm.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Nick Rothwell	Functional Compilation from the Standard ML Core Language to Lambda Calculus.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	David Murphy	A Semantics for Relational Programming.	Functional Programming	1991	DBLP DOI BibTeX RDF
38	Deryck Forsyth Brown, Hermano P. Moura, David A. Watt	ACTRESS: An Action Semantics Directed Compiler Generator (Summary).	Functional Programming	1991	DBLP DOI BibTeX RDF
38	David R. Lester	Vuillemin's Exact Real Arithmetic.	Functional Programming	1991	DBLP DOI BibTeX RDF
34	Andrew Crossan, Stephen A. Brewster, Stuart Reid, Dominic Mellor	A Horse Ovary Palpation Simulator for Veterinary Training.	Haptic Human-Computer Interaction	2000	DBLP DOI BibTeX RDF
34	David J. King, Jon G. Hall, Philip W. Trinder	A Strategic Profiler for Glasgow Parallel Haskell.	IFL	1998	DBLP DOI BibTeX RDF
33	David H. Lorenz, Predrag Petkovic	Design-Time Assembly of Runtime Containment Components.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	Design-time, BeanBox, BeanContext, BDK, ContextBox, Runtime Containment and Services Protocol, Glasgow, Java, Components, Assembly, JavaBeans
31	Iadh Ounis, Ian Ruthven, Vassilis Plachouras	30th European Conference in Information Retrieval (ECIR 2008).	SIGIR Forum	2008	DBLP DOI BibTeX RDF
31	Pedro Santos 0002, André Stork, Thomas Gierlinger, Alain Pagani, Bruno Araújo, Ricardo Jota, Luís C. Bruno, Joaquim A. Jorge, João Madeiras Pereira, Martin Witzel, Giuseppe Conti, Raffaele de Amicis, Iñigo Barandarian, Céline Paloc, Maylu Hafner, Don McIntyre	IMPROVE: Designing Effective Interaction for Virtual and Mixed Reality Environments.	HCI (2)	2007	DBLP DOI BibTeX RDF
31	Pedro Santos 0002, André Stork, Thomas Gierlinger, Alain Pagani, Bruno Araújo, Ricardo Jota, Luís C. Bruno, Joaquim A. Jorge, João Madeiras Pereira, Martin Witzel, Giuseppe Conti, Raffaele de Amicis, Iñigo Barandarian, Céline Paloc, Maylu Hafner, Don McIntyre	IMPROVE: Advanced Displays and Interaction Techniques for Collaborative Design Review.	HCI (14)	2007	DBLP DOI BibTeX RDF
31	John P. Watt, Oluwafemi O. Ajayi, Jipu Jiang, Jos Koetsier, Richard O. Sinnott	A Shibboleth-Protected Privilege Management Infrastructure for e-Science Education.	CCGRID	2006	DBLP DOI BibTeX RDF
31	David Himmelstrup	Interactive debugging with GHCi.	Haskell	2006	DBLP DOI BibTeX RDF	interactive, debugging, Haskell, Haskell, breakpoints
31	Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos	A back-end for GHC based on categorical multi-combinators.	SAC	2004	DBLP DOI BibTeX RDF
31	Hans-Wolfgang Loidl, Philip W. Trinder	Engineering Large Parallel Functional Programs.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
27	Nathan G. Glasgow, Yu Chen, Alon Korngreen, Robert E. Kass, Nathan N. Urban	A biophysical and statistical modeling paradigm for connecting neural physiology and function.	J. Comput. Neurosci.	2023	DBLP DOI BibTeX RDF
27	Courtney Shakowski, Robert L. Page II, Garth Wright, Cali Lunowa, Clyde Marquez, Krithika Suresh, Larry A. Allen, Russell E. Glasgow, Chen-Tan Lin, Abraham Wick, Katy E. Trinkley	Comparative effectiveness of generic commercial versus locally customized clinical decision support tools to reduce prescription of nonsteroidal anti-inflammatory drugs for patients with heart failure.	J. Am. Medical Informatics Assoc.	2023	DBLP DOI BibTeX RDF
27	Margalit Glasgow	SGD Finds then Tunes Features in Two-Layer Neural Networks with near-Optimal Sample Complexity: A Case Study in the XOR problem.	CoRR	2023	DBLP DOI BibTeX RDF
27	Margalit Glasgow, Alexander Rakhlin	Lower Bounds for γ-Regret via the Decision-Estimation Coefficient.	CoRR	2023	DBLP DOI BibTeX RDF
27	Arvind Mahankali, Jeff Z. HaoChen, Kefan Dong, Margalit Glasgow, Tengyu Ma 0001	Beyond NTK with Vanilla Gradient Descent: A Mean-Field Analysis of Neural Networks with Polynomial Width, Samples, and Time.	CoRR	2023	DBLP DOI BibTeX RDF
27	Arvind Mahankali, Haochen Zhang, Kefan Dong, Margalit Glasgow, Tengyu Ma 0001	Beyond NTK with Vanilla Gradient Descent: A Mean-Field Analysis of Neural Networks with Polynomial Width, Samples, and Time.	NeurIPS	2023	DBLP BibTeX RDF
27	Alex Tamkin, Margalit Glasgow, Xiluo He, Noah D. Goodman	Feature Dropout: Revisiting the Role of Augmentations in Contrastive Learning.	NeurIPS	2023	DBLP BibTeX RDF
27	Margalit Glasgow, Colin Wei, Mary Wootters, Tengyu Ma 0001	Max-Margin Works while Large Margin Fails: Generalization without Uniform Convergence.	ICLR	2023	DBLP BibTeX RDF
27	Kimberly Glasgow, Jonathan Kopecky, John Gersh, Adam Crego	Won't you see my neighbor?: User predictions, mental models, and similarity-based explanations of AI classifiers.	CoRR	2022	DBLP BibTeX RDF
27	Margalit Glasgow, Colin Wei, Mary Wootters, Tengyu Ma 0001	Max-Margin Works while Large Margin Fails: Generalization without Uniform Convergence.	CoRR	2022	DBLP DOI BibTeX RDF
27	Christoph Bergmeir, Frits de Nijs, Abishek Sriramulu, Mahdi Abolghasemi, Richard Bean 0001, John M. Betts, Quang Bui, Nam Trong Dinh, Nils Einecke, Rasul Esmaeilbeigi, Scott Ferraro, Priya Galketiya, Evgenii Genov, Robert Glasgow, Rakshitha Godahewa, Yanfei Kang, Steffen Limmer, Luis Magdalena, Pablo Montero-Manso, Daniel Peralta, Yogesh Pipada Sunil Kumar, Alejandro Rosales-Pérez, Julian Ruddick, Akylas C. Stratigakos, Peter J. Stuckey, Guido Tack, Isaac Triguero, Rui Yuan	Comparison and Evaluation of Methods for a Predict+Optimize Problem in Renewable Energy.	CoRR	2022	DBLP DOI BibTeX RDF
27	Alex Tamkin, Margalit Glasgow, Xiluo He, Noah D. Goodman	Feature Dropout: Revisiting the Role of Augmentations in Contrastive Learning.	CoRR	2022	DBLP DOI BibTeX RDF
27	Margalit R. Glasgow, Mary Wootters	Asynchronous Distributed Optimization with Stochastic Delays.	AISTATS	2022	DBLP BibTeX RDF
27	Margalit R. Glasgow, Honglin Yuan, Tengyu Ma 0001	Sharp Bounds for Federated Averaging (Local SGD) and Continuous Perspective.	AISTATS	2022	DBLP BibTeX RDF
27	Margalit Glasgow, Mary Wootters	Approximate Gradient Coding With Optimal Decoding.	IEEE J. Sel. Areas Inf. Theory	2021	DBLP DOI BibTeX RDF
27	Maura M. Kepper, Callie Walsh-Bailey, Ross C. Brownson, Bethany M. Kwan, Elaine H. Morrato, Jane Garbutt, Lisa de las Fuentes, Russell E. Glasgow, Marcelo A. Lopetegui, Randi E. Foraker	Development of a Health Information Technology Tool for Behavior Change to Address Obesity and Prevent Chronic Disease Among Adolescents: Designing for Dissemination and Sustainment Using the ORBIT Model.	Frontiers Digit. Health	2021	DBLP DOI BibTeX RDF
27	Margalit Glasgow, Honglin Yuan, Tengyu Ma 0001	Sharp Bounds for Federated Averaging (Local SGD) and Continuous Perspective.	CoRR	2021	DBLP BibTeX RDF
27	Jordan D. Coffey, Laura A. Christopherson, Amy E. Glasgow, Kristina K. Pearson, Julie K. Brown, Shelby R. Gathje, Lindsey R. Sangaralingham, Eva M. Carmona Porquera, Abinash Virk, Robert Orenstein, Leigh L. Speicher, Dennis M. Bierle, Ravindra Ganesh, Debra L. Cox, R. Nicole Blegen, Tufia C. Haddad	Implementation of a multisite, interdisciplinary remote patient monitoring program for ambulatory management of patients with COVID-19.	npj Digit. Medicine	2021	DBLP DOI BibTeX RDF
27	Margalit Glasgow, Mary Wootters	Approximate Gradient Coding with Optimal Decoding.	ISIT	2021	DBLP DOI BibTeX RDF
27	Margalit Glasgow, Mary Wootters	Asynchronous Distributed Optimization with Randomized Delays.	CoRR	2020	DBLP BibTeX RDF
27	Margalit Glasgow, Mary Wootters	Approximate Gradient Coding with Optimal Decoding.	CoRR	2020	DBLP BibTeX RDF
27	Simon M. Glasgow, Zane B. Perkins, Nigel R. M. Tai, Karim Brohi, Christos Vasilakis	Development of a discrete event simulation model for evaluating strategies of red blood cell provision following mass casualty events.	Eur. J. Oper. Res.	2018	DBLP DOI BibTeX RDF
27	Kimberly Glasgow, Matthew J. Roos, Amy J. Haufler, Mark A. Chevillet, Michael Wolmetz	Evaluating semantic models with word-sentence relatedness.	CoRR	2016	DBLP BibTeX RDF
27	Hazem Radwan Ahmed, Janice I. Glasgow	The Agile particle swarm optimizer applied to proteomic pattern matching and discovery.	Soft Comput.	2016	DBLP DOI BibTeX RDF
27	Kimberly Glasgow, Jessica Vitak, Yla R. Tausczik, Clay Fink	Grieving in the 21st Century: Social Media's Role in Facilitating Supportive Exchanges Following Community-Level Traumatic Events.	SMSociety	2016	DBLP DOI BibTeX RDF
27	Kimberly Glasgow, Jessica Vitak, Yla R. Tausczik, Clay Fink	"With Your Help... We Begin to Heal": Social Media Expressions of Gratitude in the Aftermath of Disaster.	SBP-BRiMS	2016	DBLP DOI BibTeX RDF