Proof-of-concept model of a coherent optical beam-forming network

1992 ◽  
Vol 139 (4) ◽  
pp. 301 ◽  
Author(s):  
W.S. Birkmayer ◽  
M.J. Wale
Keyword(s):  
Optical Beam ◽  
Beam Forming ◽  
Proof Of Concept ◽  
Concept Model

scholarly journals Verification and Strategy Synthesis for Coalition Announcement Logic

2021 ◽  
Author(s):  
Natasha Alechina ◽  
Hans van Ditmarsch ◽  
Rustam Galimullin ◽  
Tuo Wang
Keyword(s):  
Model Checking ◽  
Proof Of Concept ◽  
Model Checker ◽  
Complete Model ◽  
Concept Model ◽  
The Family ◽  
Winning Strategies ◽  
Epistemic Goals

AbstractCoalition announcement logic (CAL) is one of the family of the logics of quantified announcements. It allows us to reason about what a coalition of agents can achieve by making announcements in the setting where the anti-coalition may have an announcement of their own to preclude the former from reaching its epistemic goals. In this paper, we describe a PSPACE-complete model checking algorithm for CAL that produces winning strategies for coalitions. The algorithm is implemented in a proof-of-concept model checker.

Do the biological details matter?

1997 ◽  
Vol 20 (4) ◽  
pp. 684-685 ◽  
Author(s):  
James M. Bower
Keyword(s):  
Neuronal Activity ◽  
Visual Stimuli ◽  
Theoretical Work ◽  
Cortical Processing ◽  
Proof Of Concept ◽  
Processing Scheme ◽  
Concept Model ◽  
Cortical Oscillations ◽  
Target Article ◽  
Cell Firing

Phillips & Singer (P&S) extend ideas derived from the observation eight years ago that the coherence (synchronization) of cortical oscillations can be modulated by the structure of visual stimuli. As described in the target article, a large part of the continued interest in this finding is related to independent theoretical work suggesting that synchronized cell firing could help solve the problem of binding together within cortex neuronal activity associated with different attributes of visual stimuli. The authors present an abstract “proof of concept” model describing how their cortical processing scheme could work, but our biologically realistic models of cortical relationships suggest that the proposal is biologically implausible. Our realistic models lead to a very different interpretation of the significance of cortical oscillations.

scholarly journals Testing a proof of concept model for group couples counseling in family planning in Northern Uganda

2018 ◽  
Vol 30 ◽  
Author(s):  
Lillian Ojanduru ◽  
Dickens Ojamuge ◽  
Lauren DuComb ◽  
Jeannette Cachan ◽  
Esther Spindler
Keyword(s):  
Family Planning ◽  
Northern Uganda ◽  
Couples Counseling ◽  
Proof Of Concept ◽  
Concept Model
Sign in / Sign up

Export Citation Format

Share Document