Miracle-dz/UniFAR-FTUs huggingface dataset:
Learning Discrete World Models for Classical Planning Problems

For many sequential decision making domains, planning is often necessary to solve problems. However, for domains such as those encountered in robotics, the transition function, also known as the world model, is often unknown and coding such a model by hand is often impractical. While planning could be done with a world model trained from observed transitions, such approaches are limited by errors accumulating when the model is applied across many timesteps as well as the inability to re-identify states. Furthermore, even given an accurate world model, domain-independent planning methods may not be able to reliably solve problems while domain-specific information required to construct informative heuristics may not be readily available. While methods exist that can learn domain-specific heuristic functions in a largely domain-independent fashion, such as DeepCubeA, these methods assume a given world model and may also assume that the goal is predetermined. To solve these problems, we introduce DeepCubeAI, a domain-independent algorithm that learns a world model that represents states in a discrete latent space, learns a heuristic function that generalizes over start and goal states using this learned model, and combines the learned model and learned heuristic function with search to solve problems. Since the latent space is discrete, we can prevent the accumulation of small errors by rounding and we can re-identify states by simply comparing two binary vectors. In our experiments on a pixel representation of the Rubik’s cube and Sokoban, we find that DeepCubeAI is able to apply the model for thousands of steps without accumulating any error. Furthermore, DeepCubeAI solves over 99% of test instances in all domains and generalizes across goal states.
AN EXPERIMENTAL CHECK ON PARTICLE DYNAMICS SIMULATIONS OF ERODIBLE PARTICLE BEDS; THE ROTATING TUMBLER.

To numerically simulate “bedload transport” of sediment by a turbulent flow over an erodible bed, our group has been developing “fictitious domain” methods to handle dense-phase particulate flow in turbulent flow of liquid. We report on efforts to check our simulation method against experiment for a dense-phase particulate flow in liquid, namely a rotating drum half-filled with spherical particles. Overall agreement between experimental and simulated values of static and dynamic angle of repose is found to be quite satisfactory, both in air and in oil.
A Refinement Approach for Correct-by-Construction Object-Oriented Programs

: Reﬁnement is a well-known approach for developing correct-by-construction software. It has been very successful for producing high quality code e.g., as implemented in the B tool. Yet, such reﬁnement techniques are restricted in the sense that they forbid aliasing (and more generally sharing of data-structures), which often happens in usual programming language such as Java and C. We propose a sound approach for reﬁnement in presence of aliases. Suitable abstractions of programs are deﬁned by algebraic data types and the so-called model ﬁelds. These are related to concrete program data using coupling invariants. The soundness of the approach relies on methodologies for (1) controlling aliases and (2) checking side-effects, both in a modular way.
An Adam 15 amplification loop promotes vascular endothelial growth factor-induced ocular neovascularization

Proteins with a disintegrin and a metalloproteinase domain (ADAMs) are a family of membrane-bound proteinases that bind integrins through their disintegrin domain. In this study, we have found modest expression of ADAM15 in pericytes in normal retina and strong up-regulation of ADAM15 in retinal vascular endothelial cells in ischemic retina. Increased expression of vascular endothelial growth factor (VEGF) in the retina in the absence of ischemia also increased ADAM15 levels, and knockdown of Vegf mRNA in ischemic retina reduced Adam15 mRNA. Mice deficient in ADAM15 showed a significant reduction in ischemia-induced retinal neovascularization, choroidal neovascularization at rupture sites in Bruch’s membrane, and VEGF-induced subretinal neovascularization. ADAM15-deficient mice also showed reduced levels of VEGF164, VEGF receptor 1, and VEGF receptor 2 in ischemic retina. These data suggest that ADAM15 and VEGF participate in an amplification loop; VEGF increases expression of ADAM15, which in turn increases expression of VEGF and its receptors. Perturbation of the loop by elimination of ADAM15 suppresses ocular neovascularization in 3 different model systems, and thus ADAM15 provides a new therapeutic target for diseases complicated by neovascularization. —Xie, B. , Shen, J., Dong, A. , Swaim, M. , Hackett, S. F. , Wyder, L. , Worpenberg, S. , Barbieri, S. , Campochiaro, P. A. An Adam15 amplification loop promotes VEGF-induced ocular neovascularization. FASEB J. 22, 2775–2783 (2008)
Email FI Identiﬁcation and Resolution with Model Checking

Internet applications, such as Email, VoIP and WWW, have been enhanced with features. However, the introduction and modiﬁcation of features may result in undesired behaviors, and this eﬀect is known as feature interaction-(”FI”). Among other methods, constraint logic programming and model checking have been adopted to address the two main problems in telephony FIs: detection and resolution. Inthispaper, we show that model checking is also suitable to detect FIs in more complex domains and we use Email features as an example. Moreover, FI detection may be simultaneously analyzed by model checking tools. Finally, we analyze the implementation performance against a number of parties and message types using the CPAchecker tool. Model checking reveals a superior performance against constraint programming, for the case of FI detection with FI occurrence.
A Transnational Comparison of Leadership A Transnational Comparison of Leadership Development: Pedagogical Implications Development: Pedagogical Implications

Purpose: A comparative analysis investigated international and American students’ development of leadership skills through senior-level service-learning courses. Design : Over 100 service-learning courses from students representing 30 countries were examined at a major university in the United States. U.S. and non-U.S. student leadership and learning outcomes were correlated with instructional techniques. Findings : Facilitating leadership skill development is a function of utilizing transformational rather than traditional classroom teaching techniques. Implications : Transformational pedagogies such as collaborative projects, student-selected readings, and group decision-making in service-learning courses help transform students’ views of themselves, their communities, and the world. Originality/value: Few studies have examined the pedagogical elements in service-learning that transform student knowledge and skills. Classification : Research paper
UvA-DARE (Digital Academic Repository) Rare-Earth-Metal (Nd 3+ , Ce 3+ and Gd 3+ )-Doped CaF 2 Nanoparticles for Multimodal Imaging in Biomedical Applications

: Here, we describe the synthesis of a novel type of rare-earth-doped nanoparticles (NPs) for multimodal imaging, by combining the rare-earth elements Ce, Gd and Nd in a crystalline host lattice consisting of CaF 2 (CaF 2 : Ce, Gd, Nd). CaF 2 : Ce, Gd, Nd NPs are small (15–20 nm), of uniform shape and size distribution, and show good biocompatibility and low immunogenicity in vitro. In addition, CaF 2 : Ce, Gd, Nd NPs possess excellent optical properties. CaF 2 : Ce, Gd, Nd NPs produce downconversion emissions in the second near-infrared window (NIR-II, 1000–1700 nm) under 808 nm excitation, with a strong emission peak at 1056 nm. Excitation in the ﬁrst near-infrared window (NIR-I, 700–900 nm) has the advantage of deeper tissue penetration power and reduced autoﬂuorescence, compared to visible light. Thus, CaF 2 : Ce, Gd, Nd NPs are ideally suited for in vivo ﬂuorescence imaging. In addition, the presence of Gd 3+ makes the NPs intrinsically monitorable by magnetic resonance imaging (MRI). Moreover, next to ﬂuorescence and MR imaging, our results show that CaF 2 : Ce, Gd, Nd NPs can be used as imaging probes for photoacoustic imaging (PAI) in vitro. Therefore, due to their biocompatibility and suitability as multimodal imaging probes, CaF 2 : Ce, Gd, Nd NPs exhibit great potential as a traceable imaging agent in biomedical applications.
Screening for abdominal aortic aneurysm.

BACKGROUND Abdominal aortic aneurysm (AAA) is found in 5% to 10% of men aged 65 to 79 years. The major complication is rupture which presents as a surgical emergency. The mortality after rupture is high, 80% for patients reaching hospital and 50% for those undergoing surgery for emergency repair. Currently elective surgical repair is recommended for aneurysms discovered to be larger than 5.5 cm to prevent rupture. There is interest in population screening to detect, monitor and repair abdominal aortic aneurysms before rupture. OBJECTIVES To determine the effects of screening asymptomatic individuals for AAA on mortality, subsequent treatment, quality of life and cost effectiveness of screening. SEARCH STRATEGY The Cochrane Peripheral Vascular Diseases Group searched their Trials Register (last searched 26 January 2007) and CENTRAL (last searched Issue 1, 2007). SELECTION CRITERIA Randomised controlled trials of population screening for AAA. DATA COLLECTION AND ANALYSIS Two authors independently assessed trials and extracted data. MAIN RESULTS Four studies involving 127,891 men and 9,342 women were included in this review. Only one study included women. Results for men and women were analysed separately. Three to five years after screening there was no significant difference in all-cause mortality between screened and unscreened groups for men or women (men, odds ratio (OR) 0.95; 95% Confidence interval (CI) 0.85 to 1.07; for women OR 1.06; 95% CI 0.93 to 1.21). There was a significant decrease in mortality from AAA in men (OR 0.60; 95% CI 0.47 to 0.78), but not for women (OR 1.99; 95% CI 0.36 to 10.88). In this analysis mortality includes death from rupture and from emergency or elective surgery for aneurysm repair. There was also a decreased incidence of ruptured aneurysm in men (OR 0.45; 95% CI 0.21 to 0.99) but not in women (OR 1.49; 95% CI 0.25 to 8.94). There was a significant increase in surgery for AAA in men (OR 2.03; 95% CI 1.59 to 2.59). This was not reported in women. There were no data on life expectancy, complications of surgery or subjective quality of life. AUTHORS' CONCLUSIONS There is evidence of a significant reduction in mortality from AAA in men aged 65 to 79 years who undergo ultrasound screening. There is insufficient evidence to demonstrate benefit in women. The cost effectiveness may be acceptable, but needs further expert analysis. These findings need careful consideration in judging whether a co-ordinated population-based screening programme should be introduced.
Reducing the computational complexity of fuzzy identity-based encryption from lattice

— In order to provide access control on encrypted data, Attribute-based encryption (ABE) defines each user using a set of attributes. Fuzzy identity-based encryption (FIBE) is a variant of ABE that allows for a threshold access structure for users. To address the potential threat posed by future quantum computers, this paper presents a post-quantum fuzzy IBE scheme based on lattices. However, current lattice-based ABE schemes face challenges related to computational complexity and the length of ciphertext and keys. This paper aims to improve the performance of an existing fuzzy IBE scheme by reducing key length and computational complexity during the encryption phase. While negative attributes are not utilized in our scheme, we prove its security under the learning with error (LWE) hard problem assumption in the selective security model. These improvements have significant implications for the field of ABE.
Effect of Isoﬂupredone Acetate With or Without Insulin on Energy Metabolism, Reproduction, Milk Production, and Health in Dairy Cows in Early Lactation

Glucocorticoids are commonly used to treat cows with clinical ketosis and fatty liver disease, but their use is controversial. The objectives of the present study were to investigate the effects of isoﬂupredone acetate alone or with insulin on the energy metabolism of dairy cows in early lactation in a large double-blind, randomized clinical trial. A total of 1,162 Holstein cows and ﬁrst-lactation heifers were randomly assigned to receive 1 of 3 treatments between the day of parturition and 8 DIM: group A, 20-mg i.m. injection of isoﬂupredone and 100 units of insulin; group B, 20-mg i.m. injection of isoﬂupredone; group C (control group), 10-mL i.m. injection of sterile water. Treatments were randomized across 24 dairy farms located near Guelph, Ontario, Canada. Serum samples obtained at the time of treat-ment and at wk 1 and 2 following treatment were analyzed for β -hydroxybutyrate, nonesteriﬁed fatty acids, glucose, calcium, potassium, sodium, and chloride. Cows were assigned a body condition score at the time of enrollment. Data were analyzed using a repeated-measures mixed model that accounted for the effects of parity and body condition score, and the random effects of cow and farm. Cows that received isoﬂupredone with insulin and isoﬂupredone alone had higher β -hydroxy- butyrate and nonesteriﬁed fatty acid concentrations 1 wk after treatment compared with control cows. Cows that received isoﬂupredone acetate plus insulin had lower glucose concentrations at 1 wk after treatment. Calcium concentrations 1 wk after treatment were lower for cows that received isoﬂupredone and insulin or isoﬂupredone only compared with control cows. Serum sodium, potassium, and chloride concentrations were not inﬂuenced by treatment. The effect of treat-ment on the proportion of cows with subclinical ketosis was evaluated with a logistic regression model. Over Received
por-Short communication: Effects of milk removal on teat tissue and recovery in Murciano-Granadina goats

The aim of this work was to study how machine milking (MM) carried out in appropriate conditions affects teat wall thickness and canal length and their return after milking to premilking conditions compared with other milk removal methods considered biological refer-ents: kid suckling (KS), catheter removal (CATH), and hand milking (HM). Three Latin square experiments were designed, each divided into 2 periods. In the first period, the left glands of each animal were machine milked and the KS, CATH, and HM treatments were applied to the right glands in experiments 1, 2, and 3, respectively. Subsequently, in the second period, the removal methods were interchanged. Teat wall thickness, teat wall area, teat end wall area, and teat canal length were measured from the ultrasound images. Milk removal using the reference methods (KS, CATH, and HM) and by MM caused increases in teat wall thickness and teat canal length, which were greater with MM. The time needed for the teat walls and canal to return to their physiological conditions before milk removal was greater than 10 h in the reference methods and following machine milking.
The Role of the Hippo-YAP/TAZ Signaling Pathway as a Driver of Early Growth Plate Recovery Response to Irradiation

The growth arrest of epiphyseal plates is an inevitable complication of radiotherapy in most pediatric cancer patients, yet our understanding of the regulatory mechanisms governing the recovery response remains limited. This experiment sought to delve into the roles of yes-associated protein (YAP) and transcriptional co-activator with PDZ-binding motif (TAZ) transcriptional co-activators, crucial drivers of the regenerative process, in this recovery response.
Physics-based Water Interaction and Shading: The SiViFlow Algorithm

This work presents a new approach called SiViFlow that simulates watercourses in real-time. The algorithm is flexible enough to be used in any type of environment and allows a river to be dynamically generated given any riverbed. The component that manages the flow is responsible for the water animation and allows the use of various techniques to simulate visual features. As all the information is dynamically generated, SiViFlow also reacts to dynamic objects that come in contact with the river, properly adjusting the course of the flow. This work helps accelerate and improve the methods of creating realistic rivers so that they can be used in video
VOICE BALANCE — A SPIRIT LEVEL BASED ON VOCAL SOUNDS

Sonification is informative. But a weakness of sonification utilizing artificial sounds is that people are not familiar with it and get annoyed quickly. Also, most of the information mediated by sound can hardly be understood intuitively. In Voice Balance, you listen to the human voice to level your smartphone. The sound is familiar, informative
The Impact of TikTok UGC Videos on Online Purchase Intention: The Impact of TikTok UGC Videos on Online Purchase Intention: Mediating Role of Cognitive States Mediating Role of Cognitive States

Background: User-Generated Content (UGC) videos have received considerable attention in recent years thanks to their great potential for buyers and sellers. However, the effect of this content on consumer behavior remains unclear, especially in the context of developing countries (e.g., Vietnam). By applying the Stimulus-Organism-Response model (S-O-R model), this paper examines the effect of UGC videos on online purchase intention. Moreover, the mediating role of cognitive responses, consisting of perceived credibility, perceived diagnosticity, and mental imagery, is also examined to offer valuable insights to businesses, enabling them to leverage and effectively promote the trends of UGC videos. Method: A convenience sampling method was employed to collect the data. A total of 318 valid respondents participated in this survey. The data was analyzed with the Partial Least Squares Structural Equation Modeling method (PLS-SEM). Results: The findings show that UGC videos have a direct impact on online purchase intention. This paper also verified that cognitive states mediate the relationship between stimuli and subsequent behavioral intentions. Conclusion: Our research findings enrich the literature on consumer’s online purchase intentions by applying the S-O-R framework by highlighting the role of cognitive responses, and improving generalizability by contributing additional consumer behavior findings in developing Asian nations. Moreover, this paper offers businesses insights into the formation of customers' purchase intentions while watching UGC videos. Based on that, this paper raises practical recommendations regarding promoting the UGC video trend and creating UGC videos effectively to improve the cognitive states perceived by customers, including credibility, diagnostic value, and mental imagery.
Studies on the Effects of Water-retaining Agents on Maize Growth and Soil Nutrient Transformation

This paper studied the effects of water-retaining agents on maize growth characters and biomass and soil nutrient transformation in sandy soil by pot experiment.The results showed that plant height and total leaf area were remarkably increased, the biomass of maize and the fertilizer use efficiency were promoted by supplying the water-retaining agents, too. The proportion of the solid, liquid and gas was changed, and became more rational. The capacity of available moisture was increased in the soil. At the same time,the water-holding capacity (WHC) and the amounts of available K were enhanced.Applying water-retaining agents can promote the decomposition and mineralization of soil organic matter, and can thus decrease the contents of soil organic matter.
Test de coordinación motriz 3JS: Cómo valorar y analizar su ejecución (Motor Coordination Test 3JS: Assessing and analyzing its implementation)

La valoracion de la coordinacion motriz en edad temprana es una de las exigencias del profesional de la Educacion Fisica y de los investigadores en este campo. El test 3JS tiene como objetivo evaluar el nivel de coordinacion motriz de los ninos y ninas de 6 a 11 anos. Se realiza un recorrido con 7 tareas de forma consecutiva y sin descanso intermedio: saltos verticales, giro, lanzamientos, golpeos con el pie, carrera de slalom, bote con slalom y conduccion sin slalom. En el documento que se presenta a continuacion se describen las tareas de la que consta el test, se explica de forma detallada cada uno de los cuatro criterios de valoracion cualitativa en cada una de ellas y se presenta una hoja de registro didactica para evaluar un grupo de ninos. Ademas, se describen las variables de valoracion dentro del analisis de los resultados: Nivel de coordinacion motriz, de coordinacion locomotriz y de coordinacion control de objetos (mano y pie) y Ratios y Cocientes para profundizar en el analisis comparativo entre las expresiones de la coordinacion. Abstract . Assessment of motor coordination in early ages is one of the requirements for physical education professionals and for researchers in this field. The 3JS test aims to assess motor coordination levels in Primary Education students (aged 6-11). A 7-task path is performed consecutively without between-exercise breaks: vertical jumps, turn, throw, kicking, slalom race, slalom ball handling and no-slalom conduction. This document describes the tasks included in the aforementioned test, explaining in detail each of the four qualitative assessment criteria applied to each of them. Also, a sample Education record sheet employed to assess groups of children is shown. Moreover, evaluation variables for the analysis of results are described: motor coordination levels, locomotor coordination, and object control coordination (hands and feet), in addition to Ratios and quotients so as to carry out further comparative analysis of coordination expressions.
More Efficient Public-Key Cryptography with Leakage and Tamper Resilience

In this paper, we study the design of efficient signature and public-key encryption (PKE) schemes in the presence of both leakage and tampering attacks. Firstly, we formalize the strong leakage and tamper-resilient (sLTR) security model for signature, which provides strong existential unforgeability, and deals with bounded leakage and restricted tampering attacks, as a counterpart to the sLTR security introduced by Sun et al. (ACNS 2019) for PKE. Then, we present direct constructions of signature and chosen-ciphertext attack (CCA) secure PKE schemes in the sLTR model, based on the matrix decisional Diffie-Hellman (MDDH) assumptions (which covers the standard symmetric external DH (SXDH) and k -Linear assumptions) over asymmetric pairing groups. Our schemes avoid the use of heavy building blocks such as the true-simulation extractable non-interactive zero-knowledge proofs (tSE-NIZK) proposed by Dodis et al. (ASIACRYPT 2010), which are usually needed in constructing schemes with leakage and tamper-resilience. Especially, our SXDH-based signature and PKE schemes are more efficient than the existing schemes in the leakage and tamper-resilient setting: our signature scheme has only 4 group elements in the signature, which is about 5 ×∼ 8 × shorter , and our PKE scheme has only 6 group elements in the ciphertext, which is about 1 . 3 ×∼ 3 . 3 × shorter . Finally, we note that our signature scheme is the first one achieving strong existential unforgeability in the leakage and tamper-resilient setting, where strong existential unforge-ability has important applications in building more complex primitives such as signcryption and authenticated key exchange.