Results 31 to 40 of about 239,899 (310)

On the Expressiveness of the Ambient Logic [PDF]

Logical Methods in Computer Science, 2006
The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semistructured data. In this paper, we study the expressiveness of AL. We define formulas for capabilities and for communication in MA.
Hirschkoff, Daniel, Lozes, Etienne, Sangiorgi, Davide   +2 more
openaire   +6 more sources

Hyperactive ice‐binding proteins stabilize cell membranes and improve resistance to dehydration stress in Caenorhabditis elegans

FEBS Open Bio, EarlyView.
TisIBP8, a fungal‐derived hyperactive ice‐binding protein, helps Caenorhabditis elegans survive dehydration. It localizes near cell membranes, reduces cell damage, and helps maintain membrane structure during drying. These results suggest that ice‐binding proteins can protect cells from dehydration stress as well as freezing stress.
Daiki Shimose, Kotaro Ozaki, Ryohei Kuriyama, Yuka Ikemoto, Kazuhiro Mio, Yuji C. Sasaki, Tatsuya Arai, Sakae Tsuda, Yoichi Shinkai, Masahiro Kuramochi   +9 more
wiley   +1 more source

Inserção de ambientes virtuais de aprendizagem com a utilização da computação gráfica no ensino de projeto arquitetônico [PDF]

, 2007
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Arquitetura.Esta pesquisa tem o objetivo de identificar formas de inserção, no ensino de projeto arquitetônico, de recursos tecnológicos ...
Félix, Luisa Rodrigues
core  

Protocol for quantifying miRNA trafficking across the endosomal membrane

FEBS Open Bio, EarlyView.
An in vitro protocol measures miRNA uptake into endosomes isolated from mammalian cell extracts, which are free of subcellular contaminants. Performed at 37 °C in the presence of ATP, it ensures the import of single‐stranded miRNA into the endosomal lumen.
Syamantak Ghosh, Kamalika Mukherjee, Suvendra N. Bhattacharyya   +2 more
wiley   +1 more source

Endoparasites of Steindachinerina brevipinna (Eigenmann and Eigenmann, 1889), collected in the tributaries Corvo and Guairacá of Paranapanema river, Paraná State, Brazil - doi: 10.4025/actascibiolsci.v32i2.4102

Acta Scientiarum: Biological Sciences, 2010
Steindachinerina brevipinna is a freshwater fish from the Curimatidae family, and its occurrence is restricted to some South American countries (Argentina, Brazil, Paraguay and Uruguay), distributed in the Paraguay, lower and upper Paraná and lower ...
Tiago Lopes Ceschini, Ricardo Massato Takemoto, Fábio Hideki Yamada, Luis Henrique de Aquino Moreira, Gilberto Cezar Pavanelli   +4 more
doaj   +1 more source

On the Distributability of Mobile Ambients [PDF]

Electronic Proceedings in Theoretical Computer Science, 2018
Modern society is dependent on distributed software systems and to verify them different modelling languages such as mobile ambients were developed. To analyse the quality of mobile ambients as a good foundational model for distributed computation, we analyse the level of synchronisation between distributed components that they can express.
Peters, Kirstin, Nestmann, Uwe
openaire   +4 more sources

Plasma EV Proteomics Identifies ECM Remodeling and Inflammatory Proteins LUM and C7 as Candidate Biomarkers in FSHD

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Facioscapulohumeral muscular dystrophy (FSHD) is one of the most debilitating and common muscular dystrophies. Despite its severity, no approved therapy exists for FSHD patients. However, several therapeutic candidates are currently under development, and some have recently entered clinical trials, marking the need for reliable ...
Mustafa Bilal Bayazit, Chiranth K. Nagaraj, Jackson S. Newell, Kim Truc Nguyen, Xilal Y. Rima, Jacob Doon‐Ralls, Eduardo Reátegui, Jeffrey M. Statland, Rabi Tawil, Kevin M. Flanigan, Scott Q. Harper, Nizar Y. Saad   +11 more
wiley   +1 more source

Integrated PANoptosis Profiling Identifies Immunosuppressive Subtypes and a Prognostic Signature With Functional Validation of MLKL in Glioblastoma

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective The prognosis of glioblastoma (GBM) remains highly unfavorable, largely due to high tumor heterogeneity and an immunosuppressive microenvironment. However, the functional role of PANoptosis in this context is poorly understood. Methods Patients were stratified via K‐means clustering. A risk score model was constructed using prognosis‐
Langfei Tian, Minghui Zhao, Yuanbo Hu, Kaiyue Wang, Haiguang Liu, Zetong Bai, Kebin Zheng   +6 more
wiley   +1 more source

Modelo de sistema tutorial inteligente para ambientes virtuais de aprendizagem baseado em agentes [PDF]

, 2013
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2013.A educação assistida por computador é cada vez mais explorada, assim como o uso de ambientes ...
Palomino, Cecilia Estela Giuffra
core  

Escenarios y ambientes de la Educación Física

Apunts: Educación Física y Deportes, 2011
La Educación Física necesita una constante variedad de escenarios para poder ofrecer a los niños y niñas unas clases que inviten a una práctica en las que ellos sean los verdaderos protagonistas y vivencien experiencias con impactos emocionales ...
Javier Olivera Betrán
doaj