Results 71 to 80 of about 144,701 (287)

Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)

, 2018
Improving patient care safety is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate is significantly reduced by computerizing medical best practice guidelines.
Fu, Zhicheng, Guo, Chunhui, Ren, Shangping, Sha, Lui, Zhang, Zhenyu   +4 more
core   +1 more source

Redistributive land reforms, agricultural productivity, and structural change: New cross‐national evidence

American Journal of Agricultural Economics, EarlyView.
Abstract Large‐scale land reforms constitute a substantial redistribution of wealth and reallocation of agricultural land, which is a major form of asset and production input in developing countries. While land redistribution (from the rich to the poor) remains a highly controversial issue, extensive evidence on its effect is limited.
Devashish Mitra, Abdulaziz B. Shifa, Lan Anh Tong, Mehmet A. Ulubasoglu   +3 more
wiley   +1 more source

Civilian Occupational Exposure to Vapors, Gas, Dust, or Fumes and Respiratory Health Among United States Military Veterans

American Journal of Industrial Medicine, EarlyView.
ABSTRACT Background We investigated associations of self‐reported and job exposure matrix (JEM) assigned civilian occupational exposure to vapors, gas, dust, or fumes (VGDF) with respiratory symptoms among previously deployed US Veterans. Methods An interviewer‐administered questionnaire ascertained self‐reported civilian occupational VGDF exposure.
Sahra Mohazzab‐Hosseinian, Carrie A. Redlich, Anna M. Korpak, Andrew K. I. Timmons, Nicholas L. Smith, Karen S. Nakayama, Farrah Kheradmand, Vincent S. Fan, Michael Jerrett, Philippe R. Montgrain, Christine H. Wendt, Ware G. Kuschner, Emily S. Wan, Eric Garshick, Paul D. Blanc   +14 more
wiley   +1 more source

Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces

, 2013
Runtime verification is checking whether a system execution satisfies or violates a given correctness property. A procedure that automatically, and typically on the fly, verifies conformance of the system's behavior to the specified property is called a ...
Chupilko, Mikhail, Kamkin, Alexander
core   +2 more sources

Lysyl Oxidase Reduces Neutrophil Extravasation in Response to P. aeruginosa in an Infection‐on‐a‐Chip Model

Advanced NanoBiomed Research, EarlyView.
Lysyl oxidase crosslinking of type I collagen decreases neutrophil extravasation through an endothelium during the initial response to P. aeruginosa. This decrease in extravasation is likely due to the increase in VE‐cadherin expression between endothelial cells seeded on LOX‐crosslinked collagen hydrogels.
Christopher J. Calo, Tanvi Patil, Josephine Fouts, Eric L. Ginter, Margaret Radke, Hannah K. Weppner, Justin M. Owens, Laurel E. Hind   +7 more
wiley   +1 more source

Ontogeny of murine bony semicircular canal form

The Anatomical Record, EarlyView.
Abstract The labyrinthine geometry and functional anatomy of the semicircular canals have intrigued scientists for decades, and there has been considerable interest in understanding how these complex structures grow and develop with evidence emerging from human studies that size maturation occurs exceptionally early by comparison with other systems ...
Marcela Cárdenas‐Serna, Nathan Jeffery   +1 more
wiley   +1 more source

Probabilistic Analysis on Successive Cancellation-Assisted Transmitter Identification in SFN With Randomly Distributed Co-Channel Interferers

IEEE Access, 2020
This paper investigates the detection error of radio frequency (RF)-watermark type transmitter identification (TxID) signal in a single frequency network (SFN).
Sungjun Ahn, Sung-Ik Park, Sunhyoung Kwon, Jae-Young Lee, Namho Hur   +4 more
doaj   +1 more source

Automated Feature Extraction and Classification of Submerged Cultural Heritage Assets in the Puck Lagoon via Multisensor Remote Sensing

Archaeological Prospection, EarlyView.
ABSTRACT This study presents a strong framework for the detection and classification of Submerged Cultural Heritage Assets (SCHA) in shallow marine environments using the integration of multibeam echosounder and airborne LiDAR bathymetry with object‐based image analysis and fuzzy logic–based classification.
Łukasz Janowski, Andrzej Pydyn, Mateusz Popek, Anna M. Kotarba‐Morley, Paweł Tysiąc   +4 more
wiley   +1 more source

Channel Characterization for 700 MHz DSRC Vehicular Communication

Journal of Electrical and Computer Engineering, 2010
Adapting OFDM for vehicular communication requires extensive knowledge of anticipated multipath and Doppler environments. We present a GPS-enabled channel sounding system built and used to conduct a channel measurement campaign.
Raffi Sevlian, Carl Chun, Ian Tan, Ahmad Bahai, Ken Laberteaux   +4 more
doaj   +1 more source