Results 51 to 60 of about 356,390 (278)
Use of axiomatic design principles to develop vehicle suspension controls for variable stiffness and ride height [PDF]
, 2005 Thesis (S.B.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2005.Includes bibliographical references (leaf 23).Axiomatic Design principles are used to design a vehicle suspension system.
Luu, Way
core
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
On the investment implications of bankruptcy laws [PDF]
, 2010 Axiomatic analysis of bankruptcy problems reveals three major principles: (i) proportionality (PRO), (ii) equal awards (EA), and (iii) equal losses (EL). However, most real life bankruptcy procedures implement only the proportionality principle.
Kıbrıs, Arzu +3 more
core
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
Theorem proving support in programming language semantics [PDF]
, 2007 We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system.
Bertot, Yves
core +3 more sources
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
On the Applicability of the Advocacy Coalition Framework for Analyzing EU Policy Processes
European Policy Analysis, EarlyView.ABSTRACT Initially developed for the US context, the Advocacy Coalition Framework (ACF) is increasingly used to analyze policy processes in the EU. But policymaking in EU differs from the US context, why the applicability of ACF in the EU context should be scrutinized.
Fredrik von Malmborg
wiley +1 more source
Naval Research Logistics (NRL), EarlyView.ABSTRACT We are concerned with the stability of a transferable‐utility cooperative (TU) game. First, the concept of core can be weakened so that the blocking of changes is limited to only those with multilateral backings. This principle of consensual blocking, as well as the traditional core‐defining one of unilateral blocking and one straddling in ...
Jian Yang
wiley +1 more source
Nonconventional Technologies Review, 2022 Electrochemical machining is usually included in the wider group of non-conventional machining methods. This method is based on the material removal from the workpiece as a result of chemical reactions between the electrolyte and the material of the ...
Laurentiu Slatineanu +4 more
doaj
Optimizing the Schedule of Dispatching Construction Machines through Artificial Intelligence
Chemical Engineering Transactions, 2016 Most construction projects involve use of construction machines, construction plant manager has to consider both timeliness and flexibility to develop an efficient schedule of dispatching construction machines, which can balance the operations at ...
Y. Xing, Z.B. Song, X.L. Deng
doaj +1 more source