Results 151 to 160 of about 2,084,052 (380)
Advanced Functional Materials, EarlyView.MAMAWEL is introduced as the first calibration‐free potentiometric sensor for at‐home mastitis diagnosis. By measuring the sodium‐to‐potassium ratio in breast milk, the device reliably differentiates between healthy and mastitis‐affected samples with less than 10% error.
Ali Soleimani +9 more
wiley +1 more source
Formal verification of word-level specifications [PDF]
, 1999 Stefan Höreth, Rolf Drechsler
openalex +1 more source
Formal verification of AI software [PDF]
The application of formal verification techniques to Artificial Intelligence (AI) software, particularly expert systems, is investigated. Constraint satisfaction and model inversion are identified as two formal specification paradigms for different ...
Rushby, John, Whitehurst, R. Alan
core +1 more source
Advanced Healthcare Materials, EarlyView.A new perspective for treatment of gastric cancer is proposed utilizing 4D printing to develop shape morphing, deployable, and magnetically guided local drug releasing patches. The deployed patches are envisioned to adhere at the tumor site to locally deliver high drug amounts.
Dina B. Mahmoud +3 more
wiley +1 more source
Mapping SDL Specification Fundamentals to Core SDL Ontology
Journal of Communications Software and Systems, 2010 This paper gives a contribution in the efforts of Semantic web ontology development. We have developed the core ontology for Specification and Description Language (SDL),an object-oriented, formal language defined by the International Telecommunications ...
Marina Bagić Babac, Marijan Kunštić
doaj
An Introduction to Formal Specification and Z by Ben Potter, Jane Sinclair and David Till, Prentice-Hall, 1991. - Z: An Introduction to Formal Methods (second edition) by Antoni Diller, John Wiley & Sons, 1994. [PDF]
, 1996 Andrew D. Gordon
openalex +1 more source
Generalized Hedge Ratio Estimation with an Unknown Model [PDF]
Myers and Thompson (1989) noted that the model specification could have a large impact on the hedge ratio estimated. A huge literature exists on estimating hedge ratios, but the literature is lacking a formal treatment of model specification uncertainty.
Dorfman, Jeffrey H., Sanders, Dwight R.
core +1 more source
Advanced Healthcare Materials, EarlyView.A tunable methacrylated decellularized bone matrix hydrogel (dECM‐MA) is developed to support 3D culture of human osteoblasts. The hydrogel preserves bone‐specific ECM cues and allows precise control over mechanical properties. This system provides a customizable platform for studying osteogenic differentiation and modeling bone tissue environments for
Minne Dekker +5 more
wiley +1 more source
Formal specification and validation at work [PDF]
, 1998 Sten Agerholm +2 more
openalex +1 more source
Issues in Planning Domain Model Engineering [PDF]
The paper raises some issues relating to the engineering of domain models for automated planning. It studies the idea of a domain model as a formal specification of a domain, and considers properties of that specification.
McCluskey, T.L. +2 more
core