Miracle-dz/UniFAR-FTUs huggingface dataset:
Introduction: Growing Evidence to Support Coaching in Literacy and Mathematics

I N N O V A T I O N and change are at the heart of educational movements to reform and improve the education of all students. Students who struggle with literacy and mathematics face severe academic challenges early in life and possible economic inequity in adulthood. In this introduction, we situate the growing body of literature referred to as coaching— or sustained classroom-based support from a qualified and knowledgeable individual who models researchbased strategies and explores with teachers how to incorporate these practices using the teacher’s own students—within the need for viable means of professional development for classroom teachers that lead to improved schooling for children. We argue for the timeliness of an in-depth treatment of literacy and mathematics coaching and then present a summary of the articles that were chosen, through a blinded peer-review process, for inclusion in this special issue. In a country where academic achievement has the potential to change social equity, it is imperative that all students achieve academically. To that end, scholars have agreed for some time that the single best safeguard against school failure is highly qualified teachers (Darling-Hammond, 2000; Laczko-Kerr & Berliner, 2002), although historically, students in high-poverty, high-minority, and lowachieving schools have had the least access to skilled instructors (Olson, 2003). Research has demonstrated that one way to improve instructional practices is through the professional development of classroom teachers. Keeping in mind the spirit of improving classroom instruction for the students who most need improved practices, we embarked on developing this special issue of The Elementary School Journal.
A comparison of resting-state brain activity in humans and chimpanzees

In humans, the wakeful resting condition is characterized by a default mode of brain function involving high levels of activity within a functionally connected network of brain regions. This network has recently been implicated in mental self-projection into the past, the future, or another individual's perspective. Here we use [18F]-fluorodeoxyglucose positron emission tomography imaging to assess resting-state brain activity in our closest living relative, the chimpanzee, as a potential window onto their mental world and compare these results with those of a human sample. We find that, like humans, chimpanzees show high levels of activity within default mode areas, including medial prefrontal and medial parietal cortex. Chimpanzees differ from our human sample in showing higher levels of activity in ventromedial prefrontal cortex and lower levels of activity in left-sided cortical areas involved in language and conceptual processing in humans. Our results raise the possibility that the resting state of chimpanzees involves emotionally laden episodic memory retrieval and some level of mental self-projection, albeit in the absence of language and conceptual processing.
Colour Mapping: A Review of Recent Methods, Extensions and Applications

The objective of colour mapping or colour transfer methods is to recolour a given image or video by deriving a mapping between that image and another image serving as a reference. These methods have received considerable attention in recent years, both in academic literature and industrial applications. Methods for recolouring images have often appeared under the labels of colour correction, colour transfer or colour balancing, to name a few, but their goal is always the same: mapping the colours of one image to another. In this paper, we present a comprehensive overview of these methods and offer a classification of current solutions depending not only on their algorithmic formulation but also their range of applications. We also provide a new dataset and a novel evaluation technique called ‘evaluation by colour mapping roundtrip’. We discuss the relative merit of each class of techniques through examples and show how colour mapping solutions can have been applied to a diverse range of problems.
Permutation auto-mutual information of electroencephalogram in anesthesia

Objective. The dynamic change of brain activity in anesthesia is an interesting topic for clinical doctors and drug designers. To explore the dynamical features of brain activity in anesthesia, a permutation auto-mutual information (PAMI) method is proposed to measure the information coupling of electroencephalogram (EEG) time series obtained in anesthesia. Approach. The PAMI is developed and applied on EEG data collected from 19 patients under sevoflurane anesthesia. The results are compared with the traditional auto-mutual information (AMI), SynchFastSlow (SFS, derived from the BIS index), permutation entropy (PE), composite PE (CPE), response entropy (RE) and state entropy (SE). Performance of all indices is assessed by pharmacokinetic/pharmacodynamic (PK/PD) modeling and prediction probability. Main results. The PK/PD modeling and prediction probability analysis show that the PAMI index correlates closely with the anesthetic effect. The coefficient of determination R2 between PAMI values and the sevoflurane effect site concentrations, and the prediction probability Pk are higher in comparison with other indices. The information coupling in EEG series can be applied to indicate the effect of the anesthetic drug sevoflurane on the brain activity as well as other indices. The PAMI of the EEG signals is suggested as a new index to track drug concentration change. Significance. The PAMI is a useful index for analyzing the EEG dynamics during general anesthesia.
Energy-Efficient Broadcasting Scheme for Smart Industrial Wireless Sensor Networks

In smart Industrial Wireless Sensor Networks (IWSNs), sensor nodes usually adopt a programmable technology. These smart devices can obtain new or special functions by reprogramming: they upgrade their soft systems through receiving new version of program codes. If sensor nodes need to be upgraded, the sink node will propagate program code packets to them through “one-to-many” broadcasting, and therefore new capabilities can be obtained, forming the so-called Software Defined Network (SDN). However, due to the high volume of code packet, the constraint energy of sensor node, and the unreliable link quality of wireless network, rapidly broadcasting the code packets to all nodes in network can be a challenge issue. In this paper, a novel Energy-efficient Broadcast scheme with adjustable broadcasting radius is proposed aiming to improve the performance of network upgrade. In our scheme, the nonhotspots sensor nodes take full advantage of their residual energy caused in data collection period to improve the packet reception probability and reduce the broadcasting delay of code packet transmission by enlarging the broadcasting radius, that is, the transmitting power. The theoretical analyses and experimental results show that, compared with previous work, our approach can averagely reduce the Network Upgrade Delay (NUD) by 14.8%–45.2% and simultaneously increase the reliability without harming the lifetime of network.
Neuroglobin – recent developments

Abstract Neuroglobin (Ngb), a monomeric hexacoordinated heme protein of 17 kDa, was identified in 2000 in the nervous system. Accumulative evidence has proved that Ngb is an endogenous neuroprotective molecule against ischemic/hypoxic insults and oxidative stresses, and in most ischemic conditions, Ngb is up-regulated. The underlying mechanisms, however, are not fully clarified. Here we review the recent experimental findings, mainly focusing on the mechanisms of Ngb’s protection and induction during ischemic/hypoxic conditions, the roles of Ngb in astrocytes and tumors, as well as Ngb’s function in neurite outgrowth.
An infant with rare adrenocortical carcinoma

Adrenocortical tumors (ACT) include both adrenocortical adenomas (ACA) and adrenocortical carcinomas (ACC). Carcinomas are rare in children and adolescents. In the United States, Surveillance Epidemiology and End Results (SEER) data from the National Cancer Institute show that the proportion of adrenocortical tumors (ACT) in childhood carcinoma is only about 1.3%, and the proportion of ACT in childhood malignancies is only about 0.2%. With childhood ACC being less common, there were only 36 cases of adrenocortical carcinomas younger than age 20 years reported to SEER during 20 years period of 1975-1995, 18 of them occurred in children younger than 5 years of age. Herein, we report our experience of a 9 monthes old female infant ACC case presenting with huge abdomen mass as the main clinical manifestation. The patient has a favorable outcome combined with surgical and chemotherapy treatments.
Exhaled breath condensate pH is influenced by respiratory droplet dilution

Several studies support that airway acid stress plays a role in the pathophysiology of asthma. Exhaled breath condensate pH (EBC pH) was suggested as a surrogate marker of airway acidification. The dilution of airway lining fluid (ALF) acids and bases by alveolar water may influence condensate pH, but it has not been studied yet. The aim of our study was to investigate the relationship between EBC pH and ALF dilution in EBC samples obtained from asthmatic and healthy subjects. EBC was collected from 55 asthmatic and 57 healthy subjects for pH and conductivity measurements. Fractional exhaled nitric oxide (FENO) and lung function tests were also performed in asthmatic patients. EBC pH was determined after 10 min of argon deareation and the dilution was estimated by the measurement of conductivity in vacuum-treated samples. There was no difference either in EBC pH or dilution between the two groups. However, a significant relationship was found between EBC pH and dilution in both groups (p < 0.05, r = −0.35 and r = −0.29, asthmatic and healthy groups, respectively). Our results suggest important methodological aspect indicating that EBC pH is affected by respiratory droplet dilution, and this effect should be taken into consideration when interpreting EBC pH data.
Biomass use, production, feed efficiencies, and greenhouse gas emissions from global livestock systems

Significance This report is unique in presenting a high-resolution dataset of biomass use, production, feed efficiencies, and greenhouse gas emissions by global livestock. This information will allow the global-change research community in enhancing our understanding of the sustainability of livestock systems and their role in food security, livelihoods and environmental sustainability. We present a unique, biologically consistent, spatially disaggregated global livestock dataset containing information on biomass use, production, feed efficiency, excretion, and greenhouse gas emissions for 28 regions, 8 livestock production systems, 4 animal species (cattle, small ruminants, pigs, and poultry), and 3 livestock products (milk, meat, and eggs). The dataset contains over 50 new global maps containing high-resolution information for understanding the multiple roles (biophysical, economic, social) that livestock can play in different parts of the world. The dataset highlights: (i) feed efficiency as a key driver of productivity, resource use, and greenhouse gas emission intensities, with vast differences between production systems and animal products; (ii) the importance of grasslands as a global resource, supplying almost 50% of biomass for animals while continuing to be at the epicentre of land conversion processes; and (iii) the importance of mixed crop–livestock systems, producing the greater part of animal production (over 60%) in both the developed and the developing world. These data provide critical information for developing targeted, sustainable solutions for the livestock sector and its widely ranging contribution to the global food system.
Occupational aspirations and ethnic school segregation: social contagion effects among native German and immigrant youths

ABSTRACT In this study, I broaden the perspective on young immigrants’ aspirations by looking at their social embeddedness in the host society in terms of their institutionally predefined ties to school peers. In particular, I investigate the relationship between the aspirations of immigrant and native youths with special regard to the social mechanisms that may underlie peer influences. My analyses are based on multilevel data on ninth graders from the German National Educational Panel Study. The results show that a high ratio of immigrants in schools positively influences the aspirations of both immigrant and native German youths by way of school climate. However, the same context has different effects on different groups of origin. For those of Turkish descent, ‘ethnic schools’ are of twofold significance: first, the aspiration gap between Turks and native Germans decreases with increasing segregation, an effect that may be attributable to less perceived discriminatory experiences in school. Second, Turkish young people's stronger adaptation to the climate in ethnically segregated schools reinforces the protective effect of ethnic segregation and, additionally, lowers the aspirations of these youths. That is, immigrants’ stronger orientation towards their in-group seems to contribute to a buffer against discrimination.
Rescaling Ambitions: Waterfront Governance and Toronto's 2015 Pan American Games

ABSTRACT Toronto is a rare global city because negotiating public land ownership remains a defining feature of the city's urban politics. The awarding of the 2015 Pan American Games to Toronto is a prime occasion to witness how fragmented governance can limit the ambition and enthusiasm of a sporting mega‐event. Historically, Toronto has not been known for its ability to host large‐scale sporting events but it has recently used a series of failed Olympic bids and smaller sporting events to trigger piecemeal “legacy” development. In this article we argue that the awarding of the Pan American Games to Toronto was predicated on a process that removed local politics from the bidding process. Focusing on the development of the athletes’ village in the West Don Lands and incorporating a number of interviews with key stakeholders across Toronto, this research illustrates that the heavy involvement and investment of the Province of Ontario in the Pan American spectacle forces us to ask: Whose waterfront? Whose games?
An approach for refining JML specification to object oriented code

JML is a behavioral interface specification language which has Java as its target implementation language. It combines the idea of using Java expressions from Eiffel language with the model-based approach to specify a program. Refinement calculus is a framework to produce executable code from a specification by preserving the correctness of programs. In this paper some constructs of JML concerning object creation, feature call, exceptional behavior and concurrency constructs are studied and some refinement rules are proposed to obtain an object oriented code in Java from a JML specification containig these constructs. The correctness of these rules is proved by weakest precondition predicate transformer. The refinement of usual constructs in JML such as If-statement, Loop and Assignment from previous works such as Z refinement is also demonstrated.
CALF: Categorical Automata Learning Framework

Automata learning is a technique that has successfully been applied in verification, with the automaton type varying depending on the application domain. Adaptations of automata learning algorithms for increasingly complex types of automata have to be developed from scratch because there was no abstract theory offering guidelines. This makes it hard to devise such algorithms, and it obscures their correctness proofs. We introduce a simple category-theoretic formalism that provides an appropriately abstract foundation for studying automata learning. Furthermore, our framework establishes formal relations between algorithms for learning, testing, and minimization. We illustrate its generality with two examples: deterministic and weighted automata.
A robotic catapult based on the closed elastica with a high stiffness endpoint and its application to swimming tasks

In this paper, we propose a new robotic catapult with a high stiffness endpoint. The conventional robotic catapults based on the closed elastica are robotic elements for generating impulsive motions by utilizing the snap-through buckling. In a typical robotic catapult, the two ends of an elastic strip are fixed to a free joint and an active joint, respectively. Here we found that by adding only the high stiffness at the free joint, compared to the conventional type, more elastic energy can be stored and release surely without loss of a characteristic of generating impulsive motion repeatedly. By utilizing the high stiffness endpoint, we develop a faster impulsive swimming robot than the conventional one.
Evaluation of symptom checkers for self diagnosis and triage: audit study

Objective To determine the diagnostic and triage accuracy of online symptom checkers (tools that use computer algorithms to help patients with self diagnosis or self triage). Design Audit study. Setting Publicly available, free symptom checkers. Participants 23 symptom checkers that were in English and provided advice across a range of conditions. 45 standardized patient vignettes were compiled and equally divided into three categories of triage urgency: emergent care required (for example, pulmonary embolism), non-emergent care reasonable (for example, otitis media), and self care reasonable (for example, viral upper respiratory tract infection). Main outcome measures For symptom checkers that provided a diagnosis, our main outcomes were whether the symptom checker listed the correct diagnosis first or within the first 20 potential diagnoses (n=770 standardized patient evaluations). For symptom checkers that provided a triage recommendation, our main outcomes were whether the symptom checker correctly recommended emergent care, non-emergent care, or self care (n=532 standardized patient evaluations). Results The 23 symptom checkers provided the correct diagnosis first in 34% (95% confidence interval 31% to 37%) of standardized patient evaluations, listed the correct diagnosis within the top 20 diagnoses given in 58% (55% to 62%) of standardized patient evaluations, and provided the appropriate triage advice in 57% (52% to 61%) of standardized patient evaluations. Triage performance varied by urgency of condition, with appropriate triage advice provided in 80% (95% confidence interval 75% to 86%) of emergent cases, 55% (47% to 63%) of non-emergent cases, and 33% (26% to 40%) of self care cases (P<0.001). Performance on appropriate triage advice across the 23 individual symptom checkers ranged from 33% (95% confidence interval 19% to 48%) to 78% (64% to 91%) of standardized patient evaluations. Conclusions Symptom checkers had deficits in both triage and diagnosis. Triage advice from symptom checkers is generally risk averse, encouraging users to seek care for conditions where self care is reasonable.
Revealing intricate properties of communities in the bipartite structure of online social networks

Many real-world networks based on human activities exhibit a bipartite structure. Although bipartite graphs seem appropriate to analyse and model their properties, it has been shown that standard metrics fail to reproduce intricate patterns observed in real networks. In particular, the overlapping of the neighbourhood of communities is difficult to capture precisely. In this work, we tackle this issue by analysing the structure of 4 real-world networks coming from online social activities. We first analyse their structure using standard metrics. Surprisingly, the clustering coefficient turns out to be less relevant than the redundancy coefficient to account for overlapping patterns. We then propose new metrics, namely the dispersion and the monopoly coefficients, and show that they help refining the study of bipartite overlaps. Finally, we compare the results obtained on real networks with the ones obtained on random bipartite models. This shows that the patterns captured by the redundancy and the dispersion coefficients are strongly related to the real nature of the observed overlaps.
Changes in the Balance of Phosphoinositide 3-Kinase/Protein Kinase B (Akt) and the Mitogen-activated Protein Kinases (ERK/p38MAPK) Determine a Phenotype of Visceral and Vascular Smooth Muscle Cells

The molecular mechanisms behind phenotypic modulation of smooth muscle cells (SMCs) remain unclear. In our recent paper, we reported the establishment of novel culture system of gizzard SMCs (Hayashi, K., H. Saga, Y. Chimori, K. Kimura, Y. Yamanaka, and K. Sobue. 1998. J. Biol. Chem. 273: 28860–28867), in which insulin-like growth factor-I (IGF-I) was the most potent for maintaining the differentiated SMC phenotype, and IGF-I triggered the phosphoinositide 3-kinase (PI3-K) and protein kinase B (PKB(Akt)) pathway. Here, we investigated the signaling pathways involved in de-differentiation of gizzard SMCs induced by PDGF-BB, bFGF, and EGF. In contrast to the IGF-I–triggered pathway, PDGF-BB, bFGF, and EGF coordinately activated ERK and p38MAPK pathways. Further, the forced expression of active forms of MEK1 and MKK6, which are the upstream kinases of ERK and p38MAPK, respectively, induced de-differentiation even when SMCs were stimulated with IGF-I. Among three growth factors, PDGF-BB only triggered the PI3-K/PKB(Akt) pathway in addition to the ERK and p38MAPK pathways. When the ERK and p38MAPK pathways were simultaneously blocked by their specific inhibitors or an active form of either PI3-K or PKB(Akt) was transfected, PDGF-BB in turn initiated to maintain the differentiated SMC phenotype. We applied these findings to vascular SMCs, and demonstrated the possibility that the same signaling pathways might be involved in regulating the vascular SMC phenotype. These results suggest that changes in the balance between the PI3-K/PKB(Akt) pathway and the ERK and p38MAPK pathways would determine phenotypes of visceral and vascular SMCs. We further reported that SMCs cotransfected with active forms of MEK1 and MKK6 secreted a nondialyzable, heat-labile protein factor(s) which induced de-differentiation of surrounding normal SMCs.
Using object-based hierarchical classification to extract land use land cover classes from high-resolution satellite imagery in a complex urban area

Abstract. Producing land use and land cover (LULC) maps, particularly in complex urban areas, is one of the most important necessities in civil management programs and is an important research topic in satellite image analysis. High-resolution satellite images provide more opportunities for cost-benefit production of such information. This paper proposes a hierarchical LULC classification based on image objects that are created from multiresolution segmentation. A rule-based strategy is used to implement a step-by-step object-based land cover classification on a pan-sharpened IKONOS image taken from a complex urban region in Shiraz, Iran. A new spatial geometrical analysis for the reclassification of unclassified land cover objects is also utilized. After the initial classification, an object-based land use classification is implemented based on the land cover results and using conceptual, spatial, and geometrical modeling of the relationships between land use elements. Overall classification accuracy was 89 and 87% for land cover and land use approaches, respectively. In the best unclassified object analysis, ∼70% of unclassified objects were reclassified correctly. The hierarchical methodology proposed here results in fewer unclassified objects since a multistage classification process is utilized rather than the traditional one-pass classification.