Proof-Of-Concept Model Of A Multichannel Off-Axis Passive Bidirectional Fiber Optic Rotary Joint

1988 ◽  
Author(s):  
Walter W. Koch ◽  
Sam K. Nauman
Keyword(s):  
Fiber Optic ◽  
Proof Of Concept ◽  
Concept Model ◽  
Rotary Joint

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

Low-loss fiber optic rotary joint using C-lens collimators

2005 ◽  
Vol 1 (3) ◽  
pp. 221-223 ◽  
Author(s):  
Da-gong Jia ◽  
Wen-cai Jing ◽  
Yi-mo Zhang ◽  
Ge Zhou ◽  
Jin Zhang ◽  
...  
Keyword(s):  
Fiber Optic ◽  
Low Loss ◽  
Rotary Joint

scholarly journals Lensless, ultra-wideband fiber optic rotary joint for biomedical applications

2016 ◽  
Vol 41 (9) ◽  
pp. 1973 ◽  
Author(s):  
Wihan Kim ◽  
Xi Chen ◽  
Javier A. Jo ◽  
Brian E. Applegate
Keyword(s):  
Biomedical Applications ◽  
Fiber Optic ◽  
Ultra Wideband ◽  
Rotary Joint
Sign in / Sign up

Export Citation Format

Share Document