SENIOR HIGH SCHOOL ACADEMIC PROGRESSION IN MATHEMATICS

One of the strategies in accelerating the country’s human capital development is to achieve quality accessible, relevant, and liberating basic education for all. This can be done through various programs in the department which develop and improve and continue curricular reforms. Hence, developing an intervention suited to 21st century learners’ needs specifically for the new basic education curriculum can be challenge. The study describes the trends of Senior High School Academic Progression in Mathematics of a school district in a Province of the Philippines through quantitative analysis that tracks students’ performance in Grade 9, Grade 10 and Grade 11 mathematics using National Career Assessment Examination (NCAE) Mathematical Ability results, National Achievement Test (NAT) Mathematics results, General Mathematics and Statistics and Probability ratings. Logical Reasoning Test (LRT) results was used as an additional explanatory variable for a Grade 11 Mathematics performance regression equation. Research results revealed that there are pairwise significant relationships between Grade 11 General Mathematics and Statistics and Probability academic performance with a) NCAE Mathematical Ability, b) NAT Grade 10 Mathematics and c) Logical Reasoning. Recommended interventions, for improving Senior and Junior High Mathematics suited to learner’s needs were designed

Koszul Theorem for S-Lie coalgebras

For a symmetry braid S-Lie coalgebras, as a dual object to algebras introduced by Gurevich, are considered. For an Young antisymmetrizer an S-exterior algebra is introduced. From this differential point of view S-Lie coalgebras are investigated. The dual Koszul theorem in this case is proved.Comment: 8 pages, AMSLaTe

An Approach to Static Performance Guarantees for Programs with Run-time Checks

Instrumenting programs for performing run-time checking of properties, such as regular shapes, is a common and useful technique that helps programmers detect incorrect program behaviors. This is specially true in dynamic languages such as Prolog. However, such run-time checks inevitably introduce run-time overhead (in execution time, memory, energy, etc.). Several approaches have been proposed for reducing such overhead, such as eliminating the checks that can statically be proved to always succeed, and/or optimizing the way in which the (remaining) checks are performed. However, there are cases in which it is not possible to remove all checks statically (e.g., open libraries which must check their interfaces, complex properties, unknown code, etc.) and in which, even after optimizations, these remaining checks still may introduce an unacceptable level of overhead. It is thus important for programmers to be able to determine the additional cost due to the run-time checks and compare it to some notion of admissible cost. The common practice used for estimating run-time checking overhead is profiling, which is not exhaustive by nature. Instead, we propose a method that uses static analysis to estimate such overhead, with the advantage that the estimations are functions parameterized by input data sizes. Unlike profiling, this approach can provide guarantees for all possible execution traces, and allows assessing how the overhead grows as the size of the input grows. Our method also extends an existing assertion verification framework to express "admissible" overheads, and statically and automatically checks whether the instrumented program conforms with such specifications. Finally, we present an experimental evaluation of our approach that suggests that our method is feasible and promising.Comment: 15 pages, 3 tables; submitted to ICLP'18, accepted as technical communicatio

Channels’ Confirmation and Predictions’ Confirmation: From the Medical Test to the Raven Paradox

After long arguments between positivism and falsificationism, the verification of universal hypotheses was replaced with the confirmation of uncertain major premises. Unfortunately, Hemple proposed the Raven Paradox. Then, Carnap used the increment of logical probability as the confirmation measure. So far, many confirmation measures have been proposed. Measure F proposed by Kemeny and Oppenheim among them possesses symmetries and asymmetries proposed by Elles and Fitelson, monotonicity proposed by Greco et al., and normalizing property suggested by many researchers. Based on the semantic information theory, a measure b* similar to F is derived from the medical test. Like the likelihood ratio, measures b* and F can only indicate the quality of channels or the testing means instead of the quality of probability predictions. Furthermore, it is still not easy to use b*, F, or another measure to clarify the Raven Paradox. For this reason, measure c* similar to the correct rate is derived. Measure c* supports the Nicod Criterion and undermines the Equivalence Condition, and hence, can be used to eliminate the Raven Paradox. An example indicates that measures F and b* are helpful for diagnosing the infection of Novel Coronavirus, whereas most popular confirmation measures are not. Another example reveals that all popular confirmation measures cannot be used to explain that a black raven can confirm “Ravens are black” more strongly than a piece of chalk. Measures F, b*, and c* indicate that the existence of fewer counterexamples is more important than more positive examples’ existence, and hence, are compatible with Popper’s falsification thought

Pressurizing Field-Effect Transistors of Few-Layer MoS2 in a Diamond Anvil Cell

Hydrostatic pressure applied using diamond anvil cells (DAC) has been widely explored to modulate physical properties of materials by tuning their lattice degree of freedom. Independently, electrical field is able to tune the electronic degree of freedom of functional materials via, for example, the field-effect transistor (FET) configuration. Combining these two orthogonal approaches would allow discovery of new physical properties and phases going beyond the known phase space. Such experiments are, however, technically challenging and have not been demonstrated. Herein, we report a feasible strategy to prepare and measure FETs in a DAC by lithographically patterning the nanodevices onto the diamond culet. Multiple-terminal FETs were fabricated in the DAC using few-layer MoS2 and BN as the channel semiconductor and dielectric layer, respectively. It is found that the mobility, conductance, carrier concentration, and contact conductance of MoS2 can all be significantly enhanced with pressure. We expect that the approach could enable unprecedented ways to explore new phases and properties of materials under coupled mechano-electrostatic modulation.Comment: 15 pages, 5 figure

Deciphering Charging Status, Absolute Quantum Efficiency, and Absorption Cross Section of MultiCarrier States in Single Colloidal Quantum Dot

Upon photo- or electrical-excitation, colloidal quantum dots (QDs) are often found in multi-carrier states due to multi-photon absorption and photo-charging of the QDs. While many of these multi-carrier states are observed in single-dot spectroscopy, their properties are not well studied due to random charging/discharging, emission intensity intermittency, and uncontrolled surface defects of single QD. Here we report in-situ deciphering the charging status, and precisely assessing the absorption cross section, and determining the absolute emission quantum yield of mono-exciton and biexciton states for neutral, positively-charged, and negatively-charged single core/shell CdSe/CdS QD. We uncover very different photon statistics of the three charge states in single QD and unambiguously identify their charge sign together with the information of their photoluminescence decay dynamics. We then show their distinct photoluminescence saturation behaviors and evaluated the absolute values of absorption cross sections and quantum efficiencies of monoexcitons and biexcitons. We demonstrate that addition of an extra hole or electron in a QD changes not only its emission properties but also varies its absorption cross section

Reduction of phenylacetylenes using Raney Ni-Al alloy, Al powder in the presence of noble metal catalysts in water

Dedicated to Prof. Kenneth Laali on the occasion of his 66th birthday Received mm-dd-yyyy Accepted mm-dd-yyyy Published on line mm-dd-yyyy Dates to be inserted by editorial office Abstract The chemoselective reduction is based on the reaction of Raney Ni–Al alloy with Al powder in water which produces in situ hydrogen to utilize the hydrogenation of the targeted functional groups. Raney Ni–Al alloy with Al powder can reduce phenylacetylenes to the corresponding ethylbenzene (3) in water in excellent yield at 120 °C for 6 h in a sealed tube. In addition, the complete reduction of aromatic ring to ethylcyclohexane (4) required 60 °C for 12 h with Raney Ni–Al alloy, Al powder in the presence of Pt/C. The appropriate selection of the reaction conditions allowed the selective preparation of ethylbenzene as well as ethylcyclohexane from phenylacetylene. 1a : R = H ,1b : R = CH 3 , 1c : R = OCH 3 ,1d : R = C(CH 3)