Avast-CTU Public CAPE Dataset

There is a limited amount of publicly available data to support research in malware analysis technology. Particularly, there are virtually no publicly available datasets generated from rich sandboxes such as Cuckoo/CAPE. The benefit of using dynamic sandboxes is the realistic simulation of file execution in the target machine and obtaining a log of such execution. The machine can be infected by malware hence there is a good chance of capturing the malicious behavior in the execution logs, thus allowing researchers to study such behavior in detail. Although the subsequent analysis of log information is extensively covered in industrial cybersecurity backends, to our knowledge there has been only limited effort invested in academia to advance such log analysis capabilities using cutting edge techniques. We make this sample dataset available to support designing new machine learning methods for malware detection, especially for automatic detection of generic malicious behavior. The dataset has been collected in cooperation between Avast Software and Czech Technical University - AI Center (AIC)

Możliwości optymalizacji geometrii uzębienia HCR pod kątem jego uszkodzenia przez pitting

The gearing contact strength which is manifested by pitting damage on its teeth flanks is one of the most important problems to need solve in the process of gearing design and calculation. According to nowadays valid standards such calculations can be solved with high level of reliability for all usual gearing types. Suitable calculations for strain and working life of HCR gears has not been sufficiently researched up-to-date. It has been identified that in HCR gears some different process of pitting birth arose during gears working process. Therefore it is actual to deal with optimization of HCR gearing just from pitting damage point of view.Wytrzymałość stykowa uzębienia, która przejawia się uszkodzeniem przez pitting na bokach zębów, jest jednym z najważniejszych problemów, które należy rozwiązać w procesie projektowania oraz obliczeniach uzębienia. Zgodnie z obecnie obowiązującymi normami, takie obliczenia można wykonać z wysoką niezawodnością dla normalnych typów uzębienia. Odpowiednie obliczenia wytrzymałości oraz trwałości dla uzębienia HCR nie zostały dotychczas zbadane, ponieważ powstanie pittingu podczas eksploatacji uzębienia HCR przebiega nieco inaczej niż w profilach standardowych. Właśnie dlatego należy zajmować się optymalizacją uzębienia HCR pod tym kątem

Sequence-Form Algorithm for Computing Stackelberg Equilibria in Extensive-Form Games

Stackelberg equilibrium is a solution concept prescribing for a player an optimal strategy to commit to, assuming the opponent knows this commitment and plays the best response. Although this solution concept is a cornerstone of many security applications, the existing works typically do not consider situations where the players can observe and react to the actions of the opponent during the course of the game. We extend the existing algorithmic work to extensive-form games and introduce novel algorithm for computing Stackelberg equilibria that exploits the compact sequence-form representation of strategies. Our algorithm reduces the size of the linear programs from exponential in the baseline approach to linear in the size of the game tree. Experimental evaluation on randomly generated games and a security-inspired search game demonstrates significant improvement in the scalability compared to the baseline approach

Deux nouvelles stèles néolithiques en Provence : Beyssan à Gargas (Vaucluse)

Bosansky Christiane, D'Anna André. Deux nouvelles stèles néolithiques en Provence : Beyssan à Gargas (Vaucluse). In: Bulletin de la Société préhistorique française, tome 112, n°1, 2015. pp. 145-147

Justification of the Choice of Parameters for the Gear Power Skiving Operation Based on Computer Simulation

The paper presents the results of modelling and investigation of the gear cutting process using the power skiving method. The investigations are based on the developed geometrical model of undeformed chips. The approach is based on the original method of forming an integral three-dimensional model on the basis of discrete cross-sections of tool tooth in their successive positions on the cutting path, taking into account the shape and size of the gap previously formed by this tooth. The formulae for calculating the cutting force and the forces acting on the work gear and tool are derived as a function of the angular position of the cutter. The dependence of this force on the angle of tool shaft setting and the angle of inclination of gear teeth is studied. The formulae take into account how the cutting intensity changes due to the peculiarities of the kinematics of power skiving technology and the influence of the actual geometric parameters of the tool on the cutting force. Based on the obtained dependencies, a methodology has been developed for the selection of the axial feed rate and spindle set angle to ensure a compromise between the required productivity and the accuracy of the gear profile

Ocena właściwości wybranych powłok stali 16MnCr5 pod kątem ich zastosowania w kołach zębatych

The work deals with attribute ratings of chosen hard thin coatings on substratum 16MnCr5. The work contains their tribological properties and based on review, hard thin coating applicable to material used for the manufacture of gear wheels of type 16 MnCr5 is designed aiming to increase surface carrying capacity of gear wheels made from 16MnCr5 material.Artykuł zawiera ocenę właściwości wybranych twardych, cienkich powłok substratu 16MnCr5. W niniejszym artykule zostały opisane ich właściwości trybiologiczne oraz na podstawie krytycznej oceny, została zaprojektowana twarda, cienka powłoka stosowana jako materiał do produkcji kół zębatych 16MnCr5 w celu zwiększenia wytrzymałości powierzchni kól zębatych wykonanych z materiału 16MnCr5

Combining Compact Representation and Incremental Generation in Large Games with Sequential Strategies

Many search and security games played on a graph can be modeled as normal-form zero-sum games with strategies consisting of sequences of actions. The size of the strategy space provides a computational challenge when solving these games. This complexity is tackled either by using the compact representation of sequential strategies and linear programming, or by incremental strategy generation of iterative double-oracle methods. In this paper, we present novel hybrid of these two approaches: compact-strategy double-oracle (CS-DO) algorithm that combines the advantages of the compact representation with incremental strategy generation. We experimentally compare CS-DO with the standard approaches and analyze the impact of the size of the support on the performance of the algorithms. Results show that CS-DO dramatically improves the convergence rate in games with non-trivial suppor