Results 51 to 60 of about 12,298,173 (375)
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Cabri's role in the task of proving within the activity of building part of an axiomatic system [PDF]
, 2007 We want to show how we use the software Cabri, in a Geometry class for preservice mathematics teachers, in the process of building part of an axiomatic system of Euclidean Geometry.
Camargo, Leonor +2 more
core
Evolution of science II: Insights into working of Nature
, 2016 We attempt to provide a comprehensive model of evolution of science across millennia taking into account the contributions of other intellectual traditions, cultural value system and increasing in sophistication of humans in their study of nature.
Vahia, M N
core +1 more source
IOP Conference Series: Materials Science and Engineering, 2020 This paper focus on certain design methods: Axiomatic Design (AD) and its comparisons with Quality Function Deployment (QFD). While there are other methods such as QFD is more suitable for problem identification, AD is more suitable for decision making ...
Alfin Fauzi Malik +2 more
semanticscholar +1 more source
Advanced Electronic Materials, EarlyView.Invertebrates are the classic neuroscience models and should make a comeback. Invertebrate organisms can be a more ethical and cost‐effective way to move bioelectronics research forward more rapidly. ABSTRACT The accelerating development of bioelectronic neural interfaces has brought increased attention to ethical considerations surrounding in vivo ...
Eric Daniel Głowacki
wiley +1 more source
Adapt! – Agile Project Management Supported by Axiomatic Design
MATEC Web of Conferences, 2017 This paper presents a novel approach for the use of Axiomatic Design Theory in combination with agile project management methods like Scrum for an effective, structured and combined product design and development process. Agile project management methods
Weber Jakob +3 more
doaj +1 more source
Understanding Lean Manufacturing According to Axiomatic Design Principles [PDF]
, 1996 In this paper, a sequence of implementation steps will be developed through the application of axiomatic design. This sequence will provide a design methodology for lean production which connects manufacturing system design objectives to operation design
Cochran, David S., Reynal, Vicente A.
core +1 more source
Generic PLM system for SMEs: Application to an equipment manufacturer [PDF]
, 2012 For several years, digital engineering has increasingly taken a more important place in the strategic issues of mechanical engineering companies.
BERNARD, Alain +3 more
core +8 more sources
American Journal of Agricultural Economics, EarlyView.Abstract Popular society increasingly questions preferences that drive many resource allocations and production decisions, with many groups actively seeking to alter those preferences to achieve changes to resource use. Agricultural and applied economists, who are already equipped with excellent technical skills to undertake consumer preference and ...
Brian E. Roe
wiley +1 more source
A Process Modelling Framework Based on Point Interval Temporal Logic with an Application to Modelling Patient Flows [PDF]
, 2019 This thesis considers an application of a temporal theory to describe and model the patient journey in the hospital accident and emergency (A&E) department. The aim is to introduce a generic but dynamic method applied to any setting, including healthcare.
Chishti, I., Chishti, I.
core