A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
Filters
Reify your collection queries for modularity and speed!
2013
Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13
Modularity and efficiency are often contradicting requirements, such that programers have to trade one for the other. We analyze this dilemma in the context of programs operating on collections. ...
Unfortunately, it is not obvious how to encode such optimizations in terms of ordinary collection APIs, because the program operating on the collections is not reified and hence cannot be analyzed. ...
and Karl Klose for their helpful comments on this paper. ...
doi:10.1145/2451436.2451438
dblp:conf/aosd/GiarrussoOEMRK13
fatcat:jqisbsyqevgsvl75we22cejyc4
NeurOS™ and NeuroBlocks™ a neural/cognitive operating system and building blocks
2015
Biologically Inspired Cognitive Architectures
NeurOS is an open platform for accelerating research, development and hosting execution of intelligent applications. ...
A NeurOS application is a directed "neural graph" of modular components connected by signal paths, similar to biological brain connectivity and functional block diagrams of neural pathways. ...
Temporal patterns further impose relative timing constraints and tolerances on sequences, and allow for matching at a range of speeds/tempos. ...
doi:10.1016/j.bica.2014.11.011
fatcat:rw4cypbu3za3jowj27dplrnmbu
Imagining the Essay as Digital Assemblage: Collaborative Student Experiments with Writing in Scalar
2016
Prompt A Journal of Academic Writing Assignments
This essay describes a digital, collaboratively designed and interconnected series of essays that were the final project for a first-year class in media and anthropology. ...
The assignment is informed by, and attempts to experimentally enact, Fèlix Guattari's concept of the assemblage, emphasizing movement and process of argument and evidence over static, reified trajectories ...
to visit different groups during their sessions outside of class and respond individually to students' queries. ...
doi:10.31719/pjaw.v1i1.13
fatcat:l4yb6ltpnzdwndeji6bxhcbau4
A logic meta-programming foundation for example-driven pattern detection in object-oriented programs
2011
2011 27th IEEE International Conference on Software Maintenance (ICSM)
I am equally indebted to Christophe Scholliers, Yves Vandriessche and Frederik Vanden Berghe for sharing and eventually taking over my teaching duties while I was writing. ...
For instance, violations of the protocol an API expects to be adhered to. Logic formulas can be used as expressive and descriptive pattern specifications. ...
Wolfgang De Meuter (Vrije Universiteit Brussel) and co-promotor Dr. Johan Brichau (Université catholique de Louvain). Johan has been my partner in crime from the moment I was ready to dive into his ...
doi:10.1109/icsm.2011.6080830
dblp:conf/icsm/Roover11
fatcat:mtzy44ethrchdmtnkoqjcwiray
Template your boilerplate
2012
Proceedings of the 2012 symposium on Haskell symposium - Haskell '12
It presents a generic-programming system for Haskell that provides both the concision of other genericprogramming systems and the efficiency of handwritten code. ...
This paper presents the results of benchmarking our system against both handwritten code and several other genericprogramming systems. ...
Garrett Morris, Simon Peyton Jones and the anonymous reviewers helped improve the presentation of this paper. ...
doi:10.1145/2364506.2364509
dblp:conf/haskell/AdamsD12
fatcat:wnf3ciafevffrfhdsxzcmhtp3a
Template your boilerplate
2013
SIGPLAN notices
It presents a generic-programming system for Haskell that provides both the concision of other genericprogramming systems and the efficiency of handwritten code. ...
This paper presents the results of benchmarking our system against both handwritten code and several other genericprogramming systems. ...
Garrett Morris, Simon Peyton Jones and the anonymous reviewers helped improve the presentation of this paper. ...
doi:10.1145/2430532.2364509
fatcat:hbkfk4m2ffdxngp7zdfpksfpey
Two Decades of Maude
[chapter]
2015
Lecture Notes in Computer Science
This paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two ...
This paper is not an introduction to Maude, and some familiarity with it and with rewriting logic are indeed assumed. ...
a user to easily create specific models, and browse and query them [81] . ...
doi:10.1007/978-3-319-23165-5_11
fatcat:cre7i55r4reg3indrng3w5fgqa
DIEL: Interactive Visualization Beyond the Here and Now
[article]
2021
arXiv
pre-print
To specify the state of a user interface at any time, developers author declarative queries over the data and event logs; DIEL compiles and optimizes a corresponding dataflow graph, and synthesizes necessary ...
However, for more complex use cases---e.g., remote database access and streaming data sources---developers must grapple with distributed data and asynchronous events. ...
ACKNOWLEDGMENTS We thank Ryan Purpura and Lucie Choi for their contributions as undergraduate researchers at UC Berkeley; Michael Whittaker for his feedback on methods to perform the distributed execution ...
arXiv:1907.00062v2
fatcat:eifz2srnxrbd7awqjzin7qvcee
Modular design patterns for hybrid learning and reasoning systems
2021
Applied intelligence (Boston)
In this paper, we analyze a large body of recent literature and we propose a set of modular design patterns for such hybrid, neuro-symbolic systems. ...
organized in a set of elementary patterns and a set of compositional patterns; 3) an application of these design patterns in two realistic use-cases for hybrid AI systems. ...
Finally, and perhaps most importantly, our design patterns are modular, and are intended as a tool for engineering hybrid AI systems out of reusable components. ...
doi:10.1007/s10489-021-02394-3
fatcat:ecyruntfdncsbbtdglhllwc6vi
OntoCommons D3.9 - Report on the first focused workshop on domain ontologies
2021
Zenodo
The focused workshop was entitled "Domain Ontologies for Research Data Management in Industry Commons of Materials and Manufacturing" (DORIC-MM 2021) and was constituted of two main parts: a preparatory ...
The June event was more academic: in line with ESWC, oral contributions for this event were invited or selected from submitted papers (via the OpenReview platform). ...
For ontologies to be successful, global adoption and interoperability are needed: modularization and collaboration with other efforts are key. ...
doi:10.5281/zenodo.6504602
fatcat:77rqjcq53ra5tghvlq2xmybmv4
D3.4.5 Part 2 - Proceedings Of Workshop 5 - Jem- Joining Educational Mathematics
2009
Zenodo
The workshop is intended for a general audience interested in knowing what are the technologies and the methodologies that enhance teaching and learning of mathematics on the web. ...
This workshop aims to present to the wider audience the work and results of the partners of the Joining Educational Mathematics thematic network that has come to its conclusion after 3 years of activity ...
Acknowledgments : The author would like to thank Jana Giceva for implementing large parts of the JOBAD framework and collecting first feedback from users. ...
doi:10.5281/zenodo.46712
fatcat:fgsauzbfevaxlponexfrpil6pi
Comparative Studies of 10 Programming Languages within 10 Diverse Criteria -- a Team 7 COMP6411-S10 Term Report
[article]
2010
arXiv
pre-print
At the end, we will give our conclusion that which languages are suitable and which are not for using in some cases. ...
We summarize and compare these ten languages on ten different criterion. For example, Default more secure programming practices, Web applications development, OO-based abstraction and etc. ...
Our POD, Yi Ji, for the introductions into AspectJ and Java reflection. ...
arXiv:1009.0305v1
fatcat:lcelqyy3ybb6jakrekezv22ajm
A Pattern Language for Extensible Program Representation
[chapter]
2009
Lecture Notes in Computer Science
The patterns address efficiency, correctness and the integration of multiple analyses and tools in a modular fashion. ...
For the last 15 years, implementors of multiple view programming environments have sought a single code model that would form a suitable basis for all of the program analyses and tools that might be applied ...
We also thank Emerson Murphy-Hill and Philip Quitslund for motivational discussions, John Brant for help in building the abstract interpreter, and Colin Putney for his willingness to adapt the OmniBrowser ...
doi:10.1007/978-3-642-10832-7_1
fatcat:zkxm64ifrnawrn4u4d75n7hkby
A pattern language for extensible program representation
2006
Proceedings of the 2006 conference on Pattern languages of programs - PLoP '06
The patterns address efficiency, correctness and the integration of multiple analyses and tools in a modular fashion. ...
For the last 15 years, implementors of multiple view programming environments have sought a single code model that would form a suitable basis for all of the program analyses and tools that might be applied ...
We also thank Emerson Murphy-Hill and Philip Quitslund for motivational discussions, John Brant for help in building the abstract interpreter, and Colin Putney for his willingness to adapt the OmniBrowser ...
doi:10.1145/1415472.1415490
fatcat:mvaqdnc7ozagphijf5dzb4yob4
Representing Activities associated with Processing of Personal Data and Consent using Semantic Web for GDPR Compliance
2020
Zenodo
Utilising semantic web technologies provides a machine-readable and interoperable representation of information that can be queried and verified based on open standards such as RDF, OWL, SPARQL, and SHACL ...
This documentation involves information on how the activities were planned, evaluated for compliance, and executed. ...
ACKNOWLEDGEMENTS The first and foremost acknowledgement I would like to make is in thanking my supervisors -Dave Lewis and Declan O'Sullivan. ...
doi:10.5281/zenodo.3795513
fatcat:qmyotfakhjcdxoksp6pff2uzfm
« Previous
Showing results 1 — 15 out of 225 results