Results 111 to 120 of about 293,253 (337)
Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams
IEEE Access, 2018 Model-driven engineering is a methodology for software development that focuses on the use of models in the software development process. These models can be transformed into code, saving developers both time and effort.
Asadullah Shaikh, Uffe Kock Wiil
doaj +1 more source
A Constraint and Object Oriented Fifth Generation Programming Language and its Compiler and Runtime System [PDF]
, 2022 Han Jipeng, Lichen Zhihang
openalex +1 more source
Contact Lens with Moiré Patterns for High‐Precision Eye Tracking
Advanced Functional Materials, EarlyView.This work presents a passive contact lens for high‐precision eye tracking, integrating a microscopic moiré grating label. The parallax‐induced shift of macroscopic moiré patterns enables angle measurement with 0.28° precision using a standard camera under ambient light.
Ilia M. Fradkin +11 more
wiley +1 more source
Advanced Functional Materials, EarlyView.This study shows that lizard osteoderm capping tissue is a hyper‐mineralized hydroxyapatite layer consistently covering the superficial osteoderm surface in those species studied here, yet it varies greatly in morphology, nanostructure, and mechanical performance across species.
Adrian Rodriguez‐Palomo +10 more
wiley +1 more source
EARLY IDENTIFICATION OF SOFTWARE DEFECTS USING OCL PREDICATES TO IMPROVE SOFTWARE QUALITY [PDF]
Journal of Engineering Science and Technology, 2015 Formal specification-based testing has been used widely to assess potential faults or prove their absence in a given system at the earliest. This research work has proposed an automated fault-based testing framework to test the specification of the ...
A. JALILA, D. J. MALA, M. ESWARAN
doaj
Correspondence in OT syntax and minimal link effects [PDF]
, 2004 The aim of this paper is the exploration of an optimality theoretic architecture for syntax that is guided by the concept of "correspondence": syntax is understood as the mechanism of "translating" underlying representations into a surface form.
Vogel, Ralf
core
Advanced Functional Materials, EarlyView.A circular route, involving upcycling of waste surgical masks, affords a Mn‐based layered carbide with porosity, redox activity and low work function. These features enable its effective operation as positive supercapacitor electrode in an aqueous asymmetric supercapacitor delivering 213 Wh L−1 energy density.
Debabrata Nandi +7 more
wiley +1 more source
COOL: A Constraint Object-Oriented Logic Programming Language and its Neural-Symbolic Compilation System [PDF]
, 2023 Jipeng Han
openalex +1 more source
Lucretia - intersection type polymorphism for scripting languages
, 2015 Scripting code may present maintenance problems in the long run. There is, then, the call for methodologies that make it possible to control the properties of programs written in dynamic languages in an automatic fashion.
Benke, Marcin +2 more
core +2 more sources
Advanced Healthcare Materials, EarlyView.Nonclinical evaluation of biological responses to implanted medical devices and combination products in animals is required to predict possible outcomes and risks in patients. This paper describes globally accepted pathology “best practices” that 1) effectively address ISO standards and current regulatory guidance for medical device development and 2 ...
Kathleen A. Funk +6 more
wiley +1 more source