The independence of children with cognitive impairments is vital for successful social integration. As emerging technological advancements, autonomous buses possess significant potential in this regard. The study aims to investigate the potential of autonomous buses to support children with mild cognitive impairments in attaining increased independence during their travels. To achieve this goal, two studies were conducted to gather comprehensive data: an analysis of videos provided by the ASALL project and a focus group study involving Skelleftea municipality workers. The study findings shed light on the challenges and needs of children with cognitive impairments during their trips and offer suggestions for how autonomous buses could provide support to increase their independence. It also highlights the importance of considering human factors while designing technology products and emphasizes the need for coordinated efforts combining technological and human support to enhance the independence of children with cognitive impairments. In addition, insights from people familiar with children with cognitive impairments can provide valuable guidance to researchers and designers when creating other technology products.

No description available.

No description available.

No description available.

No description available.

No description available.

We introduce the Partition Principle PP, an axiom introduced by Russell in the context of its similarities and differences with the Axiom of Choice AC. We start by proving some properties of PP, and AC, and show that AC, entails PP. To address the problem of whether the converse holds, we develop the Zermelo-Fraenkel ZF set theory and examine its consistency and build a model in which AC, fails. We follow this with a discussion of forcing, a technique introduced by Paul Cohen to build new models of set theory from existing ones, which have differing properties from the starting model. We conclude by examining candidate models called permutation models where AC, fails, which may be useful as candidate models for forcing a model in which PP, holds but AC, does not. We conjecture that such a model exists, and that PP, does not entail AC. / Thesis / Master of Science (MSc)

No description available.

この論文では従来電力系統から自立的に利用出来る太陽エネルギー及び燃料電池コジェネレーションシステムの徹底的な解析が述べられている。開発した水素マイクログリッドの燃料依存を最小化にする数理モデルを利用し日本社会でのさまざまなシナリオのシミュレーションが行なわれた。こういうシステムの実現性が従来水素燃料供給方法の審査及び日本の中型離島の事例研究で評価された。経済的な分析によって石油の価格が高い遠隔な地域では水素マイクログリッドは競争力があると分かった。 / This thesis presents a thorough analysis on energy supply systems using solar energy and fuel cell cogeneration systems that can operate reliably and independently from the main power grid. A mathematical model to maximize fuel independence for hydrogen micro-grids is developed and simulated for various scenarios in Japanese communities. The viability of implementing such systems is assessed with a review of available hydrogen supply channels, and a study case for a remote Japanese island of medium size. An economic analysis of this study suggests that hydrogen micro-grids are economically competitive for energy supply in remote areas where oil prices are high. / 博士(工学) / Doctor of Philosophy in Engineering / 同志社大学 / Doshisha University

An E-graph is constructed by replacing each edge in a core graph G with a copy of a graph H. An important property of E-graphs is that their invariant values can be determined from parameters of the original graphs G and H. We determine chromatic number, clique number, vertex and edge cover numbers, vertex and edge independence numbers, circumference, and girth of E-graphs. A characterization of hamiltonian E-graphs is also given.