gebhart/patrepeval huggingface dataset:
Schedulability analysis for automated implementations of real-time object-oriented models (2002)

The increasing complexity of real time software has led to a recent trend in the use of high level modeling languages for development of real time software. One representative example is the modeling language ROOM (real time object oriented modeling), which provides features such as object orientation, state machine description of behaviors, formal semantics for executability of models, and possibility of automated code generation. However these modeling languages largely ignore the timeliness aspect of real time systems, and fail to provide any guidance for a designer to a priori predict and analyze temporal behavior. We consider schedulability analysis for automated implementations of ROOM models, based on the ObjecTime toolset. This work builds on results presented by M. Saksena (1997), where we developed some guidelines for the design and implementation of real time object oriented models. Using the guidelines, we have modified the run time system library provided by the ObjecTime toolset to make it amenable to schedulability analysis. Based on the modified toolset, we show how a ROOM model can be analyzed for schedulability, taking into account the implementation overheads and structure. The analysis is validated experimentally, first using simple periodic models, and then using a large case study of a train tilting system.
Ett övervakat symposium I,II Schweiz, Sverige och neutraliteten/A Supervises Symposium Switzerland,Sweden and Neutrality (1999)

Ett overvakat symposium I,II Schweiz, Sverige och neutraliteten/A Supervises Symposium Switzerland,Sweden and Neutrality
Peer-to-Peer Human-Robot Interaction for Space Exploration (2004)

NASA has embarked on a long-term program to develop human-robot systems for sustained, affordable space explo-ration. To support this mission, we are working to improve human-robot interaction and performance on planetary sur-faces. Rather than building robots that function as glorified tools, our focus is to enable humans and robots to work as partners and peers. In this paper, we describe our approach, which includes contextual dialogue, cognitive modeling, and metrics-based field testing.
A sensitivity analysis of the MUSIC algorithm (1990)

A first-order analysis of the sensitivity of the MUSIC algorithm to system errors which cause differences between the array manifold used by MUSIC and the true array manifold is presented. The effect of such errors on the direction-of-arrival estimates is investigated. The ability of the MUSIC algorithm to resolve two closely spaced sources in the presence of phase and gain errors in the array elements or the receivers, or errors in the element locations, is analyzed. A formula for computing the failure threshold of MUSIC as a function of source separation and other system parameters is derived and tested by simulation. The analysis assumes that the exact covariance matrix of array element outputs is known (the infinite data case).< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Antisecretory and antiulcerogenic activities of the stem bark extract of Melaleuca bracteata and isolation of principles (2009)

In the present study, we have examined the effects of an ethyl acetate extract ofMelaleuca bracteata on gastric acid secretion and indomethacin-induced ulceration. The plant is popularly known for its ornamental use in South Africa. Gastric acid secretion was studied using modified method of continuous acid secretion while gastric ulcers were produced in albino rats by oral administration of indomethacin. Results showed that, the extract significantly reduced gastric acid secretion in a dose-dependent fashion (P < 0.05). Similarly, in the animals pre-treated with extract and misoprostol, the mean ulcer scores of 4.90 ± 0.98 and 6.90 ± 0.60 respectively were significantly lower as compared to 13.42 ± 1.69 of the control (P < 0.05). This study also reports the isolation of 3-hydroxyl-lup-20 (30)-ene-28-oic (betulinic acid, BA), 3-hydroxylolean-12-ene-28-oic (oleanolic acid, OA) and its acetate from M. bracteata extract. The presence of BA and OA in the extract may account for its anti-ulcer effect.

	 

	Key words: Melaleuca bracteata, myrtaceae, gastroprotection, betulinic and Oleanolic acids.
Fast decryption algorithms for the RSA cryptosystem (2005)

We present four methods to increase the decryption speed of the RSA cryptosystem. The decryption exponent d is obtained by means of special constructions, and the two secret primes p and q are chosen such that the difference between them has low Hamming weight. The suggested methods do not shorten the length of the secret decryption exponent. By applying the Chinese remainder theorem to the special decryption exponent, the decryption speed of the RSA algorithm is significantly increased
ADP Ribosylation Factors 1 and 4 and Group VIA Phospholipase A<sub>2</sub>Regulate Morphology and Intraorganellar Traffic in the Endoplasmic Reticulum–Golgi Intermediate Compartment (2010)

Organelle morphology of the endomembrane system is critical for optimal organelle function. ADP ribosylation factors (Arfs), a family of small GTPases, are required for maintaining the structure of the Golgi and endosomes. What determines the discontinuous nature of the endoplasmic reticulum (ER)-Golgi intermediate compartment (ERGIC) as tubulovesicular clusters is unknown. In search of morphological determinants for the ERGIC, we found that a double knockdown of Arf1+Arf4 induced dynamic ERGIC tubules that connect ERGIC clusters, indicating that the tubules mediated lateral intraERGIC traffic. Tubule formation was inhibited by an antagonist of group VI calcium-independent phospholipase A₂ (PLA2G6) and by silencing the A isoform of PLA2G6 (PLA2G6-A). Arf1+Arf4 depletion altered the expression of PLA2G6-A splice variants and relocalized PLA2G6-A from the cytosol to ERGIC clusters and tubules, suggesting that the enzyme became locally active. We show that changes in Arf1 can modulate the activity of PLA2G6-A. We propose that a concerted action of Arf1, Arf4, and PLA2G6-A controls the architecture of the ERGIC in a way that is predicted to impact the rate and possibly the destination of cargos. Our findings have identified key components in the molecular mechanism underlying the regulation of tubules in the ERGIC and uncover tubular carriers as tightly controlled machinery.
Structure of 600 V IC and a new voltage sensing device (2002)

A novel high-voltage isolation structure which has a 600-V breakdown voltage has been developed. This structure realizes improved stability of the breakdown voltage by combining reduced surface field (RESURF) technology with a multiple floating field plate (MFFP) and an n/sup +//n/sup -/ buried layer. A high-voltage n-ch MOSFET was realized by combining a lateral DMOS structure with the high-voltage isolation structure. A high-voltage p-ch MOSFET was realized by combining the offset gate using the polysilicon layer of the MFFP. A novel voltage sensing device was constructed by the addition of a p-type floating layer to the high-voltage isolation structure. Its output voltage is automatically restricted within the logic power supply level.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
<b>Complex Formation Between Ethyllithium and <b><i>t</i></b>-Butyllithium</b> (1963)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTComplex Formation Between Ethyllithium and t-ButyllithiumMichael A. Weiner and Robert. WestCite this: J. Am. Chem. Soc. 1963, 85, 4, 485–486Publication Date (Print):February 1, 1963Publication History Published online1 May 2002Published inissue 1 February 1963https://pubs.acs.org/doi/10.1021/ja00887a034https://doi.org/10.1021/ja00887a034research-articleACS PublicationsRequest reuse permissionsArticle Views74Altmetric-Citations33LEARN ABOUT THESE METRICSArticle Views are the COUNTER-compliant sum of full text article downloads since November 2008 (both PDF and HTML) across all institutions and individuals. These metrics are regularly updated to reflect usage leading up to the last few days.Citations are the number of other articles citing this article, calculated by Crossref and updated daily. Find more information about Crossref citation counts.The Altmetric Attention Score is a quantitative measure of the attention that a research article has received online. Clicking on the donut icon will load a page at altmetric.com with additional details about the score and the social media presence for the given article. Find more information on the Altmetric Attention Score and how the score is calculated. Share Add toView InAdd Full Text with ReferenceAdd Description ExportRISCitationCitation and abstractCitation and referencesMore Options Share onFacebookTwitterWechatLinked InRedditEmail Other access optionsGet e-Alertsclose Get e-Alerts
Markerless motion capture of interacting characters using multi-view image segmentation (2011)

We present a markerless motion capture approach that reconstructs the skeletal motion and detailed time-varying surface geometry of two closely interacting people from multi-view video. Due to ambiguities in feature-to-person assignments and frequent occlusions, it is not feasible to directly apply single-person capture approaches to the multi-person case. We therefore propose a combined image segmentation and tracking approach to overcome these difficulties. A new probabilistic shape and appearance model is employed to segment the input images and to assign each pixel uniquely to one person. Thereafter, a single-person markerless motion and surface capture approach can be applied to each individual, either one-by-one or in parallel, even under strong occlusions. We demonstrate the performance of our approach on several challenging multi-person motions, including dance and martial arts, and also provide a reference dataset for multi-person motion capture with ground truth.
Meso1, a basic-helix-loop-helix protein involved in mammalian presomitic mesoderm development. (1995)

To identify genes involved in the regulation of early mammalian development, we have developed a dominant-negative mutant basic-helix-loop-helix (bHLH) protein probe for interaction cloning and have isolated a member of the bHLH family of transcription factors, Meso1. Meso1-E2A heterodimers are capable of binding to oligonucleotide probes that contain a bHLH DNA recognition motif. In mouse embryos, Meso1 is expressed prior to MyoD1 family members. Meso1 expression is first detected at the neural plate stage of development in the paraxial mesoderm of the head and in presomitic mesodermal cells prior to their condensation into somites. Our findings suggest that Meso1 may be a key regulatory gene involved in the early events of vertebrate mesoderm differentiation.
A MIMO protocol for camera communications (CamCom) using undersampled frequency shift ON-OFF keying (UFSOOK) (2013)

Camera communications is the use of an image sensor to receive LED modulated data. The undersampling properties of UFSOOK allows the encoding of bits at frequency shift ON-OFF keying frequencies that avoid flicker while at the same time being successfully decoded by a low frame rate camera. PWM dimming is supported via data modulation of the PWM frequency, but requires that FEC be added in the form of multi-phase sampling due to asynchronous clocking. Multiple LEDs can be modulated to send parallel data streams to the receiver enabling MIMO. This paper introduces a simple protocol that will allow the transmitter to inform the receiver how the MIMO data streams should be processed to realize the FEC and reconstruct the transmitted message.
Decreased taurine concentration in skeletal muscles after exercise for various durations (2002)

Taurine concentration was decreased in all skeletal muscles after exercise, regardless of the duration. Moreover, this decrease was specific to fast-twitch dominant fibers. However, under these conditions, the plasma taurine concentration remained unchanged.
MLSE equalization and decoding for multipath-fading channels (1991)

The performance of a receiver using a combined MLSE (maximum likelihood sequence estimation) equalizer/decoder and D-diversity reception is analyzed for multipath Rayleigh fading channels. An upper bound on the (decoded) bit error probability is derived. Comparisons to simulation results show that this upper bound is quite tight when the system has a high signal-to-noise ratio or when diversity reception is used. The upper bound involves an infinite series that must be truncated at a point where the remainder can be safely assumed to be small. An algorithm based on a one-directional stack algorithm is proposed for this calculation because it makes efficient use of computer memory.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
A combined intra-domain and inter-domain QoS routing model for optical networks (2006)

� Abstract—Inter-Domain Quality of Service (QoS) Routing has become a strong requirement in the present Internet, and this requirement will also be present in the Next Generation Optical based worldwide network. At present end-to-end QoS Routing (QoSR) represents a complex problem mainly because the de-facto standard Inter-domain routing protocol, namely the Border Gateway Protocol (BGP) has not inbuilt QoSR capabilities. Moreover, BGP entirely obscures the availability of Intra-Domain resources in any transit domain within an end-to-end Inter-Domain path, which shifts any tentative proposal to cope with the issue of Inter-Domain QoSR even farther from optimality. Given that Inter-Domain routing in Optical Networks is an active research area in this moment, it seems wise to address the issue of QoSR provisioning from its very foundations. Thus, in this paper we introduce a Combined Intra-Domain and Inter-Domain QoSR Model for Optical Networks. Our goal is to provide a highly efficient coupling between both routing schemes with the aim that the combined QoSR model could be able to supply multiconstrained end-to-end optical paths closer to optimality.
Microsatellite alteration in multiple primary lung cancer. (2014)

Patients with pulmonary neoplasms have an increased risk for developing a second tumor of the lung, either at the same time or different times. It is important to determine if the second tumor represents an independent primary tumor or recurrence/metastasis, because it will significantly change the management and prognosis. Microsatellite instability (MSI) and loss of heterozygosity (LOH) represents molecular disorders acquired by the cell during neoplastic transformation. Both are associated with genetic instability. Functional silencing of tumour suppressor genes may be the consequence of genomic instability, particularly of the globally occurring LOH phenomenon. Numerous studies have confirmed the role of MSI/LOH at both the early and the late stages of multiple primary lung cancer. This paper reviews the published literatures focused on the role of MSI/LOH significance in multiple primary lung cancer. Additionally, a new method based on the allelic variations at polymorphic microsatellite markers was offered that it does not rely on collection of normal tissue, performed with minimal tumor sample, and will complement clinical criteria for diagnostic discrimination between multiple primary cancers versus solitary metastatic diseases.
Hybrid Precoding for Massive MIMO Systems in Cloud RAN Architecture with Capacity-Limited Fronthauls (2017)

Cloud RAN (C-RAN) is a promising enabler for distributed massive MIMO systems, yet is vulnerable to its fronthaul congestion. To cope with the limited fronthaul capacity, this paper proposes a hybrid analog-digital precoding design that adaptively adjusts fronthaul compression levels and the number of active radio-frequency (RF) chains out of the entire RF chains in a downlink distributed massive MIMO system based on C-RAN architecture. Following this structure, we propose an analog beamformer design in pursuit of maximizing multi-user sum average data rate (sum-rate). Each element of the analog beamformer is constructed based on a weighted sum of spatial channel covariance matrices, while the size of the analog beamformer, i.e. the number of active RF chains, is optimized so as to maximize the large-scale approximated sum-rate. With these analog beamformer and RF chain activation, a regularized zero- forcing (RZF) digital beamformer is jointly optimized based on the instantaneous effective channel information observed through the given analog beamformer. The effectiveness of the proposed hybrid precoding algorithm is validated by simulation, and its design criterion is clarified by analysis.
Analysis of the Comparative Advantages of unlike Exercises in Relation to Prior Individual Strength Level (1968)

Abstract This study was conducted at the United States' Military Academy at West Point to determine (a) the quantitative effects of isometric and stool stepping programs for the development of knee extension strength and (b) the relationship of the effectiveness of these programs to prior strength levels. Three groups of 59 cadets were selected and randomly assigned. All participated in the same outside Academy activities. One group was administered isometric exercises, the second was administered stool stepping, and the third group served as a control which undertook no special exercises. Multiple linear regression analysis was used to determine whether quantitative differences existed between the two experimental exercise groups. It was found that regardless of whether significant difference in strength occurred between the groups, there were individual differences based upon prior strength level. Those individuals who were initially lower in strength gained more force with the application of stool stepping, whereas those who were initially higher in strength gained more force with isometrics.
In vitro and in vivo differentiation of human embryonic stem cells into retina‐like organs and comparison with that from mouse pluripotent epiblast stem cells (2009)

Correctly inducing the differentiation of pluripotent hESCs to a specific lineage with high purity is highly desirable for regenerative cell therapy. Our first effort to perform in vitro differentiation of hESCs resulted in a limited recapitulation of the ocular tissue structures. When undifferentiated hESCs were placed in vivo into the ocular tissue, in this case into the vitreous cavity, 3-dimensional retina-like structures reminiscent of the invagination of the optic vesicle were generated. Immunohistochemical analysis confirmed the presence of both a neural retina-like cell layer and a retinal pigmented epithelium-like cell layer, possibly equivalent to the developing E12.5 mouse retina. Furthermore, mouse epiblast-derived stem cells, which are reported to share some characteristics with hESCs, but not with mouse ESCs, also generated retinal anlage-like structures in vivo. hESC-derived retina-like structures present a novel therapeutic possibility for retinal diseases and also provide a novel experimental system to study early human eye development.
Fractal structures for low-resistance large area AlGaN/GaN power transistors (2012)

This work introduces a new design approach for the use of fractal structures for low-resistance large area transistors structures. Aspects of layout with adapted current density and high-area utilization are considered. Furthermore the work presents a realization of fractal structures in AlGaN/GaN technology. Both static and dynamic behaviors are characterized. The fabricated devices achieve a breakdown voltage of V <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">BR</sub> >; 700V and on-state currents of I <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">D</sub> = 40A at V <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">GS</sub> = 1V.
Importance of bone‐conducted sound transmission on patient hearing in the MR scanner (2005)

As bone-conduction is not more pronounced inside the MR scanner than outside, the previous reports on the subjective evaluation of protection devices in MRI hold their validity.
The use of collagen polymer tube and fibrin clot in peripheral nerve repair. (1994)

Following extensive or multiple nerve injury, repair by nerve graft is the treatment of choice. In recent years, nerve repair using tubes made of synthetic material has yielded satisfactory results in experimental animals. Previously we have demonstrated that fibrin clot formed within an impermeable silicone tube promoted nerve regeneration. In the present study, we evaluated the applicability of a nerve graft fabricated out of autologous collagen and agarose. The copolymer collagen tube, 1 cm long and filled with autologous fibrin clot was implanted between transected rat right sciatic nerve and the left sciatic nerve was similarly transected and repaired with silicone tube. After 1, 2, and 4 months the regenerated nerves were removed and processed for light microscopic and morphometric analysis. We demonstrated that both types of tubes supported extensive nerve regeneration across the gap to reach the distal segment. The collagen tubes provoked a slow foreign body response with infiltration by macrophages and foreign body giant cells which became abated after 2 months. After 4 months, the nerve regenerate was encapsulated and separated from the collagen tube by a fluid exudate. The number of myelinated axons at midpoint in the nerve regenerate in the silicone tube was 9117 +/- 282 while that in the collagen tube was 8589 +/- 137. This preliminary study has demonstrated that collagen polymer tube may have potential use in peripheral nerve repair.
Derivation of stiffness matrices for problems in plane elasticity by Galerkin's method (1969)

Abstract Solution of plane elastic problems by piecewise linear approximation is outlined. This method is based upon Galerkin error distribution technique, which leads to simultaneous algebraic equations identical to those associated with the Finite Element Method. In addition, this method permits definition of the discretization error, which can be computed once the displacement components are known. Properties of the interpolation functions are discussed, and a sequence of internally compatible plane elastic elements is defined.
Coil fraction-dependent phase behaviour of a model globular protein–polymer diblock copolymer (2014)

The self-assembly of the model globular protein-polymer block copolymer mCherry-b-poly(N-isopropyl acrylamide) is explored across a range of polymer coil fractions from 0.21 to 0.82 to produce a phase diagram for these materials as a function of molecular composition. Overall, four types of morphologies were observed: hexagonally packed cylinders, perforated lamellae, lamellae, and disordered nanostructures. Across all coil fractions and morphologies, a lyotropic re-entrant order-disorder transition in water was observed, with disordered structures below 30 wt% and above 70 wt% and well-ordered morphologies at intermediate concentrations. Solid state samples prepared by solvent evaporation show moderately ordered structures similar to those observed in 60 wt% solutions, suggesting that bulk structures result from kinetic trapping of morphologies which appear at lower concentrations. While highly ordered cylindrical nanostructures are observed around a bioconjugate polymer volume fraction of 0.3 and well-ordered lamellae are seen near a volume fraction of 0.6, materials at lower or higher coil fractions become increasingly disordered. Notable differences between the phase behaviour of globular protein-polymer block copolymers and coil-coil diblock copolymers include the lack of spherical nanostructures at either high or low polymer coil fractions as well as shifted phase boundaries between morphologies which result in an asymmetric phase diagram.