The Cowl - v.57 - n.7 - Nov 12, 1992 [PDF]
The Cowl - student newspaper of Providence College. Volume 57, Number 7 - November 12, 1992.
core +1 more source
Microplastics Contamination in Nonalcoholic Beverages from the Italian Market. [PDF]
Crosta A, Parolini M, De Felice B.
europepmc +1 more source
Reasoning on Assembly Code using Linear Logic [PDF]
We present a logic for reasoning on assembly code. The logic is an extension of intuitionistic linear logic with greatest fixed points, pointer assertions for reasoning about the heap, and modalities for reasoning about program execution.
Vouillon, Jérôme
core +2 more sources
The Cowl - v.62 - n.10 - Nov 13, 1997 [PDF]
The Cowl - student newspaper of Providence College. Volume 62, Number 10 - Nov 13, 1997.
core +1 more source
Land use determination by remote sensor analysis [PDF]
A land use analysis of 18 selected census tracts in the Metropolitan Washington area using aerial photography was undertaken. A comparison of the results was made with comparable land use data from the Metropolitan Washington Council of Governments ...
Howard, J. Y., Mallon, H. J.
core +1 more source
A Pilot Study on the Feasibility and Acceptability of a Text Message-Based Aftercare Treatment Programme Among Alcohol Outpatients [PDF]
Aims: To test the feasibility, acceptability and initial effectiveness of a text message-based aftercare treatment programme among alcohol outpatients.
Haug, Severin +4 more
core
Feasibility Study for the Development of a Low-Cost, Compact, and Fast Sensor for the Detection and Classification of Microplastics in the Marine Environment. [PDF]
Cocciaro B +4 more
europepmc +1 more source
Code Usage Analysis System (CUAS) [PDF]
A set of computer programs is offered to aid a user in evaluating performance of an application program. The system provides reports of subroutine usage, program errors, and segment loading which occurred during the execution of an application program ...
Horsley, P. H., Oliver, J. D.
core +1 more source
International Macroeconomic Dynamics: a Factor Vector Autoregressive Approach [PDF]
In this paper international comovements among a set of key real and nominal macroeconomic variables for the G-7 countries have been investigated for the 1980-2005 period, using a Factor Vector Autoregressive approach. We present evidence that comovements
Claudio Morana, Fabio C. Bagliano
core
A new method for the characterisation of rounded cutting edges [PDF]
The influence of the cutting edge micro geometry on cutting process and on tool performance is subject of several research projects. Recently published papers focus on optimising the cutting edge rounding.
Knapp, Wolfgang +2 more
core

