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
Le traducteur et son image. Étude des couvertures d’ouvrages de traductologie
Studia Romanica Posnaniensia, 2021 The front cover of a book usually contains the title, the authors’names, the publisher’s logo and an illustration. All these elements announce the content of the book, and the paraverbal elements (illustration, typographical arrangement…) can also be ...
Elżbieta Skibińska
doaj +3 more sources
Each to Their Own: Visual Representations of Terry Pratchett’s Discworld in Time and Space
Imaginations: Journal of Cross-Cultural Media Studies, 2021 When a book is translated, publishers will often modify or completely change the cover design. This paper examines the similarities and differences that result in a sample of cover designs taken from Terry Pratchett’s Discworld series. The essay analyzes
Anikó Sohár
doaj +1 more source
Corals and Reef‐Dwelling Fish Regulate Carbon Storage and Cycling Processes in Coral Reef Ecosystems
Advanced Science, EarlyView.Coral reefs are biodiversity hotspots, yet their role in carbon storage and cycling remains poorly understood. Using field surveys and modeling in the South China Sea, we reveal the overlooked potential of carbon storage in reef ecosystems and how reef fish, corals, and surface sediment jointly shape reef carbon reservoirs.
Yiting Chen +8 more
wiley +1 more source
[Review of] Ji, Meng (ed) (2016). Empirical Translation Studies. Interdisciplinary Methodologies Explored. Sheffield (UK)/Bristol (USA): Equinox, pp. 238, £17.52. ISBN: 9781781790496 (hardback) [PDF]
, 2016 The back cover of this book describes it as “a practical study guide to postgraduate and research students of applied translation studies.” This might give the impression that the volume is a textbook, which it is not. Rather, the book is a collection of
Buysschaert, Joost
core +1 more source
Matthew Baillie's specimens and engravings [PDF]
, 2017 In 1799, Matthew Baillie, William Hunter's nephew, published his famous atlas of pathology. It was entitled A Series of Engravings Accompanied with Explanations which are Intended to Illustrate the Morbid Anatomy of Some of the Most Important Parts of ...
McDonald, Stuart W. +2 more
core +1 more source
Advanced Science, EarlyView.We investigate whether Montessori and traditional schooling systems shape the developmental trajectory of large‐scale brain dynamics in different ways. We quantify the arrow of time (“non‐reversibility”) in neural activity during resting state and movie‐watching, revealing distinct maturational patterns.
Elvira del Agua +6 more
wiley +1 more source
Yeni Kitap Seçiminde Etkili Olan Biçimsel Faktörlerin Okuyucu Perspektifinden Değerlendirilmesi / The Evaluation of Readers’ Viewpoint on Formal Factors Affecting New Book Selection [PDF]
Bilgi Dünyası, 2006 Attitudes of students who used Anadolu University central library were examined by means of a questionnaire, which was applied to 353 students. The results indicate that five factors (being expressed through 13 items) had substantial effects on book ...
Mesut Kurulgan, Metin Argan
doaj
Competition Policy and Agribusiness in the Biden Administration
Applied Economic Perspectives and Policy, EarlyView.ABSTRACT The Biden Administration pursued a set of ambitious competition policy initiatives in agriculture and agribusiness, primarily aimed at livestock and poultry supply chains, farm inputs, and food retailing. The initiatives included expanded antitrust enforcement; new US Department of Agriculture (USDA) contract regulations requiring poultry ...
James M. MacDonald
wiley +1 more source
Book review: Ted Grant: the permanent revolutionary [PDF]
, 2013 "Ted Grant: The Permanent Revolutionary." Alan Woods. Wellred Publishing. April 2013. --- This work aims to cover the life and ideas of Ted Grant, one of the most well known figures in the international Marxist movement.
Bannerman, Gordon
core