A Formal Requirements Model, Used in the Process of Application Code and Test Code Generation

Autor: S. N. Baranov, V. P. Kotlyarov

Publikováno v: Моделирование и анализ информационных систем, Vol 18, Iss 4, Pp 118-130 (2011)

The considered model is used in manual development of application specifications and is based on the theory of basic protocols and respective symbolic verification tools. Means to limit the behavioral characteristics of the model still matching the s

Externí odkaz: https://doaj.org/article/643a318a69f74b728d0975b03824e56e

Cultivation of Caenorhabditis elegans in Three Dimensions in the Laboratory

Autor: Tong Y, Lee, Kyoung-Hye, Yoon, Jin I, Lee

Publikováno v: Journal of visualized experiments : JoVE. (118)

The use of genetic model organisms such as Caenorhabditis elegans has led to seminal discoveries in biology over the last five decades. Most of what we know about C. elegans is limited to laboratory cultivation of the nematodes that may not necessari

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pmid________::49c5a22fcb98a5b9617c53d775ce5018
https://pubmed.ncbi.nlm.nih.gov/28060308

Privacy friendly aggregation of smart meter readings, even when meters crash

Autor: Jaap-Henk Hoepman

Publikováno v: 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids, CPSR-SG 2017. 21 April 2017, 3-7
CPSR-SG'17: Proceedings of the 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids, Pittsburgh, PA, USA — April 18-21, 2017, pp. 3-7
CPSR-SG'17: Proceedings of the 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids, Pittsburgh, PA, USA — April 18-21, 2017, 3-7. New york : ACM
STARTPAGE=3;ENDPAGE=7;TITLE=CPSR-SG'17: Proceedings of the 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids, Pittsburgh, PA, USA — April 18-21, 2017
SPSR-SG@CPSWeek

A well studied privacy problem in the area of smart grids is the question of how to aggregate the sum of a set of smart meter readings in a privacy friendly manner, i.e., in such a way that individual meter readings are not revealed to the adversary.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eee7ae493ab3ac3e444a6fd0be511933
http://resolver.tudelft.nl/uuid:57c8b5c4-be1a-4f8c-bc7b-39d7101a8ecd

Construction of an Affordable and Easy-to-Build Zebrafish Facility

Autor: E. Alfonso Romero-Sandoval, Candler Paige, Joseph Canterbury, Sarah M. Sweitzer, Bailey Hill

Publikováno v: Journal of Visualized Experiments.

In vivo biomedical research is pivotal to translate in vitro findings into clinical advances. Small academic institutions with limited resources find it virtually impossible to build and maintain typical rodent facilities for research. Zebrafish rese

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::49c329557a95bd612e73c24a8ebeed4b
https://doi.org/10.3791/51989-v

Measuring Glutathione-induced Feeding Response in Hydra

Autor: Sanjeev Galande, Ram Kulkarni

Hydra is among the most primitive organisms possessing a nervous system and chemosensation for detecting reduced glutathione (GSH) for capturing the prey. The movement of prey organisms causes mechanosensory discharge of the stinging cells called nem

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::524beda9a4ea38fe5911dd7c92d156ea
https://europepmc.org/articles/PMC4354099/