Results 1 to 10 of about 50,237 (165)
Altre Modernità, 2017 Scritture in transito tra cinema, pubblicità e letteratura di Antonietta Buonauro La guardiana delle sopravvivenze di Rachele ...
Antonietta Buonauro, Rachele Muzio
doaj +2 more sources
Sufficient Incorrectness Logic: SIL and Separation SIL
CoRR, 2023 Sound over-approximation methods have been proved effective for guaranteeing the absence of errors, but inevitably they produce false alarms that can hamper the programmers. Conversely, under-approximation methods are aimed at bug finding and are free from false alarms.
Flavio Ascari +3 more
openaire +2 more sources
Application of Software Reliability Model for Safety Assessment of E/E/PE Safety-Related Software [PDF]
International Journal of Mathematical, Engineering and Management Sciences, 2021 Quantitative and analytical safety assessment methods of E/E/PE safety-related software systems based on the SIL defined by IEC 61508 have been proposed.
Shinji Inoue +2 more
doaj +1 more source
Low‐power gas microbubble detection technology based on acoustic resonance
Engineering Reports, 2021 A novel approach towards developing a microbubble detection technology based on using a piezoelectric transducer to induce an acoustic resonance state within the system under investigation is here presented.
Manuel Rivera +3 more
doaj +1 more source
Drug-eluting coating of extruded polymeric tubular microstructures
Current Directions in Biomedical Engineering, 2021 Extrusion is a common manufacturing process for semi-finished polymer products in various biomedical applications. Extrusion enables processing of a wide range of biomaterials, as well as different cross-sectional geometries.
Sahmel Olga +8 more
doaj +1 more source
Using T cell lymphokines to enhance the immune response against Newcastle disease in vaccinated broiler chickens fed naturally contaminated diet with different mycotoxins [PDF]
Iraqi Journal of Veterinary Sciences, 2020 The current study aimed to reduce the toxic effect of different mycotoxins and enhance the immunity against ND virus in broiler chickens by using lymphokines from hyperimmunized birds with Salmonella typhymurium.
Basher H. Saud, Mushtaq T. AL-Zuhariy
doaj +1 more source
Indian Journal of Surgery, 2012 Historically, invasive, large incisions were necessary to perform "open" abdominal surgical procedures. While effective, this method increased the possibility of multiple complications, including post-operative pain, wound infection, incisional hernia and prolonged hospitalization. Concerns over the rate of complications and morbidities led surgeons to
Arun, Prasad, Mandeep, Kaur
openaire +2 more sources
Initial findings on the Boor language
Afrika und Übersee, 2021 This article provides the first published information on Boor, an Eastern Chadic language spoken in a single village in the Moyen Chari Region of Chad.
James Roberts
doaj +1 more source
A Glance at Transit System Safety [PDF]
International Journal of Mathematical, Engineering and Management Sciences, 2020 System safety is a discipline of applying engineering and management principles, criteria, and techniques to achieve acceptable or tolerable risk within the constraints of operational effectiveness, suitability, time, and cost throughout all phases of ...
James Li
doaj +1 more source