Miracle-dz/UniFAR-FTUs huggingface dataset:
Mental Models in Deductive Reasoning

We report research investigating the role of mental models in deduction. The first study deals with conjunctive inferences (from one conjunction and two conditional premises) and disjunctive inferences (from one disjunction and the same two conditionals). The second study examines reasoning from multiple conditionals such as: If e then b; If a then b; If b then c; What follows between a and c? The third study addresses reasoning from different sorts of conditional assertions, including conditionals based on if then, only if, and unless. The paper also presents research on figural effects in syllogistic reasoning, on the effects of structure and believability in reasoning from double conditionals, and on reasoning from factual, counterfactual, and semifactual conditionals. The findings of these studies support the model theory, pose some difficulties for rule theories, and show the influence on reasoning of the linguistic structure and the semantic content of problems. En este trabajo presentamos varios estudios que investigan la construcción y manipulación de modelos mentales en el razonamiento deductivo. El primer estudio trata sobre inferencias conjuntivas (formadas a partir de una conjunción y dos condicionales) y disyuntivas (formadas a partir de una disyunción y los mismos dos condicionales). El segundo estudio examina la construcción e integración de modelos y el razonamiento a partir de problemas de condicionales múltiples como: Si e, entonces b; Si a, entonces b; Si b, entonces c. ¿Qué se puede concluir entre a y b? El tercer estudio aborda la representación y el razonamiento a partir de los condicionales con a menos que y su comparación con los condicionales formulados mediante si, entonces; sólo si; y a menos que. Por último, brevemente, se presenta la investigación llevada a cabo sobre el efecto de la figura en el razonamiento silogístico, el efecto de la estructura y la credibilidad en los condicionales dobles, y las diferencias en el razonamiento entre los condicionales fácticos, contrafácticos y semifácticos. Los resultados de estos estudios apoyan la teoría de los modelos mentales, plantean dificultades a las teorías de reglas y ponen de manifiesto la influencia sobre el razonamiento de la formulación lingüística, la estructura y el contenido semántico de los problemas.
Finding pages on the unarchived Web

Web archives preserve the fast changing Web, yet are highly incomplete due to crawling restrictions, crawling depth and frequency, or restrictive selection policies-most of the Web is unarchived and therefore lost to posterity. In this paper, we propose an approach to recover significant parts of the unarchived Web, by reconstructing descriptions of these pages based on links and anchors in the set of crawled pages, and experiment with this approach on the DutchWeb archive. Our main findings are threefold. First, the crawled Web contains evidence of a remarkable number of unarchived pages and websites, potentially dramatically increasing the coverage of the Web archive. Second, the link and anchor descriptions have a highly skewed distribution: popular pages such as home pages have more terms, but the richness tapers off quickly. Third, the succinct representation is generally rich enough to uniquely identify pages on the unarchived Web: in a known-item search setting we can retrieve these pages within the first ranks on average.
A Research on the Reflection of Online Brand Promise in Open and Distance Education

The purpose of this study is to investigate whether open and distance education institutions, which are known as mega universities, utilize information and communication technologies in education and reflect the brand promises online, and to determine which brand values (functional and emotional) they use in communication. This study on online brand communication in open and distance education institutions is a descriptive study to determine the current situation. The research data were collected from the qualitative measurement tools by the content analysis method. The scope of the research consists of the websites open and distance education institutions which are called mega universities, with over 100,000 students. The web site of thirteen universities, which were selected by means of meaningful sampling among these universities, were examined with content analysis method within the scope of the research and the collected data were then evaluated by fuzzy logic and clustering analysis methods. As a result, the universities that are examined reflect the online brand promise through different websites with different scores on the variables that make up the functional and emotional values and there are differences in reflecting the brand promises among the universities, and emotional values are more important than functional values.
EU equality law after a decade of austerity

This article discusses the evolution of European Union (EU) legislation and policymaking methods during the 10 years since the onset of the financial and economic crisis in 2007/2008. In the EU, this period has been characterized by politics of stimulus, austerity, and recovery. Against the backdrop of longer term developments in equality law, we consider how the crisis context influenced this field’s evolution. Through the analysis of a range of legislative and policy proposals, we show that the progressive softening or hybridization of equality law over this period has gone hand in hand with the stronger articulation of equality objectives in terms of a “business case. ” While this approach appears to have enabled the proliferation of policy and legal instruments and expanded the reach of equality law into areas where the EU has limited competence to legislate, it has also elevated instrumental economic goals for action at expense of human rights or social rationales. This longer term tendency is also present in the recently adopted European Pillar of Social Rights, and the accompanying policy documentation, which have been hailed as carrying potential to infuse more coherence and to rebalance the social and economic rationales that the EU integration project has unevenly promoted over the years. Mindful that it is still too early for conclusive judgments, we suggest, however, that the transformative possibilities the Pillar carries are likely to be undermined by its soft and economically oriented thrust.
Adenovirus-mediated VEGF(121) gene transfer stimulates angiogenesis in normoperfused skeletal muscle and preserves tissue perfusion after induction of ischemia.

BACKGROUND Administration of angiogenic factors stimulates neovascularization in ischemic tissues. However, there is no evidence that angiogenesis can be induced in normoperfused skeletal muscles. We tested the hypothesis that adenovirus-mediated intramuscular (IM) gene transfer of the 121-amino-acid form of vascular endothelial growth factor (AdCMV.VEGF(121)) could stimulate neovascularization in nonischemic skeletal muscle and consequently attenuate the hemodynamic deficit secondary to surgically induced ischemia. METHODS AND RESULTS Rabbits and rats received IM injections of AdCMV.VEGF(121), AdCMV.Null, or saline in the thigh, 4 weeks (rabbits) or 2 weeks (rats) before femoral artery removal in the injected limb. In unoperated rats, at the site of injection of AdCMV.VEGF(121), we found 96% and 29% increases in length density of arterioles and capillaries, respectively. Increased tissue perfusion (TP) to the ischemic limb in the AdCMV.VEGF(121) group was documented, as early as day 1 after surgery, by improved blood flow to the ischemic gastrocnemius muscle measured by radioactive microspheres (AdCMV.VEGF(121)=5.69+/-0.40, AdCMV.Null=2.97+/-0.50, and saline=2.78+/-0.43 mL x min(-1) x 100 g(-1), P<0.001), more angiographically recognizable collateral vessels (angioscore) (AdCMV. VEGF(121)=50.58+/-1.48, AdCMV.Null=29.08+/-4.22, saline=11.83+/-1.90, P<0.0001), and improvement of the bioenergetic reserve of the gastrocnemius muscle as assessed by (31)P NMR spectroscopy. Follow-up studies showed that superior TP to the ischemic limb in the AdCMV.VEGF(121) group persisted until it was equalized by spontaneous collateral vessel development in untreated animals. CONCLUSIONS IM administration of AdCMV.VEGF(121) stimulates angiogenesis in normoperfused skeletal muscles, and the newly formed vessels preserve TP after induction of ischemia.
Dynamic optical switching for latency sensitive applications

Dynamic optical interconnects using fast Optical Circuit Switches (OCS) are emerging as a scalable and energy efficient alternative to increasing network demands. Initial concerns regarding slow switching speeds of OCSs were recently overcome, with prototypes enabling circuit setup in a few microseconds. This can potentially broaden the classes of traffic patterns that can be carried efficiently by an alloptical interconnect. However, application performance on such newer interconnects has not been fully understood yet. In this paper, we explore the the gap between advances in faster OCS hardware and the potential success of such newer technologies in terms of application performance and cluster energy efficiency. We evaluate the performance of latencysensitive distributed applications running on a fast OCS environment, analyzing its impact to overall server and network energy efficiency. We also discuss scheduling inefficiencies of current fast OCSs and evaluate ideas to solve them. We find that while some distributed applications suffer minimal performance penalty when running on fast OCSs, more flexible schedulers, like the ones outlined in this paper, improve application performance and OCS efficiency by up to 2.44 times compared to the strategies in the literature. Dynamic optical interconnects using fast Optical Circuit Switches (OCS) are emerging as a scalable and energy efficient alternative to increasing network demands. Initial concerns regarding slow switching speeds of OCSs were recently overcome, with prototypes enabling circuit setup in a few microseconds. This can potentially broaden the classes of traffic patterns that can be carried efficiently by an all-optical interconnect. However, application performance on such newer interconnects has not been fully understood yet. In this paper, we explore the the gap between advances in faster OCS hardware and the potential success of such newer technologies in terms of application performance and cluster energy efficiency. We evaluate the performance of latency-sensitive distributed applications running on a fast OCS environment, analyzing its impact to overall server and network energy efficiency. We also discuss scheduling inefficiencies of current fast OCSs and evaluate ideas to solve them. We find that while some distributed applications suffer minimal performance penalty when running on fast OCSs, more exible schedulers, like the ones outlined in this paper, improve application performance and OCS efficiency by up to 2.44 times compared to the strategies in the literature.
‘There is no better way to study science than to collect and analyse data in your own yard’: outdoor classrooms and primary school children in Bangladesh

ABSTRACT The design and use of outdoor spaces for primary school teaching and learning has been given little consideration in the present context. The existing evidence base is mostly from western perspectives. In this study, an outdoor classroom was designed and built in a primary school in Bangladesh and used to teach children (n = 30) their science curriculum. Multiple methods were used to investigate the impact of the outdoor classroom on students’ learning and engagement, including achievement tests, a questionnaire and focus groups with children and teachers. Children’s science scores were significantly higher after they had been taught outdoors, compared to indoors. Physical qualities of their outdoor classroom (lighting, acoustics, seating), in addition to greater enjoyment and active participation in learning likely explained improved attainment. Qualitative insights from children and teachers supported the quantitative findings. These results provide empirical support for building outdoor classrooms as an effective environment for teaching and learning.
Recruitment and Pay at the Establishment Level: Gender Segregation and the Wage Gap in Portugal

This paper aims at quantifying the trend in worker segregation at the establishment level and its impact on wages in Portugal over a fifteen year period. We concentrate on the gender dimension, to answer the questions: have changes in recruitment policies at the establishment level resulted in higher gender segregation in the labour market? What is the impact of segregation on wages? Is that impact different for men and women? A large linked employer-employee data set is used. Systematic and random components of segregation are computed. We use standard wage decomposition techniques to evaluate the impact of the composition of the labour force at the establishment level on wages. Results reveal a high degree of systematic gender segregation. A higher proportion of females in the establishment lowers females' wages while, on the contrary, it raises males' wages. Between mid-80s and late-90s, the contribution of the gender composition of the workforce within the establishment to the wage gap increased, though fluctuating within that period. The evidence gathered lends support to the taste-based model of employer behaviour.
Design of distributed controllers for component swapping modularity using linear matrix inequalities

The problem of component swapping modularity (CSM) refers to distributed control design in networks of smart components such that specific design constraints are satisfied. The CSM intends to reduce control design effort and complexity in platform-based systems. Existing CSM methods achieve promising results for low order multi-input-multi-output (MIMO) systems. However, lack of generalization, heavy computational burden, and, to a lower extent, the level of designer involvement limit the applications of the existing CSM methods. Thus, this paper presents a generalized CSM algorithm using linear matrix inequalities (LMIs) such that almost full automatic control distribution is achieved for an arbitrary linear system. The LMI-based CSM is designed to maintain both disturbance attenuation and quadratic stability. Also, it is desired to satisfy specific time response criteria. Thus, the proposed algorithm combines H2 optimization and robust H∞ optimization to satisfy given design constraints. The designer involvement is dramatically reduced to iterative tuning of two scalar parameters in the robust H∞ problem. The proposed algorithm incorporates reference tracking. Also, stability measures and design criteria are checked numerically at each step. The LMI-based CSM algorithm has been numerically verified using an engine idle speed control (ISC) example.
Rotating dark matter solution possessing dark energy

In this paper we present an exact solution of Einstein’s field equations, describing a rotating stationary dark matter, which is an extension of non-rotating dark matter solution of Paper I. We find that the rotating stationary solution is a non-asymptotic, Petrov type D space-time whose energy-momentum tensor admits a non-perfect fluid having negative pressure and the energy equation of state parameter with minus sign. We also find that the time-like vector fields of the matter distribution is expanding, shearing and rotating with acceleration. It is also found that, due to the negative pressure, the energy-momentum tensor of the solution violates the strong energy condition leading to the repulsion of the gravitational field of the rotating space-time geometry. We also study the entropy and surface gravity for the horizon of the rotating dark matter solution.
Creativity or Cooptation? Thinking Beyond Instrumentalism When Teaching Design Thinking

This essay frames design thinking (DT) as a form of experiential learning and describes what we, as DT educators, have come to consider its “shadow side. ” We are concerned that, through uncritical promotion of instrumentalist approaches to creativity, DT classes unwittingly marginalize from the curriculum other forms of creativity, such as those that are rebellious and self-expressive. By drawing on existing critiques of the dominant creativity discourse, we explore what a more critically oriented approach to DT might look like.
The SCUBA Half-Degree Extragalactic Survey — I. Survey motivation, design and data processing

he Submillimetre Common-User Bolometer Array (SCUBA) Half-Degree Extragalactic Survey (SHADES) is a major new blank-field extragalactic submillimetre (submm) survey currently underway at the James Clerk Maxwell Telescope (JCMT). Ultimately, SHADES aims to cover half a square degree at 450 and 850m to a 4 depth of ~= 8mJy at 850m. Two fields are being observed, the Subaru/XMM-Newton Deep Field (SXDF) (02h18m- 05) and the Lockman Hole East (10h52m+ 57). The survey has three main aims: (i) to investigate the population of high-redshift submm galaxies and the cosmic history of massive dust-enshrouded star formation activity; (ii) to investigate the clustering properties of submm-selected galaxies in order to determine whether these objects could be progenitors of present-day massive ellipticals; and (iii) to investigate the fraction of submm-selected sources that harbour active galactic nuclei. To achieve these aims requires that the submm data be combined with co-spatial information spanning the radio-to-X-ray frequency range. Accordingly, SHADES has been designed to benefit from ultra-deep radio imaging obtained with the Very Large Array (VLA), deep mid-infrared observations from the Spitzer Space Telescope, submm mapping by the Balloon-borne Large Aperture Submillimetre Telescope (BLAST), deep near-infrared imaging with the United Kingdom Infrared Telescope, deep optical imaging with the Subaru Telescope and deep X-ray observations with the XMM-Newton observatory. It is expected that the resulting extensive multiwavelength data set will provide complete photometric redshift information accurate to as well as detailed spectral energy distributions for the vast majority of the submm-selected sources. In this paper, the first of a series on SHADES, we present an overview of the motivation for the survey, describe the SHADES survey strategy, provide a detailed description of the primary data-analysis pipeline and demonstrate the superiority of our adopted matched-filter source-extraction technique over, for example, Emerson-II style methods. We also report on the progress of the survey. As of 2004 February, 720arcmin2 had been mapped with SCUBA (about 40 per cent of the anticipated final total area) to a median 1 depth of 2.2mJy per beam at 850m (25mJy per beam at 450m), and the source-extraction routines give a source density of 650 +/- 50 sources deg-2 > 3 at 850m. Although uncorrected for Eddington bias, this source density is more than sufficient for providing enough sources to answer the science goals of SHADES, once half a square degree is observed. A refined reanalysis of the original 8-mJy survey Lockman hole data was carried out in order to evaluate the new data-reduction pipeline. Of the 17 most secure sources in the original sample, 12 have been reconfirmed, including 10 of the 11 for which radio identifications were previously secured.
Recurrent Network Models for Kinematic Tracking

We propose the Encoder-Recurrent-Decoder (ERD) model for recognition and prediction of human body pose in videos and motion capture. The ERD model is a recurrent neural network that incorporates nonlinear encoder and decoder networks before and after recurrent layers. We test instantiations of ERD architectures in the tasks of motion capture (mocap) generation, body pose labeling and body pose forecasting in videos. Our model handles mocap training data across multiple subjects and activity domains, and synthesizes novel motions while avoid drifting for long periods of time. For human pose labeling, ERD outperforms a per frame body part detector by resolving left-right body part confusions. For video pose forecasting, ERD predicts body joint displacements across a temporal horizon of 400ms and outperforms a first order motion model based on optical flow. ERDs extend previous Long Short Term Memory (LSTM) models in the literature to jointly learn representations and their dynamics. Our experiments show such representation learning is crucial for both labeling and prediction in space-time. We find this is a distinguishing feature between the spatio-temporal visual domain in comparison to 1D text, speech or handwriting, where straightforward hard coded representations have shown excellent results when directly combined with recurrent units [31] .
HPV-Based Screening, Triage, Treatment, and Followup Strategies in the Management of Cervical Intraepithelial Neoplasia

Cervical cancer is the second most common cause of death from cancer in women worldwide, and the development of new diagnostic, prognostic, and treatment strategies merits special attention. Many efforts have been made to design new drugs and develop immunotherapy and gene therapy strategies to treat cervical cancer. HPV genotyping has potentially valuable applications in triage of low-grade abnormal cervical cytology, assessment of prognosis and followup of cervical intraepithelial neoplasia, and in treatment strategies for invasive cervical cancer. It is known that during the development of cervical cancer associated with HPV infection, a cascade of abnormal events is induced, including disruption of cellular cycle control, alteration of gene expression, and deregulation of microRNA expression. Thus, the identification and subsequent functional evaluation of host proteins associated with HPV E6 and E7 oncoproteins may provide useful information in understanding cervical carcinogenesis, identifying cervical cancer molecular markers, and developing specific targeting strategies against tumor cells. Therefore, in this paper, we discuss the main diagnostic methods, management strategies, and followup of HPV-associated cervical lesions and review clinical trials applying gene therapy strategies against the development of cervical cancer.
The incompressible non-relativistic Navier-Stokes equation from gravity

We note that the equations of relativistic hydrodynamics reduce to the incompressible Navier-Stokes equations in a particular scaling limit. In this limit boundary metric fluctuations of the underlying relativistic system turn into a forcing function identical to the action of a background electromagnetic field on the effectively charged fluid. We demonstrate that special conformal symmetries of the parent relativistic theory descend to `accelerated boost' symmetries of the Navier-Stokes equations, uncovering a conformal symmetry structure of these equations. Applying our scaling limit to holographically induced fluid dynamics, we find gravity dual descriptions of an arbitrary solution of the forced non-relativistic incompressible Navier-Stokes equations. In the holographic context we also find a simple forced steady state shear solution to the Navier-Stokes equations, and demonstrate that this solution turns unstable at high enough Reynolds numbers, indicating a possible eventual transition to turbulence.