-
1
المؤلفون: Jin, Hongyu, Papadimitratos, Panagiotis
المصدر: 20th Nordic Conference on Secure IT Systems, NordSec 2015 Lecture Notes in Computer Science. :47-63
مصطلحات موضوعية: Location-based service, Pseudonymous authentication, Security and privacy, Authentication, Data privacy, Encoding (symbols), Error analysis, Knowledge based systems, Location, Mobile devices, Telecommunication services, Basic protocols, Decentralized system, Location privacy protection, Privacy leakages, Security enhancements, Security threats, Sensitive informations, Location based services
وصف الملف: electronic
-
2Academic Journal
المؤلفون: S. N. Baranov, V. P. Kotlyarov
المصدر: Моделирование и анализ информационных систем, Vol 18, Iss 4, Pp 118-130 (2011)
مصطلحات موضوعية: requirements model, behavior traces, basic protocols, model scope, Information technology, T58.5-58.64
وصف الملف: electronic resource
-
3Academic Journal
المؤلفون: Avdesh, Avdesh, Chen, Mengqi, Martin-Iverson, Mathew T., Mondal, Alinda, Ong, Daniel, Rainey-Smith, Stephanie, Taddei, Kevin, Lardelli, Michael, Groth, David M., Verdile, Guiseppe, Martins, Ralph
المصدر: Research outputs 2012
مصطلحات موضوعية: [RSTDPub], Basic Protocols, Issue 69, Biology, Marine Biology, Zebrafish, Danio rerio, maintenance, breeding, feeding, raising, larvae, animal model, aquarium, Physical Sciences and Mathematics
-
4Academic Journal
المصدر: Modeling and Analysis of Information Systems; Том 18, № 4 (2011); 118-130 ; Моделирование и анализ информационных систем; Том 18, № 4 (2011); 118-130 ; 2313-5417 ; 1818-1015
مصطلحات موضوعية: model scope, behavior traces, basic protocols
وصف الملف: application/pdf
Relation: https://www.mais-journal.ru/jour/article/view/1103/816; Letichevsky A.A., Kapitonova J.V., Volkov V.A., Vyshemirskii V.V., Letichevsky Jr. A.A. Insertion Programming // Cybernetics and Systems Analysis. 2003. Volume 39, Issue 1 (January 2003). P. 16-26.; Letichevsky A.A., Kapitonova J.V., Kotlyarov V.P., Letichevsky O.O., Volkov V.V., Baranov S.N., Weigert T. Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications // Proc of ISSRE04 Workshop on Integrated Reliability Engineering (ISSRE04:WITUL), IRISA, Rennes France, 2004.; Летичевский О.А. Верификация и тестирование интерактивных систем, специфицированных базовыми протоколами: дис. . канд. физ.-мат. наук. Киев, 2005. 138 с.; Baranov S., Kotlyarov V., Letichevsky A., Drobintsev P. The technology of Automation Verification and Testing in Industrial Projects // Proc. of St. Petersburg IEEE Chapter, International Conference, May 18-21. St.Petersburg, Russia, 2005. P. 81-86.; Letichevsky A., Gilbert D. A Model for Interaction of Agents and Environments // D.Bert, C.Choppy, P.Moses (Eds), Resent Trends in Algebraic Development Techniques. 1999. LNCS 1827. P. 311-328.; Колчин А.В. Разработка инструментальных средств для проверки формальных моделей асинхронных систем: дис. . канд. физ.-мат. наук. Киев, 2009. 140 с.; Baranov S., Kapitonova J., Letichevsky A., Kolchin A., Letichevsky A. (Jr)., Radchenko V., Potiyenko S., Volkov V. Tools For Requirements Capturing Based on the Technology of Basic Protocols // Proc. of St. Petersburg IEEE Chapter, International Conference, May 18-21. St. Petersburg, Russia, 2005. P. 92-97.; Баранов С.Н., Котляров В.П., Летичевский А.А. Индустриальная технология автоматизации тестирования мобильных устройств на основе верифицированных поведенческих моделей проектных спецификаций требований: Международная научная конференция: космос, астрономия и программирование. Лавровские чтения. 20-22 мая, мат.-мех. факультет СПбГУ. СПб, 2008. С.134-145.; Recommendation ITU-T Z.151 User requirements notation (URN) - Language Definition, 2008.; https://www.mais-journal.ru/jour/article/view/1103; undefined
-
5Academic Journal
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: DOI, 10.3791/3715 Keywords, Basic Protocols, Issue 58, Multiplexed Fluorometric ImmunoAssay, MFIA, bead, serum, BAG, SPE, aggregate, microarray Date Published, 12/12/2011
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1028.5042; http://www.jove.com/pdf/3715/jove-protocol-3715-multiplexed-fluorometric-immunoassay-testing-methodology/
-
6Academic Journal
المؤلفون: Hoepman, J.H.
المصدر: 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids, CPSR-SG 2017. 21 April 2017, 3-7
مصطلحات موضوعية: Fault tolerance, Privacy friendly aggregation, Electric power transmission networks, Smart meters, Basic protocols, Consensus protocols, Crash failures, Lower bounds, Meter readings, Privacy problems, Smart grid, Smart power grids, ICT, CSR - Cyber Security & Robustness, TS - Technical Sciences
Relation: uuid:57c8b5c4-be1a-4f8c-bc7b-39d7101a8ecd; 762769; http://resolver.tudelft.nl/uuid:57c8b5c4-be1a-4f8c-bc7b-39d7101a8ecd
-
7
المؤلفون: Tong Y, Lee, Kyoung-Hye, Yoon, Jin I, Lee
المصدر: Journal of visualized experiments : JoVE. (118)
مصطلحات موضوعية: Soil, Phenotype, fungi, Adaptation, Biological, Animals, Environment, Caenorhabditis elegans, Basic Protocols, Ecosystem
-
8
مصطلحات موضوعية: Privacy friendly aggregation, TS - Technical Sciences, Smart meters, Fault tolerance, Basic protocols, Lower bounds, Smart grid, Meter readings, Electric power transmission networks, Consensus protocols, CSR - Cyber Security & Robustness, Smart power grids, ICT, Crash failures, Privacy problems
-
9
المؤلفون: Jaap-Henk Hoepman
المصدر: 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مصطلحات موضوعية: Engineering, Smart meter, Smart meters, Crash, 02 engineering and technology, Basic protocols, Smart grid, Computer security, computer.software_genre, Meter readings, Set (abstract data type), Electric power transmission networks, CSR - Cyber Security & Robustness, Smart power grids, 0202 electrical engineering, electronic engineering, information engineering, Metre, Crash failures, Protocol (science), Privacy friendly aggregation, TS - Technical Sciences, business.industry, Aggregate (data warehouse), Fault tolerance, 020206 networking & telecommunications, Lower bounds, Consensus protocols, ICT, Digital Security, Privacy problems, business, computer
وصف الملف: application/pdf
-
10
المؤلفون: E. Alfonso Romero-Sandoval, Candler Paige, Joseph Canterbury, Sarah M. Sweitzer, Bailey Hill
المصدر: Journal of Visualized Experiments.
مصطلحات موضوعية: biology, General Immunology and Microbiology, Computer science, General Chemical Engineering, General Neuroscience, fungi, Aquaculture, biology.organism_classification, Housing, Animal, General Biochemistry, Genetics and Molecular Biology, Fish tank, Engineering management, Facility Design and Construction, Fish
, Animals, Animal Husbandry, Basic Protocols, Zebrafish, Limited resources -
11
المؤلفون: Maica Llavero Hurtado, Karla J. Oldknow, Thomas W. Marchant, Laura C. Graham, Thomas M. Wishart, Thomas H. Gillingwater, Samantha L. Eaton, Colin Farquharson
المصدر: Journal of Visualized Experiments : JoVE
Eaton, S L, Hurtado, M L, Suchacki, K, Graham, L, Marchant, T W, Gillingwater, T H, Farquharson, C & Wishart, T M 2014, ' A Guide to Modern Quantitative Fluorescent Western Blotting with Troubleshooting Strategies ', Journal of Visualized Experiments (JoVE), no. 93, e52099 . https://doi.org/10.3791/52099مصطلحات موضوعية: Brain chemistry, General Chemical Engineering, Blotting, Western, Coloring agents, Muscle Proteins, Nerve Tissue Proteins, Computational biology, Troubleshooting, Biology, Bioinformatics, Fluorescence, General Biochemistry, Genetics and Molecular Biology, Mice, Expression analysis, Animals, Horses, Issue 93, Coloring Agents, Muscle, Skeletal, Basic Protocols, Brain Chemistry, Sheep, fluorescent, western blotting, quantitative analysis, General Immunology and Microbiology, General Neuroscience, loading control, Proteins, Blotting western, Blot, protein, LI-COR
وصف الملف: application/pdf
-
12
المؤلفون: Sanjeev Galande, Ram Kulkarni
مصطلحات موضوعية: Nervous system, Tentacle, General Immunology and Microbiology, Hydra, General Chemical Engineering, General Neuroscience, Anatomy, Glutathione, Feeding Behavior, Biology, General Biochemistry, Genetics and Molecular Biology, Predation, Cell biology, chemistry.chemical_compound, medicine.anatomical_structure, chemistry, Predatory Behavior, Molecular mechanism, medicine, Animals, Lernaean Hydra, Cnidocyte, Basic Protocols
-
13Academic Journal
المؤلفون: Cocchiaro, Jordan L., Rawls, John F.
المصدر: Journal of Visualized Experiments - JoVE, 72
مصطلحات موضوعية: microsurgery, Anatomy, microgavage, epithelium, Surgery, Danio rerio, Zebrafish, animal model, larvae, Physiology, Molecular Biology, microscopy, Issue 72, intestine, gut motility, gavage, Developmental Biology, lumen, barrier function, Basic Protocols
Relation: https://doi.org/10.17615/4vs9-8n55; https://cdr.lib.unc.edu/downloads/w9505733w?file=thumbnail; https://cdr.lib.unc.edu/downloads/w9505733w
-
14
المصدر: Journal of Visualized Experiments.
مصطلحات موضوعية: Male, medicine.medical_specialty, animal structures, General Chemical Engineering, Uterus, Biology, General Biochemistry, Genetics and Molecular Biology, Andrology, Mice, Pregnancy, Vasectomy, medicine, Animals, Blastocyst, Pseudopregnancy, Basic Protocols, Gynecology, Fetus, General Immunology and Microbiology, General Neuroscience, Embryogenesis, Pipette, Embryo, Embryo Transfer, Embryo transfer, medicine.anatomical_structure, In utero, Models, Animal, embryonic structures, Female
-
15
المؤلفون: Dirk-Jan Scheffers, Ewa Król
المساهمون: Groningen Biomolecular Sciences and Biotechnology, Molecular Microbiology
المصدر: Journal of Visualized Experiments : JoVE
Journal of Visualized Experiments. JOURNAL OF VISUALIZED EXPERIMENTS
ISSUE=81;ISSN=1940-087X;TITLE=Journal of Visualized Experiments
Scopus-Elsevierمصطلحات موضوعية: cell division, Light, GTP', Protein polymerization, General Chemical Engineering, sedimentation assay, macromolecular substances, Bacillus subtilis, GTPase, Buffers, medicine.disease_cause, FtsZ, light scattering, physiological processes, General Biochemistry, Genetics and Molecular Biology, GTP Phosphohydrolases, Polymerization, Bacterial Proteins, Escherichia coli, medicine, Scattering, Radiation, Basic Protocols, protein polymerization, chemistry.chemical_classification, Bacteriological Techniques, biology, General Immunology and Microbiology, General Neuroscience, Polymer, biology.organism_classification, Cytoskeletal Proteins, Biochemistry, chemistry, biology.protein, bacteria, Issue 81, Guanosine Triphosphate, biological phenomena, cell phenomena, and immunity
وصف الملف: application/pdf
-
16
المؤلفون: Skye Rasmussen, Chereen Collymore, Ravi J Tolwani
المصدر: Journal of Visualized Experiments.
مصطلحات موضوعية: Male, Pathology, medicine.medical_specialty, General Immunology and Microbiology, General Chemical Engineering, General Neuroscience, fungi, Administration, Oral, Pharmacology, Biology, biology.organism_classification, Oral cavity, General Biochemistry, Genetics and Molecular Biology, Animal model, Pregnancy, In vivo, medicine, Animals, Fish
, Female, Basic Protocols, Intubation, Gastrointestinal, Zebrafish -
17Academic Journal
المصدر: Biology Faculty Publications
مصطلحات موضوعية: Basic Protocols, Issue 47, Invertebrate, Crayfish, Modeling, Student laboratory, Nerve cord, Biology
وصف الملف: application/pdf
Relation: https://uknowledge.uky.edu/biology_facpub/73; https://uknowledge.uky.edu/cgi/viewcontent.cgi?article=1072&context=biology_facpub
-
18
المؤلفون: Maitreya J. Dunham, Emily O. Kerr, Aaron W. Miller, Corrie Befort
المصدر: Journal of Visualized Experiments : JoVE
مصطلحات موضوعية: Physiology, General Chemical Engineering, yeast, Biochemistry, Multiplexing, Ministat, arrays, Throughput (business), Biological Phenomena, Microbiological Phenomena, chemostat, 0303 health sciences, Experimental evolution, General Neuroscience, Eukaryota, Metabolic Phenomena, Genomics, Limiting, Replicate, Life sciences, Cellular Biology, Genetic Phenomena, Cytological Techniques, Environment controlled, high throughput, Chemostat, Biology, Microbiology, General Biochemistry, Genetics and Molecular Biology, Cell Physiological Phenomena, 03 medical and health sciences, Continuous culture, E. coli, evolution, Genetics, experimental evolution, Issue 72, Basic Protocols, Molecular Biology, 030304 developmental biology, cell culture, Bacteria, General Immunology and Microbiology, 030306 microbiology, business.industry, Biotechnology, Saccharomycetales, Biochemical engineering, business, Adaptive evolution
-
19
المؤلفون: Siddharth Tiwari, Lukasz L. Stelinski
المصدر: Journal of Visualized Experiments : JoVE
مصطلحات موضوعية: Male, General Chemical Engineering, Biochemistry, Pheromones, insect model, anthropod, Phototaxis, Organic Chemicals, chemotaxis, Behavior, Animal, biology, Ecology, General Neuroscience, Eukaryota, Life Sciences (General), psyllid, Attraction, Chemical ecology, Sex pheromone, Female, T-maze, Biological system, Behavioral Sciences, olfaction, attraction, Chemical Actions and Uses, olfactometer, Olfaction, repulsion, General Biochemistry, Genetics and Molecular Biology, Animals, Issue 72, Pesticides, Basic Protocols, Maze Learning, Pest Control, Biological, Molecular Biology, odorant, Arthropods, Behavior, General Immunology and Microbiology, fungi, chemical ecology, Olfactory Perception, biology.organism_classification, Arthropod behavior, Olfactometer, Odor, Diaphorina citri, Insect Repellents, Odorants, insect, Arthropod, Entomology
-
20
المؤلفون: Elton Machholz, Guy B Mulder, Brian F. Corning, Kathleen R. Pritchett-Corning, Casimira Ruiz
مصطلحات موضوعية: Male, Veterinary medicine, General Immunology and Microbiology, business.industry, General Chemical Engineering, General Neuroscience, Drug Administration Routes, medicine.disease, General Biochemistry, Genetics and Molecular Biology, Administration (probate law), Oral gavage, Rats, Immobilization, Mice, Medicine, Animals, Medical emergency, business, Basic Protocols