AU Library Scholarly Publishing Services最新文献

{"title":"Hvorfor er der så få kvindelige datalogistuderende","authors":"Lene Mejlby, Olivier Danvy","doi":"10.7146/AUL.212.155","DOIUrl":"https://doi.org/10.7146/AUL.212.155","url":null,"abstract":"This Master's thesis investigates the reasons why there are so few female students in Computer Science. More specifically, the thesis investigates what attracts both men and women to computer science, on what criterions they base their choice of education, and which pros and cons women experience as a result of their gender during their studies and later in their worklife. Furthermore, the study looks into the assumptions of current students and graduates concerning why so few women are attracted to Computer Science. The reason for investigating this subject is that there is a rising need in Denmark for people with higher education in IT – especially within the traditional, theoretical, mathematical founded fields of education such as Computer Science. Surprisingly few women apply for these fields compared to traditional other scientific ones. The investigation employs qualitatively designed online questionnaires. They are evaluated through Healy and Perry's assessment criterions. The evaluation is extended by Guba and Lincoln's transferability criterion. A total of 139 students, graduates and former participants in it-camp for piger (IT Camp For Girls) responded to the questionnaires. The analysis of their answers shows that on the whole, women are attracted to Computer Science because of its mathematical foundations. It also shows that both men and women presume that the low number of female applicants to Computer Science is caused by various factors including the following ones: the education is dominated by men, prejudices concerning women's technical abilities are prevalent, and the education suffers from a poor image, since computer scientists are pictured as stereotypical geeks spending their life alone at their desk. It might be worthwhile to expand the investigation to include, for instance, respondents from other countries or with another education.","PeriodicalId":126978,"journal":{"name":"AU Library Scholarly Publishing Services","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116805606","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Epiktets filosofiske livskunst som terapeutisk pædagogik","authors":"Anders Dræby Sørensen","doi":"10.7146/AUL.209.156","DOIUrl":"https://doi.org/10.7146/AUL.209.156","url":null,"abstract":"Bogen givet et saerligt indblik i Epiktets filosofiske livskunst som en terapeutisk paedagogik eller paedagogisk terapi. Bogen viser, hvordan Epiktet organiserede filosofien omkring en filosofisk skole, hvis funktion var at vaere terapeutisk klinik for heling af psykiske lidelser. Herefter demonstrerer bogen, hvordan denne paedagogik i praksis bestod af de tre aspekter korrektion, transformation og traening, og at den var struktureret som en saerlig form for filosofiundervisning. Afslutningsvis kastes et udblik til den aktuelle relevans af Epiktets laere i forhold til de eksistentielle udfordringer, som det senmoderne menneske er praeget af.","PeriodicalId":126978,"journal":{"name":"AU Library Scholarly Publishing Services","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130466375","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Formal Study of Moessner's Sieve","authors":"Peter Urbak, O. Danvy","doi":"10.7146/AUL.213.154","DOIUrl":"https://doi.org/10.7146/AUL.213.154","url":null,"abstract":"In this dissertation, we present a new characterization of Moessner's sieve that brings a range of new results with it. As such, we present a dual to Moessner's sieve that generates a sequence of so-called Moessner triangles, instead of a traditional sequence of successive powers, where each triangle is generated column by column, instead of row by row. Furthermore, we present a new characteristic function of Moessner's sieve that calculates the entries of the Moessner triangles generated by Moessner's sieve, without having to calculate the prefix of the sequence. We prove Moessner's theorem adapted to our new dual sieve, called Moessner's idealized theorem, where we generalize the initial configuration from a sequence of natural numbers to a seed tuple containing just one non-zero entry. We discover a new property of Moessner's sieve that connects Moessner triangles of different rank, thus acting as a dual to the existing relation between Moessner triangles of different index, thereby suggesting the presence of a 2-dimensional grid of triangles, rather than the traditional 1-dimensional sequence of values. We adapt Long's theorem to the dual sieve and obtain a simplified initial configuration of Long's theorem, consisting of a seed tuple of two non-zero entries. We conjecture a new generalization of Long's theorem that has a seed tuple of arbitrary entries for its initial configuration and connects Moessner's sieve with polynomial evaluation. Lastly, we approach the connection between Moessner's sieve and polynomial evaluation from an alternative perspective and prove an equivalence relation between the triangle creation procedures of Moessner's sieve and the repeated application of Horner's method for polynomial division. All results presented in this dissertation have been formalized in the Coq proof assistant and proved using a minimal subset of the constructs and tactics available in the Coq language. As such, we demonstrate the potential of proof assistants to inspire new results while lowering the gap between programs (in computer science) and proofs (in mathematics).","PeriodicalId":126978,"journal":{"name":"AU Library Scholarly Publishing Services","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120848333","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"John Dewey og pædagogikken som livskunst","authors":"Anders Dræby Sørensen","doi":"10.7146/AUL.210.153","DOIUrl":"https://doi.org/10.7146/AUL.210.153","url":null,"abstract":"De senere ar har der vaeret foroget fokus pa John Deweys slaegtskab med antikkens filosofiske tradition. Bogen stiller i den forbindelse skarpt pa sporgsmalet om, hvorvidt og hvordan det giver mening at forsta Deweys paedagogiske filosofi i sammenhaeng med Hellenismens og Romerrigets filosofiske livskunst. Er det med andre ord muligt at begribe Deweys paedagogik som en saerlig form for filosofisk livskunst?","PeriodicalId":126978,"journal":{"name":"AU Library Scholarly Publishing Services","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126990511","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Analytical Approach to Programs as Data Objects","authors":"O. Danvy","doi":"10.7146/AUL.214.152","DOIUrl":"https://doi.org/10.7146/AUL.214.152","url":null,"abstract":"This essay accompanies a selection of 32 articles (referred to in bold face in the text and marginally marked in the bibliographic references) submitted to Aarhus University towards a Doctor Scientiarum degree in Computer Science. The author's previous academic degree, beyond a doctoral degree in June 1986, is an \"Habilitation a diriger les recherches\" from the Universite Pierre et Marie Curie (Paris VI) in France; the corresponding material was submitted in September 1992 and the degree was obtained in January 1993. The present 32 articles have all been written since 1993 and while at DAIMI. Except for one other PhD student, all co-authors are or have been the author's students here in Aarhus.","PeriodicalId":126978,"journal":{"name":"AU Library Scholarly Publishing Services","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130532838","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"\"Vi har ikke noget at sige, men vi gør det så koncentreret som muligt\" - De Unge Vilde i dansk kunst","authors":"Kamma Overgaard Hansen","doi":"10.7146/AUL.208.150","DOIUrl":"https://doi.org/10.7146/AUL.208.150","url":null,"abstract":"”Vi har ikke noget at sige, men vi gor det sa koncentreret som muligt.”Sadan lyder titlen pa en performance, som Performancegruppen VAERST opforte i Galleri Kongo i Kobenhavn i 1985. Det er samtidig et udsagn, der i sin forening af desillusioneret fjollethed og aetsende ironi synes at karakterisere 1980’ernes nye kunstnere meget praecist. For hvad stiller man egentlig op, nar man ikke har noget (nyt) at ytre sig om? De nye kunstnere ophorte i hvert fald ikke med at ytre sig af den grund. Tvaertimod producerede de i lobet af en ganske kort periode fra ca. 1980 til 1986 en lang raekke vaerker og udstillinger, der hurtigt blev defineret som et afgorende nybrud i dansk kunsthistorie.Afhandlingen tager udgangspunkt i dette nybrud, der i dansk kunsthistorie oftest karakteriseres som De Unge Vilde eller De Nye Vilde. Skont 1980’ernes nye kunstnere ofte forst og fremmest forbindes med en genkomst for det ekspressive maleri, soger jeg i afhandlingen at afdaekke bredden i De Unge Vildes kunstneriske aktiviteter – der foruden maleri ogsa taeller performance, film, skulptur, kunstnerboger med mere.Afhandlingens praemis er, at De Unge Vildes vaerker pa en gang er udtryk for bevidst strategi og ubevidst visuel afsmitning, og at deres vaerker saledes er ’klogere’ end kunstnerne selv og kan bruges til at gore os klogere pa den tid, de er skabt i.Afhandlingen er bygget op om en introduktion efterfulgt af tre hovedkapitler:Introduktionen praesenterer de vigtigste grupperinger af unge vilde kunstnere i start-80’ernes Danmark. Jeg introducerer desuden til paradigmeteori og til den forestilling om tidsand, der fra og med Zeitgeist-udstillingen i Berlin i 1982 bliver et tema i 80’erne. I introduktionen praesenterer jeg desuden nogle forbehold i forhold til den historieskrivning, der indtil nu har pagaet om De Unge Vilde, og som blandt andet er baret oppe af en noget anekdotisk tilgang til periodens dyrkelse af den nye generation. Introduktionen er ment som et oplaeg til de hovedpointer, der udfoldes i gennem afhandlingen:-          At De Unge Vilde for det forste indvarsler et paradigmeskift i dansk kunsthistorie, der abner for et mere mangfoldigt kunstbegreb som afloser for et avantgardistisk kunstbegreb.-          At De Unge Vilde for det andet mobiliserer dette paradigmeskift gennem en raekke destruktive og negerende greb, der i forste omgang ligner det endelige dodsstod for kunsten men reelt muliggor dens genopstandelse.-          Og at De Unge Vilde for det tredje traekker pa en del af avantgardens metoder og strategier i deres fornyelse af kunstscenen – vaek fra det avantgardistiske kunstbegreb.Det forste hovedkapitel omhandler De Unge Vildes forhold til det postmoderne og postmodernistiske. Her soger jeg at definere dem som en mellemposition mellem pa den ene side Arthur C. Dantos udrabelse af postmodernismen som The End of Art og Fredric Jamesons kritiske udlaegning af den postmoderne kunst som simulerende og hans begraedelse af en tabt autenticitet - og pa de","PeriodicalId":126978,"journal":{"name":"AU Library Scholarly Publishing Services","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130796332","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Singular Choices for Multiple Choice","authors":"O. Danvy, Martin E. K. Rasmussen","doi":"10.7146/AUL.206.149","DOIUrl":"https://doi.org/10.7146/AUL.206.149","url":null,"abstract":"We revisit and evolve Frandsen and Schwartzbach's axiomatic scoring strategy for multiple-choice exams that credits partial knowledge and levels out guessing. The evolved scoring strategy equalizes the implicit weight of each question by default and makes this weight an optional parameter for each question. Partial credit can also be modulated, which provides a measure of the spread of knowledge of the examinee. Based on a decade of experience in a first-year university course, we find the evolved exams to be more understandable and predictible both for the examiner and for the examinees. Finally, we present a family of scoring functions that fit the model.","PeriodicalId":126978,"journal":{"name":"AU Library Scholarly Publishing Services","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122223380","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Documentation of tests on particle size methodologies for laser diffraction compared to traditional sieving and sedimentation analysis","authors":"Charlotte Rasmussen, K. Dalsgaard","doi":"10.7146/AUL.205.148","DOIUrl":"https://doi.org/10.7146/AUL.205.148","url":null,"abstract":"Sieving and sedimentation analyses by pipette or hydrometer are historically the traditional methods for determining particle size distributions (PSD). A more informative and faster alternative has for years been laser diffraction (LD). From 2003 to 2013 the authors of this paper have worked intensively with PSD and performed various tests and investigations, using LD, sedimentation (by pipette) and sieving. The aim was to improve and understand the relationship between these various techniques, pre-treatment effects and preferably find a unifying correlation factor. As a result, method comparisons of LD and sieving/sedimentation are difficult, as LD is a 3D optical volume measurement, sieving is a 2D width measurement, and sedimentation is density dependent. Platy particles like clay are generally measured to be coarser than traditional methods when LD is used. For LD the clay-boundary is found at 6 μm. For LD, it seems beneficial to split a soil or sediment sample (<2 mm) into 3 fractions at 63 μm and 250 μm respectively. Well sorted samples (like clay, fine silt or windblown sand) can be measured without splitting into fractions, or by splitting at i.e. 63 μm, depending on the clay content and expected PSD.","PeriodicalId":126978,"journal":{"name":"AU Library Scholarly Publishing Services","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115878686","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Boes Skov prøveudgravningsrapport (trial excavation report)","authors":"M. Jensen, Mette Løvschal","doi":"10.7146/aul.204.147","DOIUrl":"https://doi.org/10.7146/aul.204.147","url":null,"abstract":"Formalet med den arkaeologiske forundersogelse pa matrikel 2n var at tilvejebringe viden om, hvorvidt der var bevarede spor af bronze- jernalderbebyggelse, som kunne saettes i forbindelse med de registrerede oldtidsagre i Boes Skov, om en lokal forhojning var rester af en nedplojet gravhoj, samt i hvilket omfang disse spor er truet af dyrkning. Pa sigt er det meningen at lokaliteten kunne anvendes til uddannelsesudgravning for studerende ved Aarhus Universitet.","PeriodicalId":126978,"journal":{"name":"AU Library Scholarly Publishing Services","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116357874","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Arbejdererindringer i Aarhus 1982-2005","authors":"Kirsten Folke Harrits, Ditte Scharnberg","doi":"10.7146/AUL.203.146","DOIUrl":"https://doi.org/10.7146/AUL.203.146","url":null,"abstract":"Arbejdererindringer i AarhusDu finder her en raekke af bogudgivelser, der har afsaet i indsamling af arbejderes livshistoriske fortaellinger i Arbejdererindringer i Aarhus.De fleste af dem er tematiserede redigeringer af livshistoriske fortaellinger knyttet til forskellige fagomrader og arbejdspladser. Alle spaender de over forandringer gennem tid i samfundet, arbejdsomrader og fag.Bogen Fortaelling og fortaellere rummer en raekke artikler, hvor erkendelsen af de metodiske og paedagogiske laereprocesser, som forbinder sig med de enkelte projekter, udvindes. De henvender sig ikke mindst til forskere og formidlere inden for arbejderhistorie og mundtlig historie nationalt og i visse tilfaelde ogsa internationalt. Hertil kommer ph.d.-afhandlingen Sa mange beretninger. Sa mange sporgsmal, hvori der ogsa indgar en samlet oversigt over de mange ars projekter med tilhorende formidlinger blandt andre i form af boger.De livshistoriske fortaellinger, som bogerne bygger pa, er tilgaengelige digitalt pa dansklyd.statsbiblioteket.dk. Elektroniske ordrette bandudskrifter af fortaellingerne er tilgaengelige pa Statens Mediesamling, Statsbiblioteket.De ordrette bandudskrifter pa print og portraetfotos af fortaellerne er desuden tilgaengelige pa Arbejdermuseet/Arbejderbevaegelsens Bibliotek og Arkiv i Kobenhavn sammen med selve projektarkivet (1982-2005) og alle bogudgivelser. Arbejdererindringer i Aarhus er et erindringsarkiv, hvis formal er at bringe arbejderes undertrykte og oversete historie og kultur frem i lyset. Samlingen omfatter mere end 300 aarhusianske arbejderes livshistoriske fortaellinger. Det drejer sig om de fortaellendes hele livssammenhaeng, socialt, fagligt, politisk og kulturelt. Fortaellerne er savel ufaglaerte som faglaerte arbejdere, kvinder som maend, unge som aeldre.Indsamlingen af de livshistoriske fortaellinger er foregaet med projektlederne Kirsten Folke Harrits (cand. mag., og nu ph.d. i mundtlig historie og fotograf) og Ditte Scharnberg (bibliotekar og nu ledende kommunikationskonsulent i Dansk Sygeplejerad, Kreds Midtjylland) i perioden 1982-2005 i samarbejde med lokale fagforeninger, fagforbund, Arbejdernes Oplysningsforbund, kultur- og undervisningsinstitutioner og Aarhus Kommune.Kirsten Folke Harrits","PeriodicalId":126978,"journal":{"name":"AU Library Scholarly Publishing Services","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120998836","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}