This paper aims to present and describe a methodology for Information Strategic Planning (ISP) project aligned to the Business Plan starting, from a case study in Senac-PR as well as its challenges and difficulties. The results and contributions show the feasibility of this ISP Project and the detailing of the methodology execution. The conclusion reiterates the importance of the ISP methodolog...

We provide a status update of ISP, our dynamic formal verifier for MPI programs. ISP determines and explores all relevant schedules of an MPI program. The highlights of this paper are (i) a recap of ISP’s features, and (ii) an overview of work in progress, including a graphical explorer for message passing (GEM) and a distributed MPI analyzer (DMA), an adaptation of ISP for the distributed sett...

. As suggested by Konstan and Riedl [66], user-contributed content is one of the vast and important data resources in recommender systems. It includes users’ tags, reviews, playlists, blog posts and micro-blogging content, forums, etc. Although the aforementioned list include the mostly agreed upon forms of user-contributed content, an extreme view can even consider ratings of users or the trus...

Isoelectric solubilization /precipitation (ISP) process was used to isolate protein from muscles of Prussian carp, Carassius gibelio (Bloch, 1782). Fish protein and lipid were recovered from whole gutted Prussian carp using acidic and basic isoelectric solubilization/precipitation followed by assaying amino acid and fatty acid profile. Essential amino acids content in acidic and basic pH treatm...

The rapid growth of peer-to-peer (P2P) networks in the past few years has brought with it increases in transit cost to Internet Service Providers (ISPs), as peers exchange large amounts of traffic across ISP boundaries. This ISP oblivious behavior has resulted in misalignment of incentives between P2P networks—that seek to maximize user quality—and ISPs—that would seek to minimize costs. Can we...

Formal dynamic verification can complement MPI program testing by detecting hard-tofind concurrency bugs. In previous work, we described our dynamic verifier called ISP that can parsimoniously search the execution space of an MPI program while detecting important classes of bugs. One major limitation of ISP, when used by itself, is the lack of a powerful and widely usable graphical front-end. W...

In the cytochrome bc(1) complex, the swivel motion of the iron-sulfur protein (ISP) between two redox sites constitutes a key component of the mechanism that achieves the separation of the two electrons in a substrate molecule at the quinol oxidation (Q(o)) site. The question remaining is how the motion of ISP is controlled so that only one electron enters the thermodynamically favorable chain ...

Soy protein ingredients have been accredited a number of beneficial effects on preventing obesity, lowering blood cholesterol levels, have evidence for a beneficial role in preventing diseases (cancer, osteoporosis, menopausal disorders and cardiovascular diseases) The aim of the study was to evaluate the quantity of various phenolic compounds, ascorbic acid and in-vitro antioxidant activities ...