Results 61 to 70 of about 12,298,173 (375)
Non normal logics: semantic analysis and proof theory
, 2019 We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property.
Chen, Jinsheng +3 more
core +2 more sources
Evaluation of e-learning web sites using fuzzy axiomatic design based approach [PDF]
, 2009 High quality web site has been generally recognized as a critical enabler to conduct online business. Numerous studies exist in the literature to measure the business performance in relation to web site quality.
Arsenyan, Jbid +4 more
core +3 more sources
MATEC Web of Conferences, 2018 In the context of the Industry 4.0 wave, which is currently making its way into production engineering research, human robot collaboration is also a very important topic.
Gualtieri Luca +4 more
doaj +1 more source
Design of reliability critical system using axiomatic design with FMECA
International Journal of Naval Architecture and Ocean Engineering, 2019 In product design, the initial design stage is being increasingly emphasized because it significantly influences the successive product development and production stages.
Bongeun Goo +4 more
doaj +1 more source
Concept Design of a Digital Shop Floor Information System for Assembly Operators in Machine Industry [PDF]
MATEC Web of Conferences, 2019 Industry 4.0 and digitization are currently changing shop floor management in production. Especially in the production of highly customized and individual products, digitization offers many opportunities for more efficient processes.
Tauber Matthias +4 more
doaj +1 more source
, 2010 The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core +4 more sources
Using an Axiomatic Design Approach to Develop a Product Innovation Process with Circular and Smart Design Aspects [PDF]
, 2023 Muna Adilah +2 more
openalex +1 more source
British Educational Research Journal, EarlyView.Abstract Many studies and initiatives are animated by the potential for science education to intervene in the climate crisis and crises of environmental degradation and disinformation. For science teachers to learn to address these issues in their classes, their teaching must expand beyond scientific facts and face controversial social aspects. Dealing
Valeria M. Cabello +2 more
wiley +1 more source
On the Design of a Decision Support System for Robotic Equipment Adoption in Construction Processes
Applied Sciences, 2021 The construction sector is one of the major global economies and is characterised by low productivity and high inefficiencies, but could highly benefit from the introduction of robotic equipment in terms of productivity, safety, and quality.
Carmen Marcher +2 more
doaj +1 more source
Biological Reviews, EarlyView.ABSTRACT Three categories of explanations exist for why we age: mechanistic theories, which omit reference to evolutionary forces; weakening force of selection theories, which posit that barriers exist that prevent evolutionary forces from optimising fitness in ageing; and optimisation theories, which posit that evolutionary forces actually select for ...
Michael S. Ringel
wiley +1 more source