Relevant bibliographies by topics / PRISM Model

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'PRISM Model'

Author: Grafiati
Published: 4 June 2021
Last updated: 6 September 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'PRISM Model.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "PRISM Model"

1

Tipans, I., J. Viba, M. Irbe, and S. K. Vutukuru. "Optimization of Energy Extraction Using Definite Geometry Prisms in Airflow." Latvian Journal of Physics and Technical Sciences 58, no. 2 (March 30, 2021): 19–31. http://dx.doi.org/10.2478/lpts-2021-0009.

Full text
Abstract:
Abstract An approximate method for analysis and synthesis of moving rigid bodies (prisms) in the airflow without using numerical methods of space-time programming techniques is described by applying a fluid (air)–rigid solid body interaction concept for engineering applications through a straightforward mathematical model. The interaction of rigid body (prism) and air is encountered in different cases: moving body (prism) in the air; stationary bodies (prism) in the airflow; moving body (prism) in the airflow. The complicated task of rigid body (prism) and air interaction is simplified by using superposition principles, i.e., by taking into account the upstream and downstream rigid body (prism) and air interaction phenomenon, which has been found to be different under varying speeds. Numerical results obtained for various forms of prisms are shown for constant air–speed, where the steady state Reynolds-averaged Navier–Stokes (RANS) equation is solved by using k-ε realizable turbulence model. A detailed explanation to support the proposed approximate method is given by using numerical results obtained in ANSYS computations. All equations are formed based on laws of classical mechanics; the interaction of viscous forces is neglected in forming the mathematical model. Numerical results for different model prisms are compared and the theoretical results discussed in detail. The mathematical model in the present paper is applicable only to bodies that undergo a rectilinear translation motion. In the final part of the present paper, the proposed method is used in the synthesis and optimization task of energy extraction by considering the motion of a variable parameter prism in the airflow.
APA, Harvard, Vancouver, ISO, and other styles
2

Fahmy, E. H., and T. G. M. Ghoneim. "Behaviour of concrete block masonry prisms under axial compression." Canadian Journal of Civil Engineering 22, no. 5 (October 1, 1995): 898–915. http://dx.doi.org/10.1139/l95-107.

Full text
Abstract:
A nonlinear three-dimensional finite element model was developed to study the complex behavior of ungrouted and grouted concrete block masonry prisms under axial compression. The model detects crack initiation and traces crack propagation in the masonry assemblage. Variable strengths for blocks, mortar, and grout were used to study the effect of the mechanical properties of prism constituents, and their combinations, on the prism strength and modulus of elasticity. The effect of the number of courses was also investigated. The results of the finite element analysis were used to develop simplified relationships to predict prism strength and modulus of elasticity. Good agreement was observed between the available experimental data and the predicted prism strengths. Key words: compressive strength, concrete blocks, failure modes, finite element, masonry, modulus of elasticity, prisms.
APA, Harvard, Vancouver, ISO, and other styles
3

Liu, Chien-Sheng, and Chih-Hao Tsai. "Design and characterization of innovative optical prism for four-degree-of-freedom fast steering mirror active laser compensation system." Review of Scientific Instruments 93, no. 4 (April 1, 2022): 045002. http://dx.doi.org/10.1063/5.0080069.

Full text
Abstract:
In this study, an innovative four-degree-of-freedom (4-DOF) compensation prism is designed for fast steering mirror active laser compensation systems. In addition to improving the disadvantages of the commercially available compensation systems, such as a larger number of components and longer optical paths, the proposed system has further enhanced the shortcoming of high sensitivity to the laser by using double Porro prisms as 4-DOF compensation prisms proposed in a previous study. The prism proposed in this study reduces the sensitivity to the laser while maintaining two translations and two rotations in 4-DOF control characteristic for laser, thereby improving the resolution of the system to control the laser. First, Zemax was used to build the overall system and evaluate the system characteristics. Then, the skew-ray tracing method and homogeneous coordinate transformation matrix were used to build the mathematical model of the compensation prism and analyze the sensitivity of the proposed prism to the laser. Finally, the closed-loop algorithm was established and the system was completely built on the optical table for experiments to compare the results between the laser before and after compensation by the proposed prism. In addition, the resolution of the proposed prism is compared with the double Porro prisms.
APA, Harvard, Vancouver, ISO, and other styles
4

Kim. "Estimation of High Resolution Daily Precipitation Using a Modified PRISM Model." Journal of the Korean Society of Civil Engineers 34, no. 4 (2014): 1139. http://dx.doi.org/10.12652/ksce.2014.34.4.1139.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

KONDO, Katsunao. "Prism utility model of trip chaining." Doboku Gakkai Ronbunshu, no. 377 (1987): 71–78. http://dx.doi.org/10.2208/jscej.1987.71.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Al-Fakih, Amin, and Mohammed A. Al-Osta. "Finite Element Analysis of Rubberized Concrete Interlocking Masonry under Vertical Loading." Materials 15, no. 8 (April 13, 2022): 2858. http://dx.doi.org/10.3390/ma15082858.

Full text
Abstract:
Fine aggregate and cement have been partially replaced by 10% and 56% crumb rubber and class F-fly ash, respectively, in order to manufacture rubberized concrete interlocking bricks (RCIBs). The newly developed product has been used for masonry construction without the need for mortar (mortarless), and the experimental testing under compression load was investigated by Al-Fakih et al. Therefore, in line with that, this study carried out finite element (FE) analysis for experimental result validation of masonry walls and prisms made of RCIBs. ANSYS software was utilized to implement the FE analysis, and a plasticity detailed micro-modeling approach was adopted. Parametric studies were carried out on masonry prisms to investigate the effect of the slenderness ratio and the elastic modulus of grout on the prism behavior. The results found that the adopted FE model has the ability to predict the structural response, such as compressive strength, stiffness, and failure mechanism, of the interlocking masonry prisms with about a 90% agreement with the experimental results. Based on the parametric studies, the compressive strength for a 6-course prism is approximately 68% less than a 3-course prism and 60% less than a 5-course prism, which means that the slenderness ratio plays a vital role in the behavior of the RCIB masonry prism under the vertical compression load. Moreover, the results showed that the difference between FE and experimental results of the walls was less than 16%, indicating a good match. The findings also reported that masonry walls and prisms experienced higher ductility measured by the post-failure loading under compression. The finite element model can be used for further investigation of masonry systems built with rubberized concrete interlocking bricks.
APA, Harvard, Vancouver, ISO, and other styles
7

Arakawa, Riku, Hiromu Yakura, Vimal Mollyn, Suzanne Nie, Emma Russell, Dustin P. DeMeo, Haarika A. Reddy, et al. "PrISM-Tracker." Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies 6, no. 4 (December 21, 2022): 1–27. http://dx.doi.org/10.1145/3569504.

Full text
Abstract:
A user often needs training and guidance while performing several daily life procedures, e.g., cooking, setting up a new appliance, or doing a COVID test. Watch-based human activity recognition (HAR) can track users' actions during these procedures. However, out of the box, state-of-the-art HAR struggles from noisy data and less-expressive actions that are often part of daily life tasks. This paper proposes PrISM-Tracker, a procedure-tracking framework that augments existing HAR models with (1) graph-based procedure representation and (2) a user-interaction module to handle model uncertainty. Specifically, PrISM-Tracker extends a Viterbi algorithm to update state probabilities based on time-series HAR outputs by leveraging the graph representation that embeds time information as prior. Moreover, the model identifies moments or classes of uncertainty and asks the user for guidance to improve tracking accuracy. We tested PrISM-Tracker in two procedures: latte-making in an engineering lab study and wound care for skin cancer patients at a clinic. The results showed the effectiveness of the proposed algorithm utilizing transition graphs in tracking steps and the efficacy of using simulated human input to enhance performance. This work is the first step toward human-in-the-loop intelligent systems for guiding users while performing new and complicated procedural tasks.
APA, Harvard, Vancouver, ISO, and other styles
8

Chen, Jwo Hua. "A Study on the Effects of Wake Vortex to the Aero-Elastic Parameters of Downstream Square Prism." Advanced Materials Research 671-674 (March 2013): 893–96. http://dx.doi.org/10.4028/www.scientific.net/amr.671-674.893.

Full text
Abstract:
A series of aero-elastic experiments were conducted to identify the aero-elastic parameters of 2-D square prisms under the interference effects of the tandem arranged upstream prism wake. The wake induced across-wind vibration of springs supported downstream prism was measured close to the lock-in wind speed in smooth flow. To identify the aero-elastic parameters, such as Y1,  and Y2, the trace-to-resonance method was adopted with the decay-to-resonance rules. It is well contributed to build up the predicting model of the aerodynamic loadings with the measured results of the vibration of prism under the wake interference effects with these parameters. With the aero-elastic parameters we collected in the various experiments cases, an empirical predicting model with the neural network predicting technique were constructed in this study. It is found that more clear trend of aero-elastic responses will be arose from this empirical model.
APA, Harvard, Vancouver, ISO, and other styles
9

Niu, Zihao, Zhende Zhu, and Xiangcheng Que. "Constitutive Model of Stress-Dependent Seepage in Columnar Jointed Rock Mass." Symmetry 12, no. 1 (January 13, 2020): 160. http://dx.doi.org/10.3390/sym12010160.

Full text
Abstract:
Columnar jointed rock mass (CJRM) is a highly symmetrical natural fractured structure. As the rock mass of the dam foundation of the Baihetan Hydropower Station, the study of its permeability anisotropy is of great significance to engineering safety. Based on the theory of composite mechanics and Goodman’s joint superposition principle, the constitutive model of joints of CJRM is derived according to the Quadrangular prism, the Pentagonal prism and the Hexagonal prism model; combined with Singh’s research results on intermittent joint stress concentration, considering column deflection angles, the joint constitutive model of CJRM in three-dimensional space is established. For the CJRM in the Baihetan dam site area, the Quadrangular prism, the Pentagonal prism and the Hexagonal prism constitutive models were used to calculate the permeability coefficients of CJRM under different deflection angles. The permeability anisotropy characteristics of the three models were compared and verified by numerical simulation results. The results show that the calculation results of the Pentagonal prism model are in good agreement with the numerical simulation results. The variation of permeability coefficient under different confining pressures is compared, and the relationship between permeability coefficient and confining pressure is obtained, which accords with the negative exponential function and conforms to the general rule of joint seepage.
APA, Harvard, Vancouver, ISO, and other styles
10

Zein, Sarah Zalfiana, Muhammad Yafiz, and Atika Atika. "Analisis Kinerja PT. Bank Sumut Kantor Cabang Pembantu Syariah Karya dengan Menggunakan Metode Performance Prism." EDU SOCIETY: JURNAL PENDIDIKAN, ILMU SOSIAL DAN PENGABDIAN KEPADA MASYARAKAT 2, no. 2 (August 12, 2023): 643–50. http://dx.doi.org/10.56832/edu.v2i2.213.

Full text
Abstract:
Penelitian ini bertujuan untuk mengetahui dan menganalisis kinerja PT. Bank Sumut KCP Syariah Karya dengan menggunakan metode performance prism. Metode Performance Prism merupakan suatu model yang digunakan untuk pengukuran kinerja yang menggambarkan kinerja organisasi sebagai bangun 3 dimensi (prisma) yang memiliki 5 bidang sisi. Model ini tidak hanya didasari oleh strategi tetapi juga memperhatikan kepuasan, kontribusi stakeholder, proses dan kapabilitas perusahaan. Jenis penelitian ini adalah kuantitatif dengan pendekatan deskriptif. Hasil penelitian menunjukkan bahwa kinerja PT. Bank Sumut KCP Syariah Karya sudah baik, hal itu dapat dilihat dari Total Index keseluruhan bernilai 6,2331. Di mana menurut ketetapan Target Pencapaian OMAX skor 6-7 disebutkan kinerja yang dihasilkan baik.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "PRISM Model"

1

Buscaroli, Nicolò. "Il tool PRISM+." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2022.

Find full text
Abstract:
La blockchain è una delle tecnologie più innovative e importanti comparse negli ultimi tempi nel campo dell’informatica. Prism+ è uno strumento che permette di fare analisi probabilistiche ed analizzare il comportamento di modelli di protocolli blockchain. Dopo una breve introduzione, per prima cosa si espone in generale l’argomento della blockchain, enunciando le caratteristiche e gli utilizzi più importanti di questa tecnologia. In seguito viene trattato Prism, strumento che permette di fare analisi su modelli probabilistici, utilizzato per sistemi di diversi campi d’applicazione. Questa sezione si divide in diverse parti: nella descrizione del linguaggio PRISM, che serve per costruire un modello probabilistico analizzabile dal tool; nella spiegazione del linguaggio di specifica delle proprietà necessario per far sì che Prism possa valutare diverse proprietà del modello creato; nella descrizione di un esempio di utilizzo dello strumento Prism, utile per una comprensione diretta del funzionamento del tool. Successivamente si passa alla discussione su Prism+, evoluzione di Prism il cui scopo principale è permettere l’analisi probabilistica di modelli di protocolli blockchain. Questa sezione si divide in due parti: esposizione delle strutture dati aggiunte in Prism+ rispetto a Prism; descrizione delle operazioni possibili tra queste nuove strutture dati. In seguito si riporta un esempio di utilizzo di Prism+. Una breve conclusione pone fine allo scritto.
APA, Harvard, Vancouver, ISO, and other styles
2

Klein, Joachim, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, and David Müller. "Advances in probabilistic model checking with PRISM." Springer, 2018. https://tud.qucosa.de/id/qucosa%3A74265.

Full text
Abstract:
The popular model checker PRISM has been successfully used for the modeling and analysis of complex probabilistic systems. As one way to tackle the challenging state explosion problem, PRISM supports symbolic storage and manipulation using multi-terminal binary decision diagrams for representing the models and in the computations. However, it lacks automated heuristics for variable reordering, even though it is well known that the order of BDD variables plays a crucial role for compact representations and efficient computations. In this article, we present a collection of extensions to PRISM. First, we provide support for automatic variable reordering within the symbolic engines of PRISM and allow users to manually control the variable ordering at a fine-grained level. Second, we provide extensions in the realm of reward-bounded properties, namely symbolic computations of quantiles in Markov decision processes and, for both the explicit and symbolic engines, the approximative computation of quantiles for continuous-time Markov chains as well as support for multi-reward-bounded properties. Finally, we provide an implementation for obtaining minimal weak deterministic Büchi automata for the obligation fragment of linear temporal logic (LTL), with applications for expected accumulated reward computations with a finite horizon given by a co-safe LTL formula.
APA, Harvard, Vancouver, ISO, and other styles
3

Hernandez, Alejandro S. "Design of a predictive recruiter success model (PRiSM)." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1994. http://handle.dtic.mil/100.2/ADA286024.

Full text
Abstract:
Thesis (M.S. in Operations Research) Naval Postgraduate School, September 1994.
Thesis advisor(s): James G. Taylor, Ronald A. Weitzman. "September 1994." Includes bibliographical references. Also available online.
APA, Harvard, Vancouver, ISO, and other styles
4

Klein, Joachim, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, and David Müller. "Advances in Symbolic Probabilistic Model Checking with PRISM." Springer, 2016. https://tud.qucosa.de/id/qucosa%3A74267.

Full text
Abstract:
For modeling and reasoning about complex systems, symbolic methods provide a prominent way to tackle the state explosion problem. It is well known that for symbolic approaches based on binary decision diagrams (BDD), the ordering of BDD variables plays a crucial role for compact representations and efficient computations. We have extended the popular probabilistic model checker PRISM with support for automatic variable reordering in its multi-terminal-BDD-based engines and report on benchmark results. Our extensions additionally allow the user to manually control the variable ordering at a finer-grained level. Furthermore, we present our implementation of the symbolic computation of quantiles and support for multi-reward-bounded properties, automata specifications and accepting end component computations for Streett conditions.
APA, Harvard, Vancouver, ISO, and other styles
5

GOMES, Adriano José Oliveira. "Systematic model-based safety assessment via probabilistic model checking." Universidade Federal de Pernambuco, 2010. https://repositorio.ufpe.br/handle/123456789/2651.

Full text
Abstract:
Made available in DSpace on 2014-06-12T15:59:55Z (GMT). No. of bitstreams: 2 arquivo5803_1.pdf: 2496332 bytes, checksum: b4666e127bf620dbcb7437f9d83c2344 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010
Faculdade de Amparo à Ciência e Tecnologia do Estado de Pernambuco
A análise da segurança (Safety Assessment) é um processo bem conhecido que serve para garantir que as restrições de segurança de um sistema crítico sejam cumpridas. Dentro dele, a análise de segurança quantitativa lida com essas restrições em um contexto numérico (probabilístico). Os métodos de análise de segurança, como a tradicional Fault Tree Analysis (FTA), são utilizados no processo de avaliação da segurança quantitativo, seguindo as diretrizes de certificação (por exemplo, a ARP4761 Guia de Práticas Recomendadas da Aviação). No entanto, este método é geralmente custoso e requer muito tempo e esforço para validar um sistema como um todo, uma vez que para uma aeronave chegam a ser construídas, em média, 10.000 árvores de falha e também porque dependem fortemente das habilidades humanas para lidar com suas limitações temporais que restringem o âmbito e o nível de detalhe que a análise e os resultados podem alcançar. Por outro lado, as autoridades certificadoras também permitem a utilização da análise de Markov, que, embora seus modelos sejam mais poderosos que as árvores de falha, a indústria raramente adota esta análise porque seus modelos são mais complexos e difíceis de lidar. Diante disto, FTA tem sido amplamente utilizada neste processo, principalmente porque é conceitualmente mais simples e fácil de entender. À medida que a complexidade e o time-to-market dos sistemas aumentam, o interesse em abordar as questões de segurança durante as fases iniciais do projeto, ao invés de nas fases intermediárias/finais, tornou comum a adoção de projetos, ferramentas e técnicas baseados em modelos. Simulink é o exemplo padrão atualmente utilizado na indústria aeronáutica. Entretanto, mesmo neste cenário, as soluções atuais seguem o que os engenheiros já utilizavam anteriormente. Por outro lado, métodos formais que são linguagens, ferramentas e métodos baseados em lógica e matemática discreta e não seguem as abordagens da engenharia tradicional, podem proporcionar soluções inovadoras de baixo custo para engenheiros. Esta dissertação define uma estratégia para a avaliação quantitativa de segurança baseada na análise de Markov. Porém, em vez de lidar com modelos de Markov diretamente, usamos a linguagem formal Prism (uma especificação em Prism é semanticamente interpretada como um modelo de Markov). Além disto, esta especificação em Prism é extraída de forma sistemática a partir de um modelo de alto nível (diagramas Simulink anotados com lógicas de falha do sistema), através da aplicação de regras de tradução. A verificação sob o aspecto quantitativo dos requisitos de segurança do sistema é realizada utilizando o verificador de modelos de Prism, no qual os requisitos de segurança tornam-se fórmulas probabilísticas em lógica temporal. O objetivo imediato do nosso trabalho é evitar o esforço de se criar várias árvores de falhas até ser constatado que um requisito de segurança foi violado. Prism não constrói árvores de falha para chegar neste resultado. Ele simplesmente verifica de uma só vez se um requisito de segurança é satisfeito ou não no modelo inteiro. Finalmente, nossa estratégia é ilustrada com um sistema simples (um projeto-piloto), mas representativo, projetado pela Embraer
APA, Harvard, Vancouver, ISO, and other styles
6

Oliveira, Leila Freitas de. "Análise de modelos digitais de superfície gerados a partir de imagens do sensor PRISM/ALOS." Universidade Federal de Viçosa, 2011. http://locus.ufv.br/handle/123456789/3764.

Full text
Abstract:
Made available in DSpace on 2015-03-26T13:28:05Z (GMT). No. of bitstreams: 1 texto completo.pdf: 2957688 bytes, checksum: ef8183fb03ec7b7417a321bf7d2a225e (MD5) Previous issue date: 2011-10-31
The purpose of this study is the quality assessment of Digital Surface Models (DSMs) generated from stereo pairs of PRISM/ALOS images, considering aspects regarding different approaches of geometric correction, image matching strategies, grid distance and positional accuracy. The standard of accuracy expected for the products evaluated considers the Technical Standards of the National Cartography, defined by the Cartographic Accuracy Standard of the brazilian systematic mapping for 1:25,000 scale, class A. In the geometric correction step are considered the approaches of rigorous sensor model and generalized model using Rational Polynomial Coefficients (RPCs). The ground control points used in geometric correction and in global assessment of the positional accuracy of orthoimages and DSMs, were determined by GPS relative static positioning. The local assessments, aiming the analysis of DSMs as to different morphologies, are performed from control points determined by relative kinematic GPS positioning in low-slope surfaces and on inclined surfaces. The global results achieved indicate that the geometric modeling, the number of control points considered, as well as the strategies for image matching and grid distance influence the vertical accuracy of the DSM, in relation to the expected accuracy standard. The experiments performed to orthorectify the nadir images using the DSMs previously selected, show that variations as to these factors, beyond different vertical accuracies, not affect the expected horizontal accuracy of the orthoimage, portraying, therefore, the same horizontal quality standard for the MDSs used in the orthorectification. The statistical tests for trend and precision detection, confirm the relative consistency on all orthoimages and MDSs generated. However, most of these products presents trend, except for some isolated cases. As to the local assessment, the results indicate that different morphologies influence the accuracy of the DSM, in relation to global assessment. In general, the results in low-slope areas present greater accuracy. The local analyses also indicate that the slope, associated with factors such as failure image matching and interpolation procedures, provides degradation of DSM vertical accuracy.
O objetivo deste trabalho é a análise da qualidade de Modelos Digitais de Superfície (MDSs) gerados a partir de pares estereoscópicos de imagens do sensor PRISM/ALOS, considerando-se aspectos quanto a diferentes abordagens de correção geométrica, estratégias de correlação de imagens, espaçamento da grade e acurácia posicional. O padrão de acurácia esperado para os produtos avaliados considera as Normas Técnicas da Cartografia Nacional, através do Padrão de Exatidão Cartográfica (PEC) para a escala 1:25.000, classe A, do mapeamento sistemático brasileiro. Na etapa de correção geométrica são consideradas as abordagens do modelo rigoroso do sensor e do modelo generalizado com uso de Rational Polynomial Coefficients (RPCs). Os pontos de controle usados na correção geométrica, bem como para avaliação global da acurácia posicional de ortoimagens e MDSs, foram determinados por posicionamento GPS relativo estático. As avaliações locais, visando análise do comportamento dos MDSs segundo diferentes morfologias, são realizadas a partir de pontos de controle determinados por posicionamento GPS relativo cinemático, em superfícies de baixa declividade e em encostas de anfiteatros. Os resultados alcançados em nível global sinalizam que a modelagem geométrica utilizada, o número de pontos de controle considerados, assim como estratégias de correlação e espaçamento da grade influenciam a acurácia altimétrica dos MDSs, relativamente ao padrão de acurácia esperado. Os experimentos realizados para ortorretificar as imagens nadir com emprego de MDSs previamente selecionados, demonstram que variações quanto a esses fatores, além de acurácias altimétricas diferentes, não influenciam a qualidade planimétrica esperada para as ortoimagens, retratando, portanto, o mesmo padrão de qualidade planimétrica para os MDSs empregados na ortorretificação. Os testes estatísticos quanto à tendência e precisão confirmam a consistência relativa das ortoimagens e MDSs gerados, porém, a maioria desses produtos apresenta tendência, com exceção de alguns casos isolados. Quanto à avaliação local, os resultados indicam que diferentes morfologias influenciam a acurácia dos MDSs relativamente à análise global. De forma geral, áreas com menor declividade apresentam resultados com maior acurácia. As análises locais indicam ainda que a variável declividade, associada a fatores como a falha na correlação e procedimentos de interpolação, proporciona degradação da acurácia altimétrica dos MDSs.
APA, Harvard, Vancouver, ISO, and other styles
7

Shpotyuk, Oleh, Valentina Balitska, and Mykhaylo Shpotyuk. "On the phenomenological identity of radiation-induced effects in glassy chalcogenides under a prism of unified configuration-enthalpy model." Thesis, Seventh International Conference on radiation in various fields of research. Herceg Novi, Montenegro. June 10-14, 2019. P.207, 2019. http://hdl.handle.net/123456789/5789.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Weiss, Martin. "Evoluční model s učením (LEM) pro optimalizační úlohy." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2011. http://www.nusl.cz/ntk/nusl-236983.

Full text
Abstract:
Numerical optimization of multimodal or otherwise nontrivial functions has stayed around the peak of the interest of many researchers for a long time. One of the promising methods that appeared is the hybrid approach of the Learnable Evolution Model that combines the well-established ways of artificial intelligence and machine learning with recently popular and efective methods of evolutionary programming. In this work, the method itself was reviewed with respect to what has been already implemented and tested and several possible new implementations of the method were proposed and some of them consequently implemented. The resulting program was then tested against a set of chosen nontrivial real-valued functions and its results were compared to those achieved with EDA algorithms.
APA, Harvard, Vancouver, ISO, and other styles
9

Bornegrim, Lucas, and Gustav Holmquist. "Robotic process automation - An evaluative model for comparing RPA-tools." Thesis, Uppsala universitet, Institutionen för informatik och media, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-413636.

Full text
Abstract:
This research studies the three market-leading RPA-tools, Automation Anywhere, Blue Prism and UiPath, in order to fill the lack of literature regarding methods for evaluating and comparing RPA-tools. Design science research was performed by designing and creating artefacts in the form of process implementations and an evaluative model. A typical process representing a common area of use was implemented using each of the three RPA-tools, in order to create an evaluative model. Official documentation, along with the three implementations, were studied. Evaluative questions specific to RPA-tool evaluation were created based on a quality model for product quality found in the ISO/IEC 25010 standard. Characteristics dependant on organisational context were not included in the evaluation, in order to create an evaluative model which is not dependant on any specific business environment. The results of the research provide knowledge of (1) how RPA-tools can be implemented and (2) the differences that exist between the three market-leading RPA tools. The research also contributes in the form of a method for investigating and evaluating the RPA-tools. When creating the evaluative model, some of the criteria found in the ISO/IEC 25010 quality model were concluded to be of low relevance and, therefore, not included in the model. By analysing and evaluating the created evaluative model, using a theoretical concept of digital resources and their evaluation, the validity of the evaluative model was reinforced. From an evaluative perspective, this research emphasises the need to appropriate and change existing evaluative methods in order to successfully evaluate the most relevant characteristics of RPA-tools.
Denna forskning studerar de tre marknadsledande RPA-verktygen, Automation Anywhere, Blue Prism och UiPath, för att fylla bristen på litteratur om metoder för utvärdering och jämförelse av RPA-verktyg. Design science research genomfördes genom att utforma och skapa artefakter i form av processimplementeringar och en utvärderingsmodell. En typisk process som representerar ett vanligt användningsområde implementerades med användning av vart och ett av de tre RPA-verktygen för att skapa en utvärderingsmodell. Officiell dokumentation, tillsammans med de tre implementeringarna, studerades. Utvärder-ingsfrågor specifika för RPA-verktygsutvärdering skapades baserat på en kvalitetsmodell för produktkvalitet som finns i ISO/IEC 25010-standarden. Egenskaper som är beroende av organisatoriskt sammanhang ingick inte i utvärderingen för att skapa en utvärderingsmodell som inte är beroende av någon specifik affärsmiljö. Resultaten av forskningen ger kunskap om (1) hur RPA-verktyg kan implementeras och (2) skillnaderna som finns mellan de tre marknadsledande RPA-verktygen. Forskningen bidrar också i form av en metod för att undersöka och utvärdera RPA-verktygen. Vid skapandet av utvärderingsmodellen drogs slutsatsen att några av kriterierna i kvalitetsmodellen i ISO/IEC 25010 var av låg relevans och de är därför inte inkluderade i den resulterande modellen. Genom att analysera och utvärdera den skapade utvärderingsmodellen, med hjälp av ett teoretiskt koncept av digitala resurser och deras utvärdering, förstärktes utvärderingsmodellens validitet. Ur ett utvärderingsperspektiv betonar denna forskning behovet av att anpassa och ändra befintliga utvärderingsmetoder för att framgångsrikt utvärdera de mest relevanta egenskaperna hos RPA-verktyg.
APA, Harvard, Vancouver, ISO, and other styles
10

Magnusson, Charlie, Apelqvist Emelie Carlsson, and Theodor Göthberg. "The use of branding Strategies within Swedish Craft Brewing." Thesis, Internationella Handelshögskolan, Jönköping University, IHH, Företagsekonomi, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-48886.

Full text
Abstract:
Branding strategies is an important theme in business research. The purpose of the study was to explore how the growing industry of craft brewing are using branding strategies in order to strengthen their brand. The study was based on the theory of Kapferer’s brand identity prism and Keller’s Brand Equity model. The method used to gather data was interviews with several breweries spread across Sweden that were then analyzed using thematic data analysis. The findings show that craft brewer are using branding strategies to a large extent, however, not all the elements of the models are included in their strategy. The findings suggest that the reason for this is that the craft brewing industry is unique due to co-opetition and the nation’s strict regulations on marketing of alcohol. Organizations can use these findings to strengthen their brand as well as get a general understanding of how the industry is using branding strategies. This can be beneficial for newly established craft breweries or breweries that desire a stronger brand.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "PRISM Model"

1

Albert, Kuo, ed. Development of an expert system based on a tidal prism water quality model for small coastal basins in Virginia. Gloucester Point, VA: School of Marine Science/Virginia Institute of Marine Science, The College of William and Mary, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Albert, Kuo, and Virginia Institute of Marine Science., eds. Application of a tidal prism water quality model to Virginia small coastal basins: Poquoson River, Piankatank River, Cherrystone Inlet, and Hungars Creek. Gloucester Point, VA: Virginia Institute of Marine Science, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Anderson, Chris. Free: Radikalt pris - ny ekonomisk modell. Stockholm: Modernista, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bonn, Städtisches Kunstmuseum, ed. Karl Lagerfeld: Parti Pris. Bonn: Kunstmuseum Bonn, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Hjorth-Andersen, Chr. Empiriske studier i pris og kvalitet. [Copenhagen]: Jurist- og økonomforbundets forlag, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Achour, Rafaâ Ben. Evolution des modes de prise de décision dans les organisations et conférences internationales. [Tunis]: Centre national universitaire de documentation scientifique et technique, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

McGarvey, David C. Mixed-strategy solutions to integer Prim-Read defense problems. Santa Monica, CA: Rand, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

McGarvey, David C. Mixed-strategy solutions to integer Prim-Read defense problems. Santa Monica, CA: Rand, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Rob, Ranyard, Crozier W. Ray 1945-, and Svenson Ola, eds. Decision making: Cognitive models and explanations. London: Routledge, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Mary, Zey, ed. Decision making: Alternatives to rational choice models. Newbury Park, Calif: Sage, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "PRISM Model"

1

Kuijpers, Bart. "Space-Time Prism Model." In Encyclopedia of GIS, 1–7. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-23519-6_1599-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Kuijpers, Bart. "Space-Time Prism Model." In Encyclopedia of GIS, 1926–32. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-17885-1_1599.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kwiatkowska, Marta, Gethin Norman, and David Parker. "PRISM: Probabilistic Symbolic Model Checker." In Computer Performance Evaluation: Modelling Techniques and Tools, 200–204. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-46029-2_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Hoffmann, Ruth, Murray Ireland, Alice Miller, Gethin Norman, and Sandor Veres. "Autonomous Agent Behaviour Modelled in PRISM – A Case Study." In Model Checking Software, 104–10. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-32582-8_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bourahla, Mustapha. "Repairing Errors in PRISM Programs Using Probabilistic Abduction Reasoning." In Model and Data Engineering, 41–52. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-23781-7_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Klein, Joachim, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens  Dubslaff, Sascha Klüppelholz, Steffen Märcker, and David Müller. "Advances in Symbolic Probabilistic Model Checking with PRISM." In Tools and Algorithms for the Construction and Analysis of Systems, 349–66. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-49674-9_20.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kwiatkowska, Marta, Gethin Norman, and David Parker. "Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach." In Tools and Algorithms for the Construction and Analysis of Systems, 52–66. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-46002-0_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Noroozi, Ali A., Khayyam Salehi, Jaber Karimpour, and Ayaz Isazadeh. "Secure Information Flow Analysis Using the PRISM Model Checker." In Information Systems Security, 154–72. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-36945-3_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Romero-Campero, Francisco J., Marian Gheorghe, Luca Bianco, Dario Pescini, Mario J. Pérez-Jiménez, and Rodica Ceterchi. "Towards Probabilistic Model Checking on P Systems Using PRISM." In Membrane Computing, 477–95. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11963516_30.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Feng, Xueshang. "3D SIP-CESE MHD Model on Triangular Prism Grids." In Magnetohydrodynamic Modeling of the Solar Corona and Heliosphere, 431–69. Singapore: Springer Singapore, 2019. http://dx.doi.org/10.1007/978-981-13-9081-4_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "PRISM Model"

1

Lehmann, Alain, Bastian Leibe, and Luc van Gool. "PRISM: PRincipled Implicit Shape Model." In British Machine Vision Conference 2009. British Machine Vision Association, 2009. http://dx.doi.org/10.5244/c.23.64.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Stough, T., S. Calster, van, W. Lambrechts, and J. S. Klaver. "PRISM: Furthering Business Model Innovation Visualizations through Refracting Light." In New Business Models 2023. Maastricht University Press, 2023. http://dx.doi.org/10.26481/mup.2302.28.

Full text
Abstract:
The visualizations of business models can be useful tools for organizations to reflect on how they create and capture value, but as business model visualizations become more comprehensive, they also become more complex. Given the goal of reducing complexity for organizational sense making, this evolution has furthered a gap between theory and practice. We have distilled our experiences using business model visualizations in organizational contexts to identify useful revisions to business model visualizations to aid in sense-making. In this article, we employ the metaphor of a prism and the process of refraction to further refine the visualization of business models, with the goal of aiding organizations in their sense making. We introduce the PRISM framework for organizational sense making of the elements, dimensions, and lenses of organizations through which they operate and make sense of their environment, and we offer real-world examples of how the PRISM framework aided in organizational sense making. Our research contributes to helping close the gap between theoretical business model visualizations and the usefulness of these visualizations to reduce complexity in real-world organizational contexts. In addition, given our alignment with purpose-driven approaches to strategy development and implementation, we also contribute to theoretical discussions of the business-society interface and conceptualizations of value.
APA, Harvard, Vancouver, ISO, and other styles
3

Ahmed, Asad, Adnan Rashid, and Sohail Iqbal. "Analysis of Weather Forecasting Model in PRISM." In 2014 12th International Conference on Frontiers of Information Technology (FIT). IEEE, 2014. http://dx.doi.org/10.1109/fit.2014.73.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Sutalungka, Thirawat, Patimakorn Chariyathitipong, and Wiwat Vatanawood. "Transforming Probabilistic Timed Automata to PRISM Model." In 2022 26th International Computer Science and Engineering Conference (ICSEC). IEEE, 2022. http://dx.doi.org/10.1109/icsec56337.2022.10049340.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Kwiatkowska, M., G. Norman, and D. Parker. "PRISM 2.0: a tool for probabilistic model checking." In First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. IEEE, 2004. http://dx.doi.org/10.1109/qest.2004.1348048.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Ji, Mingyu, Shaobin Huang, Hongtao Huang, and Tao Zhang. "The New Development of PRISM for Probabilistic Model Checking." In 2009 Fourth International Conference on Internet Computing for Science and Engineering (ICICSE). IEEE, 2009. http://dx.doi.org/10.1109/icicse.2009.61.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Huang, Xinze, Zhenyuan Ding, Zijian Bi, Yili Wang, Kai Zheng, and Xin Huang. "Model Checking of Systems with Unreliable Machines Using PRISM." In 2018 9th International Conference on Information Technology in Medicine and Education (ITME). IEEE, 2018. http://dx.doi.org/10.1109/itme.2018.00195.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Sullivan, Steven P., and William R. Reynolds. "Validation Of The Physically Reasonable Infrared Signature Model (PRISM)." In 1988 Los Angeles Symposium--O-E/LASE '88, edited by H. M. C. Liaw. SPIE, 1988. http://dx.doi.org/10.1117/12.944276.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Huang, Chung-Po, Henry C. Kapteyn, John W. McIntosh, and Margaret M. Murnane. "Generation of transform-limited 32 femtosecond pulses from a self mode-locked Ti:sapphire laser." In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1991. http://dx.doi.org/10.1364/oam.1991.pd3.

Full text
Abstract:
By optimizing the intracavity dispersion compensation in a self-modelocked Ti:sapphire laser, we have generated near transform-limited pulses of 32 femtosecond duration. Our system consists of a Spectra-Physics model 3900 Ti:sapphire laser, modified by extending the cavity length and adding intracavity prisms to compensate for dispersion. Even when the prisms are adjusted for optimum compensation, a residual third-order dispersion term (a quadratic chirρ) (originating primarily from the prisms) cannot be exactly compensated. However, by proper choice of prism material, the third-order dispersion can be minimized to improve the performance of the laser. Our choice of LaFN28 prisms, spaced 53 cm apart, results in a reduction by a factor of ~2 in cubic term over the SF- glass prisms typically used. The laser produced pulses of 32 fs duration with a bandwidth of 22 nm @ 810 nm. This yields a time-bandwidth product of .32, within 5% of that for an ideal sech2 pulse. An extracavity prism pair was used to compensate for dispersion of the pulse through the output coupler and autocorrelator optics. Output power from the laser was 320 mW using 6 Watts pump power.
APA, Harvard, Vancouver, ISO, and other styles
10

Tiansi Dong. "Cognitive prism: A bridge between meta cognitive model and higher cognitive models." In 2008 7th IEEE International Conference on Cognitive Informatics (ICCI). IEEE, 2008. http://dx.doi.org/10.1109/coginf.2008.4639158.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "PRISM Model"

1

Pekari, Gregory, Kurt M. Chivers, Brian G. Erickson, Robert C. Belcher, and Vitalii Kartashov. Pacific Fleet Regional Inventory Stocking Model (PRISM). Fort Belvoir, VA: Defense Technical Information Center, June 2003. http://dx.doi.org/10.21236/ada417642.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Daniell, Robert E. Parameterized Real-Time Ionospheric Specification Model PRISM Version 1. 0. Fort Belvoir, VA: Defense Technical Information Center, December 1991. http://dx.doi.org/10.21236/ada251589.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Oras, J. J., and K. E. Kasza. PRISM Thermal-Hydraulic (Forced and Natural Convection) Complete In-Vessel-Model Performance Tests: Phase I and Phase II. Office of Scientific and Technical Information (OSTI), February 1988. http://dx.doi.org/10.2172/714167.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

PALIY, T., and A. BAGIYAN. CHARACTERISTIC OF A TEACHER-PHILOLOGIST’S PROFESSIONAL PERSONALITY THROUGH THE PRISM OF AXIOLOGY. Science and Innovation Center Publishing House, 2021. http://dx.doi.org/10.12731/2658-4034-2021-12-4-2-48-58.

Full text
Abstract:
This article raises the urgent problem of modern higher linguistic education connected with the pedagogical activities of the teaching staff of language departments. The aim of the research is to design and test the axiological model of the professional personality of a philologist teacher. The study is based on sociological and culturological approaches, traditions of linguistic education in Russia, which are significant for the formation of the personality of a future teacher, translator, interpreter, etc., understanding of the peculiarities of the pedagogical activity of linguists. Discussion, psychological and mathematical-statistical methods were used in the course of the following research. The results of the study have demonstrated some certain unique features of the Russian axiological space. The priorities of students in the process of assessing teachers of philologists and their professional activities are also established. The results obtained can serve as a basis for the design and testing of original trainings, refresher courses, taking into account the received request from the objects of the educational process.
APA, Harvard, Vancouver, ISO, and other styles
5

Petracca, Aleisa, and Les Hayhurst. Portable, Reusable, Integrated Software Modules (PRISM) Documentation Library Model Document Release 1.0. Central Archive for Reusable Defense Software (CARDS). Fort Belvoir, VA: Defense Technical Information Center, December 1993. http://dx.doi.org/10.21236/ada284567.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Daniell, Robert E., and Jr. Improvements to the PRISM and PIM Ionospheric Models. Fort Belvoir, VA: Defense Technical Information Center, August 1999. http://dx.doi.org/10.21236/ada388875.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

McAlpin, Jennifer N., and Cassandra G. Ross. Houston Ship Channel Expansion Channel Improvement Project (ECIP) Numerical Modeling Report : Increased Channel Width Analysis. Engineer Research and Development Center (U.S.), February 2021. http://dx.doi.org/10.21079/11681/39739.

Full text
Abstract:
The Houston Ship Channel is one of the busiest deep -draft navigation channels in the United States and must be able to accommodate larger vessel dimensions over time. The U.S. Army Engineer District, Galveston (SWG) requested the U.S. Army Engineer Research and Development Center, Coastal and Hydraulics Laboratory perform hydrodynamic and sediment modeling of proposed modifications along the Houston Ship Channel. The modeling results are necessary to provide data for salinity and sediment transport analysis a s well as ship simulation studies. SWG provided a project alternative that includes channel widening, deepening, and bend easing. After initial analysis, two additional channel widths in the bay portion of the Houston Ship Channel were requested for testing. The results of these additional channel widths are presented in this report. The model shows that the salinity does not vary significantly due to the channel modifications being considered for this project. Changes in salinity are 2 parts per thousand or less. The tidal prism increases by less than 2% when the project is included, and the tidal amplitudes increase by no more than 0.01 meter. The residual velocity vectors do vary in and around areas where project modifications are made.
APA, Harvard, Vancouver, ISO, and other styles
8

McAlpin, Jennifer, and Cassandra Ross. Houston Ship Channel Expansion Channel Improvement Project (ECIP) numerical modeling report : BABUS cell and Bird Island analysis. Engineer Research and Development Center (U.S.), August 2021. http://dx.doi.org/10.21079/11681/41581.

Full text
Abstract:
The Houston Ship Channel (HSC) is one of the busiest deep-draft navigation channels in the United States and must be able to accommodate increasing vessel sizes. The US Army Engineer District, Galveston (SWG), requested the Engineer Research and Development Center, Coastal and Hydraulics Laboratory, perform hydrodynamic and sediment modeling of proposed modifications in Galveston and Trinity Bays and along the HSC. The modeling results are necessary to provide data for hydrodynamic, salinity, and sediment transport analysis. SWG provided three project alternatives that include closing Rollover Pass, Bay Aquatic Beneficial Use System cells, Bird Islands, and HSC modifications. These alternatives and a Base (existing condition) will be simulated for present (2029) and future (2079) conditions. The results of these alternatives/conditions as compared to the Base are presented in this report. The model shows that the mean salinity varies by 2–3 ppt due to the HSC channel modifications and by approximately 5 ppt in the area of East Bay due to the closure of Rollover Pass. The tidal prism increases by 2.5% to 5% in the alternatives. The tidal amplitudes change by less than 0.01 m. The residual velocity vectors vary in and around areas where project modifications are made.
APA, Harvard, Vancouver, ISO, and other styles
9

Al-Chaar, Ghassan L., and Armin Mehrabi. Constitutive Models for Nonlinear Finite Element Analysis of Masonry Prisms and Infill Walls. Fort Belvoir, VA: Defense Technical Information Center, March 2008. http://dx.doi.org/10.21236/ada496667.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Cea Esteruelas, María Nereida. Modelo de negocio de la empresa periodística en Internet: El caso de Prisa. Revista Latina de Comunicación Social, 2009. http://dx.doi.org/10.4185/rlcs-64-2009-872-938-950.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'PRISM Model' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography