gebhart/patrepeval huggingface dataset:
Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach (2014)

Control-flow and data-flow modeling and verification are two important challenges for traditional workflow management. To formulate the data-flow modeling and verification, a Petri Net based approach is proposed in this paper. More specifically, the WFIO-net, which is a kind of WF-net by extending each activity with its read and write data sets, is first presented to model both the control-flow and data-flow information in a workflow process. Moreover, the firing rule of WFIO-net which is different from traditional Petri net is discussed in detail. Then the formal definitions of three basic types of data-flow errors, including missing data, redundant data and conflicting data are formulated using WFIO-net. Next, a polynomial complexity algorithm which is capable of detecting the above-mentioned three kinds of basic data-flow anomalies is proposed based on the activity-data incidence matrix of the WFIO-net. A running case of a property loan approval business process is given to validate the proposed method.
Modelling the Impact of Leaky Barriers with a 1D Godunov-Type Scheme for the Shallow Water Equations (2020)

There is increasing interest in distributing small-scale interventions across the landscape as an alternative means of reducing flood risk. One such intervention, the leaky barrier, is introduced in channels to slow down high flows and encourage temporary storage on the floodplain. While these barriers have been implemented widely, there is still resistance to their use at the scales required to impact significantly on flood risk, at least partially due to an evidence gap. In particular, there is no standard method for representing leaky barriers in hydraulic models. This study sets out a methodology for developing mathematical models which capture the hydraulics of leaky barriers accurately, allowing key questions about their combined behaviour in catchments to be answered. A 1D Godunov-type scheme is set up and leaky barriers incorporated with internal boundary conditions. This model is tested against benchmarks from the literature and new steady-state data, and then run predictively on transient cases. The method will help to answer key questions about the optimal leakiness of small-scale interventions, the limits to their usefulness, and how combinations of barriers may or may not cause synchronisation problems when the effect of multiple barriers is aggregated.
Active transport of peptides in bacteria (1980)

Conference Article| December 01 1980 Active transport of peptides in bacteria JOHN W. PAYNE; JOHN W. PAYNE 1Department of Botany, Science Laboratories, University of Durham, Durham DH1 3LE, U.K. Search for other works by this author on: This Site PubMed Google Scholar TIMOTHY M. NISBET TIMOTHY M. NISBET 1Department of Botany, Science Laboratories, University of Durham, Durham DH1 3LE, U.K. Search for other works by this author on: This Site PubMed Google Scholar Author and article information Publisher: Portland Press Ltd Online ISSN: 1470-8752 Print ISSN: 0300-5127 © 1980 Biochemical Society1980 Biochem Soc Trans (1980) 8 (6): 683–685. https://doi.org/10.1042/bst0080683 Views Icon Views Article contents Figures & tables Video Audio Supplementary Data Peer Review Share Icon Share Facebook Twitter LinkedIn Email Cite Icon Cite Get Permissions Citation JOHN W. PAYNE, TIMOTHY M. NISBET; Active transport of peptides in bacteria. Biochem Soc Trans 1 December 1980; 8 (6): 683–685. doi: https://doi.org/10.1042/bst0080683 Download citation file: Ris (Zotero) Reference Manager EasyBib Bookends Mendeley Papers EndNote RefWorks BibTex toolbar search Search Dropdown Menu toolbar search search input Search input auto suggest filter your search All ContentAll JournalsBiochemical Society Transactions Search Advanced Search This content is only available as a PDF. © 1980 Biochemical Society1980 Article PDF first page preview Close Modal You do not currently have access to this content.
Controlling electromagnetic fields with graded photonic crystals in metamaterial regime (2010)

Engineering of a refractive index profile is a powerful method for controlling electromagnetic fields. In this paper, we investigate possible realization of isotropic gradient refractive index media at optical frequencies using two-dimensional graded photonic crystals. They consist of dielectric rods with spatially varying radii and can be homogenized in broad frequency range within the lowest band. Here they operate in metamaterial regime, that is, the graded photonic crystals are described with spatially varying effective refractive index so they can be regarded as low-loss and broadband graded dielectric metamaterials. Homogenization of graded photonic crystals is done with Maxwell-Garnett effective medium theory. Based on this theory, the analytical formulas are given for calculations of the rods radii which makes the implementation straightforward. The frequency range where homogenization is valid and where graded photonic crystal based devices work properly is discussed in detail. Numerical simulations of the graded photonic crystal based Luneburg lens and electromagnetic beam bend show that the homogenization based on Maxwell-Garnett theory gives very good results for implementation of devices intended to steer and focus electromagnetic fields.
Development of adenoids: a study by measurement with MR images. (1999)

Magnetic resonance (MR) imaging, which is able to demonstrate the actual size of adenoids by differentiating them from other soft-tissue structures, can be effectively used to study the normal development of adenoids. To assess the normal development of adenoids and to understand their role in the nasopharyngeal airway compromise, the adenoids of 290 children who had MR examination for other reasons were measured by midsagittal T1-weighted spin-echo MR image. The maximal thickness of adenoids (A), anteroposterior depth of the nasopharynx (N) and the adenoid-nasopharynx (A/N) ratios were obtained using this method. The results showed that of the infants under the age of 3 months only 2 out of 11 adenoids (18%) could be identified. By 4 months of age, adenoids could be identified in 6 of 8 infants (75%). After 5 months of age, all adenoids were well demonstrated by MR imaging. The adenoids developed rapidly during infancy and reached a plateau between 2- and 14 years of age with a mean thickness ranging from 10.7 to 12.2 mm. Finally, the adenoids regressed rapidly after 15 years old. The A/N ratios, which could be used to assess the airway compromise, had a plateau between 2- and 7 years of age. After that, with the steady growth of the nasopharynx, the possible role of adenoid in airway compromise will become increasingly less significant in later childhood.
Combating Double-Spending Using Cooperative P2P Systems (2007)

An electronic cash system allows users to withdraw coins, represented as bit strings, from a bank or broker, and spend those coins anonymously at participating merchants, so that the broker cannot link spent coins to the user who withdraws them. A variety of schemes with various security properties have been proposed for this purpose, but because strings of bits are inherently copyable, they must all deal with the problem of double-spending. In this paper, we present an electronic cash scheme that introduces a new peer-to-peer system architecture to prevent double-spending without requiring an on-line trusted party or tamper-resistant software or hardware. The scheme is easy to implement, computationally efficient, and provably secure. To demonstrate this, we report on a proof-of-concept implementation for Internet vendors along with a detailed complexity analysis and selected security proofs.
Analyses and Fundamental ideas for a Relation Extraction Approach (2007)

Relation extraction is a difficult open research problem with important applications in several fields such as knowledge management, web mining, ontology building, intelligent systems, etc. In our research, we focus on extracting relations among the ontological concepts in order to build a domain ontology. In this paper, firstly, we answer some crucial questions related to the text analyses, the word features and the various relation types. Secondly, we use this theoretical analysis and some issues to define the fundamental ideas of our new approach. Our objective is to extract multi-type relations from the text analyses and the existent relations (in the concept hierarchy). Our approach combines a verb centered method, lexical analyses, syntactic and statistic ones. It is based on an exclusive interest to the document style during the statistic process, a rich contextual modelling that strengthens the term cooccurrence selection, a lexical analysis, a use of the existent relations in the concept hierarchy and a stepping between the various extracted relations to facilitate the evaluation made by the domain experts. Thirdly, we present an illustrative example to explain the previous ideas.
Massively parallel processor array for mid-/back-end ultrasound signal processing (2010)

Ultrasound remains a popular imaging modality due to its mobility and cost-effectiveness. As general purpose computing and DSPs are entering an era of multi-core architectures, the potential for parallel performance gains are significant when used properly. This work explores the possibility of using a massively parallel processor array to meet realtime throughputs for mid-/back-end ultrasound processing. A many-core array of simple DSP cores, shared memories, and an FFT processor is shown to dissipate 87.79 mW for B-mode, 33.20 mW for color flow, and 29.24 mW for spectral doppler, while achieving a frame rate of 37.6 fps for B-mode and 12.5 fps for color flow.
Biaxial magnetometer sensor (2002)

A simple two-axis fluxgate magnetometer has been developed to measure weak magnetic fields by using magnetization rotation processes. To obtain these magnetization processes, we use circular discs of a very thin soft magnetic material as cores. These cores are magnetized by a rotating magnetic field high enough to saturate them. Thus, the magnetization processes are due to magnetization rotation and the only losses are due to macro-eddy currents. This kind of device can also be used to measure the magnetic field in two perpendicular directions by using a single core and, in principle, the exciting field frequency can be greater than in conventional fluxgate magnetometers. The maximum calculated sensitivity of this device is 5.3 times higher than that of a conventional fluxgate magnetometer of similar dimensions.
AC–DC LED Driver With an Additional Active Rectifier and a Unidirectional Auxiliary Circuit for AC Power Ripple Isolation (2018)

Single-phase ac light-emitting diode (LED) lamps require long-lifespan and high-efficiency ac-dc power converters for power factor correction (PFC) and current regulation. In such converters, the inherent double-line-frequency ripple power from the ac source is isolated from the load by large electrolytic capacitors (E-caps) or E-cap-less active circuits to improve reliability and lifespan. This paper presents an ac-dc LED driver with an additional active rectifier and a unidirectional auxiliary circuit for ripple power isolation. As compared with other similar designs, the proposed LED driver operates with reduced redundant power processing and a lower voltage on the storage capacitor, and the additional active circuits include fewer power components. The prototype with small polymer-hybrid capacitors and ceramic capacitors is separately tested in the experiment.
Silicon Nanoparticles in Graphene Sponge for Long-Cycling-Life and High-Capacity Anode of Lithium Ion Battery (2019)

A microwave plasma enhanced chemical vapor deposition (MPECVD) method is used to synthesize nanocarbon structures on silicon particles. The structure is analyzed by scanning electron microscope (SEM), Raman spectroscopy and X-ray diffractometer (XRD). The results show that silicon particles are surrounded by wall-like nanographite and multilayer graphene, also known as graphene nanowalls (GNWs). The nanocarbon structures provide excellent chemical and electrochemical properties and good electrical conductivity enabling much improved performance of lithium ion batteries (LIBs) anode made of nanocarbon coated silicon particles. LIBs maintain the high capacity of 2000 mAh/g for 100 cycles of charging and discharging exhibiting very little decrease in capacity. Graphene nanowalls provide multiple conductive paths for silicon particles to remain being electrically connected to the external circuits allowing lithium ions and electrons to enter and leave silicon particles for charging and discharging.
Concentration of Radionuclides in Dardanelle Lake, Arkansas (1978)

Concentrations of the nuclides ⁹⁰Sr - ⁹⁰Y, ¹⁴⁴Ce - ¹⁴⁴Pr, ¹³⁷Cs, ³⁸Co, ¹¹⁰ͫAg, ¹⁴¹Ce and ⁸⁹Sr have been measured monthly since November, 1975. The results from the period September, 1976, to August, 1977, depend on the relative intensities of the sources of the radionuclides; emissions from Nuclear I, the Chinese nuclear tests of Fall, 1976, and fallout from older atmospheric tests.
Diagnostic value of 99mTc-HM-PAO leukocyte scintigraphy and computer tomography in patients with sternal wound infections. (2000)

LS and CT are sensitive methods for the early detection of postoperative sternal wound infections. CT is superior for the exact localisation of the process, while specific signs of infection can be differentiated from those of uninfected sternotomy by the use of LS. A combination of LS and CT is suggested in the diagnosis of poststernotomy infection.
<title>Modeling and analyses of the Voltage Imaging Tm spatial resolution</title> (1994)

The spatial resolution of the Voltage Imaging<SUP>TM</SUP> technology is defined as the smallest pixel pitch that can be measured for a certain voltage accuracy. It is a function of the EO material, the image forming optics, the CCD resolution and electronic filter bandwidth, and the image processor resolution and filter bandwidth. This paper starts from a square wave input signal with 100% modulation on the LCD panel. The contrast transfer function (CTF) for each individual stage in the voltage imaging process is derived. They include the EO material, the objective lens and imaging lens, the CCD camera spatial sampling, the CCD camera electronics filtering, and the image processor sampling and filtering. Simulated data is presented.
Kunststoffe, Leime und Klebstoffe (2001)

Rahmenmaterial für Tür- und Fensterbau; Dichtungsprofile; Beschläge für Fenster-, Türen- und Möbelbau; dauerelastischer Dichtstoff, Belagstoffe für Holzwerkstoffe; Kantenprofile; Lacke und andere Oberflächenmittel, Leime und Klebstoffe u. v. a. mehr.
Chart analysis and recognition in document images (2002)

Hidden Markov models are a probabilistic modeling tool for time series data. It has been successfully applied to many areas, such as speech recognition, hand-written character recognition, etc. In this paper, we present a novel statistical approach using ergodic hidden Markov models to recognize scientific charts. We also present a newly developed feature extraction method for chart images. Unlike traditional primitive-based diagram recognition method, our approach need not recognize the graphic primitives in charts thus bypassing the recognition error problem caused by the inaccurate primitive extraction that is also a major obstacle to the construction of a general chart recognition system.
Interactive Video Search (2015)

With an increasing amount of video data in our daily life, the need for content-based search in videos increases as well. Though a lot of research has been spent on video retrieval tools and methods which allow for automatic search in videos through content-based queries, still the performance of automatic video retrieval is far from optimal. In this tutorial we discussed (i) proposed solutions for improved video content navigation, (ii) typical interaction of content-based querying features, and (iii) advanced video content visualization methods. Moreover, we discussed interactive video search systems and ways to evaluate their performance.
Revisiting Sulphide Mineral (Bio) Processing: A Few Priorities and Directions (2013)

Large efforts are being made to streamline the conventional (chemical and physical) technological schemes of ore processing, remediation and environmental protection towards reducing overall costs, limiting the use of dangerous substances, decreasing waste streams and improving waste disposal and recycling practice. Hitherto, search for such innovations has been performed mainly empirically and there is an urgent need to shift these technologies to be more innovative and effective. Alternative biotechnological solutions and solutions mimicking natural processes are also being proposed. However, except for bioleaching, practical exploitation of the biotechnological potential in extractive industries and accompanying environmental protection measures remains far from feasibility. Understanding of the fundamental concepts of aquatic chemistry of minerals–selective adsorption and selective redox reactions at mineral– bacteria–solution interfaces, impact innovating conventional and bio-flotation, as well as (bio) remediation/detoxification of mineral and chemical wastes are necessary. Molecular-level knowledge and coherent understanding of minerals contacted with aqueous solutions is required that underlie great opportunities in controlling abiotic and biotic mineral– solution interfaces towards the grand challenge of tomorrow’s science and mineral processing technology
Influences of Meat Organization on Intensity Distribution in Magnetic Resonance Images (2007)

The chemical composition and tissue structure of meats determine the quality of food products. Nondestructive techniques such as magnetic resonance imaging (MRI) are ideal for monitoring meat quality. Meat organization influences the intensity and phase of MR images. In this study, the influence of meat fat content and tenderness on the intensity of MR images was evaluated using the following samples: chicken breast (CB), chicken thigh (CT), porcine fillet (PF), porcine thigh (PT), and porcine stomach (PS). Considerable differences in fat content and tenderness—parameters influenced by intramuscular connective tissue—were observed in these meat samples. Significant differences in mean image intensity were observed between the CB and CT samples of chicken meat. Further, with the exception of the PS sample, significant differences in mean intensity were also observed between the porcine meat samples. On the contrary, no significant differences in the standard deviation and standard error of the mean of image intensity were produced by meat organization. These results indicate that mean intensity may be a useful parameter to evaluate meat organization.
Astaxanthin-Rich Algal Meal and Vitamin C Inhibit <i>Helicobacter pylori</i> Infection in BALB/cA Mice (2000)

Helicobacter pylori infection in humans is associated with chronic type B gastritis, peptic ulcer disease, and gastric carcinoma. A high intake of carotenoids and vitamin C has been proposed to prevent development of gastric malignancies. The aim of this study was to explore if the microalga Haematococcus pluvialis rich in the carotenoid astaxanthin and vitamin C can inhibit experimental H. pylori infection in a BALB/cA mouse model. Six-week-old BALB/cA mice were infected with the mouse-passaged H. pylori strain 119/95. At 2 weeks postinoculation mice were treated orally once daily for 10 days (i) with different doses of algal meal rich in astaxanthin (0.4, 2, and 4 g/kg of body weight, with the astaxanthin content at 10, 50, and 100 mg/kg, respectively), (ii) with a control meal (algal meal without astaxanthin, 4 g/kg), or (iii) with vitamin C (400 mg/kg). Five mice from each group were sacrificed 1 day after the cessation of treatment, and the other five animals were sacrificed 10 days after the cessation of treatment. Culture of H. pylori and determination of the inflammation score of the gastric mucosae were used to determine the outcome of the treatment. Mice treated with astaxanthin-rich algal meal or vitamin C showed significantly lower colonization levels and lower inflammation scores than those of untreated or control-meal-treated animals at 1 day and 10 days after the cessation of treatment. Lipid peroxidation was significantly decreased in mice treated with the astaxanthin-rich algal meal and vitamin C compared with that of animals not treated or treated with the control meal. Both astaxanthin-rich algal meal and vitamin C showed an inhibitory effect on H. pylori growth in vitro. In conclusion, antioxidants may be a new strategy for treating H. pylori infection in humans.
Marine Voyage Data Recorders (1999)

“Data recorders” in some form have been around for quite some time in the marine industry. They include, but are not limited to, log books, navigation charts, bell or engine order logs, course recorders, hull stress meters, propulsion and auxiliary engine computer logs, vessel traffic service (VTS) systems, Rescue Coordination Center (RCC) radio transmission tapes, and the Automatic Identification System (AIS). A marine voyage data recorder (VDR) centralizes the various measurements taken on board a vessel in one “protective” place from which data can be retrieved at a later date for analysis. Many companies have already taken the initiative of installing VDRs not only to obtain data in the event of an accident or incident, but also to assist in managing their fleets. This paper will review the history of VDRs, specifically their promotion by the National Transportation Safety Board (NTSB), the International Maritime Organization’s (IMO’s) actions and its pending carriage requirements, the International Safety Management (ISM) code requirements, IEC performance standards, the position of the classifications societies on VDRs, the VDR and Port State control, VDRs in international investigations, and operational management requirements of the ship owner.
Failure Modes of Silicon Powder Negative Electrode in Lithium Secondary Batteries (2004)

Si composite negative electrodes for lithium secondary batteries degrade in the dealloying period with an abrupt increase in\ninternal resistance that is caused by a breakdown of conductive network made between Si and carbon particles. This results from\na volume contraction of Si particles after expansion in the previous alloying process. Due to the large internal resistance, the\ndealloying reaction is not completed while Si remains as a lithiated state. The anodic performance is greatly improved either by\napplying a pressure on the cells or loading a larger amount of conductive carbon in the composite electrodes.
Utility of endoscopic ultrasound, cytology and fluid carcinoembryonic antigen and CA 19-9 levels in pancreatic cystic lesions (2007)

Cytology and cyst fluid tumor marker analysis is a very useful tool in distinguishing benign from (pre)malignant pancreatic cystic lesions.