gebhart/patrepeval huggingface dataset:
Extended quasi-static scheduling for formal synthesis and code generation of embedded software (2002)

With the computerization of most daily-life amenities such as home appliances, the software in a real-time embedded system now accounts for as much as 70% of a system design. On one hand, this increase in software has made embedded systems more accessible and easy to use, while on the other hand, it has also necessitated further research on how complex embedded software can be designed automatically and correctly. Enhancing recent advances in this research, we propose an Extended Quasi-Static Scheduling (EQSS) method for formally synthesizing and automatically generating code for embedded software, using the Complex-Choice Petri Nets (CCPN) model. Our method improves on previous work in three ways: (1) by removing model restrictions to cover a much wider range of applications, (2) by proposing an extended algorithm to schedule the more unrestricted model, and (3) by implementing a code generator that can produce multi-threaded embedded software programs. The requirements of an embedded software are specified by a set of CCPN, which is scheduled using EQSS such that the schedules satisfy limited embedded memory requirements and task precedence constraints. Finally, a POSIX-based multi-threaded embedded software program is generated in the C programming language. Through an example, we illustrate the feasibility and advantages of the proposed EQSS method.
Decakis(dichloromethyl)‐1,12‐dicarba‐<i>closo</i>‐dodecaborane(12): Camouflage of an Icosahedral Carborane by Using Bulky Functional Substituents (1996)

Complete halogenation of decamethyl-1,12-dicarba-closo-dodecaborane(12) under radical halogenation conditions affords the title compound 1 in high yields (structure shown along the CC axis of the carborane framework). This molecule introduces an important new concept for the modular construction of structurally well-defined molecular systems.
Tools for domain-based policy management of distributed systems (2003)

The management of policies in large-scale systems is complex because of the potentially large number of policies and administrators, as well as the diverse types of information that need to be managed. Appropriate tool support is essential to make management practical and feasible. In this paper we present the implementation of an integrated toolkit for the specification, deployment and management of policies specified in the PONDER language. PONDER policies provide a powerful framework for managing distributed systems which includes explicit domain-based subject and target specifications as well as a flexible life-cycle and deployment model. Domains, implemented using LDAP directories, are used for storing policies and grouping resources, people, and the entities which implement policy, thus facilitating the automated dissemination of policy information. The toolkit presented in this paper comprises: a policy compiler, used to generate implementation code for heterogeneous management and security platforms, a hyperbolic tree viewer for efficient manipulation of the domain structure and effective navigation across the domains, and various tools for deploying and managing the policy life-cycle.
Reducing conflicts in direct-mapped caches with a temporality-based design (2002)

Direct-mapped caches are often plagued by conflict misses because they lack the associativity to store more than one memory block in each set. However, some blocks that have no temporal locality actually cause program execution degradation by displacing blocks that do manifest temporal behavior. In this paper, we present a simple but efficient novel hardware design called the non-temporal streaming (NTS) cache that supplements the conventional direct-mapped cache with a parallel fully associative buffer. Every cache block loaded into the main cache is monitored for temporal behavior by a hardware detection unit. Cache blocks identified as nontemporal are allocated to the buffer on subsequent requests. Our simulations show that the NTS Cache not only provides a performance improvement over the conventional direct-mapped cache, but can also save on-chip area. For some numerical programs like FFTPDE, APPSP and APPBT from the NAS benchmark suite, an integral NTS Cache of size 9 KB (i.e., 8 KB direct-mapped cache plus 1 KB NT buffer) performs as well as a 16 KB conventional direct-mapped cache.
In vivo alteration of RES phagocytosis by magnetic albumin microspheres. (1985)

The effect of non-localized magnetically responsive albumin microspheres (MR-AMS) on RES phagocytic function was investigated. MR-AMS and MR-AMS containing Adriamycin (MR-AMS-ADR) were injected intravenously in rats at a dose which saturated all RES phagocytes. The ability of the RES to clear the bloodstream of a subsequent suspension of MR-AMS or streptococci was then analyzed over a three day period. MR-AMS clearance was enhanced after initial RES saturation with MR-AMS but depressed when the saturating agent was MR-AMS-ADR. Bloodstream clearance of streptococci was depressed by MR-AMS and MR-AMS-ADR. Localization of MR-AMS in the RES might depress RES phagocytosis by physical saturation of phagocytes or by a direct toxic effect of encapsulated chemotherapeutic agents.
Median nerve biodegradable wrapping : Clinical outcome of 10 patients. (2016)

Nerve wrap protectors are bioabsorbable synthetic materials made of collagen or extracellular matrix that provide a non-constricting encasement for injured peripheral nerves. They are designed to be used as an interface between the nerve and the surrounding tissue. After hydrated, they transform into a soft, pliable, nonfriable, easy to handle porous conduit. The wall of the nerve wrap has a longitudinal slit that allows to be placed around the injured nerve. Τhis article presents the surgical technique for median nerve neurolysis and nerve coverage using a collagen or an extracellular matrix nerve wrap protector in 10 patients with recurrent or persistent carpal -tunnel syndrome. All patients had a mean of three previous open carpal tunnel operations, which were not successful. The mean follow-up was 3 years. -Under axillary nerve block anaesthesia with the use of -pneumatic tourniquet, a standard open carpal tunnel approach was done incorporating the previous incision. Scar tissue was excised in a healthy bed and the median nerve was thoroughly released with external neurolysis. An appropriate length of nerve wrap protector was cut longitudinally according to the length of nerve release. The nerve wrap was loosely sutured with separate polypropylene sutures No. 7-0. A volar splint was applied for a mean of 2 weeks followed by progressive passive and active range of motion rehabilitation exercises of the wrist and fingers. At the last follow-up, all patients showed improvement of clinical symptoms, static two-point discrimination test and median nerve conduction studies, and absence of Tinel sign. Differences in outcome and complications with respect to the nerve wrap materials used were not observed.
A Traceless Perfluoroalkylsulfonyl (PFS) Linker for the Deoxygenation of Phenols (2001)

[reaction: see text]. The synthesis of a novel perfluoroalkylsulfonyl (PFS) fluoride is described for use as a traceless linker in solid-phase organic synthesis. Attachment to the resin and subsequent coupling of a phenol affords a stable arylsulfonate that behaves as a support-bound aryl triflate. Palladium-mediated reductive cleavage of a wide variety of phenols generated the parent arenes. The resin-bound aryl triflate was shown to be stable to reductive amination conditions, and the traceless synthesis of Meclizine is reported.
Classification of hematopoietic regions in out-of-phase T1-weighted images: a quantitative comparison study with T1-weighted and STIR images. (1996)

The hematopoietic regions were classified into two groups on the basis of out-of-phase T1-weighted images (op-T1WI): regions with lower intensity than that of muscle (LH) and regions with intensity equal to or higher than that of muscle (HH). We quantitatively evaluated the differences in signal intensity between LH and HH in order to examine this classification. Forty-two hematopoietic areas in aplastic anemia were classified into two groups of 23 LH and 19 HH. The signal ratios of hematopoietic areas to muscle on T1WI and STIR were calculated, and the differences between LH and HH were statistically evaluated. The signal ratios of LH were significantly higher on T1WI and lower on STIR than those of HH (unpaired t-test, p < 0.05). This result indicated that LH consisted of more hypocellular marrow than HH. Op-T1WI were useful in differentiating between LH and HH and defining the degree of hematopoiesis in aplastic anemia.
An expressive three-mode principal components model for gender recognition (2004)

We present a three-mode expressive-feature model for recognizing gender (female, male) from point-light displays of walking people. Prototype female and male walkers are initially decomposed into a subspace of their three-mode components (posture, time, and gender). We then apply a weight factor to each point-light trajectory in the basis representation to enable adaptive, context-based gender estimations. The weight values are automatically learned from labeled training data. We present experiments using physical (actual) and perceived (from perceptual experiments) gender labels to train and test the system. Results with 40 walkers demonstrate greater than 90% recognition for both physically and perceptually labeled training examples. The approach has a greater flexibility over standard squared-error gender estimation to successfully adapt to different matching contexts.
Cross-relational clustering with user's guidance (2005)

Clustering is an essential data mining task with numerous applications. However, data in most real-life applications are high-dimensional in nature, and the related information often spreads across multiple relations. To ensure effective and efficient high-dimensional, cross-relational clustering, we propose a new approach, called CrossClus, which performs cross-relational clustering with user's guidance. We believe that user's guidance, even likely in very simple forms, could be essential for effective high-dimensional clustering since a user knows well the application requirements and data semantics. CrossClus is carried out as follows: A user specifies a clustering task and selects one or a small set of features pertinent to the task. CrossClus extracts the set of highly relevant features in multiple relations connected via linkages defined in the database schema, evaluates their effectiveness based on user's guidance, and identifies interesting clusters that fit user's needs. This method takes care of both quality in feature extraction and efficiency in clustering. Our comprehensive experiments demonstrate the effectiveness and scalability of this approach.
Synthesis and chemistry of [Cp2Zr(CH3CN)3][BPh4]2: a five-coordinate, dicationic zirconocene complex (1987)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTSynthesis and chemistry of [Cp2Zr(CH3CN)3][BPh4]2: a five-coordinate, dicationic zirconocene complexRichard F. Jordan and Scott F. EcholsCite this: Inorg. Chem. 1987, 26, 3, 383–386Publication Date (Print):February 1, 1987Publication History Published online1 May 2002Published inissue 1 February 1987https://pubs.acs.org/doi/10.1021/ic00250a009https://doi.org/10.1021/ic00250a009research-articleACS PublicationsRequest reuse permissionsArticle Views704Altmetric-Citations51LEARN 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
Radiojodmarkierte Antikörper und Möglichkeiten ihrer Anwendung zum Nachweis bakterieller Infekte (1969)

Mittels 131J-markierter Antikörper wurde versucht, Dyspepsie Coli O 111 im homogenisierten Stuhl nachzuweisen. Insgesamt wurden bei 171 Kindern 307 Untersuchungen durchgeführt, wobei der Radioimmuntest durch die kulturelle Anzucht und die Immunfluoreszenz geprüft wurde. Lediglich bei 22 Proben = 7,2% versagte die radioimmunologische Methode, d. h., es konnten die mit den konventionellen Methoden erzielten positiven Ergebnisse nicht bestätigt werden. Dieser Anteil an falsch negativen Befunden liegt jedoch erheblich unter den Versagerquoten, die bei alleiniger Anwendung der Kultur oder der Immunfluoreszenz auftreten. Der Radioimmuntest erwies sich als genügend empfindlich, um als Suchtest zu dienen.
Pyrene fluorescence as a probe of fluorocarbon micelles and their mixed micelles with hydrocarbon surfactants (1988)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTPyrene fluorescence as a probe of fluorocarbon micelles and their mixed micelles with hydrocarbon surfactantsK. KalyanasundaramCite this: Langmuir 1988, 4, 4, 942–945Publication Date (Print):July 1, 1988Publication History Published online1 May 2002Published inissue 1 July 1988https://pubs.acs.org/doi/10.1021/la00082a027https://doi.org/10.1021/la00082a027research-articleACS PublicationsRequest reuse permissionsArticle Views1204Altmetric-Citations72LEARN 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
Vaccination with tumor cells engineered to secrete interleukin 2-immunoglobulin G fusion protein induces tumor rejection. (1998)

Here we provide proof that the injection of tumor cells engineered to secrete interleukin 2 (IL-2)-IgG chimeric proteins locally induces potent antitumor responses, which are more effective than tumor transfection with IL-2 alone. Murine plasmacytoma cells (J558L) were stably transfected with DNA coding for a human IL-2-IgG1 or a murine IL-2-IgG2b fusion protein and were injected s.c. into syngeneic BALB/c mice. Evaluation of tumor growth and rejection patterns showed that IL-2-IgG secretion by transfected J558L tumor cells induced their rejection in all animals tested, similar to the rejection of J558L cells engineered to secrete IL-2 alone, whereas treatment with parental cells was lethal. However, mice treated with IL-2-IgG-secreting J558L cells (human IL-2-IgG1 and murine IL-2-IgG2b) exhibited a significantly stronger tumor immunity against a later challenge with parental J558L cells than mice treated with IL-2-secreting tumor cells.
Forest Roads Mapped Using LiDAR in Steep Forested Terrain (2010)

LiDAR-derived digital elevation models can reveal road networks located beneath dense forest canopy. This study tests the accuracy of forest road characteristics mapped using LiDAR in the Santa Cruz Mountains, CA. The position, gradient, and total length of a forest haul road were accurately extracted using a 1 m DEM. In comparison to a field-surveyed centerline, the LiDAR-derived road exhibited a positional accuracy of 1.5 m, road grade measurements within 0.53% mean absolute difference, and total road length within 0.2% of the field-surveyed length. Airborne LiDAR can provide thorough and accurate road inventory data to support forest management and watershed assessment activities.
Efficient generation of connectivity in neuronal networks from simulator-independent descriptions (2014)

Simulator-independent descriptions of connectivity in neuronal networks promise greater ease of model sharing, improved reproducibility of simulation results, and reduced programming effort for computational neuroscientists. However, until now, enabling the use of such descriptions in a given simulator in a computationally efficient way has entailed considerable work for simulator developers, which must be repeated for each new connectivity-generating library that is developed. We have developed a generic connection generator interface that provides a standard way to connect a connectivity-generating library to a simulator, such that one library can easily be replaced by another, according to the modeler's needs. We have used the connection generator interface to connect C++ and Python implementations of the previously described connection-set algebra to the NEST simulator. We also demonstrate how the simulator-independent modeling framework PyNN can transparently take advantage of this, passing a connection description through to the simulator layer for rapid processing in C++ where a simulator supports the connection generator interface and falling-back to slower iteration in Python otherwise. A set of benchmarks demonstrates the good performance of the interface.
Nonreciprocal optical transmission through photorefractive KNbO_3:Mn (1985)

Asymmetric light transmission of up to 113 and 59% for two antiparallel beam directions has been measured in photorefractive KNbO(3):Mn. The wavelength dependence of the transmission asymmetry and the intensity dependence of the time constants for recording the photoinduced reflection gratings causing the asymmetry are reported. An optimized crystal orientation gives an increased light-transmission asymmetry of up to 25% for a 2.9-mm-long crystal.
Important Challenge for Optical Lithography Extension utilizing Double Patterning Process (2011)

Lithographic scaling has been driven by improvements in wavelength and numerical aperture historically. In the semiconductor industry, the H2O base 192 immersion technique has still been main exposure tool combined with various low-k1 techniques, such like off-axis illumination, phase-shift mask and so on. The focus is now on double patterning techniques (DPT) as a means to circumvent the limitations of Rayleigh′s definition. Actually, self-aligned spacer double patterning (SADP) has already been employed in high volume manufacturing of NAND flash memory devices. This paper introduces demonstration results focused on the extendibility of double patterning techniques for downward scaling and various device layouts utilizing SADP (Self-aligned Double patterning) mainly.
A survey of the mosquitos (Diptera: Culicidae) of Napsan, Palawan, Republic of the Philippines. (1993)

Mosquitos were collected in three villages on the western coast of the island of Palawan, Republic of the Philippines, from June 1986 to April 1987, using 3 methods. Anopheles flavirostris, the primary malaria vector, was the most abundant of the Anopheles collected biting man, ranging from a low of 83.9% in June (16.1 collected/man/night) to 98.3% in April (29.1 collected/man/night). The number of species was greatest in the animal-baited traps with 54 species detected. The CO2-baited CDC light traps were neither effective nor economically feasible as a monitoring tool for malaria vectors at this site. People were at risk from An. flavirostris bites throughout the night except 1800-2000 which are low-risk hours. Anopheles flavirostris is slightly exophagic during most of the year, but moderately endophagic during the hot, dry season.
Separation of organic solvent from dilute aqueous solutions and from organic solvent mixtures through crosslinked acrylate copolymer membranes by pervaporation (1998)

The composite membranes of acrylate polymers and porous substrate were prepared. The separation of the organic solvent–water mixtures and the organic solvent–organic solvent mixtures through these membranes by pervaporation was investigated. The acrylate copolymer membrane showed the organic solvent permselectivity for the separation of the organic solvent–water mixture, especially for the chlorinated hydrocarbon–water mixture separation. The high organic solvent permselectivity should be governed by solubility selectivity. The influence of the ester residue of acrylate on the phenol–water mixture separation was observed. The copolymerization of the macromonomers containing the polystyrene, poly(methyl methacrylate), and polydimethylsiloxane chain had a small effect on the separation of the chlorinated hydrocarbon–water mixture. High flux and low selectivity of organic solvent were observed in the case of the organic solvent mixture separation through the n-butylacrylate membrane. The difference of permeability of organic solvent was observed for the acrylate copolymer which has various structures of ester residue. © 1998 John Wiley & Sons, Inc. J. Appl. Polym. Sci. 69: 1483–1494, 1998
Reduced steroidogenesis in patients with <scp>PCDH</scp>19‐female limited epilepsy (2017)

Patients affected by protocadherin 19 (PCDH19)-female limited epilepsy (PCDH19-FE) present a remarkable reduction in allopregnanolone blood levels. However, no information is available on other neuroactive steroids and the steroidogenic response to hormonal stimulation. For this reason, we evaluated allopregnanolone, pregnanolone, and pregnenolone sulfate by liquid chromatographic procedures coupled with electrospray tandem mass spectrometry in 12 unrelated patients and 15 age-matched controls. We also tested cortisol, estradiol, progesterone, and 17OH-progesterone using standard immunoassays. Apart from estradiol and progesterone, all the considered hormones were evaluated in basal condition and after stimulation with adrenocorticotropic hormone (ACTH). A generalized decrease in blood levels of almost all measured neuroactive steroids was found. When considering sexual development, cortisol and pregnenolone sulfate basal levels were significantly reduced in postpubertal girls affected by PCDH19-FE. Of interest, ACTH administration did not recover pregnenolone sulfate serum levels but restored cortisol to control levels. In prepubertal girls with PCDH19-FE, by challenging adrenal function with ACTH we disclosed defects in the production of cortisol, pregnenolone sulfate, and 17OH-progesterone, which were not apparent in basal condition. These findings point to multiple defects in peripheral steroidogenesis associated with and potentially relevant to PCDH19-FE. Some of these defects could be addressed by stimulating adrenocortical activity.
Rapid inactivation of SARS-CoV-2 with deep-UV LED irradiation (2020)

The spread of novel coronavirus disease 2019 (COVID-19) infections worldwide has raised concerns about the prevention and control of SARS-CoV-2. Devices that rapidly inactivate viruses can reduce the chance of infection through aerosols and contact transmission. This <i>in vitro</i> study demonstrated that irradiation with a deep ultraviolet light-emitting diode (DUV-LED) of 280 ± 5 nm wavelength rapidly inactivates SARS-CoV-2 obtained from a COVID-19 patient. Development of devices equipped with DUV-LED is expected to prevent virus invasion through the air and after touching contaminated objects.