ZoteroBib is a free service that helps you build a bibliography instantly from any computer or device, without creating an account or installing any software.
XTemp is an acronym for 'XML Testing and Event-driven Monitoring of [business] Processes' also suggesting a strong 'temporal' aspect. The monitoring and testing of business processes and transactions serves anyone or a combination of these objectives:
Hier erfährst du (fast) alles über Papierflieger (Faltflieger und Papierflugzeuge): Bauanleitungen, Papierflieger-Geschichte, verwendbares Papier, Papierflieger-Physik, Faltanleitungen, Termin von Wettbewerb oder Workshop, Papierflieger-Literatur usw.
This post describes my outline/structure for a technical paper. I have found a fairly specific structure works best for abstracts and introductions. For the
Write Your Research provides practical resources for early-career researchers in the School of Technology, University of Cambridge. The resources were commissioned by the Department of Chemical Engineering and Biotechnology (CEB). Most of the resources were written by Anthony Haynes. 'Using social media' was written by Aoife Brophy Haney. 'Using bibliographic software' was written by Irenee…
S Peyton Jones, D Vytiniotis, S Weirich, and G Washburn, ICFP 2006, pp50-61 Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generalization of the data types of Haskell and ML. Recent works have given compelling examples of the utility of GADTs, although type inference is known to be difficult. Our contribution is to show how to exploit programmer-supplied type annotations to make the type inference task almost embarrassingly easy. Our main technical innovation is wobbly types, which express in a declarative way the uncertainty caused by the incremental nature of typical type-inference algorithms. [This is a version of Wobbly types: type inference for generalised algebraic data types. Relative to ICFP 2006, the PDF above also describes a simplification to the type system, at the cost of extra annotation burden. This simpler system is the one actually implemented in GHC 6.8]
In February of this year an article was published by Steven Andrew Mathieson in Guardian Unlimited on public sector wikis [1]. Mathieson proclaimed the rise in creation and use of wikis by UK state sector organisations. This article will look objectively at this apparent rise and will consider whether wikimania has truly hit the public sector.
Selbst vergebene Schlagwörter, Tags, können Internet-Nutzern dabei helfen, Informationen im Web zu ordnen und wiederzufinden. Miteinander verknüpft ergeben die Schlagwörter ein kollektives Begriffsnetzwerk. Informatikern der TU Graz ist es gelungen, einen Lösungsansatz für die Verlinkung dieser Daten zu entwickeln. ORF.at sprach mit dem Wissensmanagement-Experten Markus Strohmaier über Tagging und wie Internet-Nutzer damit ein "intelligenteres" Web schaffen können.
Wie gelangen wissenschaftliche Publikationen auf die vorderen Plätze bei akademischen Suchmaschinen - und wie können Autoren dieses Ranking aktiv beeinflussen? Solche Fragen sind Gegenstand der "Academic Search Engine Optimization", die in einem aktuellen Paper vorgestellt wird.
This paper dates from 1984, and circulated as a Chalmers memo for many years. Slightly revised versions appeared in 1989 and 1990 in the Computer Journal and the Year of Programming. This version is based on the original Chalmers memo nroff source, lightl
Das Whitepaper "Künstliche Intelligenz in der Hochschulbildung" dient als Beschreibung der Möglichkeiten und Herausforderungen von Künstlicher Intelligenz in Studium und Lehre, fördert die Diskussion über Veränderungen der hochschulischen Lehr- und Lernkultur und von möglichen Lehr-/ Lerninhalten durch Künstliche Intelligenz. Zudem stellt es Visionen für das zukünftige Hochschulstudium aus Sicht von Studierenden und Lehrenden vor, um zu verdeutlichen, wie sich das Studium in den nächsten Jahren verändern kann.
The purpose of this paper is to analyse data on first-year students’ needs regarding academic support services and reasons for their intention to leave the institution prior to degree completion.
You can access 22.588 scholarly publications from 145 leading publishers at the MetaPress reader site. And, you can set up your own personalized account, customize your homepage, and receive email alerts when new content is published."
An ingenious set of combinators for expressing pattern matching in a type-safe way. No ADTs required. Opens up the possibility of programming languages where we can declare new binding forms just as we declare new functions. abstract: Macros still have not made their way into typed higher-order programming languages such as Haskell and Standard ML. Therefore, to extend the expressiveness of Haskell or Standard ML gradually, one must express new linguistic features in terms of functions that fit within the static type systems of these languages. This is particularly challenging when introducing features that span across multiple types and that bind variables. We address this challenge by developing, in a step-by-step manner, mechanisms for encoding patterns and pattern matching in Haskell in a type-safe way.