The Process of Scour Surrounding Objects Freely Settling on the Seabed on the Effect of Typhoon Based on Drambuie Model

Source: ICHE Conference Archive - https://mdi-de.baw.de/icheArchive

Reward-based Crowdfunding Success Prediction with Multimodal Data

As an increasing number of crowdfunding platforms recommend that entrepreneurs post multimodal data to improve data diversity and attract investors’ attention, it becomes necessary to study how functions of multimodal data take effect to predict fundraising outcomes (i.e., success or failure). There is a lack of research providing a comprehensive investigation of multimodal data in crowdfunding. Rooted in language and visual image metafunctional theories, we propose a framework to explore ideational, interpersonal, and textual metafunctions of multimodal data. We empirically examine the effectiveness of each metafunction, each modality, and their combination in predicting fundraising outcomes. The empirical evaluation shows the predictive utility of any metafunctions and metafunction combinations. The results also demonstrate that adding data modalities can help to improve the prediction performance

Cloth2Body: Generating 3D Human Body Mesh from 2D Clothing

In this paper, we define and study a new Cloth2Body problem which has a goal of generating 3D human body meshes from a 2D clothing image. Unlike the existing human mesh recovery problem, Cloth2Body needs to address new and emerging challenges raised by the partial observation of the input and the high diversity of the output. Indeed, there are three specific challenges. First, how to locate and pose human bodies into the clothes. Second, how to effectively estimate body shapes out of various clothing types. Finally, how to generate diverse and plausible results from a 2D clothing image. To this end, we propose an end-to-end framework that can accurately estimate 3D body mesh parameterized by pose and shape from a 2D clothing image. Along this line, we first utilize Kinematics-aware Pose Estimation to estimate body pose parameters. 3D skeleton is employed as a proxy followed by an inverse kinematics module to boost the estimation accuracy. We additionally design an adaptive depth trick to align the re-projected 3D mesh better with 2D clothing image by disentangling the effects of object size and camera extrinsic. Next, we propose Physics-informed Shape Estimation to estimate body shape parameters. 3D shape parameters are predicted based on partial body measurements estimated from RGB image, which not only improves pixel-wise human-cloth alignment, but also enables flexible user editing. Finally, we design Evolution-based pose generation method, a skeleton transplanting method inspired by genetic algorithms to generate diverse reasonable poses during inference. As shown by experimental results on both synthetic and real-world data, the proposed framework achieves state-of-the-art performance and can effectively recover natural and diverse 3D body meshes from 2D images that align well with clothing.Comment: ICCV 2023 Poste

Breastfeeding in China: a review

This review aims to describe changes in breastfeeding and summarise the breastfeeding rates, duration and reasons of discontinuing 'any breastfeeding' or 'exclusive breastfeeding' in P.R. China. Breastfeeding rates in China fell during the 1970s when the use of breast milk substitutes became widespread, and reached the lowest point in the 1980s. As a result many efforts were introduced to promote breastfeeding. The breastfeeding rate in China started to increase in the 1990s, and since the mid-1990s 'any breastfeeding' rates in the majority of cities and provinces, including minority areas, have been above 80% at four months. But most cities and provinces did not reach the national target of 'exclusive breastfeeding' of 80%. The 'exclusive breastfeeding' rates in minority areas were relatively lower than comparable inland provinces. The mean duration of 'any breastfeeding' in the majority of cities or provinces was between seven and nine months. The common reasons for ceasing breastfeeding, or introducing water or other infant food before four months, were perceived breast milk insufficiency, mother going to work, maternal and child illness and breast problems. Incorrect traditional perceptions have a strong adverse influence on 'exclusive breastfeeding' in less developed areas or rural areas. China is a huge country, geographically and in population size, and there is considerable ethnic diversity. Therefore breastfeeding rates in different parts of China can vary considerably

Affine Disjunctive Invariant Generation with Farkas' Lemma

Invariant generation is the classical problem that aims at automated generation of assertions that over-approximates the set of reachable program states in a program. We consider the problem of generating affine invariants over affine while loops (i.e., loops with affine loop guards, conditional branches and assignment statements), and explore the automated generation of disjunctive affine invariants. Disjunctive invariants are an important class of invariants that capture disjunctive features in programs such as multiple phases, transitions between different modes, etc., and are typically more precise than conjunctive invariants over programs with these features. To generate tight affine invariants, existing constraint-solving approaches have investigated the application of Farkas' Lemma to conjunctive affine invariant generation, but none of them considers disjunctive affine invariants

Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions

International audienceUser-space programs rely on memory allocation primitives when they need to construct dynamic structures such as lists or trees. However, low-level OS kernel services and embedded device drivers typically avoid resorting to an external memory allocator in such cases, and store structure elements in contiguous arrays instead. This programming pattern leads to very complex code, based on data-structures that can be viewed and accessed either as arrays or as chained dynamic structures. The code correctness then depends on intricate invariants mixing both aspects. We propose a static analysis that is able to verify such programs. It relies on the combination of abstractions of the allocator array and of the dynamic structures built inside it. This approach allows to integrate program reasoning steps inherent in the array and in the chained structure into a single abstract interpretation. We report on the successful verification of several embedded OS kernel services and drivers