Inference of message sequence charts

Software designers draw message sequence charts for early modeling of the individual behaviors they expect from the concurrent system under design. Can they be sure that precisely the behaviors they have described are realizable by some implementation of the components of the concurrent system? If so, can we automatically synthesize concurrent state machines realizing the given MSCs? If, on the other hand, other unspecified and possibly unwanted scenarios are "implied" by their MSCs, can the software designer be automatically warned and provided the implied MSCs? In this paper, we provide a framework in which all these questions are answered positively. We first describe the formal framework within which one can derive implied MSCs and then provide polynomial-time algorithms for implication, realizability, and synthesis.     

Is medical research informing professional practice more highly cited? Evidence from AHFS DI Essentials in drugs.com

Scientometrics - Citation-based indicators are often used to help evaluate the impact of published medical studies, even though the research has the ultimate goal of improving human wellbeing. One...     

Robust position-based routing for wireless ad hoc networks

We consider a wireless ad hoc network composed of a set of wireless nodes distributed in a two dimensional plane. Several routing protocols based on the positions of the mobile hosts have been proposed in the literature. A typical assumption in these protocols is that all wireless nodes have uniform transmission regions modeled by unit disk centered at each wireless node. However, all these protocols are likely to fail if the transmission ranges of the mobile hosts vary due to natural or man-made obstacles or weather conditions. These protocols may fail because either some connections that are used by routing protocols do not exist, which effectively results in disconnecting the network, or the use of some connections causes livelocks. In this paper, we describe a robust routing protocol that tolerates up to roughly 40% of variation in the transmission ranges of the mobile hosts. More precisely, our protocol guarantees message delivery in a connected ad hoc network whenever the ratio of the maximum transmission range to the minimum transmission range is at most .     

Effect of sodium selenite on the bacteria growth,selenium accumulation,and selenium biotransformation in <Emphasis Type="Italic">Pediococcus acidilactici</Emphasis>

In this study, the effect of low selenium concentrations on bacteria growth, selenium bioaccumulation, and selenium speciation in Pediococcus acidilactici was investigated. Six different sodium selenite (Na₂SeO₃) solutions with concentrations of 0, 0.5, 1, 2, 3, and 4 mg/L were added in MRS broth for 24 h. Then, the obtained bacterial pellets were weighed. The contents of total selenium and selenium species in the bacterial pellets were measured via optimized enzymatic hydrolysis and HPLC-ICP-MS. The maximum dried P. acidilactici biomass of 1.44 g/L was achieved by utilizing 1 mg/L Na₂SeO₃. By increasing sodium selenite concentrations, total selenium contents were significantly increased from 0.14 to 1.45 mg/g dry weight (p < 0.05). The findings indicated that selenium was favorably incorporated into the bacteria protein fraction and mainly formed selenocysteine. Therefore, selenium-enriched lactic acid bacterium P. acidilactici can deliver a less-toxic, more bioavailable selenium source for human and animal nutrition.     

Do Mendeley reader counts reflect the scholarly impact of conference papers? An investigation of computer science and engineering

Scientometrics - Counts of Mendeley readers may give useful evidence about the impact of published research. Although previous studies have found significant positive correlations between counts of...     

The high scholarly value of grey literature before and during Covid-19

Scientometrics - New academic knowledge in journal articles is partly built on peer reviewed research already published in journals or books. Academics can also draw from non-academic sources, such...     

Sources of Google Scholar citations outside the Science Citation Index: A comparison between four science disciplines

For practical reasons, bibliographic databases can only contain a subset of the scientific literature. The ISI citation databases are designed to cover the highest impact scientific research journals as well as a few other sources chosen by the Institute for Scientific Information (ISI). Google Scholar also contains citation information, but includes a less quality controlled collection of publications from different types of web documents. We define Google Scholar unique citations as those retrieved by Google Scholar which are not in the ISI database. We took a sample of 882 articles from 39 open access ISI-indexed journals in 2001 from biology, chemistry, physics and computing and classified the type, language, publication year and accessibility of the Google Scholar unique citing sources. The majority of Google Scholar unique citations (70%) were from full-text sources and there were large disciplinary differences between types of citing documents, suggesting that a wide range of non-ISI citing sources, especially from non-journal documents, are accessible by Google Scholar. This might be considered to be an advantage of Google Scholar, since it could be useful for citation tracking in a wider range of open access scholarly documents and to give a broader type of citation impact. An important corollary from our study is that Google Scholar’s wider coverage of Open Access (OA) web documents is likely to give a boost to the impact of OA research and the OA movement.