Filters








1,977,810 Hits in 7.5 sec

Structural Evaluation by Generalized Integral Property [chapter]

Yosuke Todo
2015 Lecture Notes in Computer Science  
The integral distinguisher is one of the most powerful attacks against block ciphers, and it is usually constructed by evaluating the propagation characteristic of integral properties, e.g., the ALL or  ...  In this paper, we propose a new property called the division property, which is the generalization of the integral property.  ...  As one direction of the structural evaluation, there are the security evaluation by "the generic attack," which exploits only the feature of the network and does not exploit the particular weaknesses of  ... 
doi:10.1007/978-3-662-46800-5_12 fatcat:s4zmtemotbfnhm64ah42bysnyy

Geo-ecological approach to evaluation of ecological condition of water bodies

Vladimir Smetanin, Ilya Tsvetkov, Andrey Nasonov, V. Andreev
2016 MATEC Web of Conferences  
The method enables both common integrated and component-based differential evaluation.  ...  The paper proposes a new approach to evaluation of ecological condition of water bodies.  ...  To match the integrated model (1), we propose the following generalized algorithm for Integrated Evaluation of Water Body Ecological Condition (IEWBEC) -see Figure 3 .  ... 
doi:10.1051/matecconf/20168605022 fatcat:ja4yvxbycbdxznp5arxvpvk4xq

Logic-based XML data integration: a semi-materializing approach

Wolfgang May
2005 Journal of Applied Logic  
The approach is again illustrated by using XPathLog as data integration language.  ...  We show that the DOM model and the XML Query Data Model are not suitable for this task since the integrated database is not necessarily a tree, but a set of overlapping (original and integrated) trees.  ...  When fusing elements by e 1 = e 2 , all occurrences of e 2 in the X-structure are replaced by (without loss of generality) e 1 .  ... 
doi:10.1016/j.jal.2004.07.020 fatcat:eghab3jz3zb3fek3sfmblkfevm

Generating Relational Database using Ontology Review

Christina Khnaisser, Luc Lavoie, Anita Burgun, Jean-Francois Ethier
2018 International Journal of Advanced Computer Science and Applications  
This paper describes issues, challenges, and trends derived from the evaluation of 10 methods using 23 criteria.  ...  A huge amount of data is being generated every day from different sources. Access to these data can be very valuable for decision-making.  ...  However, these constraints or automatisms are not generated by these methods. In this case, the RDBMS cannot guarantee intrinsically the integrity of the data as described by the ontology.  ... 
doi:10.14569/ijacsa.2018.090620 fatcat:ebpw5iq26bbphcbcrt42avtgk4

Remote attestation to dynamic system properties: Towards providing complete system integrity evidence

Chongkyung Kil, Emre C. Sezer, Ahmed M. Azab, Peng Ning, Xiaolan Zhang
2009 2009 IEEE/IFIP International Conference on Dependable Systems & Networks  
ReDAS currently provides two types of dynamic system properties for running applications: structural integrity and global data integrity.  ...  Remote attestation of system integrity is an essential part of trusted computing. However, current remote attestation techniques only provide integrity proofs of static properties of the system.  ...  The integrity measurement component takes as input the dynamic system properties generated by the dynamic property collector.  ... 
doi:10.1109/dsn.2009.5270348 dblp:conf/dsn/KilSANZ09 fatcat:glb2cyjpmbeabn4g435brmstlm

A formal approach for product model information

Charles M. Eastman, Alan H. Bond, Scott C. Chase
1991 Research in Engineering Design  
The criteria identified and used to evaluate and justify the structures include: (1) representation of function, as well as the form and physical properties of the product; (2) support for multiple levels  ...  objects in terms of functional descriptions and their composition into higher level objects; (3) generalizations of objects and functions; (4) constraint structures that specify integrity conditions;  ...  The work presented herein was supported by the National Science Foundation, grant no. DDM-8915665.  ... 
doi:10.1007/bf01579252 fatcat:pezzpyfbkndabfu5elyyq6pnci

A Systems Approach to User Evaluation of Biomedical Ontologies

Maiga Gilbert, Ddembe Williams
2008 2008 First International Workshop on Ontologies in Interactive Systems  
Systems theory is used to explain the dynamics of a biomedical environment by providing feedbacks from the evaluation process to the user needs for integration systems.  ...  The results indicate that it is sufficiently flexible for evaluating ontology based biomedical integrated systems, taking into account the conflicting needs of different users interested in accessing complex  ...  A deductive descriptive approach helped to identify theory and general properties of biomedical ontology evaluation. These were investigated using structured interviews in a survey.  ... 
doi:10.1109/ontoract.2008.7 fatcat:nuhti36awbbozjcgq2b3q3yr5y

GEMMS: A Generic and Extensible Metadata Management System for Data Lakes

Christoph Quix, Rihan Hai, Ivan Vatov
2016 International Conference on Advanced Information Systems Engineering  
In data lakes, data from the sources is copied in its original structure to a repository; only a syntactic integration is done as data is stored in a common semi-structured format.  ...  This paper presents GEMMS, a Generic and Extensible Metadata Management System for data lakes which extracts metadata from the sources and manages the structural and semantical information in an extensible  ...  This work was supported by the German Federal Ministry of Education and Research (BMBF) under the project HUMIT (http: //humit.de, FKZ 01IS14007A) and by the Klaus Tschira Stiftung under the mi-Mappa project  ... 
dblp:conf/caise/QuixHV16 fatcat:f47aqx2zbzaabio3d2qmvumogm

Model Invocation for Three Dimensional Scene Understanding

Robert B. Fisher
1987 International Joint Conference on Artificial Intelligence  
This pa per shows how one can Integrate knowledge of object properties, structural and generic relations to create a network computa tion that performs model invocation.  ...  This is necessary for both efficiency and recognising 'similar* models (i.e. handling data errors, generic models and previously unseen objects).  ...  The result is a plausibility calculation in a network structured according constraints defined by the structural, generic and context relationships.  ... 
dblp:conf/ijcai/Fisher87 fatcat:umowmv7b7rhyliskefdivu6hau

Basic design rules of unit cells for additive manufactured lattice structures

Julia Kessler, Nicolae Balc, Andreas Gebhardt, Karim Abbas, N. Balc
2017 MATEC Web of Conferences  
The approach is based on the evaluation of the limiting manufacturing factors, which can be reduced both to the minimum and maximum angle and length, as well as to the cross-sectional geometry.  ...  The growing demand for high-tech light-weight structures increasingly requires support in the design process of fine lattice structures.  ...  This research was supported by the OpTi-DeP Project (no. BG101/2016) financed from the UEFISCDI by the Romanian Government and also by the HORIZON 2020 AMaTUC project (GA 691787) financed from EU.  ... 
doi:10.1051/matecconf/201713702005 fatcat:yecx6znrhjhmhkekttvje2k5wq

Semi-Automatically Generated Hybrid Ontologies for Information Integration

Lisa Ehrlinger, Johannes Kepler, Wolfram Wöß
2015 International Conference on Semantic Systems  
Several descriptions of the semantics can be integrated to a global view by eliminating possible redundancies and by applying ontology similarity measures.  ...  The implementation of the presented approach is evaluated by extracting the semantics of a specific MySQL database, represented as RDF triples.  ...  An integration scenario is performed by a hybrid ontology Java implementation for semi-automatically generating ontologies from MySQL databases.  ... 
dblp:conf/i-semantics/EhrlingerKW15 fatcat:5io5a4lo7rc5jpqujq63p4dkma

Society of self: The emergence of collective properties in self-structure

Andrzej Nowak, Robin R. Vallacher, Abraham Tesser, Wojciech Borkowski
2000 Psychological review  
The simulation results suggest that important global properties of the self reflect the operation of integration processes that are generic in complex systems.  ...  The model assumes a press for integration that promotes internally generated dynamics and enables the self-structure to operate as a self-organizing dynamical system.  ...  Thus, different cognitive functions are performed by specific structures that function in parallel but interact to produce higher order structures with emergent properties.  ... 
doi:10.1037/0033-295x.107.1.39 pmid:10687402 fatcat:xsj2hnqm6rejvidcezuvoxh3yi

Three-Dimensional J-Integral Based on a Domain Integral Method for Non-Homogeneous Solid with Residual Stresses Undergoing Large Deformation

Hiroshi Okada, Tatsuro Ishizaka, Akira Takahashi, Koichiro Arai, Yasunori Yusa
2019 International Conference on Computational & Experimental Engineering and Sciences  
The formulation of J-integral involves the strain energy density W that is generally defined by the integral over the entire deformation history of a material point where t ij and are the components of  ...  Therefore, the evaluation of J-integral needs to account for the effects of the large deformation.  ...  The formulation of J-integral involves the strain energy density W that is generally defined by the integral over the entire deformation history of a material point where t ij and are the components of  ... 
doi:10.32604/icces.2019.05037 fatcat:w4pdke6qmbawjlxuupbn4fvli4

The sequential-clustered method for dynamic chemical plant simulation

J.C. Fagley, B. Carnahan
1990 Computers and Chemical Engineering  
This "sequential-clustered" method allows for sequential and simultaneous modular integration as extreme cases.  ...  Testing of the simulator using simple but nontrivial plant models indicates that the clustered integration strategy is often the best choice, with good accuracy, reasonable execution time and moderate  ...  fewer physical property evaluations.  ... 
doi:10.1016/0098-1354(90)87076-2 fatcat:zwqggjsp3jazfhexhtq54e3fca

AUTOMATIC SAFETY EVALUATION AND VISUALIZATION OF SUBWAY STATION EXCAVATION BASED ON BIM-FEM/FDM INTEGRATED TECHNOLOGY

Ping Xie, Rongjun Zhang, Junjie Zheng, Ziqian Li
2022 Journal of Civil Engineering and Management  
In the construction of subway station, BIM technology is still not mature and the engineering design is generally separate from the engineering safety evaluation.  ...  The research of the BIM-FEM/FDM integrated technology presented in this paper has established a supporting platform to achieve the integration of BIM-based design and safety evaluation for subway station  ...  Acknowledgements This study has been supported by the National Natural Science Foundation of China (NSFC) (No. 52122806), the National Key Research and Development Program of China (No. 2016YFC0800200)  ... 
doi:10.3846/jcem.2022.16727 fatcat:jeqpus6dufaync2lcehadgxeuy
« Previous Showing results 1 — 15 out of 1,977,810 results