REPORT ON A CASE CONCERNED WITH EMOTIONAL BEHAVIOUR AND SOCIAL SKILLS

Introduction: This is a case study report of a 3-year old Indonesian boy (Daf) who entered an Australian childcare because the mother has to study abroad. Nurses need to know how issues of different culture and languages affect a young child’s development. Method: Interview with the mother and carers in the childcare and three observations which conducted once at home and two observations at childcare Results: Daf is very different from home to childcare. Daf appears to be a boy with shy temperament at childcare. His interactions with peers are quite poor. Differently, he was very active and talked active at home. From the three initial mom’s concerns of grasping pencil/crayon in writing position (fine motor), attachment issues, and verbal aggression and anger, there are a number of other issues revealed such as poor social skills and a lack of negotiation skills as impact of having hit by a peer at childcare. Discussion: Daf is in his transition from a toddler to a preschooler. Daf is transitioning from a mother tongue day care setting to English childcare setting with limited English capacity in new environment, which prevents him from interacting with other native kids. This area is in need to intervene with social skills trainings, including functional verbal expressions in English, for better outcomes. Keyword: transition, language, non-native, developmen

Thinning and drilling laser-assisted hatching in thawed embryo transfer : A randomized controlled trial

Objective: In frozen and thawed embryos, the zona pellucida (ZP) can be damaged due to hardening. Laser-assisted hatching (LAH) of embryos can increase the pregnancy rate. This study compared thinning and drilling of the ZP before frozen embryo transfer (FET). Methods: Patients were randomly allocated into two groups for LAH using thinning or drilling on day 2 after thawing. Twenty-five percent of the ZP circumference and 50% of the ZP thickness was removed in the thinning group, and a hole 40 μm in diameter was made in the drilling group. Results: A total of 171 in vitro fertilization/intracytoplasmic sperm injection FET cycles, including 85 cycles with drilling LAH and 86 cycles with thinning LAH, were carried out. The thinning group had a similar β-human chorionic gonadotropin-positive rate (38.4% vs. 29.4%), implantation rate (16.5% vs. 14.4%), clinical pregnancy rate (36.0% vs. 25.9%), miscarriage rate (5.8% vs. 2.4%), ongoing pregnancy rate (30.2% vs. 23.5%), and multiple pregnancy rate (7.0% vs. 10.6%) to the drilling LAH group. There were no significant differences in pregnancy outcomes between subgroups defined based on age (older or younger than 35 years) or ZP thickness (greater or less than 17 μm) according to the LAH method. Conclusion: The present study demonstrated that partial ZP thinning or drilling resulted in similar outcomes in implantation and pregnancy rates using thawed embryos, irrespective of women's age or ZP thickness. © 2018. The Korean Society for Reproductive Medicine.Peer reviewe

Preliminary results of a silver carp breeding program in Vietnam

The article describes the silver carp (Hypophthalmichthys harmandi and Hypophthalmichthys molitrix) breeding program in Vietnam

The Alexander-Orbach conjecture holds in high dimensions

We examine the incipient infinite cluster (IIC) of critical percolation in regimes where mean-field behavior has been established, namely when the dimension d is large enough or when d>6 and the lattice is sufficiently spread out. We find that random walk on the IIC exhibits anomalous diffusion with the spectral dimension d_s=4/3, that is, p_t(x,x)= t^{-2/3+o(1)}. This establishes a conjecture of Alexander and Orbach. En route we calculate the one-arm exponent with respect to the intrinsic distance.Comment: 25 pages, 2 figures. To appear in Inventiones Mathematica

Preliminary results of a silver carp breeding program in Vietnam

Selective breeding, Aquaculture techniques, Vietnam, Hypophthalmichthys harmandi, Hypophthalmichthys molitrix

Tilapia breeding in ricefields in Vietnam

Results of the studies undertaken for breeding and nursing Nile tilapia (Oreochromis niloticus) in ricefields in Thai Binh province in Vietnam during the years 1995-96 are briefly presented in this paper

Peptide-mediated growth and dispersion of Au nanoparticles in water via sequence engineering

YesThe use of peptides to nucleate, grow, and stabilize nanoparticles in aqueous media via non-covalent interactions offers new possibilities for creating functional, water-dispersed inorganic/organic hybrid materials, particularly for Au nanoparticles. Numerous previous studies have identified peptide sequences that both possess a strong binding affinity for Au surfaces and are capable of supporting nanoparticle growth in water. However, recent studies have shown that not all such peptide sequences can produce stable dispersions of these nanoparticles. Here, via integrated experiments and molecular modeling, we provide new insights into the many factors that influence Au nanoparticle growth and stabilization in aqueous media. We define colloidal stability by the absence of visible precipitation after at least 24 hours post-synthesis. We use binding affinity measurements, nanoparticle synthesis, characterization and stabilization assays, and molecular modeling, to investigate a set of sequences based on two known peptides with strong affinity for Au. This set of biomolecules is designed to probe specific sequence and context effects using both point mutations and global reorganization of the peptides. Our data confirm, for a broader range of sequences, that Au nanoparticle/peptide binding affinity alone is not predictive of peptide-mediated colloidal stability. By comparing nanoparticle stabilization assay outcomes with molecular simulations, we establish a correlation between the colloidal stability of the Au nanoparticles and the degree of conformational diversity in the surface-adsorbed peptides. Our findings suggest future routes to engineer peptide sequences for bio-based growth and dispersion of functional nanoparticles in aqueous media.Air Office of Scientific Research, grant number FA9550-12-1-0226

Novel application of local GAC adsorption to remove organic matters and pesticides in rural drinking water treatment

Novel application of granular activated carbon (GAC) using renewable and low cost materials to remove pesticides and organic matters was studied in the rural water treatment plant (WTP), in Hai Duong province, Vietnam. The treatment efficiencies of the a series of processes such as coagulation/ flocculation, horizontal sedimentation, rapid sand filtration and adsorption using three types of GAC (activated carbon from bituminous coal, from bamboo and from coconut shell) and the overall treatment trains were evaluated by studying several parameters such as turbidity, COD, pesticides (chlorpyrifos, diazinon, carbofuran). Results show that the two locally produced adsorbents have a similar efficiency to commercial activated carbon for adsorption. The removal efficiency was somewhat lower for both materials, but in the same order of magnitude. The removal of pesticides and organic matter with a column filled with activated carbon derived from bamboo was found the best among the two locally produced materials, approximately 30% and 23% higher than those observed for the column filled with activated carbon from coconut shells. It concludes that bamboo-derived activated carbon adsorption can be employed on an alternative to commercial activated carbon and could be a feasible option for drinking water treatment

Models for logics and conditional constraints in automated proofs of termination

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-13770-4_3Reasoning about termination of declarative programs, which are described by means of a computational logic, requires the definition of appropriate abstractions as semantic models of the logic, and also handling the conditional constraints which are often obtained. The formal treatment of such constraints in automated proofs, often using numeric interpretations and (arithmetic) constraint solving can greatly benefit from appropriate techniques to deal with the conditional (in)equations at stake. Existing results from linear algebra or real algebraic geometry are useful to deal with them but have received only scant attention to date. We investigate the definition and use of numeric models for logics and the resolution of linear and algebraic conditional constraints as unifying techniques for proving termination of declarative programs.Developed during a sabbatical year at UIUC. Supported by projects NSF CNS13-19109, MINECO TIN2010-21062-C02-02 and TIN2013-45732-C4-1-P, and GV BEST/2014/026 and PROMETEO/2011/052.Lucas Alba, S.; Meseguer, J. (2014). Models for logics and conditional constraints in automated proofs of termination. En Artificial Intelligence and Symbolic Computation. Springer Verlag (Germany). 9-20. https://doi.org/10.1007/978-3-319-13770-4_3S920Alarcón, B., Gutiérrez, R., Lucas, S., Navarro-Marset, R.: Proving Termination Properties with mu-term. In: Johnson, M., Pavlovic, D. (eds.) AMAST 2010. LNCS, vol. 6486, pp. 201–208. Springer, Heidelberg (2011)Alarcón, B., Lucas, S., Navarro-Marset, R.: Using Matrix Interpretations over the Reals in Proofs of Termination. In: Proc. of PROLE 2009, pp. 255–264 (2009)Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)Contejean, E., Marché, C., Tomás, A.-P., Urbain, X.: Mechanically proving termination using polynomial interpretations. J. of Aut. Reas. 34(4), 325–363 (2006)Endrullis, J., Waldmann, J., Zantema, H.: Matrix Interpretations for Proving Termination of Term Rewriting. J. of Aut. Reas. 40(2-3), 195–220 (2008)Fuhs, C., Giesl, J., Middeldorp, A., Schneider-Kamp, P., Thiemann, R., Zankl, H.: Maximal Termination. In: Voronkov, A. (ed.) RTA 2008. LNCS, vol. 5117, pp. 110–125. Springer, Heidelberg (2008)Futatsugi, K., Diaconescu, R.: CafeOBJ Report. AMAST Series. World Scientific (1998)Hudak, P., Peyton-Jones, S.J., Wadler, P.: Report on the Functional Programming Language Haskell: a non–strict, purely functional language. Sigplan Notices 27(5), 1–164 (1992)Lucas, S.: Context-sensitive computations in functional and functional logic programs. Journal of Functional and Logic Programming 1998(1), 1–61 (1998)Lucas, S.: Polynomials over the reals in proofs of termination: from theory to practice. RAIRO Theoretical Informatics and Applications 39(3), 547–586 (2005)Lucas, S., Marché, C., Meseguer, J.: Operational termination of conditional term rewriting systems. Information Processing Letters 95, 446–453 (2005)Lucas, S., Meseguer, J.: Proving Operational Termination of Declarative Programs in General Logics. In: Proc. of PPDP 2014, pp. 111–122. ACM Digital Library (2014)Lucas, S., Meseguer, J.: 2D Dependency Pairs for Proving Operational Termination of CTRSs. In: Proc. of WRLA 2014. LNCS, vol. 8663 (to appear, 2014)Lucas, S., Meseguer, J., Gutiérrez, R.: Extending the 2D DP Framework for CTRSs. In: Selected papers of LOPSTR 2014. LNCS (to appear, 2015)Meseguer, J.: General Logics. In: Ebbinghaus, H.-D., et al. (eds.) Logic Colloquium 1987, pp. 275–329. North-Holland (1989)Nguyen, M.T., de Schreye, D., Giesl, J., Schneider-Kamp, P.: Polytool: Polynomial interpretations as a basis for termination of logic programs. Theory and Practice of Logic Programming 11(1), 33–63 (2011)Ohlebusch, E.: Advanced Topics in Term Rewriting. Springer (April 2002)Prestel, A., Delzell, C.N.: Positive Polynomials. In: From Hilbert’s 17th Problem to Real Algebra. Springer, Berlin (2001)Podelski, A., Rybalchenko, A.: A Complete Method for the Synthesis of Linear Ranking Functions. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 239–251. Springer, Heidelberg (2004)Schrijver, A.: Theory of linear and integer programming. John Wiley & Sons (1986)Zantema, H.: Termination of Context-Sensitive Rewriting. In: Comon, H. (ed.) RTA 1997. LNCS, vol. 1232, pp. 172–186. Springer, Heidelberg (1997