Results 81 to 90 of about 60,497 (198)

SISTEMA SOPOG, PARA ELABORACIÓN PRIMARIA DE DATOS ESTADÍSTICOS

Revista Eídos, 2011
Este artículo describe el desarrollo de un sistema informático automatizado, para la definición de los parámetros del conjunto general homogéneo (SOPOG), destinado a la elaboración primaria de la información, previo su utilización en Sistemas GIS, que ...
Olga Chadrina, Fausto Rodrigo Freire Carrera   +1 more
doaj   +1 more source

Long‐read sequencing‐based atlas of tissue‐specific expression of DNM1L transcript variants

The FEBS Journal, EarlyView.
Targeted long‐read sequencing resolves full‐length DNM1L (Drp1) isoforms and reveals conserved, tissue‐specific expression patterns across human and mouse tissues. Functional assays show that Drp1 isoforms differ in their ability to drive mitochondrial fission, independent of abundance, with specific exons modulating activity.
Feng Yan, Jafar S. Jabbari, Naomi X. L. Ling, Anne M. Kong, Jia Q. Truong, Marnie L. Maddock, Ayeshah A. Rosdah, Christopher G. Langendorf, Lifang Zhang, Jarmon G. Lees, Sebastian Bass‐Stringer, Danise Ann Onda, Alice Pébay, Mirella Dottori, Kim Loh, Jessica K. Holien, Sean Lal, Nadia M. Davidson, Jonathan S. Oakhill, Shiang Y. Lim   +19 more
wiley   +1 more source

Implementation of cooperative interaction of automaton objects

Научно-технический вестник информационных технологий, механики и оптики
This paper addresses the issues related to the implementation of the interaction of automaton objects formalized using specialized state transition graphs.
F. A. Novikov, I. V. Afanasieva, L. N. Fedorchenko, T. A. Kharisova   +3 more
doaj   +1 more source

Formal verification of secure group communication protocols modelled in UML [PDF]

, 2010
The paper discusses an experience in using UML and two complementary verification tools in the framework of SAFECAST, a project on secured group communication systems design. AVISPA enabled detecting and fixing security flaws.
Chridi, Najah, Chrisment, Isabelle, Vigneron, Laurent, Villemur, Thierry, Saqui-Sannes, Pierre, Mota, Sara, Bouassida, Mohamed Salah, Saqui-Sannes, Pierre de, Fontan, Benjamin, Mota Gonzalez, Sara del Socorro   +9 more
core   +1 more source

Adipocyte‐specific NIK depletion enhances energy metabolism and glucose tolerance in mice

The FEBS Journal, EarlyView.
Obesity is associated with reduced energy expenditure and increased hepatic lipid accumulation. This study reveals that loss of NIK in adipocytes stimulates FGF21‐driven expression of thermogenic genes, including UCP1, and mitochondrial uncoupled respiration.
Atakan Ozcan, Caroline Uslucan, Aleyna Kizilyer, Samet Agca, Aylin Karatas, Sanaz Naghizadeh, Bahar Zehra Camurdanoglu Weber, Sukru Anil Dogan, Serkan Kir   +8 more
wiley   +1 more source

Comprehensibility of UML-B - A Series of Controlled Experiments

, 2007
This paper summarises two controlled experiments conducted on a model that integrates the use of semi-formal notation, the Unified Modelling Language (UML) and a formal notation, B.
Garratt, P, Razali, R, Snook, C, Poppleton, M   +3 more
core   +1 more source

Extracellular fluid viscosity influences the mechanics and migration of MDA‐MB‐231 cells in a macromolecule‐dependent manner

The FEBS Journal, EarlyView.
Macromolecule‐dependent increases in extracellular fluid viscosity alter cell phenotype. These distinct macromolecules create different extracellular environments that modulate cell morphology and mechanoprotein expression, migration and invasion capacity, and cellular mechanical properties.
Ian M. Smith, Nikka Givpoor, Chenchen Handler, Ariel Abraham, Shohini Banerjee, Giuliano Scarcelli, Kimberly M. Stroka   +6 more
wiley   +1 more source

Circadian rhythms of metabolite abundance in Drosophila are largely driven by time of feeding

The FEBS Journal, EarlyView.
Circadian clocks exist in the brain and peripheral tissues such as the Drosophila fat body. Single‐nuclei transcriptomics reveal that the fat body clock generates time‐of‐day differences in metabolic gene transcription, which may also be indirectly controlled by brain clocks.
Sumit Saurabh, Charlene Y. P. Guerrero, Madelyn R. Cusick, Amanda J. Samaras, Taylor M. Stephenson, Sebastian L. Kirkpatrick, Gregory J. Matthews, Daniel J. Cavanaugh   +7 more
wiley   +1 more source

Engenharia de sistemas computacionais: uma proposta de mapeamento de modelos UML para a linguagem JAVA / [PDF]

, 2000
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico.O fortalecimento da UML (Unified Language Modeling) como linguagem padrão para modelagem, tem resultado no aparecimento e desenvolvimento de inúmeras ferramentas CASE de ...
Souza, Alexandre Perin de
core