Miracle-dz/UniFAR-FTUs huggingface dataset:
Eight-grades students’ mental models in solving a number pattern problem

This study aims to explore all the types of students' mental models of number patterns. The study used a qualitative approach with an explorative type. The subjects used to characterize the student's mental models in this study were 46 eighth grade students in Indonesia. To reveal the subjects’ mental model, they were asked to solve the number pattern problem and were interviewed. For ensuring the validity and reliability of the research results, triangulation technique was used by comparing the results of video recording interviews and written test results. The study showed that in solving the problem of number patterns given, there were 4 types of mental models. They were formal direct mental model, formal indirect mental model, synthetic direct mental model, and synthetic indirect mental model. What we found in this study shows that some students have different mental models to solve the problem. Hence, in future teachers must introduce various strategies to solve the problem and conduct learning that can enrich students' mental models.
DESIGN OF RESONANT CONTROLLER SYSTEM CONNECTED WITH OIL EXTRACTION MACHINE

In recent years, the absolute acceptance of biodiesel as an alternative fuel and lubricant has rapidly grownup in worldwide accompanied by decrease raw materials of fossil oil as well risks related by highly carbon content for the exhaust gases emissions. It is expectant that biodiesel production will be taking status more importantly in the coming years, as such, extraction processes and production plan will be more critical than ever in particular with provide database about vegetable oils characteristics because these oils especially jojoba oil is one of the most important sources for making biodiesel. Current study aims a resonance technique application assisted mechanical extraction on jojoba oil recovery with a view to purpose optimizing machine efficiency, power produced and heating value for jojoba oil during the entire process. An extremely important property of this design is ability to oscillation at a certain frequency, so a control unit was linked to operate this technique which allows to change the value of capacitance on different frequencies in designed circuit. The experiments were executed to detect the effect of studied parameters like resonance frequency levels (60, 70, 80 and 90 kHz) and extraction speeds of press screw (40, 45, 55 and 65 rpm) on evaluation indicators through a resonance technique application as well as has been presented a comparison among some main indicators for jojoba oil and fossil fuel specifications. The obtained results evidenced highly significant differences (P < 0.01) among frequency levels, extraction speed and their interaction for all evaluation indicators. Machine efficiency of 95.23% was reached for resonance treated sample at 80 kHz frequency level and extraction speed of 55 rpm when compared to 75.00% for control sample with improves the extraction yield by 34.30%. Furthermore, produced power and heating value were 1306 kW and 4701 MJ.h-1 under the same pervious conditions.
An Analysis Method for Dynamical System

This paper provides a method to analyze the dynamical system. It considers the fact of realistic delay in dynamical system analysis for the first time. The method uses timeline and state space to emulate the inhibitive coupling nodes evolving procedure in transmission delayed environment. The resultant finite state machine shows the system predictability and hardware implementation feasibility.
Modular Curves and Coding Theory: A Survey

In this survey article we explain the role modular curves played in the theory of error-correcting codes. The emphasis is on Elkies’ modularity conjecture which predicts that all asymptotically optimal recursively deﬁned towers of curves over ﬁnite ﬁelds with square cardinality arise from reductions of modular curves. The known examples support this conjecture. We discuss in detail key properties of the modular towers concerning this conjecture.
Above‐ and below‐ground assessment of carabid community responses to crop type and tillage

Carabid beetles are major predators in agro‐ecosystems. The composition of their communities within crop environments governs the pest control services they provide. An understudied aspect is the distribution of predacious carabid larvae in the soil. We used novel subterranean trapping with standard pitfall trapping, within a multi‐crop rotation experiment, to assess the responses of above‐ and below‐ground carabid communities to management practices. Crop and trap type significantly affected pooled carabid abundance with an interaction of the two, the highest numbers of carabids were caught in subterranean traps in barley under sown with grass. Trap type accounted for the most variance observed in carabid community composition, followed by crop. Tillage responses were only apparent at the species level for three of the eight species modelled. Responses to crop type varied by species. Most species had higher abundance in under‐sown barley, than grass, wheat and barley. Crop differences were greater in the subterranean trap data. For predaceous larvae, standard pitfalls showed lowest abundances in under‐sown barley, yet subterranean traps revealed abundances to be highest in this crop. Comprehensive estimation of ecosystem services should incorporate both above‐ and below‐ground community appraisal, to inform appropriate management.
Pueblo Pequeño, Infierno Grande: Shifting the burden of Latinx Spanish teacher retention in the rural South

This study explored the experiences of five Latinx Spanish teachers who worked in schools in rural North Carolina and South Carolina. Using data from 25 semistructured interviews and publicly available school/community demographic information, this qualitative multiple‐case study sought to answer the following questions: (a) How do Latinx Spanish teachers in the rural South perceive experiences that help or hinder retention? (b) In what ways are Latinx Spanish teachers navigating their role as advocates for linguistic and cultural diversity in their rural schools and communities? Findings showed that participants were constantly balancing the benefits and challenges of their work in a rural area. Due to the racialized nature of the Spanish language, participants reported instances of Spanish being conflated with immigration which resulted in hostility from both students and adults. Nonetheless, participants felt a sense of responsibility in providing their students with exposure to cultures outside of their own cultural setting. As working conditions can have a profound effect on a teacher's decision to stay in the classroom, the findings suggest that emphasizing the positive aspects of teaching in a challenging context may encourage teacher retention.
Emergence , characteristics and role of private technicians in the horticultural production area of La Plata ( Buenos Aires )

El objetivo de este trabajo es caracterizar la influencia y rol de un prestador de servicios disponible en la zona hortícola de La Plata: el técnico privado. Se busca identificar los inicios, su evolución y actual importancia y dependencia. También se pretende describir las características del asesor y de asesoramiento brindado y la interrelación no sólo con los productores, sino que también con las agronomías y las empresas de semillas y agroquímicos. Finalmente, se procura analizar el rol del técnico privado en lo que se denomina el aglomerado económico que conforma la horticultura de La Plata. Para ello se llevaron a cabo una serie de entrevistas en profundidad a actores clave (técnicos privados, del sector público, de las agronomías y distribuidoras, como así también a productores, entre otros) junto a una revisión bibliográfica sobre el modelo tecnológico en la Plata y su “síndrome de la invernaculización” existente. Se concluye que los técnicos privados son un caso más de economía externa, causa y consecuencia del incremento de la competitividad que se genera en este espacio productivo, contribuyendo a la conformación de un aglomerado económico en la horticultura de la capital bonaerense.
The Pass-Through of Uncertainty Shocks to Households

Using new employer-employee matched data, this paper investigates the impact of uncertainty, as measured by idiosyncratic stock market volatility, on individual outcomes. We find that firms provide at best partial insurance to their workers. An increase in firm-level uncertainty is associated with a decline in total compensation, especially in variable pay. In turn, individuals reduce their durable goods consumption in response to these uncertainty shocks. These shocks also lead to greater financial fragility among lower-income earners. We also construct a new county-level uncertainty shock and find that local uncertainty shocks reduce county level durable consumption.
Evaluation and regularization of generalized Eisenstein series and application to 2D cylindrical harmonic sums

In the study of periodic media, conditionally convergent series are frequently encountered and their regularization is crucial for applications. We derive an identity that regularizes twodimensional generalized Eisenstein series for all Bravais lattices, yielding physically meaningful values. We also obtain explicit forms for the generalized series in terms of conventional Eisenstein series, enabling their closed-form evaluation for important high symmetry lattices. Results are then used to obtain representations for the related cylindrical harmonic sums, which are also given for all Bravais lattices. Finally, we treat displaced lattices of high symmetry, expressing them in terms of origin-centered lattices via geometric multi-set identities. These identities apply to all classes of two-dimensional sums, allowing sums to be evaluated over each constituent of a unit cell that possesses multiple inclusions.
A Largish Sum-Of-Squares Implies Circuit Hardness and Derandomization

For a univariate polynomial f , a sum-of-squares representation (SOS) has the form f = (cid:80) i 2 [ s ] c i f 2i , where c i ’s are (cid:12)eld elements and the f i ’s are polynomials. The size of the representation is the number of monomials that appear across the f i ’s. Its minimum is the support-sum S ( f ) of f . For a polynomial f of degree d of full support, a lower bound for the support-sum is S ( f ) (cid:21) p d . We show that the existence of an explicit polynomial f with support-sum just slightly larger than the lower bound, that is, S ( f ) (cid:21) d 0.5 + ε ( d ) , for a sub-constant function ε ( d ) > ω ( p log log d/ log d ) , implies that VP 6 = VNP . The latter is the major open problem in algebraic complexity. We also consider the sum-of-cubes representation (SOC) of polynomials. In a similar way, we show that an explicit hard polynomial even implies that blackbox-PIT is in P .
Exploring the Impact of Strategic Flexibility on Business Model Innovation under the Open Innovation Activity: The Moderating Roles of Multiple Factors with Competitive Ties and Cooperative Ties

This paper proposed a research model exploring the link among strategic flexibility, innovation openness, business model innovation, and introduced two moderating roles into this model. The result shows that innovation openness plays a partly mediating role between strategic flexibility and business model innovation. Collaborator ties negatively moderating the relationship between resource flexibility and innovation openness, positively moderating the relationship between coordination flexibility and innovation openness; The moderating effect of competitor ties is the same. In addition, the results of three interaction shows that the relationship between resource flexibility and innovation openness is negatively moderated by high collaborator ties and high competitor ties, while positively moderated by high collaborator ties and high competitor ties. It’s suggested that enterprises effectively integrate the relationship between internal resources with external competitors and cooperators according to their own strategic flexibility characteristics, embedded open innovation activities in business.
Computational Modes in Weather and Climate Models

This article discusses some of the ways in which linear wave propagation can be misrepresented by numerical methods. Examples include modes that fail to propagate, modes that have group velocity of the wrong sign, the appearance of extra branches in the dispersion relation, and the trapping of waves due to grid inhomogeneities. Some of the consequences for modelling the weather and climate are discussed, including a poor representation of adjustment towards balance, an incorrect response to forcing
The Internationalization benefits of a music festival: The case of the Curacao North Sea Jazz Festival

A longitudinal research design was used to assess the potential internationalization benefits that may occur when hosting a music festival in a small island destination (SID). A macroeconomic analysis was used to assess these benefits. The results reveal that a music festival may make a positive economic impact and provide internationalization benefits for a small economy under the eclectic paradigm and the ownership, location, and internationalization framework. The study contributes to the understanding of music festivals as a strategic resource to enhance the competitiveness of SIDs.
Verified proof checking for higher-order logic Verified proof checking for higher-order logic Proof-Producing Synthesis of CakeML from Monadic HOL Functions A verified proof checker for higher-order logic

This thesis is about verified computer-aided checking of mathematical proofs. We build on tools for proof-producing program synthesis, and verified compilation, and a verified theorem proving kernel. Using these tools, we have produced a mechanized proof checker for higher-order logic that is verified to only accept valid proofs. To the best of our knowledge, this is the only proof checker for HOL that has been verified to this degree of rigor. Mathematical proofs exist to provide a high degree of confidence in the truth of statements. The level of confidence we place in a proof depends on its correctness. This correctness is usually established through proof checking, performed either by human or machine. One benefit of using a machine for this task is that the correctness of the machine itself can be proven. The main contribution of this work is a verified mechanized proof checker for theorems in higher-order logic (HOL). The checker is implemented as functions in the logic of the HOL4 theorem prover, and it comes with a soundness result, which states that it will only accept proofs of true theorems of HOL. Using a technique for proof-producing code generation (which is extended as part of this thesis), we synthesize a CakeML program that is compiled using the CakeML compiler. The CakeML compiler is verified to preserve program semantics. As a consequence, we are able to obtain a soundness result about the machine code which implements the proof checker. Abstract. We introduce an automatic method for producing stateful ML programs together with proofs of correctness from monadic functions in HOL. Our mechanism supports references, exceptions, and I/O operations, and can generate functions manipulating local state, which can then be encapsulated for use in a pure context. We apply this approach to several non-trivial examples, including the instruction encoder and register allocator of the otherwise pure CakeML compiler, which now benefits from better runtime performance. This development has been carried out in the HOL4 theorem prover. Abstract. We present a computer program for checking proofs in higher-order logic (HOL) that is verified to accept only valid proofs. The proof checker is defined as functions in HOL and synthesized to CakeML code, and uses the Candle theorem prover kernel to check logical inferences. The checker reads proofs in the OpenTheory article format, which means proofs produced by various HOL proof assistants are supported. The proof checker is implemented and verified using the HOL4 theorem prover, and comes with a proof of soundness.
Li-Fi Communication using OFDM Visual Light Communications

—In this paper wireless communication using white, high brightness LEDs (light emitting diodes) is considered. In particular, the use of OFDM (orthogonal frequency division multiplexing) for intensity modulation is investigated. Li-FI have a unique modulation technique called single carrier techniques multi-carrier techniques and color modulation techniques. Modulation techniques are as On-Off keying, Pulse width Modulation, Pulse Amplitude Modulation, Orthogonal Frequency Division Modulation and alternative digital modulation technique are summarized. Simulation is the imitation of the operation of a real-world methodology. The act of simulating requires that a model be developed and simulates the operation of the system over time. This paper tends to analyze the single carrier modulation techniques such as BPSK, QAM, and also tends to provide information on digital modulation technique parameters as Bit Error Rate, and its Performance.
The surprising efficiency of framing geo-spatial time series forecasting as a video prediction task - Insights from the IARAI Traffic4cast Competition at NeurIPS 2019

Deep Neural Networks models are state-of-the-art solutions in accurately forecasting future video frames in a movie. A successful video prediction model needs to extract and encode semantic features that describe the complex spatio-temporal correlations within image sequences of the real world. The IARAI Traﬃc4cast Challenge of the NeurIPS Competition Track 2019 for the ﬁrst time introduced the novel argument that this is also highly relevant for urban traﬃc. By framing traﬃc prediction as a movie completion task, the challenge requires models to take advantage of complex geo-spatial and temporal patterns of the underlying process. We here report on the success and insights
TRAINING OF SCIENCE LITERACY ABILITIES IN CHEMICAL EQUILIBRIUM THROUGH IMPLEMENTATION GUIDED INQUIRY LEARNING

Science literacy is the main key to face challenges in the 21 st century. The research aimed to describe the students’ science literacy on chemical equilibrium topic through implementation of guided inquiry learning model. The research design used is One-Group Pretest-Posttest Design. The research was conducted in class XI MIPA 4 of SMAN 3 Surabaya. Data obtained by instruments of multiple-choice tests of science literacy and observation sheet. The result showed that every aspect of students’ science literacy skills was increased in the medium criteria, it was indicated by an average gain score of 0.6 for competence to explain scientific phenomena and to evaluate data and design scientific investigations. Moreover competence of interpreting data and scientific evidence obtained gain score of 0.7. The result of this research indicated that the skill of science literacy had been trained to students.
Multi-GPU Optimization of a Non-hydrostatic Numerical Ocean Model with Multigrid Preconditioned Conjugate Gradient Method

The conjugate gradient method with multigrid preconditioners (MGCG) is used in scientific applications because of its high performance and scalability with many computational nodes. GPUs are thought to be good candidates for accelerating such applications with many meshes where an MGCG solver could show high performance. No previous studies have evaluated and discussed the numerical character of an MGCG solver on GPUs. Consequently, we have implemented and optimized our “kinaco” numerical ocean model with an MGCG solver on GPUs. We evaluated its performance and discussed inter-GPU communications on a coarse grid on which GPUs could be intrinsically problematic. We achieved 3.9 times speedup compared to CPUs and learned how inter-GPU communications depended on the number of GPUs and the aggregation level of information in a multigrid method.
Online Assessment of Students' Text Comprehension: Explorations into the Automated Scoring of Constructed Responses

Effective computerized training of reading comprehension strategies requires an ability to automatically provide accurate feedback to students as they answer open-ended comprehension questions. This study explored different approaches to machine scoring as part of a larger research and development project. Two units involving 4 open-ended questions were used for initial testing. A comparison of pattern matching and deep learning techniques suggest that the latter have more potential to provide accurate scoring of the more complex questions.
ASSESSING STRESS AMONG THE WHITE AND BLUE COLLAR WORKERS AT THE ESFAHAN STEEL COMPANY, IRAN

This study estimate the work place stress among the white and blue color workers at Esfahan Steel Company (ESCO), Iran. A cross-sectional study conducted at among workers at ESCO, Iran. The data about the stress level was collected using structured face to face interviews based on questionnaires using DASS21. A total 600workers were interviewed among the stratified randomly selected employees at ESCO. This study found that 93.2% of employees claimed that they have various level of stress.It was found that the economic problems were the most common reason for their stress (58.9 %), followed by task type (33.2 %), and work environment and Colleagues (29.8%) and (29%) in the research population. Remaining two factors Childrens problems and Relatives account for (8.6%) stress. We have found that most of the participants in this study had different level of stress and main source of stress was economic problem followed by task type.
Brown, S. and Yoward, L. (2019) The effectiveness of home-based exercise programmes on mobility and functional independence in community-dwelling adults with Alzheimer's disease: a critical review. International Journal of Therapy and Rehabilitation

Research at York St John (RaY) is an institutional repository. It supports the principles of open access by making the research outputs of the University available in digital form. Copyright of the items stored in RaY reside with the authors and/or other copyright owners. Users may access full text items free of charge, and may download a copy for private study or non-commercial research. For further reuse terms, see licence terms governing individual outputs. Institutional Repository Policy Statement
Identification of Peptidyl-prolyl cis/trans isomerases affecting Drosophila circadian rhythms

···········································································i TABLE OF CONTENTS ·························································· iii LIST OF FIGURES ································································ v LIST OF TABLES ································································· vi
Optimization of Samples Processing in Medical Laboratories with Uncertain Release Times of Samples

This thesis aims to optimize one of the bottlenecks in the workflow of medical laboratories. We build on top of the data analysis performed in [1] while using the same data to create an efficient solution to the batching problem of the centrifuge. Unlike the existing approaches, we also consider an element of uncertainty on the release times of the samples, which stems from the workflow. Firstly, we investigate the state-of-the-art literature in the field of scheduling under uncertainty. Afterwards, we analyze and formally define our problem. Then, we examine the most promising approaches and based on the insights gained; we propose a proactive schedule generating model, whose robustness might be adjusted. Later, we incorporate this model into a proactive-reactive framework. Subsequently, we demonstrate the computational tractability of this approach, and explain its behavior in small instances of the problem. Finally, we run a simulation emulating the real processes in the laboratory. We conclude that by increasing the level of robustness of the proactive schedule, we get worse average in the total turnaround time of some samples, but with considerably decreased variance.