Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(safety by design). Showing records 1 – 7 of 7 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Universidade Nova

1. Sousa, Diogo Miguel Gaspar de. Preventing atomicity violations with contracts.

Degree: 2013, Universidade Nova

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program… (more)

Subjects/Keywords: Atomicity violation; Concurrency; Thread safety; Design by contract; Program analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sousa, D. M. G. d. (2013). Preventing atomicity violations with contracts. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/11471

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Sousa, Diogo Miguel Gaspar de. “Preventing atomicity violations with contracts.” 2013. Thesis, Universidade Nova. Accessed October 23, 2020. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/11471.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Sousa, Diogo Miguel Gaspar de. “Preventing atomicity violations with contracts.” 2013. Web. 23 Oct 2020.

Vancouver:

Sousa DMGd. Preventing atomicity violations with contracts. [Internet] [Thesis]. Universidade Nova; 2013. [cited 2020 Oct 23]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/11471.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Sousa DMGd. Preventing atomicity violations with contracts. [Thesis]. Universidade Nova; 2013. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/11471

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

2. Tojal, Joaquim José e Silva de Carvalho. Towards a formally verified microkernel using the VCC verifier.

Degree: 2010, RCAAP

 In this thesis we present the design by contract modular approach to formal verification of an industrial real-time microkernel which was not designed with formal… (more)

Subjects/Keywords: Concurrency; Critical system; Design by contract; Embedded systems; Formal verification; Formal methods; Microkernel; Real-time; Operating system; Software reliability; xLuna; Safety

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tojal, J. J. e. S. d. C. (2010). Towards a formally verified microkernel using the VCC verifier. (Thesis). RCAAP. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/3717

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Tojal, Joaquim José e Silva de Carvalho. “Towards a formally verified microkernel using the VCC verifier.” 2010. Thesis, RCAAP. Accessed October 23, 2020. http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/3717.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Tojal, Joaquim José e Silva de Carvalho. “Towards a formally verified microkernel using the VCC verifier.” 2010. Web. 23 Oct 2020.

Vancouver:

Tojal JJeSdC. Towards a formally verified microkernel using the VCC verifier. [Internet] [Thesis]. RCAAP; 2010. [cited 2020 Oct 23]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/3717.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Tojal JJeSdC. Towards a formally verified microkernel using the VCC verifier. [Thesis]. RCAAP; 2010. Available from: http://www.rcaap.pt/detail.jsp?id=oai:ubibliorum.ubi.pt:10400.6/3717

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade do Minho

3. Silva, Francisco António Coelho e. A qualitative approach to risk assessment and control in engineered nanoparticles occupational exposure.

Degree: 2016, Universidade do Minho

 O esforço atual de investigação e o uso comum de nanomateriais, sendo uma oportunidade para o crescimento económico, colocam problemas para a segurança e saúde.… (more)

Subjects/Keywords: nanoparticles; exposure; control banding; emission scenarios; exposure scenarios; safety-by-design; bow-tie model; ceramics; polymers; nanopartículas; exposição; control banding; cenários de emissão; cenários de exposição; safety-by-design; modelo bow-tie; cerâmicos; polímeros; Engenharia e Tecnologia::Nanotecnologia

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Silva, F. A. C. e. (2016). A qualitative approach to risk assessment and control in engineered nanoparticles occupational exposure. (Doctoral Dissertation). Universidade do Minho. Retrieved from http://hdl.handle.net/1822/41863

Chicago Manual of Style (16th Edition):

Silva, Francisco António Coelho e. “A qualitative approach to risk assessment and control in engineered nanoparticles occupational exposure.” 2016. Doctoral Dissertation, Universidade do Minho. Accessed October 23, 2020. http://hdl.handle.net/1822/41863.

MLA Handbook (7th Edition):

Silva, Francisco António Coelho e. “A qualitative approach to risk assessment and control in engineered nanoparticles occupational exposure.” 2016. Web. 23 Oct 2020.

Vancouver:

Silva FACe. A qualitative approach to risk assessment and control in engineered nanoparticles occupational exposure. [Internet] [Doctoral dissertation]. Universidade do Minho; 2016. [cited 2020 Oct 23]. Available from: http://hdl.handle.net/1822/41863.

Council of Science Editors:

Silva FACe. A qualitative approach to risk assessment and control in engineered nanoparticles occupational exposure. [Doctoral Dissertation]. Universidade do Minho; 2016. Available from: http://hdl.handle.net/1822/41863


University of Oulu

4. Reiman, A. (Arto). Holistic work system design and management:— a participatory development approach to delivery truck drivers’ work outside the cab.

Degree: 2013, University of Oulu

Abstract The road freight transport industry as a labour-intensive sector is dependent on the work ability and well-being at work of employees. The majority of… (more)

Subjects/Keywords: design science; freight transport by road; holistic management; local and short haul operation; participatory ergonomics; safety at work; video analysis; work system; jakelukuljetus; kokonaisvaltainen johtaminen; osallistuva ergonomia; suunnittelutiede; tieliikenteen tavarankuljetus; työjärjestelmä; työturvallisuus; videoanalyysi

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Reiman, A. (. (2013). Holistic work system design and management:— a participatory development approach to delivery truck drivers’ work outside the cab. (Doctoral Dissertation). University of Oulu. Retrieved from http://urn.fi/urn:isbn:9789526202198

Chicago Manual of Style (16th Edition):

Reiman, A (Arto). “Holistic work system design and management:— a participatory development approach to delivery truck drivers’ work outside the cab.” 2013. Doctoral Dissertation, University of Oulu. Accessed October 23, 2020. http://urn.fi/urn:isbn:9789526202198.

MLA Handbook (7th Edition):

Reiman, A (Arto). “Holistic work system design and management:— a participatory development approach to delivery truck drivers’ work outside the cab.” 2013. Web. 23 Oct 2020.

Vancouver:

Reiman A(. Holistic work system design and management:— a participatory development approach to delivery truck drivers’ work outside the cab. [Internet] [Doctoral dissertation]. University of Oulu; 2013. [cited 2020 Oct 23]. Available from: http://urn.fi/urn:isbn:9789526202198.

Council of Science Editors:

Reiman A(. Holistic work system design and management:— a participatory development approach to delivery truck drivers’ work outside the cab. [Doctoral Dissertation]. University of Oulu; 2013. Available from: http://urn.fi/urn:isbn:9789526202198


Delft University of Technology

5. Brossell, D. Instrument Development for Nanomaterial Risk Assessment.

Degree: 2016, Delft University of Technology

 Nanomaterials are a growing source for innovation. However, the very properties that make them so effective for their desired purpose might also render them more… (more)

Subjects/Keywords: Nanomaterials; Instrument development; Particle mass classification; In vitro inhalation toxicity testing; Risk assessment; Safety-by-design

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Brossell, D. (2016). Instrument Development for Nanomaterial Risk Assessment. (Doctoral Dissertation). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; urn:NBN:nl:ui:24-uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; 10.4233/uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; urn:NBN:nl:ui:24-uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; http://resolver.tudelft.nl/uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2

Chicago Manual of Style (16th Edition):

Brossell, D. “Instrument Development for Nanomaterial Risk Assessment.” 2016. Doctoral Dissertation, Delft University of Technology. Accessed October 23, 2020. http://resolver.tudelft.nl/uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; urn:NBN:nl:ui:24-uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; 10.4233/uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; urn:NBN:nl:ui:24-uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; http://resolver.tudelft.nl/uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2.

MLA Handbook (7th Edition):

Brossell, D. “Instrument Development for Nanomaterial Risk Assessment.” 2016. Web. 23 Oct 2020.

Vancouver:

Brossell D. Instrument Development for Nanomaterial Risk Assessment. [Internet] [Doctoral dissertation]. Delft University of Technology; 2016. [cited 2020 Oct 23]. Available from: http://resolver.tudelft.nl/uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; urn:NBN:nl:ui:24-uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; 10.4233/uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; urn:NBN:nl:ui:24-uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; http://resolver.tudelft.nl/uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2.

Council of Science Editors:

Brossell D. Instrument Development for Nanomaterial Risk Assessment. [Doctoral Dissertation]. Delft University of Technology; 2016. Available from: http://resolver.tudelft.nl/uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; urn:NBN:nl:ui:24-uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; 10.4233/uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; urn:NBN:nl:ui:24-uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2 ; http://resolver.tudelft.nl/uuid:fe1ecd53-b939-4efc-b6e9-34ec098efde2


Brno University of Technology

6. Halbich, Adam. Návrh rozvodny nízkého napětí: Design of a Low Voltage Switchgear Assembly.

Degree: 2018, Brno University of Technology

low-voltage switchgear, dimensioning, protection, xSpider, E-confing, AutoCAD Advisors/Committee Members: Kadlec, Radim (advisor), Slavata, Petr (referee).

Subjects/Keywords: rozvodna NN; dimenzování; jištění; Pavouk; E-config; AutoCAD; The goal of this thesis is to design elements of the low-voltage switchgear including particular switchboards. The basic scheme composition is not implemented according to the Czech norms. The safety of the design is provided by calculations the reactions to the fault condition. Instruments are dimensioned in the calculation software which is testing regular and fault conditions and short-circuits conditions. Design is implemented with elements by the company EATON. The electrical scheme is divided to the power and control circuits. Circuit is tested to the different kind of the loads. Next step is design of the switchgear setup including supplements and accessories. From the whole project is processed technical documentation.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Halbich, A. (2018). Návrh rozvodny nízkého napětí: Design of a Low Voltage Switchgear Assembly. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/39128

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Halbich, Adam. “Návrh rozvodny nízkého napětí: Design of a Low Voltage Switchgear Assembly.” 2018. Thesis, Brno University of Technology. Accessed October 23, 2020. http://hdl.handle.net/11012/39128.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Halbich, Adam. “Návrh rozvodny nízkého napětí: Design of a Low Voltage Switchgear Assembly.” 2018. Web. 23 Oct 2020.

Vancouver:

Halbich A. Návrh rozvodny nízkého napětí: Design of a Low Voltage Switchgear Assembly. [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2020 Oct 23]. Available from: http://hdl.handle.net/11012/39128.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Halbich A. Návrh rozvodny nízkého napětí: Design of a Low Voltage Switchgear Assembly. [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/39128

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

7. Tay, Noel Nuo Wi. Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化.

Degree: 博士(工学), 2017, Tokyo Metropolitan University / 首都大学東京

首都大学東京, 2017-03-25, 博士(工学)

Subjects/Keywords: Smart home consists of various kinds of Internet of Tings (IoT) devices connected to the private house that cooperatively provide inhabitants (users) with proactive services related to comfort; security and safety. Examples of services include 1) manipulation of lighting and temperature based on time and context; 2) reminder service of user’s schedules by using the nearest output device; and 3) device organization to realize surveillance system. However; current smart homes are developed mostly from the viewpoint of technical capabilities; where users have to decide how the connected devices are going to serve them. They may have to setup the devices based on the available functionalities and specifications of the devices; and also have to alter their living styles according to the role of each device. Besides; most devices can only provide simple services independently. Œus; cooperation among the devices is important. On the other hand; human-centric approach; which centered on humans’ need to enhance their living experience; is an important technological paradigm where services are provided anywhere and anytime based on situation. Smart home abiding this approach should cooperatively maximize fulfillment of quality of life (QOL) for individual users subject to personal constraints. In this respect; the devices are bound to enable communication of information; and their operations are coordinated to deliver services cooperatively via a sequence of device actions called a plan. Due to personalization and automation; a number of problems have to be solved. First; a means of automatic binding between loosely coupled devices depending on services delivered have to be devised; as manual setup is impractical. Secondly; coordination of devices needs to generate complex plans; without requiring manual specification of sub-plans. Besides; issue of over-constrained goals during service provisions that arises from flawed or contradicting specification from multiple users should be considered. Apart from that; low training data in general environment setting for individual identification should be addressed. The aim of this research is to establish an integrated system for the human-centric smart home (HcSH) that provides personalized service through loosely coupled devices automatically. This research modularizes the overall system into three modules; which are human identification (HIM); automated planner (APM); and semantic reasoner (SRM). HIM helps select the appropriate QOL; SRM binds the devices by associating them with planning components; which are then used by APM to generate plans for device coordination to maximize QOL fulfillment. Chapter 1 gives the introduction and design motivation. Chapter 2 presents the related works and literature reviews; as well as justifications relevant to this thesis. Chapter 3 deals with HIM; which is realized via face identification. For face identification; problems faced are heavy computational load and insufficient learning data. The solution is to use transfer learning to handle data issue while being able to build generalized face model. For face model refinement; active learning is implemented. Experimental results show the method is competitive in terms of accuracy and computational cost compared to current state of the art. Chapter 4 presents APM; where planning via solving Constraint Satisfaction Problem (CSP) is laid out. CSP in planning is declarative without requiring prior specification of sub-plans; and can handle variables of larger domains. Due to the high possibility of having over-constrained QOL as in practical cases; CSP planner cannot fulfill all of them. An example is a contradicting TV channel request from 2 persons. Optimization through weighted CSP is therefore used to maximize QOL fulfillment. Experiments on weighted CSP shows that the method is capable of performing optimization while generating complex plans. Chapter 5 is on SRM; where knowledge representation is constructed by Web Ontology Language (OWL) description logic. It models knowledge on home and building layout and device functionalities. OWL is used because it is decidable and that it is endorsed by World Wide Web Consortium (W3C). We deal with case studies based on further inference on building state as an important example to discuss the applicability of the proposed method; and demonstrate the use of building ontology. This is followed by automated device binding and the method to generate basic planning components of rules in automated planning. Finally; an extension to robot complex planning is provided to demonstrate how it can be easily extended. Chapter 6 demonstrates the applicability of the HcSH; which integrates all three modules through its implementation in a prototype smart home with 5 rooms; which houses 2 persons. Various tests are performed to show the generated plans are near optimal without redundancy. Œe system is also shown to be scalable given increasing amount of devices. Case studies show that the system can perform well even under short time threshold. Finally; chapter 7 summarizes the thesis. Future vision of the work is also laid out; which is to implement it as a community-centric system.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tay, N. N. W. (2017). Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化. (Thesis). Tokyo Metropolitan University / 首都大学東京. Retrieved from http://hdl.handle.net/10748/00009960

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Tay, Noel Nuo Wi. “Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化.” 2017. Thesis, Tokyo Metropolitan University / 首都大学東京. Accessed October 23, 2020. http://hdl.handle.net/10748/00009960.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Tay, Noel Nuo Wi. “Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化.” 2017. Web. 23 Oct 2020.

Vancouver:

Tay NNW. Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化. [Internet] [Thesis]. Tokyo Metropolitan University / 首都大学東京; 2017. [cited 2020 Oct 23]. Available from: http://hdl.handle.net/10748/00009960.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Tay NNW. Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化. [Thesis]. Tokyo Metropolitan University / 首都大学東京; 2017. Available from: http://hdl.handle.net/10748/00009960

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.