The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, λProlog and its linear logic refinement, Lolli [12], provide for various forms of abstraction (modules, abstract data types, higher-order programming) but lack primitives for concurrency. The logic programming language, LO (Linear Objects) [2] pr...

Objective(s):To optimize the extraction method using response surface methodology, extract the phenolic compounds, and identify the antioxidant and biological properties of Stachys parviflora L.  extracts. Materials and Methods: Maceration and ultrasound-assisted extraction (UAE) (4, 7, 10 min treatment time, 40, 70, 100 % high-intensity and 60, 80, 100 % (v v-1) methanol purity) were applied t...

We have introduced fast and eeective k-way partitioning solutions for the two regimes k n and k = (n). Our contributions include a new \partitioning-speciic" net model used in constructing the Laplacian of the netlist, the use of fast Lanczos implementations to compute the d-dimensional geometric embedding eeciently, and a careful choice of geometric clustering objectives and algorithms. We bel...

The construction of R, the process encapsulating the timing information, is not as eecient as it could be. Any method for making timing veriication more eecient, such as partial order reductions, could in principle be incorporated into our current scheme. We believe that our work will be useful in applications such as asynchronous circuits and hardware software co-design, where abstract descrip...

The objective of this study was to develop a stream prioritization tool that evaluates stream reaches in terms of the potential water quality improvements that could be achieved through restoration versus practical constraints to project implementation. This study is inextricably linked to the countywide stream assessment and Reynolds study conducted prior to this project. The first two section...