A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Filters
Pict Correctness Revisited
[chapter]
2007
Lecture Notes in Computer Science
Preserved Fulltext
We also give new proofs of soundness and liveness for the Pict abstract machine. ...
After defining fairness for the π-calculus, we show that the Pict abstract machine executions implement fair π-calculus executions. ...
In [15] , a soundness result is given similar to the one given in Pict. In [10] , scheduling of processes is done as in Pict using FIFO lists, but no proof of correctness is given. ...
doi:10.1007/978-3-540-72952-5_13
fatcat:aslci3catzfidbmqljs7yckgyy
Pict correctness revisited
2009
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
machine Fairness Pict a b s t r a c t The Pict programming language is an implementation of the π -calculus in which executions of π-calculus terms are specified via an abstract machine. ...
We also give new proofs of soundness and liveness for the Pict abstract machine. ...
In [15] , a soundness property is given, similar to the one given for Pict in [19] . In [10] , scheduling of processes is done as in Pict using FIFO lists, but no proof of correctness is given. ...
doi:10.1016/j.tcs.2008.09.014
fatcat:6tudre6zwffbzabyz62wpxnd4a
Dauvit Broun, Scottish Independence and the Idea of Britain
1969
International Review of Scottish Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Scottish Independence and the Idea of Britain: From the Picts to Alexander III. Edinburgh: Edinburgh University Press, 2007. Pp. xiv + 314. £60.00. ISBN 9780748623600. ...
The development of the idea of the king as the ultimate secular authority, and the production of a history of the Scottish kingship are two themes revisited throughout the book. ...
of the Picts' defeat by and subsequent merge with the Scots of Dal Riata. ...
doi:10.21083/irss.v33i0.840
fatcat:7vbv5oyinjd7tkbbukyohv2dqy
Solvent induced shifts of electronic spectra
2009
Spectrochimica Acta Part A - Molecular and Biomolecular Spectroscopy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
If necessary, corrections can be made a posteriori for dielectric behavior. ...
S 1 state vs. experimental fluorescence maxima in aprotic solvents allows a revisit of the intensely disputed geometry of PRODAN emitting state. ...
doi:10.1016/j.saa.2008.07.020
pmid:19010722
fatcat:jxw6q7cjvzeytbnk4imdcrhtuu
The continuity of underperforming ICT projects in the public sector
2014
Information & Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
From our findings, we develop a process model of PICT project continuity. ...
We build our arguments through an in-depth qualitative case study of a public information and communications technology (PICT) project in India. ...
For instance, some local officials enforced adhoc corrective procedures to curb malpractices. ...
doi:10.1016/j.im.2014.06.002
fatcat:boglttitqnhpxbfud2wd67u67m
Construct and Predictive Validity of Criminal Thinking Scales
2011
Criminal Justice and Behavior
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Tools to assess the concept of criminal thinking have not often been tested in community corrections populations. ...
Given that this same four-factor structure was found in a sample of community correction clients, it may be useful to revisit the measurement structure for this instrument, especially as it applies to ...
The CTS, developed by Knight and colleagues (2006) , builds on the PICTS. ...
doi:10.1177/0093854810389550
fatcat:r2qvk5gkn5gaxcyu66mismryke
Page 16 of Peace Research Abstracts Journal Vol. 41, Issue 1
[page]
2004
Peace Research Abstracts Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Changes in criminal thinking and identity in nov- ice and experienced inmates: prisonization revisited. Criminal Jus- tice and Behavior 30(4):399-421, 2003.
CRIMINAL IDENTITY. ...
Changes on the Self-Asser- tion/Deception subscale of the Psychological Inventory of Criminal Thinking Styles (PICTS) and Centrality subscale of the Social Iden- tity as a Criminal (SIC) questionnaire ...
Multisource report-level simulator for fusion research
2003
Signal Processing, Sensor Fusion, and Target Recognition XII
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Observation models characterize each sensor at the report level in terms of their operating characteristics (revisit rate, resolution, etc.) measurement errors, and detection/classification performance ...
average probability of correct classification (P cc ). ...
Revisit rate may be either uniform or vary randomly according to an exponential distribution. For a uniform revisit rate, the revisit time ∆t is some integer number of seconds. ...
doi:10.1117/12.488672
fatcat:v6wkzvlwnjadzitxqpqkn65vey
Page 927 of American Anthropologist Vol. 108, Issue 4
[page]
2006
American Anthropologist
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
While she may occasionally over- stress the importance of women, this should be seen as a corrective, not a fault. ...
Several chapters revisit other controversial issues—for example, one chapter brings new insight into old debates about psychedelics. ...
Page 1778 of Psychological Abstracts Vol. 44, Issue 11
[page]
1970
Psychological Abstracts
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Ranks given the correct programs were significant (p = .004), suggesting a telepathic effect.—Author ab- Siract.
THEORY & SYSTEMS
17660. Armor, Thomas. ...
—De- picts Hermann von Helmholtz, usually discussed in terms of his discoveries, as a highly poised and open-minded investigator. His role in the antivitalist revolt is played down. ...
Revisiting the Globular Cluster Systems of NGC 3258 and NGC 3268
2017
Galaxies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Finally, we corrected these values by the fraction of missing GCs due to our completeness limits. ...
research was funded with grants from Consejo Nacional de Investigaciones Científicas y Técnicas de la República Argentina (PIP 112-201101-00393), Agencia Nacional de Promoción Científica y Tecnológica (PICT ...
doi:10.3390/galaxies5030048
fatcat:ogx6f7xs6ff6boeh3xlkvt2pbu
Page 1543 of The Athenaeum Vol. , Issue 1417
[page]
1854
The Athenaeum
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Corrected throughout by the Nobility. MR. ...
It is illustrated with a be of a pict » Which nobody could have done so well. ...
Aggression and Pornography Revisited
1986
Contemporary Psychology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
. @
Aggression and Pornography
Revisited
Neil M. Malamuth and
Edward Donnerstein (Eds.) Pornography and Sexual Aggression Orlando, FL: Academic Press, 1984. 351 pp. $35.00 (£26.50)
Review by C. ...
Furthermore, if violent pornography predisposes one toward antisocial behav- ior, it is likely that pornography that de- picts mutual respect, tenderness, and caring might promote better relationships ...
doi:10.1037/025031
fatcat:uyb6rolxgfgdlg3fbud6rtdowm
Page 3461 of Psychological Abstracts Vol. 90, Issue 10
[page]
2003
Psychological Abstracts
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(Federal Correctional Inst, Schuylkill, PA) Changes in criminal thinking and identity in novice and experi- enced inmates: Prisonization revisited. ...
Changes on the Self-Assertion/Decep- tion scale of the Psychological Inventory of Criminal Thinking Styles (PICTS) and Centrality subscale of the Social Identity as a Criminal (SIC) questionnaire were ...
Scanpath comparison revisited
2010
Proceedings of the 2010 Symposium on Eye-Tracking Research & Applications - ETRA '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
The scanpath comparison framework based on string editing is revisited. ...
Second, Principal * e-mail: duchowski@clemson.edu Subj. 1 Subj. 2 Pict 1 Pict 2 Pict 1 Pict 2 S1P1 Components Analysis is used to model elliptical cluster boundaries that are in turn used to calculate ...
Pairwise t-tests (with Bonferroni correction) show no significant difference in time to completion between trials. ...
doi:10.1145/1743666.1743719
dblp:conf/etra/DuchowskiDJTRR10
fatcat:ovabjznxond4zcqjwokdl456rq
« Previous
Showing results 1 — 15 out of 511 results