Computing Knowledge in Security Protocols Under Convergent Equational Theories

The analysis of security protocols requires reasoning about the knowledge an attacker acquires by eavesdropping on network traffic. In formal approaches, the messages exchanged over the network are modelled by a term algebra equipped with an equational theory axiomatising the properties of the cryptographic primitives (e.g. encryption, signature). In this context, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a procedure for both problems under arbitrary convergent equational theories. Since the underlying problems are undecidable we cannot guarantee termination. Nevertheless, our procedure terminates on a wide range of equational theories. In particular, we obtain a new decidability result for a theory we encountered when studying electronic voting protocols. We also provide a prototype implementation.     

Experiences in building a Grid-based platform to serve Earth observation training activities

Earth observation data processing and storing can be done nowadays only using distributed systems. Experiments dealing with a large amount of data are possible within the timeframe of a lesson and can give trainees the freedom to innovate. Following these trends and ideas, we have built a proof-of-the-concept platform, named GiSHEO, for Earth observation educational tasks. It uses Grid computing technologies to analyze and store remote sensing data, and combines them with eLearning facilities. This paper provides an overview of the GiSHEO's platform architecture and of its technical and innovative solutions.     

Investigation of surface roughness in the milling of Al7075 and open-cell SiC foam composite and optimization of machining parameters

In the present study, aluminum alloy 7075 (Al7075)-based open-cell silicon carbide (SiC) foam composite was fabricated and the machinability of both Al7075 and the open-cell SiC foam Al metal matrix composite was investigated during milling using an uncoated carbide tool. The machining trials were conducted using the Taguchi L₂₇ full-factorial orthogonal array, and the milling parameters were optimized for surface roughness. Analysis of variance was employed to determine the effect of the cutting variables on surface roughness. The experimental results were evaluated by signal-to-noise ratio, 3D surface graphs, artificial neural networks (ANNs) and main effect graphs. The analysis results show that the feed rate was the most significant milling parameter affecting surface roughness of both Al7075 and the open-cell SiC foam composite. Prediction models have been developed for the surface roughness through regression analysis and ANNs. Confirmation experiments were performed to identify the performance of mathematical models, and the surface roughness was predicted with a mean squared error equal to 1.6 and 0.24 % in the milling of Al7075 and open-cell SiC foam composite, respectively. The test result showed that the three-dimensional open-pore SiC foam network reinforcement was restricted the movement of the soft matrix and provided an acceptable surface quality in the milling of MMCs.

     

Effects of Different Oil Sources and Residues on Biomass and Metabolite Production by Yarrowia lipolytica YB 423-12

Yarrowia lipolytica is known to have the ability to assimilate hydrophobic substrates like triglycerides, fats, and oils, and to produce single-cell oils, lipases, and organic acids. The aim of the present study was to investigate the effects of different oil sources (borage, canola, sesame, Echium, and trout oils) and oil industry residues (olive pomace oil, hazelnut oil press cake, and sunflower seed oil cake) on the growth, lipid accumulation, and lipase and citric acid production by Y. lipolytica YB 423-12. The maximum biomass and lipid accumulation were observed with linseed oil. Among the tested oil sources and oil industry residues, hazelnut oil press cake was the best medium for lipase production. The Y. lipolytica YB 423-12 strain produced 12.32 ± 1.54 U/mL (lipase activity) of lipase on hazelnut oil press cake medium supplemented with glucose. The best substrate for citric acid production was found to be borage oil, with an output of 5.34 ± 0.94 g/L. The biotechnological production of valuable metabolites such as single-cell oil, lipase, and citric acid could be achieved by using these wastes and low-cost substrates with this strain. Furthermore, the cost of the bio-process could also be significantly reduced by the utilization of various low-cost raw materials, residues, wastes, and renewable resources as substrates for this yeast.     

Dual detection biosensor based on porous silicon substrate

Due to the high surface-to-volume ratio (hundreds of m²/cm³) porous silicon became during the last years a good candidate material as substrate for biosensor application. Moreover, the versatility of surface chemistry allows different functionalization approaches and large number of molecules to be captured on well-defined areas. This paper reports a dual detection method for protein recognition processes developed on different nanostructured porous silicon (PS) substrates, based on using two complementary spectroscopic techniques: fluorescence and electrochemical impedance. The structures were tested for biomolecular recognition – biotin–strepavidin couples – in order to achieve an optimum surface for protein's immobilizations. Comparative analyses of the attachment degree and preservation of the biomolecules activity on the porous silicon surfaces and silicon slides are also described.     

Comparison of lactic acid bacteria diversity during the fermentation of Tarhana produced at home and on a commercial scale

Food Science and Biotechnology - In this study, lactic acid bacteria diversity during the fermentation of homemade and commercially prepared Tarhana, a traditional fermented cereal food from...     

The synthesis,characterisation and molecular structure of a new hetarylazoindole dye studied by X‐ray diffraction,spectral analysis and density functional theory calculation

1,2‐Dimethyl‐3‐(5‐methylisoxazol‐3‐yldiazenyl)‐1H‐indole was obtained by coupling 3‐amino‐5‐methylisoxazole with diazotised 1,2‐dimethylindole. It was characterised by proton and carbon nuclear magentic resonance, ultraviolet–visible, infrared and Raman spectra, and the X‐ray single crystal diffraction method. On the theoretical side, the molecular geometry, chemical shifts and the fundamental vibrational frequencies were evaluated using density functional theory. Time‐dependent density functional theory was used to evaluate the electronic excitation spectra. In addition, the scaled quantum mechanical approach was used to study the total energy distributions of the vibrational modes of the molecule. The results showed that the general agreement between experimental and calculated geometric parameters, chemical shifts and λ_max values are good. Excellent agreement was found between the calculated and experimental vibrational frequencies.     

Experimental investigation on flow improvement in compressor cascades

There is no general rule in the literature to help choose a correct flow control device for any given case of turbomachinery applications. This suggests individual optimization of flow control devices for each specific case. The objective of this study is to prove experimentally the benefits of passive control methods in improving the compressor performance. This allows to reduce the fuel consumption, leading to energy saving and reduction of atmospheric pollution. Two features have been controlled in this study: flow separation over the blade surfaces and the secondary flow over the cascade endwalls. Vortex generator ribs are tested on the blade suction side for flow reattachment on the blade surfaces, and low‐profile vortex generators are tested on the side walls of the compressor cascade against secondary flow losses. Different vortex generator designs are compared for total pressure recovery, flow turning, boundary layer characteristics, and pressure distributions over the endwalls. Copyright © 2016 John Wiley & Sons, Ltd.     

Study on the behavior of the trace metal and macro minerals in Mytilus galloprovincialis as a bioindicator species: the case of Marmara Sea, Turkey

Sea food is a major source of animal protein. Marine foods are very rich sources of mineral components. The total content of minerals in the raw flesh of marine fish and invertebrates is in the range of 0.6–1.5% wet weight. The contents of Na, K, Ca, Mg and P are up to 1 mg/100 g, whereas those of Fe, Zn, I are less than 1 mg/100 g. Mussels (Mytilus galloprovincialis) were investigated for macro and trace element composition throughout the year. Ranges of moisture, ash, protein and fat contents were 79.76–87.46 g/100 g, 1.06–2.06 g/100 g, 7.28–12.65 g/100 g and 0.33–3.49 g/100 g, respectively. While the highest protein and fat values were found in the summer (July–August), the highest moisture and ash contents were found in the winter (December–January). The contents of highest Na, K, Ca were found in the summer. Cadmium, lead and copper were found to be below the legislative limits throughout year. High levels of mercury were found in January and October. It should be discussed whether mussel may provide an alternative source of mineral for healthy nutrition.