gebhart/patrepeval huggingface dataset:
PERANCANGAN GAME BERBASIS ANDROID SEBAGAI UPAYA PENINGKATAN KEPEDULIAN LINGKUNGAN ANAK USIA SEKOLAH DENGAN MENGGUNAKAN METODE LIFE CYCLE ASSESSMENT (LCA) (2020)

Masalah lingkungan yang terjadi di Indonesia seperti bencana alam, isu global warning, dan juga pencemaran udara sebagian besar adalah merupakan ulah dari manusia. Kurangnya kepedulian dalam menjaga serta melestarikan lingkungan merupakan salah satu faktor terjadinya bencana alam tersebut. Hal tersebut juga menguatkan keyakinan tentang perlunya implementasi tentang pendidikan lingkungan di seluruh level pendidikan baik di sektor formal maupun non formal. Dalam upaya memupuk rasa kepedulian masyarakat terhadap lingkungan harus diajarkan sejak usia dini yaitu dengan bermain game. Penulis juga akan merancang suatu game android yang ditunjukkan untuk anak usia sekolah yaitu usia 9-12 tahun yang bertujuan untuk meningkatkan rasa kepedulian anak-anak di usia sekolah. Game itu nantinya diberi nama Ayo Peduli Lingkungan. Dimana pada game itu juga dirancang dengan model Virtual Reality (VR) dan game ini juga mempunyai permainan membuang sampah ke tempat sampah sesuai jenisnya dan hemat energi dengan menggunakan metode Life Cycle Assessment (LCA), acuan score pada game ini adalah dari perhitungan LCA dengan menggunakan software simapro 7.1.8, lalu melakukan uji usability dengan menggunakan SUS (System Usabiltiy Scale) dan juga design of Experiment yang berhubungan juga dengan faktor-faktor yang mempengaruhi kepedulian anak terhadap hasil game yang sudah dimainkan. Dari metode yang digunakan untuk uji usability menunjukkan hasil bahwa game ini masih masuk dalam kategori C yaitu acceptance. Pada DOE setelah menentukan kombinasi komponen subfaktor, score, efek, lalu menghitung sum of squares dan degree of freedom, dan mean of squares menunjukkan hasil bahwa semua faktor yang sudah dihitung menujukkan ada pengaruh tingkat kepedulian anak usia sekolah terhadap lingkungan.
Enzyme-histochemistry of the foreskin microvasculature using fructose-1,6-diphosphatase. (1992)

Microvascular capillaries (blood and lymph) in human foreskin were examined for staining characteristics for fructose-1,6-diphosphatase (FDPase). Based on enzyme-histochemistry and electron microscopy, both blood and lymph vessels and microvessels as well as dermal smooth muscle all stain positively but with varying intensity for FDPase.
Chiral NHC‐Complexes with Dioxolane Backbone Heterogenized on MCM‐41. Catalytic Activity (2011)

Abstract Rhodium, palladium, and gold complexes of chiral (NHC)–dioxolane–amino ligands were prepared. Herein, new methods for the heterogenization of NHC‐chiral complexes on porous silica supports are demonstrated for the facile recovery and recycling of these expensive catalysts. Activity, selectivity, and recyclability were investigated and compared to that of the analogous homogeneous catalysts for asymmetric hydrogenation reactions. The compounds were characterized by using a variety of methods, including solid state cross‐polarization magic‐angle spinning (CP MAS) 13 C NMR, FT‐IR spectroscopy, and elemental analysis. Heterogenized rhodium(I) and palladium(II) catalysts could be used at least four times without loss of activity or enantioselectivity. (NHC)–gold(I) complexes were easily immobilized and recycled by a treatment with benzonitrile during the washing steps between cycles. This washing maintained the activity and enantioselectivity.
Trauma laparoscopy from 1925 to 2017: Publication history and study demographics of an evolving modality (2017)

Coleman, Lauren MD; Gilna, Gareth; Portenier, Dana MD; Auyang, Edward MD, MS; Khan, Uzer MD; Grabo, Daniel MD; Wilson, Alison MD; Szoka, Nova MD Author Information
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations (2023)

We present Arm's efforts in verifying the specification and prototype reference implementation of the Realm Management Monitor (RMM), an essential firmware component of Arm Confidential Computing Architecture (Arm CCA), the recently-announced Confidential Computing technologies incorporated in the Armv9-A architecture. Arm CCA introduced the Realm Management Extension (RME), an architectural extension for Armv9-A, and a technology that will eventually be deployed in hundreds of millions of devices. Given the security-critical nature of the RMM, and its taxing threat model, we use a combination of interactive theorem proving, model checking, and concurrency-aware testing to validate and verify security and safety properties of both the specification and a prototype implementation of the RMM. Crucially, our verification efforts were, and are still being, developed and refined contemporaneously with active development of both specification and implementation, and have been adopted by Arm's product teams. We describe our major achievements, realized through the application of formal techniques, as well as challenges that remain for future work. We believe that the work reported in this paper is the most thorough application of formal techniques to the design and implementation of any current commercially-viable Confidential Computing implementation, setting a new high-water mark for work in this area.
Is there a business case for green office buildings?: Perspectives of institutional stakeholders in Australia (2016)

&lt;p&gt;Whilst buildings are considered one of the largest contributors to climate change, they also offer major potential for greenhouse gas abatement (Levine et al., 2007). Climate Works Australia (2010) estimates that the built environment has the potential to contribute 11% of Australia’s 2020 least cost emissions reductions and that 77% of these emissions reduction opportunities will come from within the commercial sector. It has also calculated that the majority of these emissions reductions are net present value (NPV) positive to investors, even without a carbon price. Eichholtz et al. (2010) suggest that energy represents 30% of operating expenses in a typical office building, and is the single largest and most manageable operating expense in the provision of office space. &lt;/p&gt;&lt;p&gt;Consequently, the built environment and the industry players that create, occupy and manage it have a vital role to play in limiting the detrimental effects of climate change and delivering a sustainable outcome in the future. This responsibility lies not only with developers and builders of green buildings, but also other important stakeholders such as investors, owner-occupiers, tenants, asset managers, valuers, financiers, governments and the community. However, a lack of understanding or information available to these various stakeholders regarding the economic benefits of green buildings may act as an obstacle to achieving this. &lt;/p&gt;&lt;p&gt;This paper investigates whether there is currently sufficient, reliable information available to industry participants in Australia to make informed decisions regarding green buildings and sustainable development. &lt;/p&gt;&lt;p&gt;Methodology: This involves surveying various industry participants across Australia in order to understand their current knowledge of and views on the economic benefits and costs of green buildings and comparing these responses with the empirical evidence gathered to date in Australia and around the world. &lt;/p&gt;&lt;p&gt;Based on this survey of industry participants, the research reveals a perception or knowledge ‘gap’ regarding the business case for green buildings, potentially restricting the progress of sustainable development in Australia. This survey concentrates on commercial office buildings only, as most empirical research conducted to date on green buildings has been focused here.&lt;/p&gt;&lt;p&gt;The empirical sample represents the views of many managers and other stakeholders of major institutional investments who are often not accessible to academic research.&lt;/p&gt;
Dabigatran versus Warfarin after Mechanical Mitral Valve Replacement in the Swine Model (2012)

There was a significant mortality benefit to the use of dabigatran as thromboembolic prophylaxis when compared with warfarin in the setting of mechanical heart valve replacement in the swine model. There was also a decreased incidence of bleeding complications in the dabigatran group compared with the warfarin group. Valve thrombus was observed in all study groups. Any conclusions regarding the rate of thrombus formation are outside the scope of this study and merit further investigation.
Microbial Oligosaccharides with Biomedical Applications (2021)

Microbial oligosaccharides have been regarded as one of the most appealing natural products attributable to their potent and selective bioactivities, such as antimicrobial activity, inhibition of α-glucosidases and lipase, interference of cellular recognition and signal transduction, and disruption of cell wall biosynthesis. Accordingly, a handful of bioactive oligosaccharides have been developed for the treatment of bacterial infections and type II diabetes mellitus. Given that naturally occurring oligosaccharides have increasingly gained recognition in recent years, a comprehensive review is needed. The current review highlights the chemical structures, biological activities and divergent biosynthetic origins of three subgroups of oligomers including the acarviosine-containing oligosaccharides, saccharomicins, and orthosomycins.
A Low-Latency Library in FPGA Hardware for High-Frequency Trading (HFT) (2012)

Current High-Frequency Trading (HFT) platforms are typically implemented in software on computers with high-performance network adapters. The high and unpredictable latency of these systems has led the trading world to explore alternative "hybrid" architectures with hardware acceleration. In this paper, we survey existing solutions and describe how FPGAs are being used in electronic trading to approach the goal of zero latency. We present an FPGA IP library which implements networking, I/O, memory interfaces and financial protocol parsers. The library provides pre-built infrastructure which accelerates the development and verification of new financial applications. We have developed an example financial application using the IP library on a custom 1U FPGA appliance. The application sustains 10Gb/s Ethernet line rate with a fixed end-to-end latency of 1μs - up to two orders of magnitude lower than comparable software implementations.
An Empirical Comparison of Multivariable Methods for Estimating Risk of Death from Coronary Heart Disease (1997)

Background Logistic regression and, more recently, Cox regression have been the predominant methods for identifying risk factors and developing risk estimation equations for coronary heart disease (CHD). Software for the regression tree method is now available for binary and survival outcomes and thus offers an alternative methodology, This paper compares these four methods for identifying significant risk factors from among a set of candidate factors and for estimating the risk of death from CHD using baseline and mortality follow-up data on 1701 men participating in the Busselton Health Study. The candidate risk factors were age, body mass index, systolic and diastolic blood pressure, treatment for hypertension, cholesterol and smoking. Methods Logistic regression, Cox proportional hazards regression, binary regression tree, and survival regression tree analyses have been applied to data obtained from the same cohort of men for CHD death risk estimation and prediction. The four methods are compared in terms of the variables selected, goodness-of-fit of models, similarity of cross-validated estimated risks for individuals, and ability to discriminate between those who died from CHD and those who did not die from CHD during the follow-up period, including the comparison of Receiver Operating Characteristic (ROC) curves. Results Although age and a blood pressure variable were selected by all four methods, body mass index was also selected by the regression tree methods and smoking was also selected by Cox regression. There was good, but not excellent, agreement between methods in estimates of risk for individuals, the areas under the ROC curves were 0.66 for the binary tree, 0.72 for logistic regression, 0.71 for the survival tree method and 0.78 for Cox regression. The average differences in estimated risk between those who died from CHD and those who did not die from CHD during the follow-up period were 0.051 for logistic regression, 0.070 for the binary tree method, 0.073 for the survival tree method and 0.088 for Cox regression. Conclusions For a moderately sized cohort typical of many applications of these methods in the literature, the two methods which used the survival outcome performed better than the methods using a binary outcome. Despite selecting some different variables and showing moderate differences in risk estimates for individuals, the two binary approaches were similar in performance. Cox regression appeared to be superior to the survival tree method, but further larger studies of completely separate samples for model development and evaluation of prediction performance are required to confirm this finding.
MEMS tunable resonant leaky mode filters (2006)

A tunable double-grating resonant leaky mode microelectromechanical-type element is introduced. A significant level of tunability is demonstrated by adjusting mechanically the structural symmetry of the grating profile. Tuning is also possible by variation of the thickness of the resonant layer. For a particular example silicon-on-insulator structure treated, it is shown that the resonance wavelength can be shifted by /spl sim/300 nm with a horizontal movement of /spl sim/120 nm within the 1.4-1.7-μm wavelength band. Additionally, the reflectance can be varied from /spl sim/10/sup -3/ to 1 at central wavelength of 1.55 μm with a vertical movement of /spl sim/200 nm. These results demonstrate new possibilities in design of tunable optical devices.
A filtering algorithm based on SPECT lesion detectability potential (2002)

This paper describes an effective filtering algorithm which employs a priori information of SPECT lesion detectability potential for the filtering of degraded projection image prior to backprojection. For a given set of physical conditions, the authors determined m minimum detectable lesion sizes (MDLSs) from SPECT lesion detectability contrast-detail curves, uniformly-choosing m lesion contrasts between 0.0 and 1.0. Related to the authors' previous work, an optimal estimate of given projection image was attempted as a weighted combination of the subimages from the m optimal filters whose design is focused on maximizing the local S/N ratios of the determined MDLS-lesions, and the weighting on each subimage was controlled by the difference between the subimage and a maximum-resolution-recovered projection image. The results of the authors' simulation study showed the adaptive effect of this algorithm and its good performance in effectively reducing image noise and preserving/enhancing lesion structures.
Identification of RAPD markers linked to recessive genes conferring siliqua shatter resistance in Brassica rapa (2003)

Abstract Shattering of siliquae causes significant seed loss in canola ( Brassica napus ) production worldwide. There is little genetic variation for resistance to shatter in canola and, hence, the trait has been studied in B. rapa. Previous studies have shown two randomly segregating recessive genes to be responsible for shatter resistance. Three random amplified polymorphic DNA markers were identified as being linked to shatter resistance using bulked segregant analysis in a F 3 B. rapa population. The population was derived from a cross between a shatter‐susceptible Canadian cultivar and a shatter‐resistant Indian line. Of the three markers, RAC‐3 900 and RX‐7 1000 were linked to recessive sh1 and sh2 alleles, and SAC‐20 1300 was linked to both dominant Sh1 and Sh2 alleles. The common marker for the dominant wild‐type allele for the two loci was explained to have resulted from duplication of an original locus and the associated markers through chromosome duplication and rearrangements in the process of evolution of the modern B. rapa from its progenitor that had a lower number of chromosomes. Segregation data from double heterozygous F 3 families, although limited, indicated the markers were not linked to each other and provided further evidence for the duplication hypothesis.
Facile Synthesis of WSe2 Nanoparticles and Carbon Nanotubes (2008)

A single-step, nonaqueous, solventless, facile chemical reaction is carried out to synthesize a WSe2 nanoparticles/carbon nanotubes [WSe2/C] composite at moderate temperature. The use of highly toxic H2Se gas is avoided, reacting elemental selenium powder with W(CO)6 at 750 °C under their autogenic pressure in a closed reactor. Without further processing the as-prepared WSe2/C nanocomposite, detailed characterizations are carried out, and a proposed reaction mechanism is discussed. X-ray diffraction measurements are consistent with the hexagonal phase of WSe2, and the highly crystalline nature of WSe2 nanoparticles is also confirmed by high-resolution transmission electron microscopy pictures. Scanning electron microscopy measurements reveal that WSe2 nanoparticles and carbon nanotubes are formed, with the composition being tracked by C, H, N, S and energy-dispersive X-ray analysis. The Brunauer, Emmett, and Teller surface area analysis technique is implemented for the determination of nitrogen gas adsorption on the surface of the WSe2/C nanocomposite.
Exploring potentialities of energy-connected buildings: performance assessment of an innovative low-exergy design concept for a building heating supply system (2017)

Abstract Low exergy building systems generate new possibilities for the design of high performance buildings, especially when the design of a new building is considered as part of a district where the relationship between buildings are optimized to minimize the dispersion of energy in the environment and maximize the recovery of waste energy. We present an innovative design concept and the performance assessment of the heating system of the new Embodied Computation Laboratory at Princeton University. The system is demonstrated to be able to match the heat demand without need for backup systems.
Non-Standard Management of Target Vessels With the Inner Branch Arch Endograft: A Single-Center Retrospective Study (2021)

The use of the inner branch arch endograft with a non-standard management of the supraaortic target vessels is a possible option. Despite a high reintervention rate, regression or stability of the aneurysmal diameter was achieved in all the patients with follow-up.
Association of long surface appendages with adherence-related functions of the gram-positive species Actinomyces naeslundii (1978)

Electron microscopy of new isolates of gram-positive Actinomyces naeslundii demonstrated long, fragile appendages. Removal of the appendages impaired attachment to epithelial cells and reaggregation, thus implicating them in attachment-related functions.
Low temperature SCR of NOx over Mn/Fe mixed oxides catalyst: comparison of synthesis methods (2021)

Abstract BACKGROUND With the increasing environmental pollution issues arising from NO x , the low‐temperature selective catalytic reduction (LT‐SCR) of NO x by NH 3 is becoming more important. Mn/Fe mixed oxides type catalysts have been proven to be particularly effective at low temperature reactions; however, the synthesis method can be a key factor determining the SCR activities. RESULTS A comprehensive study of LT‐SCR was carried out on a series of Mn/Fe mixed oxides catalysts prepared using diverse synthesis methods, namely, sonication assisted continuous coprecipitation (SACP), equilibrium adsorption (EA), precipitation method using either NaOH (P‐OH) or Na 2 CO 3 (P‐CO) as precipitant, and one pot hydrothermal synthesis (CA). The morphology, composition, crystal property, oxidation status, and surface property were systematically characterised. LT‐SCR of the NO x performance of prepared Mn/Fe catalysts was conducted in temperatures from 75 to 225 °C. It was demonstrated that, at reaction temperatures under 125 °C, LT‐SCR performance showed the trend of P‐OH &gt; SACP &gt; EA ~ CA &gt; P‐CO; meanwhile, the trend was CA &gt; SACP &gt; P‐OH ~ EA &gt; P‐CO at temperatures over 125 °C. However, N 2 selectivity showed the trend SACP &gt; CA &gt; P‐OH overall. CONCLUSION The characterisation results suggested that NO x conversion performance is controlled by several parameters, especially uniformity of materials, high surface area, Mn crystallinity, surface oxygen defects, Fe (III) on the surface; these are important parameters to achieve high denitrification performance as shown by P‐OH and SACP under low temperature. At higher temperatures, the stability of materials and high Brønsted acid sites on the surface are important, leading to better performance by CA and SACP.
PI3K pathway-directed therapeutic strategies in cancer. (2010)

PI3K pathway signaling is the focus of intensive oncology drug-development programs at several academic institutions and pharmaceutical companies. With several drugs that target different parts of the pathway in early clinical trials, this review presents evidence demonstrating that the PI3K pathway represents a suitable target for cancer drug development, discusses therapeuticstrategies for targeting the pathway, and highlights the status of drugs currently in development.
A randomized phase 3 trial of the immunogenicity and safety of coadministration of a live-attenuated tetravalent dengue vaccine (TAK-003) and an inactivated hepatitis a (HAV) virus vaccine in a dengue non-endemic country (2023)

gov registration: NCT03525119.
Model of self-trapped excitons in alkali halides (1993)

We have carried out an ab initio many-electron variational calculation of the adiabatic potential-energy surface (APES) for the lowest triplet state of the self-trapped exciton (STE) in LiCl, NaCl, and KCl. Calculations of the H center in these crystals show that the 〈111〉 orientation is favored, in agreement with experimental results for NaCl but not for KCl, in which it is oriented along a 〈110〉 direction (no measurement exists for LiCl), and hence most detailed calculations for STE's are carried out for NaCl. It is found that the APES minimum for each crystal occurs when the ${\mathrm{Cl}}_{2}^{\mathrm{\ensuremath{-}}}$ molecular ion is displaced along its molecular axis from its symmetrical position (${\mathit{D}}_{2\mathit{h}}$) nearly halfway to the nearest halogen lattice point. The calculated transition energies for the optical absorption and luminescence at this configuration agree with the experimental values for the triplet STE, although the calculated stretching vibration frequency of the ${\mathrm{Cl}}_{2}^{\mathrm{\ensuremath{-}}}$ molecular ion in NaCl is much smaller than that for the H center, contradictory to recent resonant Raman studies. Other minima are found at the nearest F-H pair configuration, in which the ${\mathrm{Cl}}_{2}^{\mathrm{\ensuremath{-}}}$ molecular ion is reoriented by 90\ifmmode^\circ\else\textdegree\fi{} from the initial orientation and next-nearest F-H pair. Extremely small luminescence energy at these configurations excludes the possibility that they are the candidates for the luminescent state of the STE. It is found that, after the displacement of the ${\mathrm{Cl}}_{2}^{\mathrm{\ensuremath{-}}}$ molecular ion beyond the first minimum of the APES towards the nearest F-H pair configuration, the total energy is lowered by reorientation, inducing an anomaly on the APES. The results of a recent experimental investigation, including existence of several types of relaxed configuration of the STE in alkali halides, the stretching vibration frequency, and the femtosecond oscillation on APES, are discussed on the basis of the results of the calculation.