Suchergebnisse - "complexity of validation"

Validation of Modern JSON Schema: Formalization and Complexity

Autoren: Lyes Attouche Mohamed-Amine Baazizi Dario Colazzo et al.

Weitere Verfasser: Lyes Attouche Mohamed-Amine Baazizi Dario Colazzo et al.

Quelle: Proceedings of the ACM on Programming Languages. 8:1451-1481

Schlagwörter: FOS: Computer and information sciences, Programmation, Computer Science - Programming Languages, JSON Schema, complexity of validation, Databases (cs.DB), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, organisation des données, Computer Science - Databases, 0202 electrical engineering, electronic engineering, information engineering, Complexity of validation, logiciels, Programming Languages (cs.PL)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2307.10034
https://hdl.handle.net/11568/1272627
https://doi.org/10.1145/3632891
https://dl.acm.org/doi/10.1145/3632891

Patient-specific spinal bone screw fixation: homogenized versus voxel-based finite element analysis

Autoren: Einafshar, Mohammadjavad Rouyin, Alireza Rajairad, Mohadeseh et al.

Quelle: Einafshar, M, Rouyin, A, Rajairad, M, Salmani, M, Farahmand, F & Arjmand, N 2023, Patient-specific spinal bone screw fixation: homogenized versus voxel-based finite element analysis. in Program & Abstracts : 15th Annual Meeting of the Danish Society of Biomechanics. pp. 28, 15th Annual DBS Meeting, Danish Society of Biomechanics, Aalborg, Denmark, 24/11/2023.

Schlagwörter: Pull-out test, Bone-implant intereface, complexity of validation, Bone screw fixation

Dateibeschreibung: application/pdf

Zugangs-URL: https://vbn.aau.dk/da/publications/df658248-da05-46be-97ff-db258b319688
https://vbn.aau.dk/ws/files/617448662/DBS_2023_Bone_Screw_Fixation.pdf

Validation of Modern JSON Schema: Formalization and Complexity

Autoren: Attouche, Lyes Baazizi, Mohamed-Amine Colazzo, Dario et al.

Weitere Verfasser: Attouche, Lyes Baazizi, Mohamed-Amine Colazzo, Dario et al.

Quelle: https://hal.science/hal-04042629 ; 2023.

Schlagwörter: JSON Schema, complexity of validation, [INFO]Computer Science [cs]

Verfügbarkeit: https://hal.science/hal-04042629
https://hal.science/hal-04042629v2/document
https://hal.science/hal-04042629v2/file/underdoubleblindreview.pdf

Validation of Modern JSON Schema: Formalization and Complexity

Autoren: Attouche, Lyes Baazizi, Mohamed-Amine Colazzo, Dario et al.

Schlagwörter: JSON Schema, Complexity of validation, Programmation, logiciels, organisation des données

Time: 005

Relation: Proceedings of the ACM on Programming Language; 2024-01; ACM - Association for Computing Machinery; non; oui; https://basepub.dauphine.psl.eu/handle/123456789/26246

Verfügbarkeit: https://basepub.dauphine.psl.eu/handle/123456789/26246
https://hal.science/hal-04042629/