122,916 research outputs found
A Study on Japanese Modem Architect T. Yoshida's German Texts -Part 1:“Japanische Baukunst " (1937) -
No full textTetsuro Yoshida (1894-1956) is one of the most important architects in Japanese modern architecture. His famous three books, that were written in German, are “Das Japanische Wohnhaus (1935)",“Japanische Architektur (1952)" and “Der Japanische Garten (1957)". However, his German report “Japanische Baukunst (1937)" is forgotten unfortunately. These papers are Japanese translation and annotation of architect T. Yoshida's German report.departmental bulletin pape
Timed Runtime Monitoring for Multiparty Conversations
No full textWe propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreographies based on multiparty session types, developed with our industrial partners. Drawing from recent work on multiparty session types for real-time interactions, we extend Scribble with clocks, resets, and clock predicates constraining the times in which interactions should occur. We present a timed API for Python to program distributed implementations of Scribble specifications. A dynamic verification framework ensures the safe execution of applications written with our timed API: we have implemented dedicated runtime monitors that check that each interaction occurs at a correct timing with respect to the corresponding Scribble specification. The performance of our implementation and its practicability are analysed via benchmarking
Fuji-Yoshida: weaving town
No full textJapan is rich in regional textile history and despite relative decline in recent decades numerous centres of production remain. One such example is Fuji-Yoshida, located at the northern base of Mount Fuji in Yamanashi Prefecture, west of Tokyo
Age-related variations in plasma and liver lipids of Yoshida rats. Comparison with Wistar rats.
No full textLipoprotein and liver lipids of spontaneously hyperlipidemic Yoshida rats were compared with those of normolipidemic Wistar animals for studying their age- and strain-related differences. Both strains showed an age-related increase in the total plasma cholesterol concentration. However, the Yoshida strain had a higher content of cholesteryl esters and triglycerides than the Wistar strain in both young and adult animals (2- and 8-month-old animals, respectively). The free cholesterol content was also higher, but only in the 8-month-old animals. Both strains showed an age-related increase in the proportion of HDL1 and a symmetrical decrease in both the HDL2 and HDL3 subfractions, but the variations were more evident in the Yoshida strain. The study of strain-related differences suggested that the spontaneous hypertriglyceridemia of the Yoshida strain was not only related to the higher amount and proportion of the VLDL fraction, but also to the higher content of triglycerides in the LDL fraction. The livers of Yoshida rats accumulated more triglycerides (with an age-related progression) than those of Wistar rats. The major lipid classes in the liver of Yoshida rats contained a significantly higher proportion of monounsaturated fatty acyls. Furthermore, this proportion showed an age-related increase in all the lipid classes, but in cholesteryl esters. This suggested that liver desaturases had a relevant role in the development of hyperlipidemia, and of its age-related variations, in the Yoshida strain
Letter, [Author unclear] to Paulina T. Merritt
No full textHandwritten letter to Paulina Merritt from an unknown author, October 1, 1876.
YOSHIDA Tōru - Y a-t-il une déconnexion démocratique ? Les jeunes et la politique au Japon (15 février 2018)
No full textSéance avec Yoshida Tōru - Y a-t-il une déconnexion démocratique ? Les jeunes et la politique au Japon. (15 février 2018) Lien direct vers internet archive : https://archive.org/details/YoshidaToru-YA-t-ilUneDeconnexionDemocratique.LesJeunesEtL
Continuous Functions on Final Comodels of Free Algebraic Theories
No full textIn 2009, Ghani, Hancock and Pattinson gave a tree-like representation of stream processors A[N] → B[N]. In 2021, Garner showed that this representation can be established in terms of algebraic theory and comodels: the set of infinite streams A[N] is the final comodel of the algebraic theory of A-valued input [T][A] and the set of stream processors Top(A[N] , B[N]) can be seen as the final [T][A]-[T][B]-bimodel. In this paper, we generalize Garner's results to the case of free algebraic theories
- …
