• Dansk
  • English

term.creator="Henrik Nilsson"

Afgræns din søgning

Materialetype
Emne
Forfatter
Årstal
Sprog
Kilde
Kategori
Set sort order for search result
HjemmeHjemme
UdlåntUdlånt
Kan ikke reserveresKan ikke reserveres
Læs på biblioteketLæs på biblioteket
Vis antal:102550
  1. Socialt arbejde handler om medmenneskelighed

    • Avisartikel

    Socialt arbejde handler om medmenneskelighed

    I: Kristeligt dagblad, 2012-05-14, Sektion 1, s. 9
    Denne kronik handler ikke om "send flere penge". For måske er der penge nok på anbringelsesområdet? Måske de bare skal fordeles bedre til de rigtige og bedste tilbud? Og måske skal man bare give lederne bedre muligheder for at kunne tage ansvaret og løse opgaverne målrettet og dedikeret, mener dagens kronikører
    Find den her
    Detaljer
    Haves: 
    870971-avis:35152296|980|.
    Omfang: 
    Sektion 1, s. 9
    Målgruppe: 
    gymnasieniveau, alment niveau, voksenmaterialer
    Findes i: 
    Kristeligt dagblad, 2012-05-14
    Haves:: 
    870971-avis:35152296|980|a
  2. Den dobbelte mand

    • Tidsskriftsartikel

    Den dobbelte mand

    I: Euroman, Nr. 221 (2012), S. 16-18
    Intet i Henrik Schärfes liv har været det samme, siden han byggede en nøjagtig kopi af sig selv. Robotten er gået verden over, og for nylig blev robotforskeren fra Aalborg Universitet kåret af Time Magazine som en af årets 100 mest vigtige personer
    Find den her
    Detaljer
    Haves: 
    870971-tsart:35168397|980|.
    Omfang: 
    S. 16-18
    Målgruppe: 
    gymnasieniveau, alment niveau, voksenmaterialer
    Findes i: 
    Euroman, Nr. 221 (2012)
    Haves:: 
    870971-tsart:35168397|980|a
  3. Sandheden om mænd

    • Tidsskriftsartikel

    Sandheden om mænd

    I: Euroman, Nr. 209 (2011), S. 60-67
    Fire kvinder om hvad livet har lært dem om mænd
    Find den her
    Detaljer
    Haves: 
    870971-tsart:34728674|980|.
    Omfang: 
    S. 60-67
    Målgruppe: 
    gymnasieniveau, alment niveau, voksenmaterialer
    Findes i: 
    Euroman, Nr. 209 (2011)
    Haves:: 
    870971-tsart:34728674|980|a
  4. Stor forskel i behandling af depression mellem psykiatriske afdelinger

    • Tidsskriftsartikel
    Find den her
    Detaljer
    Haves: 
    870971-tsart:34391602|980|.
    Omfang: 
    S. 3183-3187
    Målgruppe: 
    gymnasieniveau, fagligt niveau, voksenmaterialer
    Findes i: 
    Ugeskrift for læger, Årg. 172, nr. 46 (2010)
    Haves:: 
    870971-tsart:34391602|980|a
  5. Fritidsliv ind på skolen

    • Tidsskriftsartikel

    Fritidsliv ind på skolen

    I: Børn & unge, Årg. 40, nr. 30 (2009), S. 4-5
    SFO 2 bliver mere og mere udbredt som fritidstilbud for 10-14-årige. Harmonisering, besparelser og et målrettet tilbud for udsatte børn er nogle af argumenterne for at flytte større børns fritidstilbud ind under skolens ledelse. Et snigløb, lyder forskers kommentar til den udvikling.
    Find den her
    Detaljer
    Haves: 
    870971-tsart:33870590|980|.
    Omfang: 
    S. 4-5
    Målgruppe: 
    voksenmaterialer
    Findes i: 
    Børn & unge, Årg. 40, nr. 30 (2009)
    Haves:: 
    870971-tsart:33870590|980|a
  6. Klimasange

    • Cd (musik)
    Find den her
    Detaljer
    Haves: 
    830380-katalog:28252560|980|.
    Genre: 
    dansk pop/rock, jazz, rock
    Bidrag af: 
    Klaus Caprani, Thomas Clausen (f. 1949), Jacob Ehlers Albertsen, Leif Fabricius, Jan Fischer-Nielsen, Marianne Friis Olsen, Søren Frost, Peter Fuglsang, Vivi Grøn, Henrik Gunde, Anders Gustafsson (trompetist), Christer Gustafsson, Anders Gårdmand, Bjarne Jes Hansen (f. 1944), Rasmus Hansen (f. 1977-05-26), Steen Hansen (f. 1966-11-27), Ingerid Annette Huseby, Thomas Kjærgaard, Nicolai Majland, Uffe Markussen, Jakob Munck Mortensen, Johannes Neergaard, Vincent Nilsson, Leif Rasmussen (f. 1944-06-11), Morten Reil, Thomas Reil, Jesper Riis, Karsten Ry, Nicolai Schultz, Maria Sejer, Hans Ulrik, Kaspar Vadsholt, Mads la Cour, Bobo Moreno, Kaya Brüel, Søren Sko, Tamra Rosanes, Jakob Sveistrup, Simone H. West, Peter Belli, Bich Quang, Pernille Højmark, Jimmy Jørgensen, DR Big Band, MusikRgodt
    Indholder: 
    Hør, hun synger livet, Start et sted, Waters rising, Vi ved det godt, Revolving earth, Underneath the trees, Som tiden går, Vandet, Når polen bliver isfri til sommer, Moder jord
    Note: 
    Indspillet i København september 2009, Udgivet i samarbejde med Danmarks Naturfredningsforening, "Disse 10 sange er fra KODAs sangskriverkonkurrence i 2009 i anledning af Spil Dansk Dagen"
    Udgiver: 
    Red Dot Music
    Målgruppe: 
    voksenmaterialer
    Haves:: 
    830380-katalog:28252560|980|a
  7. Udviklingens psykologi : fra spædbarn til voksen

    • Bog
    Find den her
    Detaljer
    Haves: 
    830380-katalog:22386336|980|.
    Bidrag af: 
    Björn Nilsson, Philip Hwang, Karl-Henrik Jørgensen
    Note: 
    Indhold: Udgangspunkter ; Spædbarneårene - 0-2 år ; Børnehavealderen - 3-6 år ; Skoleårene - 7-12 år ; Ungdommen og de voksne
    Original titel: 
    Utvecklingspsykologi
    ISBN nr.: 
    8712032212
    Omfang: 
    247 sider
    Udgiver: 
    Gad
    Målgruppe: 
    voksenmaterialer
    Haves:: 
    830380-katalog:22386336|980|a
  8. Prædikenen og dens tekst

    • Bog
    Find den her
    Detaljer
    Haves: 
    870970-basis:22588680|980|.
    Bidrag af: 
    Niels Henrik Gregersen (f. 1956), Jan Nilsson (f. 1974)
    ISBN nr.: 
    8700375284
    Omfang: 
    124 sider
    Udgiver: 
    Gyldendal
    Målgruppe: 
    voksenmaterialer
    Haves:: 
    870970-basis:22588680|980|a
  9. Trends in Functional Programming. Volume 7

    • Ebog

    Trends in Functional Programming. Volume 7

    2007
    Summary: This is Volume 7 of Trends in Functional Programming (TFP). It contains a refereed selection of the papers that were presented at TFP 2006: the Seventh Symposium on Trends in Functional Programming. which took place in Nottingham, 19-21 April, 2006. TFP is an international forum for researchers from all functional programming communities spanning the entire width of topics in the field. Its goal is to provide a broad view of current and future trends in functional programming in a lively and friendly setting, thus promoting new research directions related to the field of functional programming and the relationship between functional programming and other fields of computer science. True to the spirit of TFP, the selection of papers in this volume covers a wide range of topics, including dependently typed programming, generic programming, purely functional data structures, function synthesis, declarative debugging, implementation of functional programming languages, and memory management. A particular emerging trend is that of dependently typed programming, reflected by a number of papers in the present selection and by the co-location of TFP and Types 2006
    Find den her
    Detaljer
    Haves: 
    150057-ebscobog:ocn190666671|980|.
    Bidrag af: 
    Henrik Nilsson (1971-)
    Note: 
    Cover -- TOC36;Contents -- Preface -- CH36;1 Proving Termination Using Dependent Types58; the Case of Xor45;Terms -- 146;1 Introduction -- 146;2 Background -- 146;3 Our approach -- 146;4 Formalization -- 146;5 Conclusion -- References -- CH36;2 Proving the Correctness of Algorithmic Debugging for Functional Programs -- 246;1 Introduction -- 246;2 Algorithmic debugging -- 246;3 Formalising the Augmented Redex Trail -- 246;4 Generating an Evaluation Dependency Tree -- 246;5 Properties of the Evaluation Dependency Tree -- 246;6 Conclusion and future work -- References -- CH36;3 Systematic Synthesis of Functions -- 346;1 Introduction -- 346;2 Function generation -- 346;3 Controlling the candidate functions -- 346;4 Generation of multi45;argument functions -- 346;5 Synthesis of functions over other data types -- 346;6 Other properties -- 346;7 Related work -- 346;8 Conclusion -- References -- CH36;4 A Purely Functional Implementation of ROBDDs in Haskell -- 446;1 Introduction -- 446;2 ROBDDs -- 446;3 ROBDD implementation in Haskell -- 446;4 Laziness -- 446;5 Experimental results -- 446;6 Equality check -- 446;7 Related work -- 446;8 Conclusion -- References -- CH36;5 Efficient Interpretation by Transforming Data Types and Patterns to Functions -- 546;1 Introduction -- 546;2 Representation of data types by functions -- 546;3 SAPL58; an intermediate functional language -- 546;4 An interpreter for SAPL -- 546;5 Benchmarks -- 546;6 Conclusions and further research possibilities -- References -- CH36;6 Object45;Oriented Programming in Dependent Type Theory -- 646;1 Introduction -- 646;2 Basic concepts of Dependent Type Theory -- 646;3 Interactive programs in Dependent Type Theory -- 646;4 Simple objects -- 646;5 Combining objects without self45;referential calls -- 646;6 Combining objects with self45;referential calls -- 646;7 Conclusion -- References -- CH36;7 A Sharing Analysis for SAFE -- 746;1 Introduction -- 746;2 Summary of Safe -- 746;3 Sharing analysis -- 746;4 Implementation and examples -- 746;5 A more involved example -- 746;6 Related work and conclusions -- References -- CH36;8 Memory Usage Improvement Using Runtime Alias Detection -- 846;1 Introduction -- 846;2 Overview of the Tofte47;Talpin System -- 846;3 Run45;time alias detection -- 846;4 Evaluation -- 846;5 Related work -- 846;6 Future work -- 846;7 Conclusion -- References -- CH36;9 A Model of Functional Programming with Dynamic Compilation and Optimization -- 946;1 Introduction -- 946;2 Virtual machines and dynamic translation -- 946;3 Formal framework -- 946;4 Case study58; Guarded feedback45;driven inlining -- 946;5 Related work -- 946;6 Future work -- 946;7 Conclusion -- References -- CH36;10 Functional Concepts in C43;43; -- 1046;1 Introduction -- 1046;2 Translation of typed 38;35;95559;45;terms into C43;43; -- 1046;3 Proof of correctness -- 1046;4 Lazy evaluation in C43;43; -- 1046;5 Conclusion -- References -- CH36;11 Resource45;Based Web Applications -- 1146;1 Introduction -- 1146;2 Transfer of resource representations -- 1146;3 A res
    ISBN nr.: 
    9781841509938, 9781281187468, 1841509930, 1281187461
    Udgiver: 
    Intellect Books
    Målgruppe: 
    voksenmaterialer
    Haves:: 
    150057-ebscobog:ocn190666671|980|a
  10. Englejagt : Døden : Svindel : Samleren

    • Tidsskriftsartikel

    Englejagt : Døden : Svindel : Samleren

    I: Hvedekorn, Årg. 55, nr. 2 (1981), S. 46
    Digte
    Find den her
    Detaljer
    Haves: 
    870971-tsart:70489597|980|.
    Omfang: 
    S. 46
    Målgruppe: 
    voksenmaterialer
    Findes i: 
    Hvedekorn, Årg. 55, nr. 2 (1981)
    Haves:: 
    870971-tsart:70489597|980|a