Results 1 to 10 of about 325,268 (268)
Lean Maturity, Lean Sustainability [PDF]
, 2007 Although lean is rapidly growing in popularity, its implementation is far from problem free and companies may experience difficulties sustaining long term success. In this paper, it is suggested that sustainable lean requires attention to both performance improvement and capability development.
Frances Jørgensen +3 more
openaire +3 more sources
Experimental Mathematics, 2021 We tell the story of how schemes were formalised in three different ways in the Lean theorem prover.
Kevin Buzzard +5 more
openaire +3 more sources
Lean manufacturing measurement: the relationship between lean activities and lean metrics
Estudios Gerenciales, 2007 Lean Manufacturing fue desarrollado por Toyota Motor Company para abordar sus necesidades específicas en un mercado restringido en tiempos de problemas económicos. Estos conceptos han sido estudiados y han demostrado ser transferibles y aplicables a una amplia variedad de industrias. Este trabajo tiene como objetivo integrar un conjunto de métricas que
Diego Fernando Manotas-Duque +1 more
openaire +4 more sources
Lean Healthcare: How to Start the Lean Journey
, 2020 In this paper we present how ASST Cremona, an Italian hospital belonging to the National healthcare system, started its lean journey. In order to spread out the lean culture within the company and to engage people, the first initiative launched was a 4 months improvement project within Internal Medicine department.
Fabiana Dafne Cifone +2 more
openaire +2 more sources
Nature Materials, 2020 Surface ledges of β-Ga2O3 (100) substrates guide the unidirectional nucleation and growth of transition metal dichalcogenides, achieving centimetre-long, single-crystalline and densely aligned nanoribbons in wafer scale.
openaire +3 more sources
Journal of Operations Management, 2021 Tyson R. Browning, Suzanne de Treville
openaire +1 more source
The Lean Analysis of the Business — Lean-Factors and Lean-Characteristics [PDF]
, 1995 Lean Analysis serves to point out the possibilities and measures of a business so that the required time-, cost- and quality targets in the preparation and manufacturing of products in line with real market conditions can be put into practice most favorably.
openaire +1 more source
Leading by Leaning In and Leaning Out
Advancing Women in Leadership Journal, 2017 Women in business are often confronted by work environments which influence career/leadership choices and family decisions, as noted in the recent New York Times article, "More Than Their Mothers, Young Women Plan Career Pauses" (Miller, 2015). Those in the millennial generation, born between the years 1981-1997, are learning by example from previous ...
Stock, Karen, Szendrey, Julie
openaire +1 more source
LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover
CoRRRecently, large language models have presented promising results in aiding formal mathematical reasoning. However, their performance is restricted due to the scarcity of formal theorem-proving data, which requires additional effort to be extracted from raw formal language corpora. Meanwhile, a significant amount of human-written formal language corpora
Zijian Wu 0002 +3 more
openaire +2 more sources