Works matching DE "PRISM (Computer system)"

Results: 53

A Decomposition Theorem for Binary Matroids with no Prism Minor.

Published in:

Graphs & Combinatorics, 2014, v. 30, n. 6, p. 1479, doi. 10.1007/s00373-013-1352-6

By:

Kingan, S.;
Lemos, Manoel

Publication type:

Article

3D-FVM anisotropic model for eddy current problems related to composite materials.

Published in:

Nondestructive Testing & Evaluation, 2018, v. 33, n. 4, p. 438, doi. 10.1080/10589759.2018.1510497

By:

Lakhdari, A.;
Cheriet, A.;
Feliachi, M.

Publication type:

Article

Prism-based single-camera system for stereo display.

Published in:

Optical Engineering, 2016, v. 55, n. 6, p. 1, doi. 10.1117/1.OE.55.6.063106

By:

Yue Zhao;
Xiaoyu Cui;
Zhiguo Wang;
Hongsheng Chen;
Heyu Fan;
Teresa Wu

Publication type:

Article

Application of Model Checking in Software Requirements Analysis.

Published in:

Metallurgical & Mining Industry, 2015, n. 8, p. 372

By:

Yuejun Liu;
Jing Su

Publication type:

Article

BATCP: Bandwidth-Aggregation Transmission Control Protocol.

Published in:

Symmetry (20738994), 2017, v. 9, n. 8, p. 167, doi. 10.3390/sym9080167

By:

Amezcua Valdovinos, Ismael;
Perez Diaz, Jesus Arturo;
Garcia Villalba, Luis Javier;
Tai-hoon Kim

Publication type:

Article

Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models.

Published in:

Scientific Annals of Computer Science, 2013, v. 23, n. 1, p. 119, doi. 10.7561/SACS.2013.1.119

By:

PHILIPPOU, Anna;
TORO, Mauricio;
ANTONAKI, Margarita

Publication type:

Article

Novel refractive LiDAR sensor based on a variable lens pair prism.

Published in:

Advanced Optical Technologies, 2019, v. 8, n. 2, p. 145, doi. 10.1515/aot-2018-0054

By:

Baier, Matthias;
Sparbert, Jan;
Neumann, Cornelius

Publication type:

Article

ZNAČAJ OBRANE VUKOVARA U STVARANJU HRVATSKE DRŽAVE.

Published in:

National Security & the Future, 2011, v. 12, n. 3, p. 11

By:

Sučić, Stjepan

Publication type:

Article

Pragmática de la desinformación. Un estudio del leak de Prism a través de las reacciones de los gobiernos de Estados Unidos, Alemania y Venezuela.

Published in:

Zer: Journal of Communication Studies / Revista de Estudios de Comunicacion / Komunikazio Ikasketen Aldizkaria, 2016, v. 21, n. 40, p. 29, doi. 10.1387/zer.15515

By:

Romero Rodríguez, Luis M.;
López Muñoz, Manuel

Publication type:

Article

Pragmática de la desinformación. Un estudio de! leak de Prism a través de las reacciones de los gobiernos de Estados Unidos, Alemania y Venezuela.

Published in:

Zer: Journal of Communication Studies / Revista de Estudios de Comunicacion / Komunikazio Ikasketen Aldizkaria, 2015, v. 20, n. 39, p. 29, doi. 10.1387/zer.15515

By:

Rodriguez, Luis M. Romero;
López Muñoz, Manuel

Publication type:

Article

Automating the database schema evolution process.

Published in:

VLDB Journal International Journal on Very Large Data Bases, 2013, v. 22, n. 1, p. 73, doi. 10.1007/s00778-012-0302-x

By:

Curino, Carlo;
Moon, Hyun;
Deutsch, Alin;
Zaniolo, Carlo

Publication type:

Article

An Introduction to Prism Signal Processing Applied to Sensor Validation.

Published in:

Measurement Techniques, 2018, v. 60, n. 12, p. 1233, doi. 10.1007/s11018-018-1345-1

By:

Henry, M. P.

Publication type:

Article

35.4: A High Contrast Ratio and Compact-sized Prism for DLP Projection System.

Published in:

SID Symposium Digest of Technical Papers, 2015, v. 46, n. 1, p. 518, doi. 10.1002/sdtp.10450

By:

Huang, Yung‐Chih;
Pan, Jui‐Wen;
Chiang, Che‐Wen;
Lin, Ping‐Chun;
Chang, Kao‐Der

Publication type:

Article

Synthesizing efficient systems in probabilistic environments.

Published in:

Acta Informatica, 2016, v. 53, n. 4, p. 425, doi. 10.1007/s00236-015-0237-y

By:

Essen, Christian;
Jobstmann, Barbara;
Parker, David;
Varshneya, Rahul

Publication type:

Article

A modification of the time-geographic framework to support temporal flexibility in ‘fixed’ activities.

Published in:

International Journal of Geographical Information Science, 2015, v. 29, n. 7, p. 1125, doi. 10.1080/13658816.2015.1009464

By:

Charleux, Laure

Publication type:

Article

The Modeling Library of Eavesdropping Methods in Quantum Cryptography Protocols by Model Checking.

Published in:

International Journal of Theoretical Physics, 2016, v. 55, n. 7, p. 3414, doi. 10.1007/s10773-016-2969-z

By:

Yang, Fan;
Yang, Guowu;
Hao, Yujie

Publication type:

Article

Increasing Precision for Extended Reach 3D Manipulation.

Published in:

International Journal of Virtual Reality, 2013, v. 12, n. 1, p. 66, doi. 10.20870/ijvr.2013.12.1.2859

By:

Auteri, Chris;
Guerra, Mark;
Frees, Scott

Publication type:

Article

Terahertz plasmonic-like waveguide for integrated sensing applications.

Published in:

Electronics Letters (Wiley-Blackwell), 2013, v. 49, n. 13, p. 1, doi. 10.1049/el.2012.4413

By:

Amarloo, H.;
Neshat, M.;
Safavi-Naeini, S.

Publication type:

Article

UMA VISÃO NÃO-LINEAR SOBRE ESTRATÉGIA EMPRESARIAL PELO PRISMA DA COMPLEXIDADE.

Published in:

Revista Pensamento Contemporâneo em Administração, 2013, v. 7, n. 4, p. 117, doi. 10.12712/rpca.v7i4.288

By:

Wittmann, Milton Luiz;
Lübeck, Rafael Mendes;
De Mesquita Nelsis, Vinicius

Publication type:

Article

AN AUTOMATIC FIXTURE DESIGN SYSTEM FOR CREATING PRISMATIC PARTS.

Published in:

South African Journal of Industrial Engineering, 2014, v. 25, n. 3, p. 69, doi. 10.7166/25-3-778

By:

Al-Ahmari, A.;
Khan, A. A.;
Nasr, E. A.;
Kamrani, A.

Publication type:

Article

PRISM: An open source framework for the interactive design of GPU volume rendering shaders.

Published in:

PLoS ONE, 2018, v. 13, n. 3, p. 1, doi. 10.1371/journal.pone.0193636

By:

Drouin, Simon;
Collins, D. Louis

Publication type:

Article

An improved 3D wedge-prism model for the face stability analysis of the shield tunnel in cohesionless soils.

Published in:

Acta Geotechnica, 2015, v. 10, n. 5, p. 683, doi. 10.1007/s11440-014-0304-5

By:

Chen, R.;
Tang, L.;
Yin, X.;
Chen, Y.;
Bian, X.

Publication type:

Article

The Best Graphing Software.

Published in:

Sportscience, 2011, v. 15, p. 1

By:

Hopkins, Will G.

Publication type:

Article

PRISM AND BOUNDLESS INFORMANT: IS NSA SURVEILLANCE A THREAT?

Published in:

American Diplomacy, 2013, p. 1

By:

Handley, John

Publication type:

Article

ASOCIAL MEDIA: COPS, GANGS, AND THE INTERNET.

Published in:

Hofstra Law Review, 2013, v. 42, n. 2, p. 647

By:

O'Connor, James R.

Publication type:

Article

ECplot: an online tool for making standardized plots from large datasets for bioinformatics publications.

Published in:

Bioinformatics, 2014, v. 30, n. 10, p. 1467, doi. 10.1093/bioinformatics/btu038

By:

Fok, Alex Chun-Hong;
Mok, Sunny Siu-Nam;
Lee, Sau Dan;
Yip, Kevin Y.

Publication type:

Article

Governance by Proxy.

Published in:

Brooklyn Law Review, 2016, v. 82, n. 1, p. 105

By:

Elkin-Korerd, Niva;
Haber, Eldar

Publication type:

Article

TORT LAW VS. PRIVACY.

Published in:

Columbia Law Review, 2014, v. 114, n. 4, p. 879

By:

Volokh, Eugene

Publication type:

Article

Crowdsourcing individual interpretations: Between microtasking and macrotasking.

Published in:

Literary & Linguistic Computing, 2014, v. 29, n. 3, p. 379

By:

Walsh, Brandon;
Maiers, Claire;
Nally, Gwen;
Boggs, Jeremy

Publication type:

Article

Erratum.

Published in:: Vox Sanguinis, 2016, v. 111, n. 3, p. 320, doi. 10.1111/vox.12449
Publication type:: Article

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 2, p. 195, doi. 10.1007/s10009-017-0476-z

By:

Kwiatkowska, Marta;
Parker, David;
Wiltsche, Clemens

Publication type:

Article

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 2, p. 179, doi. 10.1007/s10009-017-0456-3

By:

Klein, Joachim;
Baier, Christel;
Chrszon, Philipp;
Daum, Marcus;
Dubslaff, Clemens;
Klüppelholz, Sascha;
Märcker, Steffen;
Müller, David

Publication type:

Article

Constructive model-based analysis for safety assessment.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 673, doi. 10.1007/s10009-012-0238-x

By:

Gomes, Adriano;
Mota, Alexandre;
Sampaio, Augusto;
Ferri, Felipe;
Watanabe, Edson

Publication type:

Article

Visual scanning training, limb activation treatment, and prism adaptation for rehabilitating left neglect: who is the winner?

Published in:

Frontiers in Human Neuroscience, 2013, v. 7, p. 1, doi. 10.3389/fnhum.2013.00360

By:

Priftis, Konstantinos;
Passarini, Laura;
Pilosio, Cristina;
Meneghello, Francesca;
Pitteri, Marco

Publication type:

Article

The feasibility of computer-based prism adaptation to ameliorate neglect in sub-acute stroke patients admitted to a rehabilitation center.

Published in:

Frontiers in Human Neuroscience, 2013, v. 7, p. 1, doi. 10.3389/fnhum.2013.00353

By:

Smit, Miranda;
der Stigchel, StefanVan;
Visser-Meily, Johanna M. A.;
Kouwenhoven, Mirjam;
Eijsackers, Anja L. H.;
Nijboer, Tanja C.W.

Publication type:

Article

Design and Characterisation of a Fast Steering Mirror Compensation System Based on Double Porro Prisms by a Screw-Ray Tracing Method.

Published in:

Sensors (14248220), 2018, v. 18, n. 11, p. 4046, doi. 10.3390/s18114046

By:

Chang, Yu-Hao;
Liu, Chien-Sheng;
Cheng, Chih-Chun

Publication type:

Article

Quartz-Enhanced Photoacoustic Spectroscopy with Right-Angle Prism.

Published in:

Sensors (14248220), 2016, v. 16, n. 2, p. 214, doi. 10.3390/s16020214

By:

Yongning Liu;
Jun Chang;
Jie Lian;
Zhaojun Liu;
Qiang Wang;
Zengguang Qin

Publication type:

Article

Epipolar geometry for prism-based single-lens stereovision.

Published in:

Machine Vision & Applications, 2017, v. 28, n. 3/4, p. 313, doi. 10.1007/s00138-017-0822-x

By:

Cui, Xiaoyu;
Fan, Heyu;
Chen, Hongsheng;
Chen, Shuo;
Zhao, Yue;
Lim, Kahbin

Publication type:

Article

Experimental characterization of the flow field of square prism with a detached splitter plate at high reynolds number.

Published in:

Journal of Mechanical Science & Technology, 2014, v. 28, n. 7, p. 2651, doi. 10.1007/s12206-014-0621-5

By:

Ro, Ki-Deok

Publication type:

Article

Run a big data program, the NSA style.

Published in:

ComputerWorld Hong Kong, 2013, p. 46

By:

Elgan, Mike

Publication type:

Article

Climate Change: A Communication Challenge for the 21st Century.

Published in:

Science Communication, 2014, v. 36, n. 3, p. 267, doi. 10.1177/1075547014535878

By:

Priest, Susanna Hornig

Publication type:

Article

Seeking Information About Climate Change: Effects of Media Use in an Extended PRISM.

Published in:

Science Communication, 2014, v. 36, n. 3, p. 270, doi. 10.1177/1075547013520238

By:

Ho, Shirley S.;
Detenber, Benjamin H.;
Rosenthal, Sonny;
Lee, Edmund W. J.

Publication type:

Article

Snoop-Gate.

Published in:

Government Technology, 2013, v. 26, n. 8, p. 36

By:

Wood, Colin

Publication type:

Article

Random Prism: a noise-tolerant alternative to Random Forests.

Published in:

Expert Systems, 2014, v. 31, n. 5, p. 411, doi. 10.1111/exsy.12032

By:

Stahl, Frederic;
Bramer, Max

Publication type:

Article

Special issue on innovative techniques and applications of artificial intelligence.

Published in:

2014

By:

Neagu, Daniel

Publication type:

Editorial

COMPOSING AND ANALYSING 3-D OBJECTS.

Published in:

Ontario Mathematics Gazette, 2011, v. 50, n. 2, p. 1

By:

Kestell, Mary Lou;
Ta-Zarivnij, Kathy Kubo

Publication type:

Article

Accuracy Improvements in the Orientation of ALOS PRISM Images Using IOP Estimation and UCL Kepler Platform Model.

Published in:

Remote Sensing, 2017, v. 9, n. 7, p. 634, doi. 10.3390/rs9070634

By:

Rodrigues, Tiago L.;
Mitishita, Edson;
Ferreira, Luiz;
Tommaselli, Antonio M. G.

Publication type:

Article

Erratum to: PRISM II: an open-label study to assess effectiveness of dextromethorphan/ quinidine for pseudobulbar affect in patients with dementia, stroke or traumatic brain injury.

Published in:: 2016
Publication type:: Correction Notice

Corporate Privacy Policy Changes during PRISM and the Rise of Surveillance Capitalism.

Published in:

Media & Communication, 2017, v. 5, n. 1, p. 63, doi. 10.17645/mac.v5i1.813

By:

Kumar, Priya

Publication type:

Article

ZAWODNOŚĆ RYNKU KREDYTOWEGO W TEORII RACJONOWANIA KREDYTU.

Published in:

eFinanse, 2011, v. 7, n. 4, p. 80

By:

Ślązak, Emil

Publication type:

Article