Results 41 to 50 of about 14,072 (220)
Definitions and Computational Properties of OCL: A Systematic Review
Object Constraint Language (OCL) plays a pivotal role in Model Driven Architecture (MDA), an important applied software engineering concept created over a quarter of a century ago. The expressiveness and precision of the primary specification language in
Goran Rajic, Vlado Sruk
doaj +1 more source
Osteochondral Lesions of Major Joints
This paper provides information about osteochondral lesions (OCL) and example cases of OCL occurring in major joints, some of which are rarely seen. This simple tutorial is presented in question and answer format.
Irmak Durur-Subasi +2 more
doaj +1 more source
Study of corrosion resistance of chromium-nickel steel in calcium - hypochlorite solution. Part 1. Steels uranus b6 [PDF]
Corrosion resistance of Cr - Ni (special steels) specimen is tested by electrochemical methods, numerical method of linear polarization and polarization resistance method in calcium-hypochlorite (Ca(OCl)2) solutions.
Tošković D. +2 more
doaj +1 more source
Continual Learning for Multimodal Data Fusion of a Soft Gripper
Models trained on a single data modality often struggle to generalize when exposed to a different modality. This work introduces a continual learning algorithm capable of incrementally learning different data modalities by leveraging both class‐incremental and domain‐incremental learning scenarios in an artificial environment where labeled data is ...
Nilay Kushawaha, Egidio Falotico
wiley +1 more source
HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL). It is implemented as a shallow embedding of OCL into the Higher-order Logic (HOL) instance of the interactive theorem prover Isabelle. HOL-OCL defines a machine-checked
Wolff, B. +3 more
core +1 more source
Avoiding OCL specification pitfalls [PDF]
This paper discusses about teaching software modeling by using OCL specifications, in the context in which the web represents the main source of information. The raise of the interest for models induced a higher need for clear and complete specifications.
Chiorean, Dan Ioan +2 more
core +2 more sources
Osteohistology of two phorusrhacids reveals uninterrupted growth strategy
Abstract Phorusrhacidae were apex predators that primarily dominated South America ecosystems for at least 40 million years with their imposing size and predatory lifestyle—yet some aspects of their biology remain poorly understood. Osteohistology is a tool for understanding growth dynamics and biomechanical adaptations.
Lotta Dreyer +2 more
wiley +1 more source
Abstract Long head of the biceps tendon pathology is a frequent cause of anterior shoulder pain. Tenotomy is technically simple but may lead to cosmetic deformity and muscle cramping, whereas tenodesis better preserves the biceps contour but involves a more complex procedure. Multiple surgical techniques and fixation methods are available.
Gert‐Jan Opsomer +2 more
wiley +1 more source
Trypan Blue (TB) and Brilliant Cresyl Blue (BCB) are used to select and determine viability and competence of oocytes, however, the effects of corpora lutea on cumulus expansion during in vitro maturation are still undetermined. Cumulus-oocytes complexes
Andrés Quezada-Casasola +7 more
doaj +1 more source
Decoding RNA regulation: Challenges and opportunities for RNA‐based therapies in Europe
Abstract RNA‐based medicinal products represent a promising frontier in personalised medicine, offering sequence‐specific disease targeting at various molecular levels, yet their clinical translation in the European Union (EU) may be hindered by regulatory uncertainty around definitions and evidence requirements; this study therefore aims to identify ...
Olivia C. Lewis +4 more
wiley +1 more source

