Digital Module 11: Bayesian Psychometric Modeling https://ncme.elevate.commpartners.com

2020 ◽  
Vol 39 (1) ◽  
pp. 94-95
Author(s):  
Roy Levy
2021 ◽  
Vol 40 (4) ◽  
pp. 103-104
Author(s):  
Jodi M. Casabianca
Keyword(s):  

2007 ◽  
Vol 16 (06) ◽  
pp. 943-960 ◽  
Author(s):  
K. MORIN-ALLORY ◽  
E. GASCARD ◽  
D. BORRIONE

An original method for generating components that capture the occurrence of events is proposed, and logical and temporal properties of hardware/software embedded systems are monitored. The properties are written in PSL, under the form of assertions in declarative form. The method includes the construction of a library of primitive digital components for the PSL temporal and sequence operators. These building blocks are interconnected to construct complex properties, resulting in a synthesizable digital module that can be properly linked to the digital system under scrutiny.


2020 ◽  
Vol 39 (3) ◽  
pp. 141-142
Author(s):  
Sue Lottridge ◽  
Amy Burkhardt ◽  
Michelle Boyer

2019 ◽  
Vol 10 ◽  
Author(s):  
Rodrigo Schames Kreitchmann ◽  
Francisco J. Abad ◽  
Vicente Ponsoda ◽  
Maria Dolores Nieto ◽  
Daniel Morillo

Sign in / Sign up

Export Citation Format

Share Document