Results 121 to 130 of about 526,453 (338)
Formalizing structured file services for the data storage and retrieval subsystem of the data management system for Spacestation Freedom [PDF]
A brief example of the use of formal methods techniques in the specification of a software system is presented. The report is part of a larger effort targeted at defining a formal methods pilot project for NASA.
Jamsek, Damir A.
core +1 more source
Magnetic‐Driven Torque‐Induced Electrical Stimulation for Millisecond‐Scale Wireless Neuromodulation
Advanced Healthcare Materials, EarlyView.MagTIES is a wireless neuromodulation technique with millisecond precision. It employs magnetic‐driven torque from magnetite nanodiscs to activate piezoelectric nanoparticles, enabling precise temporal control of neuronal activity and brain oscillations using weak, low‐frequency magnetic fields.
Chao‐Chun Cheng +5 more
wiley +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
Advanced Healthcare Materials, EarlyView.Platelet quality deteriorates during storage due to protein and platelet adhesion to current bag materials. Here, polymer coatings are identified that reduce adhesion and translated them to mini‐storage bags. Platelet quality are not impacted, despite significantly reducing adhesion.
Nicolas Pereyra +7 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
Safety Evaluation of Repeated Application of Polymeric Microarray Patches in Miniature Pigs
Advanced Healthcare Materials, EarlyView.This study demonstrates the safety of repeated application of three types of microarray patches (MAPs), hydrogelforming, dissolving, and implantable, over four weeks in miniature pigs. No adverse skin or systemic effects were observed, supporting the clinical potential of MAPs as safe and effective drug delivery platforms.
Qonita Kurnia Anjani +4 more
wiley +1 more source
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
Advanced Healthcare Materials, EarlyView.Organic conducting polymers are crucial for advanced wearable bioelectronic devices. A novel aniline‐based donor‐acceptor conducting polymer is developed via a rational molecular design approach, exhibiting enhanced ionic molecular interactions for highly sensitive and stable wearable pH sensors.
Junning Qian +3 more
wiley +1 more source
Formal specification of COTS-based software [PDF]
, 1999 Edward A. Addy, Murali Sitaraman
openalex +1 more source