511 Hits in 1.7 sec

Pict Correctness Revisited [chapter]

Philippe Bidinger, Adriana Compagnoni
2007 Lecture Notes in Computer Science  
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

Philippe Bidinger, Adriana Compagnoni
2009 Theoretical Computer Science  
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

Lindsay Irvin
1969 International Review of Scottish Studies  
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

Snezhana M. Bakalova, Jose Kaneti
2009 Spectrochimica Acta Part A - Molecular and Biomolecular Spectroscopy  
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

M.S. Sandeep, M.N. Ravishankar
2014 Information & Management  
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/ fatcat:boglttitqnhpxbfud2wd67u67m

Construct and Predictive Validity of Criminal Thinking Scales

Faye S. Taxman, Anne Giuranna Rhodes, Levent Dumenci
2011 Criminal Justice and Behavior  
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  
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

Mark J. Carlotto, Ivan Kadar, Ivan Kadar
2003 Signal Processing, Sensor Fusion, and Target Recognition XII  
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  
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  
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

Juan Caso, Lilia Bassino
2017 Galaxies  
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  
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

C. Eugene Walker
1986 Contemporary Psychology  
. @ 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  
(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

Andrew T. Duchowski, Jason Driver, Sheriff Jolaoso, William Tan, Beverly N. Ramey, Ami Robbins
2010 Proceedings of the 2010 Symposium on Eye-Tracking Research & Applications - ETRA '10  
The scanpath comparison framework based on string editing is revisited.  ...  Second, Principal * e-mail: 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