gebhart/patrepeval huggingface dataset:
Data Provenance and Management in Radio Astronomy: A Stream Computing Approach (2011)

New approaches for data provenance and data management (DPDM) are required for mega science projects like the Square Kilometer Array, characterized by extremely large data volume and intense data rates, therefore demanding innovative and highly efficient computational paradigms. In this context, we explore a stream-computing approach with the emphasis on the use of accelerators. In particular, we make use of a new generation of high performance stream-based parallelization middleware known as InfoSphere Streams. Its viability for managing and ensuring interoperability and integrity of signal processing data pipelines is demonstrated in radio astronomy. IBM InfoSphere Streams embraces the stream-computing paradigm. It is a shift from conventional data mining techniques (involving analysis of existing data from databases) towards real-time analytic processing. We discuss using InfoSphere Streams for effective DPDM in radio astronomy and propose a way in which InfoSphere Streams can be utilized for large antennae arrays. We present a case-study: the InfoSphere Streams implementation of an autocorrelating spectrometer, and using this example we discuss the advantages of the stream-computing approach and the utilization of hardware accelerators.
Deep-learning approach to detect childhood glaucoma based on periocular photograph (2023)

Childhood glaucoma is one of the major causes of blindness in children, however, its diagnosis is of great challenge. The study aimed to demonstrate and evaluate the performance of a deep-learning (DL) model for detecting childhood glaucoma based on periocular photographs. Primary gaze photographs of children diagnosed with glaucoma with appearance features (corneal opacity, corneal enlargement, and/or globe enlargement) were retrospectively collected from the database of a single referral center. DL framework with the RepVGG architecture was used to automatically recognize childhood glaucoma from photographs. The average receiver operating characteristic curve (AUC) of fivefold cross-validation was 0.91. When the fivefold result was assembled, the DL model achieved an AUC of 0.95 with a sensitivity of 0.85 and specificity of 0.94. The DL model showed comparable accuracy to the pediatric ophthalmologists and glaucoma specialists in diagnosing childhood glaucoma (0.90 vs 0.81, p = 0.22, chi-square test), outperforming the average of human examiners in the detection rate of childhood glaucoma in cases without corneal opacity (72% vs. 34%, p = 0.038, chi-square test), with a bilateral corneal enlargement (100% vs. 67%, p = 0.03), and without skin lesions (87% vs. 64%, p = 0.02). Hence, this DL model is a promising tool for diagnosing missed childhood glaucoma cases.
Micro-CT: a powerful tool for the characterization and evaluation of the bone formatting capacity of calcium phosphate – stem cells tissue engineering constructs (2011)

peer reviewed
Synthetic Approaches to Anti‐Inflammatory Macrolactones of the Oxacyclododecindione Type (2015)

Abstract Various synthetic approaches to the oxacyclododecindione‐type macrolactones, known for their potent anti‐inflammatory activity, are presented. These include an attempted carbonylative ring closure, a hydroacylation route, and an approach by ring‐closing metathesis and double bond isomerization, as well as a strategy including ring‐closing metathesis/unsaturation. The last route allowed the preparation of a bioactive analogue of the recently described 14‐deoxyoxacyclododecindione.
RST-Controller Design for Sinewave References by Means of an Auxiliary Diophantine Equation (2006)

The RST-design of discrete-time controllers is a very handsome method, that brings the solution almost automatically, once the discrete model of the process is known and a model transfer function for the closed loop has been chosen. The cancellation of steady state errors in response to reference signals has been solved a few years ago for polynomial reference signals of any order by the introduction of an auxiliary Diophantine equation. This method has now been extended to sinusoidal references as well, even to a combination of references of both types.
Longitudinal evaluation of discrete consecutive gaze gestures for text entry (2008)

Eye-typing performance results are reported from controlled studies comparing an on-screen keyboard and Eye Write, a new on-screen gestural input alternative. Results from the first pilot study suggest the presence of a learning curve that novice users must overcome in order to gain proficiency in EyeWrite's use (requiring practice with its letter-like gestural alphabet). Results from the second longitudinal study indicate that EyeWrite's inherent multi-saccade handicap (4.52 saccades per character, frequency-weighted average) is sufficient for the on-screen keyboard to edge out Eye Write in speed performance. Eye-typing speeds with Eye Write approach 5 wpm on average (8 wpm attainable by proficient users), whereas keyboard users achieve about 7 wpm on average (in line with previous results). However, Eye Write users leave significantly fewer uncorrected errors in the final text, with no significant difference in the number of errors corrected during entry, indicating a speed-accuracy trade-off. Subjective results indicate that participants consider Eye Write significantly faster, easier to use, and prone to cause less ocular fatigue than the on-screen keyboard. In addition, Eye-Write consumes much less screen real-estate than an on-screen keyboard, giving it practical advantages for eye-based text entry.
DH2.5 - Development of Exhaled Breath Monitoring System Using Semiconductive Gas Sensors and Statistical Analysis (2018)

Volatile organic compounds (VOCs) in exhaled breath samples from lung cancer patients (LC) and healthy controls (HC) were analyzed by gas condenser-equipped GC/MS for development of an exhaled breath monitoring prototype system involving gas condensing units, short GC columns, and metal oxide semiconductive gas sensors. The GC/MS analysis identified 56 VOCs in exhaled breath samples from 136 volunteers, 107 LC and 29 HC, and selected four target VOCs by simple statistical analyses. The first prototype analyzed exhaled breath samples from 101 volunteers (74 LC and 27 HC). The prototype system exhibited a level of performance similar to that of the gas condenser-GC/MS system for breath analysis. Subsequently, we developed the second prototype which used advanced statistical analysis, support vector machine algorithm (SVM), for improving high percentage of correct answers. The SVM was also carried out for selected new target VOCs from results of the GC/MS analysis. The short GC columns of the second prototype were selected for detecting the new four target VOCs.
The Tell-Tale Hat: Surfacing the Uncertainty in Folklore Classification (2017)

Classification is a vexing problem in folkloristics. Although broad genre classifications such as "ballad", "folktale", "legend", "proverb", and "riddle" are well established and widely accepted, these formal classifications are coarse and do little more than provide a first level sort on materials for collections that can easily include tens, if not hundreds, of thousands of records. Many large collections of folklore have been classified using systems designed for very specific tasks, usually related to early theories about the spread of folk narrative. Beyond the straightforward parsing of folk expressions into easily recognized formal genres (e.g. ballad, riddle, joke, legend, fairytale, etc.), the overarching emphasis of these schemas is on topic indexing. Perhaps best known of these indices is the ATU index of fairy tales, designed to assist scholars who are interested in the comparison of fairy tales from one or more cultures. Another well-known index, the motif index of folk literature compiled by Stith Thompson (1955-58), is designed to assist scholars in discovering the relationships between complete narratives and their component parts, as well as the movement of motifs across time and space, where the motif is conceptualized as "the smallest element in a tale having a power to persist in tradition." Other genre specific classification schemes include the Migratory Legend [ML] catalog and Danmarks gamle Folkeviser [DgF]. More collection specific indices include the Child Ballads and, of particular interest to this study, the typological indices to the Danish folklore collector Evald Tang Kristensen's legend collections.
Wireless System for Tidal Effect Compensation in the Lysekil Research Site (2012)

This paper describes, firstly, the rope adjustment device for wave energy converters (WECs) to minimize the tidal effect on the electricity production and, secondly, a wireless communication network between point absorbing WECs in the Lysekil Research Site and a computer station at the Department of Engineering Sciences at Uppsala University. The device is driven by a motor that activates when the main water level deviates from the average. The adjustment is achieved through a screw that moves upwards during low tides and downwards during high tides. For the purpose of testing the device in the research site, a wireless connection between the buoy in the sea and a computer on land will be designed. A sensor located close to the research site monitors the sea water level and, every time a significant variation is registered, it sends wirelessly a signal to the data logger that controls the power to the motor. The position of the screw is observed by a second sensor and the measurements are retrieved back to Uppsala via GSM connection. The full scale device is tested in the lab and it is demonstrated to work properly, requiring less than 750 W to lift and lower different loads. Moreover, the wireless communication network is designed and once it will be built, it will allow to recall and store data, send information from one node of the system to another, monitor the proper functioning of the device and modify the control as desired.
In Vacuo Photoemission Studies of Platinum Atomic Layer Deposition Using Synchrotron Radiation (2012)

The mechanism of platinum atomic layer deposition using (methylcyclopentadienyl)trimethylplatinum and oxygen is investigated with in vacuo photoemission spectroscopy at the Stanford Synchrotron Radiation Lightsource. With this surface-sensitive technique, the surface species following the Pt precursor half cycle and the oxygen counter-reactant half cycle can be directly measured. We observed significant amounts of carbonaceous species following the Pt precursor pulse, consistent with dehydrogenation of the precursor ligands. Significantly more carbon is observed when deposition is carried out in the thermal decomposition temperature region. The carbonaceous layer is removed during the oxygen counter reactant pulse, and the photoemission spectrum shows that a layer of adsorbed oxygen remains on the surface as previously predicted.
Review of menopausal hormone therapy with estradiol and progesterone versus other estrogens and progestins (2022)

<b>Objective:</b> The objective of the present document was to review/summarize reported outcomes compared between menopausal hormone therapy (MHT) containing estradiol (E2) versus other estrogens and MHT with progesterone (P4) versus progestins (defined as synthetic progestogens).<b>Methods:</b> PubMed and EMBASE were systematically searched through February 2021 for studies comparing oral E2 versus oral conjugated equine estrogens (CEE) or P4 versus progestins for endometrial outcomes, venous thromboembolism (VTE), cardiovascular outcomes, breast outcomes, cognition, and bone outcomes in postmenopausal women.<b>Results:</b> A total of 74 comparative publications were identified/summarized. Randomized studies suggested that P4 and progestins are likely equally effective in preventing endometrial hyperplasia/cancer when used at adequate doses. E2- versus CEE-based MHT had a similar or possibly better risk profile for VTE and cardiovascular outcomes, and P4- versus progestin-based MHT had a similar or possibly better profile for breast cancer and cardiovascular outcomes. E2 may potentially protect better against age-related cognitive decline and bone fractures versus CEE; P4 was similar or possibly better versus progestins for these outcomes. Limitations are that many studies were observational and some were not adequately powered for the reported outcomes.<b>Conclusions:</b> Evidence suggests a differential effect of MHT containing E2 or P4 and those containing CEE or progestins, with some evidence trending to a potentially better safety profile with E2 and/or P4.
Surface-controlled self-assembly of chiral sexithiophenes (2004)

We report on the self-assembly of two enantiomeric sexithiophenes in solution and on surfaces. Circular dichromism of aggregated sexithiophenes and drop-cast films reveals, as expected, mirror image spectra for both enantiomers. The aggregation in thin deposits from sexithiophenes molecularly dispersed in a solution on different types of substrates was investigated by atomic force microscopy (AFM). On graphite, one-dimensional objects (nanowires) are formed while on mica platelets are generated. Remarkably, we found that both enantiomers form left-handed helices on silicon. This observation depends on the hydrophilicity of the silicon. Furthermore, the achiral sexithiophene did not form helical aggregates suggesting that the stereocenter is required to obtain chirality in the fibers.
Novel Synthetic Approach towards Amino‐Substituted Polycyclic Aromatic Hydrocarbons through Electrocyclization of Keteniminium Salts (2023)

Abstract Polycyclic aromatic hydrocarbons (PAHs) are an important family of molecules in science and technology. Amino‐substituted PAHs are promising building blocks to create attractive molecules for materials science. However, the synthetic limitations have hampered to produce diverse structures of amino‐substituted PAHs. Here we describe a novel efficient synthetic method to access amino‐substituted PAHs through the electrocyclization of highly reactive keteniminium species. We demonstrated the synthesis of various amino‐substituted PAHs and disclosed some of their photophysical properties. Furthermore, combination with theoretical calculation revealed that the multiple electrocyclization reactions of keteniminium species is a stepwise process and the fusion of additional aromatic ring to the substrate accelerates the electrocyclization.
Fast and Automatic Verification of Authentication and Key Exchange Protocols (2010)

Abstract—Security in a peer-to-peer (P2P) system is not considered, although it has many potential threats. In order to make the whole P2P system secure, various security functions require to be taken into consideration for these threats, respectively. We take up authentication and key exchange protocols as a target of the security functions in the P2P system. These protocols can bear one duty in order to realize the secure P2P system. It is preferable for authentication and key exchange protocols to be verified automatically and rapidly in accordance with security requirements. In order to meet this requirement, we proposed the security verification method for the aforementioned protocols based on Bellare et al.’s model and showed the verification points of security properties to verify their security efficiently. However, there are three weaknesses in the aforementioned paper. In this paper, (1) we describe the relations of the six verification points, (2) explain how the proposed method verifies the aforementioned protocols by providing one example and (3) show the validity of the proposed method by verifying the security of 87 authentication and key exchange protocols that were generated automatically. Keywords-security verification method; authentication and key exchange protocols; verification points;
Security in the Context of Business Processes: Thoughts from a System Vendor's Perspective (2013)

Enterprise systems in general and process aware systems in particular are storing and processing the most critical assets of a company. To protect these assets, such systems need to implement a multitude of security properties. Moreover, such systems need often to comply to various compliance regulations.In this keynote, we present process-level security requirements as well as discuss the gap between the ideal world of process-aware information systems and the real world. We conclude our presentation by discussing several research challenges in the area of verifiable secure process aware information systems.
Bit error probabilities in a two-rate communication system (2004)

We examine a two-rate communication system where the transmission is suspended if the received SNR falls below a given threshold. We assume an FDD system and derive novel closed-form bit error probabilities in the presence of feedback errors in flat Rayleigh fading environment for single antenna transmission, orthogonal space-time block coding and transmit antenna selection. A single-user two-rate system would result in an infrequent use of the channel and long delays, but combined with a physical layer multiuser scheduler like in the high speed downlink packet access scheme included in the 3GPP WCDMA Release 5 specification the overall channel utilization can be improved.
Reduced-order modeling framework for improving spatial resolution of data center transient air temperatures (2013)

A proper orthogonal decomposition (POD)-based modeling framework is developed for improving the spatial resolution of transient rack air temperature data collected in a heterogeneous data center (DC) facility. Blocking cooling air inflow into racks periodically, three sets of transient temperature data are collected at the outlets of electronic equipment residing in three different racks. Using various combinations of initial discrete data as ensembles, the capability of the proposed POD/ interpolation framework for predicting new temperature data is demonstrated. The accuracy of POD-based temperature predictions is validated by comparing it to corresponding experimental data. The root mean square deviations between experimental data and POD-based predictions are found to be on the order of 5%.
Reliability of point source approximations in compact LED lens designs (2011)

In many applications, compact concentrator lenses are used for collimating light from LEDs into high output beams. When optimizing lens designs, the LED is often approximated as a point source. At small lens-to-LED size ratios this is known to be inaccurate, but the performance compared to optimizations with more realistic models is rarely addressed. This paper examines the reliability of a point source model in compact lens design by comparing with optimisations that use a factory measured LED ray-file. The point source is shown to cause significant, unnecessary efficiency loss even at large lens sizes, while the use of a ray-file allows for a >55% reduction in the footprint area of the lens. The use of point source approximations in compact lens designs is therefore generally discouraged.
Adaptive Mitigation of Multi-Virus Propagation: A Passivity-Based Approach (2016)

Malware propagation poses a growing threat to networked systems, such as computer networks and cyberphysical systems. Current approaches to defend against malware propagation are based on patching or filtering susceptible nodes at a fixed rate. When the propagation dynamics are unknown or uncertain, however, the static rate that is chosen may be either insufficient to remove all viruses or too high, incurring additional performance cost. In this paper, we formulate adaptive strategies for mitigating multiple malware epidemics when the propagation rate is unknown, using patching and filtering-based defense mechanisms. In order to identify conditions for ensuring that all viruses are asymptotically removed, we show that the malware propagation, patching, and filtering processes can be modeled as coupled passive dynamical systems. We prove that the patching rate required to remove all viruses is bounded above by the passivity index of the coupled system, and formulate the problem of selecting the minimum-cost mitigation strategy. Our results are evaluated through a numerical study.
Tyrosine kinases in nodal peripheral T-cell lymphomas (2023)

Nodal peripheral T-cell lymphomas (PTCL) are uncommon and heterogeneous tumors characterized by a dismal prognosis. Targeted therapy has been proposed. However, reliable targets are mostly represented by a few surface antigens (e.g., CD52 and CD30), chemokine receptors (e.g., CCR4), and epigenetic gene expression regulation. In the last two decades, however, several studies have supported the idea that tyrosine kinase (TK) deregulation might be relevant for both the pathogenesis and treatment of PTCL. Indeed, they can be expressed or activated as a consequence of their involvement in genetic lesions, such as translocations, or by ligand overexpression. The most striking example is ALK in anaplastic large-cell lymphomas (ALCL). ALK activity is necessary to support cell proliferation and survival, and its inhibition leads to cell death. Notably, STAT3 was found to be the main downstream ALK effector. Other TKs are consistently expressed and active in PTCLs, such as PDGFRA, and members of the T-cell receptor signaling family, such as SYK. Notably, as in the case of ALK, STAT proteins have emerged as key downstream factors for most of the involved TK.
Cache conscious data layout organization for embedded multimedia applications (2002)

Cache misses form a major bottleneck for real-time multimedia applications due to the off-chip accesses to the main memory. This results in both a major access bandwidth overhead (and related power consumption) as well as performance penalties. In this paper, we propose a new technique for organizing data in the main memory for data dominated multimedia applications so as to reduce majority of the conflict cache misses. The focus of this paper is on the formal and heuristic algorithms we use to steer the data layout decisions and the experimental results obtained using a prototype tool. Experiments on real-life demonstrators illustrate that we are able to reduce up to 82% of the conflict misses for applications that are already aggressively transformed at the source-level. At the same time, we also reduce the off-chip data accesses by up to 78% and combined with address optimizations we are able to reduce the execution time. Thus our approach is complimentary to the more conventional way of reducing misses by reorganizing the execution order.
Assessment of low- and high-level task performance in people with transtibial amputation using crossover and energy-storing prosthetic feet (2018)

Crossover feet may improve transtibial prosthesis users' performance compared to energy-storing feet across a range of activities, but additional research is needed. Practice effects may be an influential factor in the measurement of performance-based mobility outcomes and should be considered when performing a clinical assessment.