Poor weather conditions, such as fog, haze, and mist, cause visibility degradation in captured images. Existing imaging devices lack the ability to effectively efficiently mitigate caused by poor conditions real time. Image depth information is used eliminate hazy effects using existing physical model-based approaches. However, imprecise always affects dehazing performance. This article proposes an image fusion-based algorithm enhance performance robustness of dehazing. Based on a set...

With the rapid advancement of technology, satellite and drone technologies have had significant impacts on various fields, creating both opportunities challenges. In areas like military, urban planning, environmental monitoring, application remote sensing technology is paramount. However, due to unique characteristics images, such as high resolution, large-scale scenes, small, densely packed targets, object detection faces numerous technical Traditional methods are inadequate for effectively...

Mobile apps bring unprecedented levels of convenience, yet they are often buggy, and their bugs offset the convenience bring. A key reason for buggy is that must handle a vast variety system user actions such as being randomly killed by OS to save resources, but app developers, facing tough competitions, lack time thoroughly test these actions. AppDoctor efficiently effectively testing against many actions, helping developers diagnose resultant bug reports. It quickly screens potential using...

Implementation-level software model checking explores the state space of a system implementation directly to find potential defects without requiring any specification or modeling. Despite early successes, effectiveness this approach remains severely constrained due poor scalability caused by state-space explosion. DeMeter makes more practical with following contributions: (i) proposing dynamic interface reduction, new reduction technique, (ii) introducing framework that enables in an...

UI testing is known to be difficult, especially as today's development cycles become faster. Manual tedious, costly and error- prone. Automated tests are write maintain. This paper presents AppFlow, a system for synthesizing highly robust, reusable tests. It leverages machine learning automatically recognize common screens widgets, relieving developers from writing ad hoc, fragile logic use them in enables library of modular the main functionality an app category (e.g., "add cart" test...

With the advance of various location-acquisition technologies, a myriad GPS trajectories can be collected every day. However, raw coordinate data captured by sensors often cannot reflect real positions due to many physical constraints and some rules law. How accurately match roads on digital map is an important issue. The problem map-matching fundamental for applications. Unfortunately, existing methods still meet stringent performance requirements in engineering. In particular, low/unstable...

As one chemical composition, nicotine content has an important influence on the quality of tobacco leaves. Rapid and non-destructive quantitative analysis is task in industry. Near-infrared (NIR) spectroscopy as effective chemical-composition technique been widely used. In this paper, we propose a one-dimensional Fully Convolutional Network (1D-FCN) model to quantitatively analyze composition leaves using NIRspectroscopy data cloud environment. This 1D-FCN uses one-dimension convolution...

Systems code must obey many rules, such as "opened files be closed." One approach to verifying rules is static analysis, but this technique cannot infer precise runtime effects of code, often emitting false positives. An alternative symbolic execution, a that verifies program paths over all inputs up bounded size. However, when applied verify existing execution systems blindly explore redundant while missing relevant ones may contain bugs.

Magnetoacoustic tomography with magnetic induction (MAT-MI) is an imaging technique under development to achieve of electrical impedance contrast in biological tissues spatial resolution close ultrasound imaging. However, previously reported MAT-MI experimental results are obtained either from low salinity gel phantoms, or normal animal tissue samples. In this study, we report the study on performance method for vitro human liver tumor tissue. The present promising suggest feasibility image...

People with complex communication needs can use a high-technology Augmentative and Alternative Communication (AAC) device to communicate others. Currently, researchers clinicians often data logging from high-tech AAC devices analyze user performance. However, existing automated systems cannot differentiate the authorship of log when more than one accesses device. This issue reduces validity logs increases difficulties performance analysis. Therefore, this paper presents solution using deep...

We present an experimental study on magnetoacoustic imaging of superparamagnetic iron oxide (SPIO) nanoparticles embedded in biological tissues. In experiments, a large-current-carrying coil is used to deliver microsecond pulsed magnetic stimulation samples. The ultrasound signals induced by forces SPIO are measured rotating transducer. distribution reconstructed back-projection algorithm. results demonstrated the feasibility obtain cross-sectional image nanoparticle targets with faithful...

Purpose: Magnetoacoustic tomography with magnetic induction (MAT‐MI) is an imaging modality to reconstruct the electrical conductivity of biological tissue based on acoustic measurements Lorentz force induced vibration. This study presents feasibility authorsˈ new MAT‐MI system and vector source algorithm perform a complete reconstruction distribution real tissues ultrasound spatial resolution. Methods: In present study, using beamformation, point spread functions are designed in object...

Magnetoacoustic tomography with magnetic induction (MAT-MI) is a recently introduced imaging modality for noninvasive electrical impedance imaging, ultrasound resolution and contrast reflecting the conductivity properties of tissues. However, previous MAT-MI systems can only image samples that are much more conductive than real human or animal To biological tissue samples, large-current-carrying coil give stronger stimulations acoustic signals employed in this study. The values all study...

Magnetoacoustic tomography with magnetic induction (MAT-MI) is an emerging approach for noninvasively imaging electrical impedance properties of biological tissues. The MAT-MI system measures ultrasound waves generated by the Lorentz force, having been induced stimulation, which related to conductivity distribution in tissue samples. promises provide fine spatial resolution as compared resolution. In present study, we first estimated calculating full width at half maximum (FWHM) point spread...

Parallel programs are known to be difficult analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over all schedules requires over-approximations, resulting in poor precision; dynamic rarely covers more than a tiny fraction We propose approach called schedule specialization analyze parallel program only small set for precision, and then enforce these at runtime soundness the static results. build framework C/C++...

Stable multithreading dramatically simplifies the interleaving behaviors of parallel programs, offering new hope for making programming easier.

We present a study examining the impact of physical and cognitive challenge on reported immersion for mixed reality game called Beach Pong. Contrary to prior findings desktop games, we find significantly higher among players who engage physically, regardless their actual performance. Building mental map real, virtual, sensed world is novices, this appears influence immersion: in our study, participants actively attended both virtual elements levels than those mainly or exclusively elements....

The floating random walk (FRW) algorithm has several advantages for extracting 3D interconnect capacitance. However, multi-layer dielectrics in VLSI technology, the efficiency of FRW would be degraded due to frequent stop walks at dielectric interface and constraint first-hop length especially thin dielectrics. In this paper, we tackle these problems with numerical characterization Green's function cross-interface transition probabilities corresponding weight value. We also present a space...

To provide a valuable experimental platform for in vivo biomedical research of small animal model with fluorescence mediated approach, we developed whole-body near-infrared molecular imaging system as described this paper. This is based on sensitive CCD camera and has the ability to achieve 360° full-angle source illuminations projections capture targets obtain dense sampling by performing rotational scan. The measurement accuracy validated from cylinder phantom experiments comparison...

Alias analysis is perhaps one of the most crucial and widely used analyses, has attracted tremendous research efforts over years. Yet, advanced alias analyses are extremely difficult to get right, bugs in these key reason that they have not been adopted production compilers. This paper presents NeonGoby, a system for effectively detecting errors implementations, improving their correctness hopefully widening adoption. NeonGoby detects worst type where claims two pointers never alias, but...