Results 91 to 100 of about 25,005,250 (309)

Творчество и педагогическое наследие Цзян Чжаохэ в контексте трансформации китайской фигуративной живописи XX века

Искусство Евразии
Статья посвящена творчеству Цзян Чжаохэ (1904–1986) — выдающегося китайского художника, чьи работы отражают социальные и культурные изменения Китая XX века. В последние десятилетия в Китае и за его пределами наблюдается активный интерес к художественному
Ли, Л.
doaj   +1 more source

Nutrient/TOR signaling controls adipose mitochondrial transcription factor A (TFAM) to regulate organismal growth in Drosophila

FEBS Letters, EarlyView.
Animals must match their growth rate to available nutrients. We show that in Drosophila larvae, the nutrient‐sensing TOR kinase controls growth by regulating levels of TFAM, a key regulator of mitochondrial function, in the adipose tissue. When nutrients are abundant, high TOR activity suppresses TFAM, lowering mitochondrial bioenergetic activity and ...
Shrivani Sriskanthadevan‐Pirahas, Shahoon Khan, Abhishek Sharma, Byoungchun Lee, Savraj S. Grewal   +4 more
wiley   +1 more source

Evaluating the effect of formal techniques in industry [PDF]

, 2012
In this paper we evaluate the effectiveness of applying a formal component-based approach called Analytical Software Design (ASD) to the development of control software of an industrial project at Philips Healthcare. We analyze the performance of the ASD
Hooman, J.J.M., Hooman, JJM Jozef, Osaiweran, A.A.H., Groote, J.F., Schuts, MTW Mathijs, Osaiweran, AAH Ammar, Groote, JF Jan Friso, Rijnsoever, BJ Bart van, Schuts, M.T.W., Groote, J.F.; id_orcid, Rijnsoever, van, B.J.   +10 more
core   +1 more source

Formal Analysis in Research on Small/Minor Literatures: Two Cases Compared

Interlitteraria
This article compares two studies on small/minor literatures: one by Fabienne Gilbertz on Luxembourgish in the Grand Duchy of Luxembourg and one by Clà Riatsch on Rhaeto-Romanic in the Swiss Confederation.
Jon Mathieu
doaj   +1 more source

Formalna analiza albańskich derywatów przymiotnikowych

Slavia Meridionalis, 2015
Formal Analysis of Albanian Adjectival Derivatives The paper presents a formal analysis of Albanian adjectival derivatives, carried out in accordance with the proposal of a formal description of word formation (part of methodology presented in ...
Artur Karasiński
doaj   +1 more source

Formal Equivalence Analysis [PDF]

Proceedings of the 2019 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (EUSFLAT 2019), 2019
Francisco José Valverde Albacete, Carmen Peláez-Moreno, Pablo Cordero, Manuel Ojeda-Aciego   +3 more
openaire   +1 more source

Golgi enzymes are retrieved from the plasma membrane to the trans‐Golgi network

FEBS Letters, EarlyView.
Golgi enzymes are traditionally considered resident proteins retained within the Golgi apparatus. Here, we demonstrate that a subset transiently reaches the cell surface and is subsequently retrieved to the trans‐Golgi network via retrograde transport. Using a nanobody‐based toolkit, we uncover a dynamic trafficking cycle of several Golgi enzymes.
Dominik P. Buser, Tina Junne
wiley   +1 more source

Formal Analysis of Ratchet Protocols Based on Logic of Events

Applied Sciences
Ratchet protocols are a class of secure protocols based on ratcheting encryption mechanisms, widely employed in instant messaging. Against the backdrop of frequent incidents of communication privacy breaches, ratchet protocols have become a vital ...
Meihua Xiao, Hongbin Wan, Hongming Fan, Huaibin Shao, Zehuan Li, Ke Yang   +5 more
doaj   +1 more source

Formal Analysis of Trust and Reputation for Service Composition in IoT. [PDF]

Sensors (Basel), 2023
Ahmed AIA, Hamid SHA, Gani A, Abdelaziz A, Abaker M.   +4 more
europepmc   +1 more source

From junk to function — How weak selection in eukaryotes builds new parts and drives genomic complexity

FEBS Letters, EarlyView.
How do genomes gain new functional parts? In eukaryotes, which tend to evolve under weak selection, much of the genome is junk. Palazzo and Qiu borrow the logic of Markov chains to show how non‐functional DNA becomes functional through the appearance of intermediate states, which arise due to epistasis, buffering, and biochemical messiness, allowing ...
Alexander F. Palazzo, Yi Qiu
wiley   +1 more source