Search results for "edistys"
showing 7 items of 7 documents
Visions of a technological future : experience and expectation of progress in the interwar United States
2015
Tarkastelen tutkielmassa maailmansotien välisenä aikana Yhdysvaltalaisissa tiede- ja tekniikkajulkaisuissa Popular Mechanicsissa ja Popular Science Monthlyssa esiintynyttä tulevaisuusajattelua. Tutkielman tarkoituksena on selvittää mitä tulevaisuudesta maailmansotien välisenä aikana Yhdysvalloissa ajateltiin. Erityisesti tarkastelen mitä edellä mainituissa aikakauslehdissä kirjoitettiin kaupungin, rakentamisen ja kodin tulevaisuudesta. Käsittelen aineistoa pääosin historiallisen kuvatutkimuksen keinoin. Tutkimuksen teoreettinen viitekehys pohjaa Reinhart Koselleckin historiallisten aikojen teoriaan, erityisesti kokemustilan ja odotushorisontin väliseen suhteeseen. Tämän tutkielman hypoteesi…
Modernista postmoderniin : tutkijaliittolaisen marxismin kehityslinjoja 1970-luvulta 1990-luvulle
1997
Material, mental, and moral progress : American conceptions of civilization in late 19th century studies on "things Chinese and Japanese"
2015
Kypärä päähän ja kouluun
2015
Progress Checking for Dummies
2018
Verification of progress properties is both conceptually and technically significantly more difficult than verification of safety and deadlock properties. In this study we focus on the conceptual side. We make a simple modification to a well-known model to demonstrate that it passes progress verification although the resulting model is intuitively badly incorrect. Then we point out that the error can be caught easily by adding a termination branch to the system. We compare the use of termination branches to the established method of addressing the same need, that is, weak fairness. Then we discuss another problem that may cause failure of catching progress errors even with weak fairness. Fi…