Titlebook: Information and Communication Technologies in Education, Research, and Industrial Applications; 15th International C Vadim Ermolayev,Frédér

Nonporous

Oleksandr Letychevskyi,Volodymyr Peschanenko,Maksym Poltoratskyi,Yuliia Tarasichents of this volume provide a cross-section of current concerns and interests in computational statistics. A dominating topic is the application of artificial intelligence to statistics (and vice versa), where systems deserving the label" expert systems" are just beginning to emerge from the haze of good inte978-3-7908-0411-9978-3-642-46900-8

MUTE

Anatoliy Doroshenko,Oleksii Beketov,Mykola Bondarenko,Olena Yatsenkon to the classical laminate theory based on the theory for plane elasticity elements and classical (shear-rigid) plate elements. The focus is on unidirectional lamina which can be described based on orthotropic978-3-031-32392-8978-3-031-32390-4Series ISSN 1869-8433 Series E-ISSN 1869-8441

你正派

合唱團(tuán)

無(wú)能力

Anastasiia Strielkina,Bohdan Volochiy,Vyacheslav Kharchenko,Serhiy Volochiy

全部逛商店

逃避系列單詞

Optimized Term Extraction Method Based on Computing Merged Partial C-Valuesbstantial computational resource and human effort. Automated term extraction (ATE) is an important step within this task in our OntoElect approach. It outputs the bags of terms extracted from incrementally enlarged partial document collections for measuring terminological saturation. Saturation is m

飛來(lái)飛去真休

capsule

Program-Oriented Logics of Renominative Level with Extended Renomination and Equalityram properties. Among various program logics, Floyd-Hoare logic and its variants take a special place because of its naturalness and simplicity. But such logics are oriented on total pre- and post-conditions, and in the case of partial conditions they become unsound. Different methods to overcome th

Mets552

SMT-LIB Theory of Nominative Data nominative data and functions, and describe a calculus for the Theory of Nominative Data. By using nominative data, we can increase the adequacy level of representation of data structures, functions, and compositions that are used in programming languages. Thus, in terms of composition-nominative a