Results 21 to 30 of about 1,556,687 (280)
PRISM: a tool for automatic verification of probabilistic systems [PDF]
, 2006 Probabilistic model checking is an automatic formal verification technique for analysing quantitative properties of systems which exhibit stochastic behaviour. PRISM is a probabilistic model checking tool which has already been successfully deployed in a
Hinton, A. +3 more
core +3 more sources
Advanced Photonics 2013, 2013 We present an easily fabricated waveguide prism for the terahertz (THz) frequency range. The prism is made of polypropylene and uses waveguide dispersion to spatially separate frequencies over the range of 0.1 to 0.7 THz. The diffraction properties of the prism were determined using electromagnetic field simulations and the waveguide parameters were ...
Claudia, Goy +4 more
openaire +2 more sources
Ray-optical negative refraction and pseudoscopic imaging with Dove-prism arrays [PDF]
, 2008 A sheet consisting of an array of small, aligned Dove prisms can locally (on the scale of the width of the prisms) invert one component of the ray direction.
+6 more
core +2 more sources
The Saudi Journal of Gastroenterology, 2023 Background: The aim of the observational, prospective study was to validate a novel, nonverbal assessment tool for perceived disease burden—Pictorial Representation of Illness and Self-Measure (PRISM)—in ulcerative colitis (UC) against established ...
Othman Al Harbi +7 more
doaj +1 more source
Simple, adjustable beam splitting element for differential interferometers based on photoelastic birefringence of a prismatic bar [PDF]
, 2005 We examine the prototypical Toepler optical arrangement for the visualization of phase objects and consider the effect of different contrast elements placed at the focus of the source.
Sanderson, S. R.
core +1 more source
IEEE Access, 2018 How do cellists' postural movements influence timbre quality during instrumental performance? If this question seems complex at a first glance partly due to specific motor synergies for each musician, some principles of postural organization are believed
Jocelyn Roze +3 more
doaj +1 more source
Arago (1810): the first experimental result against the ether [PDF]
, 2004 95 years before Special Relativity was born, Arago attempted to detect the absolute motion of the Earth by measuring the deflection of starlight passing through a prism fixed to the Earth.
Airy G B +19 more
core +2 more sources
Photonic Hook with Modulated Bending Angle Formed by Using Triangular Mesoscale Janus Prisms
Photonics, 2022 In this study, we propose a novel design of triangular mesoscale Janus prisms for the generation of the long photonic hook. Numerical simulations based on the finite-difference time-domain method are used to examine the formation mechanism of the ...
Wei-Yu Chen +4 more
doaj +1 more source
IEEE Access, 2016 Bifacial photovoltaic cell and module technology have been well understood for many years and produced in quantity by companies, such as Sanyo/Panasonic, Hitachi, PVGS, BSolar, Yingli, and LG.
Jose E. Castillo-Aguilella +1 more
doaj +1 more source
ACM Transactions on Architecture and Code Optimization, 2021 Multicores increasingly deploy safety-critical parallel applications that demand resiliency against soft-errors to satisfy the safety standards. However, protection against these errors is challenging due to complex communication and data access protocols that aggressively share on-chip hardware resources.
Hamza Omar, Omer Khan
openaire +1 more source