京都大学 / 新制・課程博士 / 博士(医学) / 甲第24480号 / 医博第4922号 / 新制||医||1063(附属図書館) / 京都大学大学院医学研究科医学専攻 / (主査)教授 波多野 悦朗, 教授 山本 洋介, 教授 小林 恭 / 学位規則第4条第1項該当 / Doctor of Medical Science / Kyoto University / DFAM

No description available.

No description available.

No description available.

No description available.

No description available.

I dagens samhälle diskuteras religion i olika sammanhang, i skolor, debatter, vardagslivet och arbetslivet. Religionskunskapsundervisningen har genom åren förändrats i takt med att samhället blivit allt mer mångkulturellt. I synnerhet kan det vara utmanande att inkludera alla elever i klassrum, som karaktäriseras av många religioner. Syftet med studien grundar sig i att undersöka och diskutera på vilka sätt och med vilka strategier en inkluderande religionskunskapsundervisning kan utformas på. Syftet grundar sig även till att undersöka och diskutera ifall begreppsparet safe space och brave space kan bidra till en diskussion om inkluderande undervisning i religion. Den metod som använts för att besvara dessa frågeställningar är en kvalitativ metod i form av semistrukturerade intervjuer. Intervjuerna görs med fem grundskollärare. Resultatet visar att religionskunskapsundervisning är en större utmaning än vad vi kunnat föreställa oss. Strategierna för skapandet av ett inkluderande klassrum, är olika beroende på lärare och dess elevgrupp. Vissa lärare följer endast läroplanen och det som framkommer i det centrala innehållet vid planeringar av undervisningssekvenser. Medan andra lärare anpassar det centrala innehållet utifrån elevgruppen. Dessutom kan begreppsparet safe space och brave space generera till ett inkluderande klassrum.

Writing bug free computer code is a challenging task in a low-level language like C. While C compilers are getting better and better at detecting possible bugs, they still have a long way to go. For application programming we have higher level languages that abstract away details in memory handling and concurrent programming. However, a lot of an operating system's source code is still written in C and the kernel is exclusively written in C. How can we make writing kernel code safer? What are the performance penalties we have to pay for writing safe code? In this thesis, we will answer these questions using the Rust programming language. A Rust Kernel Programming Interface is designed and implemented, and a network device driver is then ported to Rust. The Rust code is analyzed to determine the safeness and the two implementations are benchmarked for performance and compared to each other. It is shown that a kernel device driver can be written entirely in safe Rust code, but the interface layer require some unsafe code. Measurements show unexpected minor improvements to performance with Rust. / Att skriva buggfri kod i ett lågnivåspråk som C är väldigt svårt. C-kompilatorer blir bättre och bättre på att upptäcka buggar men är ännu långt ifrån att kunna garantera buggfri kod. För applikationsprogrammering finns det tillgängligt olika högnivåspråk som abstrakterar bort den manuella minneshanteringen och hjälper med trådsäker programmering. Dock fortfarande så är större delar av operativsystemet och dess kärna är endast skriven i C. Hur kan vi göra programmering i kärnan säkrare? Vad är prestandakonsekvenserna av att använda ett säkrare språk? I denna uppsats ska vi försöka svara på dessa frågor genom att använda språket Rust. Ett programmeringsgränssnitt i Rust är implementerat i kärnan och en nätverksdrivrutin är portad till Rust. Källkoden skriven i Rust är analyserad för att bedömma säkerheten samt prestandan är jämförd mellan C och Rust implementationerna. Det är bevisat att vi kan skriva en drivrutin i enbart säker Rust om vi kan lita på några osäkra funktioner i gränssnittet. Mätningar visar lite bättre prestanda i Rust.

This Integrated Learning Experience (ILE) investigates literature regarding the impact of national Safe Routes to School (SRTS) programs and takes a deeper dive into the lessons that can be learned from North Carolina’s Active Routes to School (NC ARTS) programs through an analysis of data collected from 2007 to 2019. This report is focused on understanding the relationship between and among variables included in the Six Es of SRTS framework: Education, Engineering, Encouragement, Enforcement, Equity, and Evaluation. This investigation provides insight that extends understanding of parental comfort and engagement with these programs. A unique theoretical model was developed as were recommendations for future research in the areas of parental engagement, social norming, and the need for engaging low-wealth communities. Additionally, a community-based social marketing product was developed to improve parental attitudes toward independent active travel for older elementary-, middle school-, and high school-aged children.

No description available.