Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE by Lisong Wang, Miaofang Chen, Jun Hu

“…Firstly, we define semantic mapping from key concepts of configuration (such as modules, partitions, memory, process, and communications) to components of MARTE element and propose a method for model transformation between XML-formatted configuration information and MARTE models. …”
Get full text

Fast real-time monitoring of entacapone crystallization and characterization of polymorphs via Raman spectroscopy, statistics and SWAXS by Jednačak Tomislav, Hodzic Aden, Scheibelhofer Otto, Marijan Marijan, Khinast Johannes G., Novak Predrag

Get full text

A TEI Schema for the Representation of Computer-mediated Communication by Michael Beißwenger, Maria Ermakova, Alexander Geyken, Lothar Lemnitzer, Angelika Storrer

“…The paper presents an XML schema for the representation of genres of computer-mediated communication (CMC) that is compliant with the encoding framework defined by the TEI. …”
Get full text

Research on the Development Approach for Reusable Model in Parallel Discrete Event Simulation by Jianbo Li, Yiping Yao, Wenjie Tang, Feng Zhu

“…To address these issues, we first explored an XML-based model description file which completed RCMF as the model representation and then proposed a RCMF model development tool—SuKit. …”
Get full text

Evaluation of Mango Byproduct Extracts as Antioxidant Against Pb-Acetate-Induced Oxidative Stress and Genotoxicity in Mice by Makawy Aida I. El, Ashoush Ihab S., Abd-Elmoneim Omaima M.

Get full text

Identification of Bovine, Pig and Duck Meat Species in Mixtures and in Meat Products on the Basis of the mtDNA Cytochrome Oxidase Subunit I (COI) Gene Sequence by Spychaj Anita, Szalata Marlena, Słomski Ryszard, Pospiech Edward

Get full text

1H NMR-Based Metabolic Profiling of Urine from Mice Fed Lentinula edodes-Derived Polysaccharides by Xu Xiaofei, Yang Jiguo, Ning Zhengxiang, Zhang Xuewu

Get full text

Characterization of Semolina Protein Film with Incorporated Zinc Oxide Nano Rod Intended for Food Packaging by Jafarzadeh Shima, Alias AbdKarim, Ariffin Fazilah, Mahmud Shahrom

Get full text

Antibacterial and quorum sensing regulatory activities of some traditional Eastern-European medicinal plants by Tolmacheva Anna A., Rogozhin Eugene A., Deryabin Dmitry G.

Get full text

Longer Breastfeeding in Infancy Decreases Systolic Hypertension Risk in Young Adults by Rak Karolina, Kornafel Danuta, Bronkowska Monika

Get full text

Effect of Quantity of Low–Methoxyl Pectin on Physical Properties of Freeze–Dried Strawberry Jellies by Ciurzyńska Agnieszka, Lenart Andrzej, Karwosińska Joanna

Get full text

Biopharmaceutical characterisation of ciprofloxacin-metallic ion interactions: Comparative study into the effect of aluminium, calcium, zinc and iron on drug solubility and dissolu... by Stojković Aleksandra, Tajber Lidia, Paluch Krzysztof J., Djurić Zorica, Parojčić Jelena, Corrigan Owen I.

Get full text

Effect of pH Changes on Antioxidant Capacity and the Content of Betalain Pigments During the Heating of a Solution of Red Beet Betalains by Mikołajczyk-Bator Katarzyna, Czapski Janusz

Get full text

Effects of Anthocyanin-Rich Popping Maize Flour on the Phenolic Profile and the Antioxidant Capacity of Mix-Bread and Its Physical and Sensory Properties by Simić Marijana, Žilić Slađana, Šimuruna Olivera, Filipčev Bojana, Škrobot Dubravka, Vančetović Jelena

Get full text

Comparative bioavailability of two oral formulations of clopidogrel: Determination of clopidogrel and its carboxylic acid metabolite (SR26334) under fasting and fed conditions in h... by Brvar Nina, Lachance Sylvain, Lévesque Ann, Breznik Marjanca, Cvitkovič Marčič Lea, Merslavič Mateja, Grabnar Iztok, Mateovič-Rojnik Tatjana

Get full text

Changes in Enzymatic Activity of Fish and Slaughter Animals Meat after High Pressure Treatment at Subzero Temperatures by Malinowska-Pańczyk Edyta, Kołodziejska Ilona

Get full text

Ultra-high-resolution Mass Spectra of Dissolved Organic Matter in the Absorption Mode by Rong QIN, Lun YANG, Qing-long FU

Get full text

Preliminary Study on Preparation Method of Gas Simulation Source Based on Silicon Aerogel by Juhan LAI, Wen XIA, Shunhe YAO, Lijun XU, Yuntao LIU, Lingze MENG, Junbo ZHANG, Yuanqiao LI

Get full text

Modelling the Colour of Strawberry Spread During Storage, Including Effects of Technical Variations by Kadivec Mirta, Tijskens Leopold M.M., Kopjar Mirela, Simčič Marjan, Požrl Tomaž

Get full text

Selected Rheological Properties of RS3/4 Type Resistant Starch by Kapelko-Żeberska Małgorzata, Zięba Tomasz, Spychaj Radosław, Gryszkin Artur

Get full text