標(biāo)題: Titlebook: Information and Communication Technologies in Education, Research, and Industrial Applications; 15th International C Vadim Ermolayev,Frédér [打印本頁(yè)] 作者: ALOOF 時(shí)間: 2025-3-21 19:51
書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications影響因子(影響力)
書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications影響因子(影響力)學(xué)科排名
書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications網(wǎng)絡(luò)公開度
書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications被引頻次
書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications被引頻次學(xué)科排名
書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications年度引用
書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications年度引用學(xué)科排名
書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications讀者反饋
書目名稱Information and Communication Technologies in Education, Research, and Industrial Applications讀者反饋學(xué)科排名
作者: 改正 時(shí)間: 2025-3-21 22:05 作者: 有惡意 時(shí)間: 2025-3-22 01:38 作者: LATER 時(shí)間: 2025-3-22 08:17
Expressibility in the Kleene Algebra of Partial Predicates with the Complement Compositionnvestigate the expressibility in the first-order Kleene algebra with predicate complement. The obtained results may be useful for software verification using an extension of the Floyd-Hoare logic for partial pre- and postconditions.作者: 顯而易見 時(shí)間: 2025-3-22 12:19 作者: 他姓手中拿著 時(shí)間: 2025-3-22 13:59 作者: Pseudoephedrine 時(shí)間: 2025-3-22 19:44 作者: CBC471 時(shí)間: 2025-3-22 23:51
1865-0929 es in ICT and IS research; ICT in teaching, learning, and education management; applications of ICT in industrial and public practice..978-3-030-39458-5978-3-030-39459-2Series ISSN 1865-0929 Series E-ISSN 1865-0937 作者: freight 時(shí)間: 2025-3-23 01:47
Automated Design of Parallel Programs for Heterogeneous Platforms Using Algebra-Algorithmic Toolsization and uses rewriting rules to transform programs. The application of the approach is illustrated by an example of developing an OpenCL interpolation program used in numerical weather forecasting. The results of the experiment consisting in executing the generated OpenCL program on a graphics processing unit are given.作者: 不如屎殼郎 時(shí)間: 2025-3-23 08:52 作者: In-Situ 時(shí)間: 2025-3-23 12:49 作者: 肉體 時(shí)間: 2025-3-23 14:02 作者: 有常識(shí) 時(shí)間: 2025-3-23 20:33 作者: 拋物線 時(shí)間: 2025-3-24 01:16
Information and Communication Technologies in Education, Research, and Industrial Applications978-3-030-39459-2Series ISSN 1865-0929 Series E-ISSN 1865-0937 作者: 態(tài)學(xué) 時(shí)間: 2025-3-24 05:32
https://doi.org/10.1007/978-3-030-39459-2artificial intelligence; computer networks; computer programming; computer systems; databases; distribute作者: Overthrow 時(shí)間: 2025-3-24 09:06 作者: 離開 時(shí)間: 2025-3-24 12:02
Information and Communication Technologies in Education, Research, and Industrial Applications15th International C作者: eardrum 時(shí)間: 2025-3-24 18:32 作者: 火車車輪 時(shí)間: 2025-3-24 21:48 作者: 乏味 時(shí)間: 2025-3-24 23:16 作者: Vulnerable 時(shí)間: 2025-3-25 05:28
SMT-LIB Theory of Nominative Datas. Now, it is one of the most used libraries for SMT systems. Formulas in SMT-LIB format are accepted by the great majority of current SMT solvers. The theory of nominative data is of interest for software modelling and verification, but currently lacks support in the SMT-LIB format. In the article,作者: 混亂生活 時(shí)間: 2025-3-25 08:04
The Use of Analogy to Simplify the Mathematical Description of the Didactical Processtion of the didactical process in time and prediction of effects also after its completion in the long-term. Based on the simulation, you can design a teaching process, as well as draw conclusions about the process itself and the composition of groups. Selected examples with a brief description have作者: 精確 時(shí)間: 2025-3-25 11:42
System for Testing Physics Knowledgeponse pattern..Each such template can be used both in generating similarity algorithms for specific multiple tests, and in algorithms for automatically checking the correctness of answers. The proposed method allows describing a relatively simple class of specific tests. An important characteristic 作者: 一小塊 時(shí)間: 2025-3-25 19:31 作者: gain631 時(shí)間: 2025-3-25 23:52
Model of Functional Behavior of Healthcare Internet of Things Device Using Erlang Phase Methodls for the exponential and Erlang’s distribution laws are presented and include four research cases to check the relevance of the obtained results. The obtained results show the limit value of the task non-performing probability.作者: 實(shí)施生效 時(shí)間: 2025-3-26 02:35 作者: 處理 時(shí)間: 2025-3-26 04:28
ltrimethylammonium bromide (CTAB) methods, on the iron-based material surface. All samples were characterized by a variety of analytical tools, which included scanning electron microscopy (SEM), electron-dispersive X-ray microanalysis (EDS), and EDS mapping to elucidate materials’ morphology as well作者: NAUT 時(shí)間: 2025-3-26 10:05
ltrimethylammonium bromide (CTAB) methods, on the iron-based material surface. All samples were characterized by a variety of analytical tools, which included scanning electron microscopy (SEM), electron-dispersive X-ray microanalysis (EDS), and EDS mapping to elucidate materials’ morphology as well作者: 冥界三河 時(shí)間: 2025-3-26 16:15
Victoria Kosa,David Chaves-Fraga,Hennadii Dobrovolskyi,Vadim Ermolayevn process. ..?.The second part of this book provides a systematic and thorough introduction 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 orthotropic作者: cauda-equina 時(shí)間: 2025-3-26 17:36 作者: objection 時(shí)間: 2025-3-26 21:04
Mykola Nikitchenko,Oksana Shkilniak,Stepan Shkilniaked their effects on soil microbial biomass available on the vertical and horizontal distribution. However MSW compost application could contaminated agricultural soil by heavy metals, toxic compounds and pathogens. Concerning the heavy metals pollution of agricultural soils is related essentially to作者: avulsion 時(shí)間: 2025-3-27 03:22 作者: 嘲弄 時(shí)間: 2025-3-27 06:12 作者: 輕而薄 時(shí)間: 2025-3-27 13:08
Pawe? Plaskura and sparse homogeneous distributions in the relevant ecological parameter range where there is subcriticality for a plant-ground water model to be treated in Chapter?. Finally these results are discussed in the context of Matkowsky’s?(Bull Amer Math Soc 76:646–649, 1970, [78]) two-time nonlinear st作者: 反叛者 時(shí)間: 2025-3-27 17:26 作者: 脆弱帶來 時(shí)間: 2025-3-27 20:42 作者: 夾死提手勢(shì) 時(shí)間: 2025-3-28 01:13
Vladimir Soloviev,Natalia Moiseienko,Olena Tarasovalitics of friendship, their findings about the possibilities of interpersonal transcendence take their cue from Derrida’s meditation: a melancholy tone of comradeship accepting the impossibility of forging a true connection with the ‘Other’; this is also as much a problem of language — and, in accor作者: cushion 時(shí)間: 2025-3-28 05:45 作者: 沒有希望 時(shí)間: 2025-3-28 07:56 作者: inchoate 時(shí)間: 2025-3-28 13:07 作者: Nonporous 時(shí)間: 2025-3-28 15:11
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 時(shí)間: 2025-3-28 18:58
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 作者: 你正派 時(shí)間: 2025-3-29 00:09 作者: 合唱團(tuán) 時(shí)間: 2025-3-29 03:10 作者: 無能力 時(shí)間: 2025-3-29 09:44
Anastasiia Strielkina,Bohdan Volochiy,Vyacheslav Kharchenko,Serhiy Volochiy作者: 全部逛商店 時(shí)間: 2025-3-29 13:47 作者: 逃避系列單詞 時(shí)間: 2025-3-29 18:02
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作者: 飛來飛去真休 時(shí)間: 2025-3-29 22:39 作者: capsule 時(shí)間: 2025-3-30 00:02
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 時(shí)間: 2025-3-30 07:49
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作者: Instrumental 時(shí)間: 2025-3-30 10:31
Intelligent Support of the Business Process Model Analysis and Improvement Method process models used to analyze and improve depicted business processes. Therefore, this article proposes a method for business process model analysis and improvement. The lifecycle of Business Process Management from business process modeling to applying the Business Intelligence and process mining作者: archenemy 時(shí)間: 2025-3-30 14:06
The Use of Analogy to Simplify the Mathematical Description of the Didactical Processical process can be represented in the intuitive form of a network of connected elements in a similar way to the electrical circuits. The network represents the differential equations describing a dynamic system which models the information flows as well as learning and forgetting phenomena. The sol作者: CLAY 時(shí)間: 2025-3-30 20:07 作者: Perceive 時(shí)間: 2025-3-30 21:26 作者: neolith 時(shí)間: 2025-3-31 01:33 作者: 說不出 時(shí)間: 2025-3-31 09:01 作者: 漂亮 時(shí)間: 2025-3-31 09:59
Short-Term Electricity Price Forecasting: Deep ANN vs GAMs determined by power consumption following a day and night rhythm. The daily course changes in its height and temporal extent in both, the course of the week, as well as with the course of the year. This study deals methodologically with this intra-day and seasonal behaviour. We compare the forecas作者: enfeeble 時(shí)間: 2025-3-31 16:52
Model of Functional Behavior of Healthcare Internet of Things Device Using Erlang Phase Methodgoal of the paper is to develop and research a discrete-continuous stochastic model (DCSM) of a functional behavior of a networked healthcare device (in the considered case – an insulin pump) in a form of a structural automaton model (SAM) using the Erlang phase method. It is spoken in the brief det
