標題: Titlebook: Software Technologies: Applications and Foundations; STAF 2016 Collocated Paolo Milazzo,Dániel Varró,Manuel Wimmer Conference proceedings 2 [打印本頁] 作者: 自由才謹慎 時間: 2025-3-21 19:28
書目名稱Software Technologies: Applications and Foundations影響因子(影響力)
書目名稱Software Technologies: Applications and Foundations影響因子(影響力)學科排名
書目名稱Software Technologies: Applications and Foundations網(wǎng)絡(luò)公開度
書目名稱Software Technologies: Applications and Foundations網(wǎng)絡(luò)公開度學科排名
書目名稱Software Technologies: Applications and Foundations被引頻次
書目名稱Software Technologies: Applications and Foundations被引頻次學科排名
書目名稱Software Technologies: Applications and Foundations年度引用
書目名稱Software Technologies: Applications and Foundations年度引用學科排名
書目名稱Software Technologies: Applications and Foundations讀者反饋
書目名稱Software Technologies: Applications and Foundations讀者反饋學科排名
作者: flex336 時間: 2025-3-21 22:50
Refinement Mining: Using Data to Sift Plausible Modelsttilike net which is hard to interpret or even read..In this paper we propose a novel technique, which we call ., to derive an abstract but concise and functionally structured model from event logs. Such a model is not a representation of the unfolded behaviour, but comprises, instead, a set of form作者: Osteoporosis 時間: 2025-3-22 02:36 作者: 共和國 時間: 2025-3-22 06:38 作者: AVOID 時間: 2025-3-22 12:14 作者: Conclave 時間: 2025-3-22 15:54
Martyn Ellison,Radu Calinescu,Richard F. Paigeas been used mostly in new technologies, governmental and independent research organizations, as well as big companies, have spent a lot of money for research. This includes the development of new materials by 978-3-662-08589-9作者: Presbyopia 時間: 2025-3-22 18:36
Nieves Atienza,Rocio Gonzalez-Diaz,Matteo Ruccoc material behavior of isotropic and non-isotropic structural elements, and inhomogeneous material properties in the thickness direction. The Finite Element Analysis of laminate and sandwich structures is briefly presented. Many solved examples illustrate the application of the techniques learned..作者: BARB 時間: 2025-3-22 21:39
Mohamed Aymen Ben HajKacem,Chiheb-Eddine Ben N’cir,Nadia Essoussilates or sandwich structures have a higher ratio of in-plane Young’s moduli to the interlaminar shear moduli, i.e. such composite structure elements have a lower transverse shear stiffness and often have significant transverse shear deformations at lower thickness-to span ratios < 0.05. Otherwise th作者: bifurcate 時間: 2025-3-23 05:10
Antonio Ceronelates or sandwich structures have a higher ratio of in-plane Young’s moduli to the interlaminar shear moduli, i.e. such composite structure elements have a lower transverse shear stiffness and often have significant transverse shear deformations at lower thickness-to span ratios < 0.05. Otherwise th作者: 法律 時間: 2025-3-23 05:35
Riccardo Guidotti,Giulio Rossetti,Dino Pedreschilates or sandwich structures have a higher ratio of in-plane Young’s moduli to the interlaminar shear moduli, i.e. such composite structure elements have a lower transverse shear stiffness and often have significant transverse shear deformations at lower thickness-to span ratios < 0.05. Otherwise th作者: STALL 時間: 2025-3-23 10:10
Giovanni Pardini,Paolo Milazzolates or sandwich structures have a higher ratio of in-plane Young’s moduli to the interlaminar shear moduli, i.e. such composite structure elements have a lower transverse shear stiffness and often have significant transverse shear deformations at lower thickness-to span ratios < 0.05. Otherwise th作者: Salivary-Gland 時間: 2025-3-23 16:18
Dani?l Reijsbergener the calculation of in-plane and through-the-thickness stresses was considered. Chapter 5 gave an introduction to classical and refined laminate theories. In Chap. 6 selected failure mechanisms and criteria were briefly discussed. These parts of the book give the basic knowledge, how the design en作者: resistant 時間: 2025-3-23 21:04
er the calculation of in-plane and through-the-thickness stresses was considered. Chapter 5 gave an introduction to classical and refined laminate theories. In Chap. 6 selected failure mechanisms and criteria were briefly discussed. These parts of the book give the basic knowledge, how the design en作者: contradict 時間: 2025-3-24 01:22
Andrea Corradinined as matrix +0.5wt % Boron +1% Al.O. fiber. Quasi-static compression tests, nanoindentation (wear, modulus, hardness) test were performed to study the effect of the reinforcements and the manufacturing methods. The microstructure analyses (matrix/interface) have been carried out by Scanning Electr作者: 同位素 時間: 2025-3-24 05:27
Frank Drewes,Berthold Hoffmann,Mark Minaste monomer and a polymerization initiator (BPO). Samples were tested in a servo-hydraulic load frame in air at room temperature. Three specimen types are investigated, dental composite without microcapsules, dental composite with non-healing microcapsules, and dental composite with in-situ self-heal作者: strdulate 時間: 2025-3-24 10:06 作者: 因無茶而冷淡 時間: 2025-3-24 13:03 作者: 偶然 時間: 2025-3-24 17:22
ould suppress out-of-plane motion was required. The panel could not be encased in restraining plates because instrumentation and visibility were required in the vicinity of the notch. Therefore, a fixture that would restrict out-of-plane motion while still allowing access to the surface of the panel作者: 懶惰民族 時間: 2025-3-24 22:34
Paolo Arcaini,Silvia Bonfanti,Angelo Gargantini,Elvinia Riccobenere produced with addition of small amount of fine particles as secondary reinforcements. These composites will be used for the applications of the coupling and actuators in the aeronautical area. For mechanical basically for the tailored behaviour of this composite, three point bending (3?PB) and im作者: 過分自信 時間: 2025-3-25 00:51 作者: 配置 時間: 2025-3-25 03:40 作者: 男生如果明白 時間: 2025-3-25 08:30 作者: PSA-velocity 時間: 2025-3-25 14:00 作者: Collar 時間: 2025-3-25 18:50 作者: intention 時間: 2025-3-25 22:50 作者: hidebound 時間: 2025-3-26 03:24 作者: 大酒杯 時間: 2025-3-26 07:07 作者: Ingratiate 時間: 2025-3-26 11:03 作者: Offensive 時間: 2025-3-26 15:30 作者: Coeval 時間: 2025-3-26 17:14 作者: facilitate 時間: 2025-3-26 23:14
On the Definition of Parallel Independence in the Algebraic Approaches to Graph Transformationthe host graph is contained in the intersection of the two interface graphs. The relationship between this definition and the standard algebraic one is discussed in this position paper, both in the case of left-linear and non-left-linear rules.作者: 環(huán)形 時間: 2025-3-27 02:20 作者: MIR 時間: 2025-3-27 05:50
Conference proceedings 2016logies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016.?The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. The作者: 粗鄙的人 時間: 2025-3-27 10:57 作者: 抱怨 時間: 2025-3-27 15:24
Probabilistic Modelling of Station Locations in Bicycle-Sharing Systemslving 11 cities worldwide. The method that is found to perform best is a data-driven approach in which we use a dataset of places of interest in the city to ‘rate’ how attractive city areas are for station placement. The presented methods use only non-proprietary data readily available via the Internet.作者: 碌碌之人 時間: 2025-3-27 19:31
Approximating Parikh Images for Generating Deterministic Graph Parsersph grammars defined by contextual hyperedge replacement (CHR). Our motivation is to generate efficient predictive top-down (PTD) parsers for a subclass of CHR grammars. We illustrate this by describing the subtask that identifies the nodes of the input graph that parsing starts with.作者: Arthropathy 時間: 2025-3-28 00:52 作者: HAIL 時間: 2025-3-28 04:58 作者: 同步左右 時間: 2025-3-28 06:49 作者: browbeat 時間: 2025-3-28 13:38 作者: modest 時間: 2025-3-28 15:39
A, E, S,l preferences through indicators and patterns, and we discovered that we are all characterized by a limited set of musical preferences, but not by a unique predilection. The empowered capacity of mobile devices and their growing adoption in our everyday life is generating an enormous increment in th作者: 符合規(guī)定 時間: 2025-3-28 19:50
A High-Level Model Checking Language with Compile-Time Pruning of Local VariablesIn current modelling languages, transitions are usually specified as updates of the system’s variables to be performed when certain conditions are satisfied. However, such a low-level representation makes the description of complex transformations difficult, in particular in the presence of structur作者: 肉體 時間: 2025-3-29 01:56 作者: Gerontology 時間: 2025-3-29 05:33 作者: intolerance 時間: 2025-3-29 10:23
Approximating Parikh Images for Generating Deterministic Graph Parsersing language forms a semilinear set that can be effectively computed from its grammar. In this paper we study the computation of Parikh images for graph grammars defined by contextual hyperedge replacement (CHR). Our motivation is to generate efficient predictive top-down (PTD) parsers for a subclas作者: 表示問 時間: 2025-3-29 13:57
SPO-Rewriting of Constrained Partial Algebrasd integration of (base type) attributes into graph transformation. On the other hand, SPO-PA-rewriting comes equipped with an easy-to-check application condition, namely that an operation cannot be defined twice on the same set of arguments. This provides very natural termination criteria for exampl作者: 中止 時間: 2025-3-29 16:16
Attributed Graph Transformation via Rule Schemata: Church-Rosser Theoremk graph items with their attributes. Instead, we use the double-pushout approach with relabelling and extend it with rule schemata which are instantiated to ordinary rules prior to application. This framework provides the formal basis for the graph programming language GP?2. In this paper, we abstra作者: 浮雕寶石 時間: 2025-3-29 20:05
Visual Notation and Patterns for Abstract State Machinesficult to develop and understand. Visualization is often considered a good means for people to communicate and to get a common understanding. We here make a proposal of a visual notation for Abstract State Machines (ASMs), and we introduce . that visualize ASM transition rules. In addition to these 作者: Synapse 時間: 2025-3-30 00:01
Visualization of Formal Specifications for Understanding and Debugging an Industrial DSLfor debugging, understanding, and impact analysis of the DSL programs. In our case study we provide a domain-specific visualization for the Event-B specification of a real-life industrial DSL and perform a user study among DSL engineers to discover opportunities for its application. In this paper, w作者: 救護車 時間: 2025-3-30 04:21
Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Modelsengineering. A system modeled with UML and OCL can be checked thoroughly before performing further development steps. Verifying not only static but also dynamic aspects of the model will reduce the cost of software development. In this paper, we introduce an approach for automatic behavioral propert作者: granite 時間: 2025-3-30 09:34 作者: 形容詞 時間: 2025-3-30 14:39
Towards Platform Independent Database Modelling in Enterprise Systems tool offers increased system support and extensibility which is vital for use in industry. Standardisation and platform independence is ensured by producing models conforming to the Knowledge Discovery Metamodel and Software Metrics Metamodel.作者: Juvenile 時間: 2025-3-30 16:55 作者: hyperuricemia 時間: 2025-3-30 22:02
Visual Notation and Patterns for Abstract State Machinesgraphical components that are based only on the syntactical structure of the model, we also present . that permit to visualize part of the behavior of the machine. A tool is also available to graphically represent ASM models using the proposed notation.作者: exorbitant 時間: 2025-3-31 03:13
Conference proceedings 2016y focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools..作者: transdermal 時間: 2025-3-31 05:38
aminated composites i.e. anisotropic material.All chapters i.This second?edition of the textbook presents a systematic introduction to the structural mechanics of composite components. The book focusses on modeling and calculation of sandwiches and laminated composites i.e. anisotropic material. The作者: 我們的面粉 時間: 2025-3-31 10:49
aminated composites i.e. anisotropic material.All chapters i.This second?edition of the textbook presents a systematic introduction to the structural mechanics of composite components. The book focusses on modeling and calculation of sandwiches and laminated composites i.e. anisotropic material. The作者: 起皺紋 時間: 2025-3-31 16:54
Nieves Atienza,Rocio Gonzalez-Diaz,Matteo Ruccoling and calculation of sandwiches and laminated composites i.e. anisotropic material. The new edition includes an additional chapter covering the latest advances in both research and applications, which are highly relevant for readers..The textbook is written for use not only in engineering curricu作者: 分開如此和諧 時間: 2025-3-31 20:45
Mohamed Aymen Ben HajKacem,Chiheb-Eddine Ben N’cir,Nadia Essoussinsidered, namely the classical laminate theory and the first-order shear deformation theory. The classical laminate theory (CLT) and the first-order shear deformation theory (FSDT) are the most commonly used theories for analyzing laminated or sandwiched beams, plates and shells in engineering appli作者: Assignment 時間: 2025-3-31 22:24 作者: Antimicrobial 時間: 2025-4-1 05:45 作者: SPASM 時間: 2025-4-1 09:10
Riccardo Guidotti,Giulio Rossetti,Dino Pedreschinsidered, namely the classical laminate theory and the first-order shear deformation theory. The classical laminate theory (CLT) and the first-order shear deformation theory (FSDT) are the most commonly used theories for analyzing laminated or sandwiched beams, plates and shells in engineering appli作者: Chandelier 時間: 2025-4-1 11:33
Giovanni Pardini,Paolo Milazzonsidered, namely the classical laminate theory and the first-order shear deformation theory. The classical laminate theory (CLT) and the first-order shear deformation theory (FSDT) are the most commonly used theories for analyzing laminated or sandwiched beams, plates and shells in engineering appli作者: 使成整體 時間: 2025-4-1 17:02
