|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 624 occurrences of 524 keywords
|
|
|
Results
Found 16128 publication records. Showing 16107 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 16107 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|