| Sample search results for: abbott prism run |
| 1 | A universal alternative Climate Summarizer | ||
|
Summary: to the attribute table of the ecological site layer #12;Running the Model Next, the model analyzes the PRISM... ;Running the Model Next, the model analyzes the PRISM raster layers one at a time. A total of 37 layers... are analyzed for monthly or annual temp / precip #12;Running the ... |
|||
|
Source: USDA, Jornada Experimental Range |
|||
|
Collection: Environmental Sciences and Ecology |
|||
| 2 | Prism2Promela Christopher Power, Alice Miller | ||
|
Summary: 1 Prism2Promela Christopher Power, Alice Miller Department of Computing Science University... of Glasgow Email: {power, alice}@dcs.gla.ac.uk Abstract-- The PRISM model checker [1] facilitates the formal... modelling and analysis of systems that exhibit random or probabilistic behaviour. PRISM lacks the provision |
|||
|
Source: Miller, Alice - Department of Computing Science, University of Glasgow |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 3 | BIOGRAPHICAL SKETCH Provide the following information for the key personnel and other significant contributors. | ||
|
Summary: . Abbott DH, Barnett D K, B runs CM, S chramm R D, D umesic DA. 2005. A ndrogen ex cess fetal programming o... contributors. Follow this format for each person. DO NOT EXCEED FOUR PAGES. NAME David H. Abbott POSITION TITLE... (from a total of 154) Most relevant to the current application #12;1. Abbott, D.H., ... |
|||
|
Source: Czajkowski, Cynthia - Department of Physiology, University of Wisconsin at Madison |
|||
|
Collection: Biology and Medicine |
|||
| 4 | PRISM Support Initiative Adaptation of OASIS4 and TOYOA4 | ||
|
Summary: , using or not the PRISM Standard Compile Environment (SCE). Section 4 gives details on how to run the toy... 4 compile running frames Append_dependencies toyoa4 Create_COMP_cpl_models.ksh prism data script... in prism/util #12;6 Input files, data and script for ... |
|||
|
Source: European Centre for Research and Advanced Trainng in Scientific Computaion, Parallel Algorithms Project |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 5 | PRISM 2.0: A Tool for Probabilistic Model Checking Marta Kwiatkowska Gethin Norman David Parker | ||
|
Summary: than 0:01'' PRISM can be run in two modes: from a commandline or using the graphical user interface... . A screenshot of PRISM 2.0 running chronous and synchronous parallel composition and re naming and hiding... PRISM 2.0: A Tool for Probabilistic Model Checking Marta Kwiatkowska ... |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 6 | PRISM 2.0: A Tool for Probabilistic Model Checking Marta Kwiatkowska Gethin Norman David Parker | ||
|
Summary: , the probability that an inadequate number of sensors are operational is less than 0.01" PRISM can be run in two... general process algebra expressions including asyn- #12;Figure 1. A screenshot of PRISM 2.0 running... PRISM 2.0: A Tool for Probabilistic Model Checking Marta Kwiatkowska ... |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 7 | Project for Integrated Earth System Modelling An Infrastructure Project for Climate Research in Europe | ||
|
Summary: (see section 4.1.2). With such information, the PRISM applications and components are able to run... be needed before the call to prism init comp in order to run the components according to the rank lists... PRISM Project for Integrated Earth System Modelling An Infrastructure Project for ... |
|||
|
Source: European Centre for Research and Advanced Trainng in Scientific Computaion, Parallel Algorithms Project |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 8 | OASIS4_1 User Guide S. Valcke, CERFACS | ||
|
Summary: . Rationale: The application rank lists may be needed before the call to prism init comp in order to run... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 5.1.1 prism init . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13... 5.1.2 prism init comp ... |
|||
|
Source: European Centre for Research and Advanced Trainng in Scientific Computaion, Parallel Algorithms Project |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 9 | A Software Infrastructure Project for Climate Research in Europe OASIS4 User Guide | ||
|
Summary: .3 explains how to run the resulting toy coupled model TOYOA4. #12;6 CHAPTER 2. OASIS4 SOURCES atmoa4 prism... to run without any other interac- tions with the Driver. Analysing the XML information, the PRISM Driver... be needed before the call to prism init comp in order to ... |
|||
|
Source: European Centre for Research and Advanced Trainng in Scientific Computaion, Parallel Algorithms Project |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 10 | PRISM: A Tool for Automatic Veri cation of Probabilistic Systems ? | ||
|
Summary: . Screenshots of PRISM running. Left: graphical visualisation of quantitative model checking results. Right... PRISM: A Tool for Automatic Veri#12;cation of Probabilistic Systems ? Andrew Hinton, Marta... stochastic behaviour. PRISM is a probabilistic model checking tool which has already been successfully |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 11 | PRISM: A Tool for Automatic Verification of Probabilistic Systems | ||
|
Summary: PRISM: A Tool for Automatic Verification of Probabilistic Systems Andrew Hinton, Marta Kwiatkowska... behaviour. PRISM is a probabilistic model checking tool which has already been successfully deployed... occurs". This paper presents an overview of all the main features of PRISM. More information can be found |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 12 | FLUME-PRISM Workshop Met Office, Exeter, March 15-16, 2004 | ||
|
Summary: writing of coupling restart file at end of run call prism_put (var_id, time, var_array, ierr) call prism... at end of run call prism_put (var_id, date, date_bounds, var_array, info, ierr) call prism_get (var... FLUME-PRISM Workshop Met Office, ... |
|||
|
Source: European Centre for Research and Advanced Trainng in Scientific Computaion, Parallel Algorithms Project |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 13 | OCEAN DRILLING PROGRAM LEG 170 SCIENTIFIC PROSPECTUS | ||
|
Summary: deformation and dewatering are distributed throughout an accretionary prism, it is essential to establish... - and fluid-flow patterns through the accretionary prism and will integrate structural analysis and sediment... erosion; (2) the timing, rate, and modes of the accretionary prism development; (3) the importance |
|||
|
Source: Texas A&M University, Ocean Drilling Program |
|||
|
Collection: Geosciences ; Fossil Fuels |
|||
| 14 | Exploring Potential Human Activities in Physical and Virtual Spaces: A Spatio-temporal GIS Approach | ||
|
Summary: an attempt to adjust the space-time prism concept of Hagerstrand's time geography to identify potential... to accommodate the adjusted space-time prism concept and support the effective representation, visualization... , and analysis of potential human activities and interactions in physical and virtual spaces using the prism |
|||
|
Source: Yu, Hongbo - Department of Geography, Oklahoma State University |
|||
|
Collection: Geosciences |
|||
| 15 | Flatland optics: fundamentals Adolf W. Lohmann,* Avi Pe'er, Dayong Wang, | ||
|
Summary: written by Edwin A. Abbott (18381926). The second edition appeared in 1884, indicating that the first... -dimensional universe. Abbott's story has the format of an autobiography writ- ten by a Flatland man. He begins... are illus- trated in Fig. 1. With such arguments and similar ones, Abbott succeeded in presenting a credible |
|||
|
Source: Friesem, Asher A. - Department of Physics of Complex Systems, Weizmann Institute of Science |
|||
|
Collection: Materials Science ; Physics |
|||
| 16 | The PRISM couplers: OASIS3 and A. Caubel, D. Declat, R. Redler, H. Ritzdorf, | ||
|
Summary: of coupling restart file at end of run call prism_put (var_id, date, date_bounds, var_array, info, ierr) call... The PRISM couplers: OASIS3 and OASIS4 A. Caubel, D. Declat, R. Redler, H. Ritzdorf, T. Schoenemeyer... , S. Valcke and R. Vogelsang #12;PRISM Final Meeting KNMI, DeBilt, October 7-8, 2004 Slide 2 ... |
|||
|
Source: European Centre for Research and Advanced Trainng in Scientific Computaion, Parallel Algorithms Project |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 17 | 0018-9162/03/$17.00 2003 IEEE66 Computer C O V E R F E A T U R E | ||
|
Summary: facilities for adding, remov- ing, and reconnecting them, possibly at system run- time. In Prism... three new lines of code. Assessing Prism-MW Prism applications frequently run on resource- constrained... and many (Prism)--software development for highly ... |
|||
|
Source: Medvidovic, Nenad - Center for Systems and Software Engineering & Department of Computer Science, University of Southern California |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 18 | Gridenabled Probabilistic Model Checking with PRISM Yi Zhang, David Parker, Marta Kwiatkowska | ||
|
Summary: into PRISM. Another approach is to develop middleware to connect PRISM running on end users' desktops... Gridenabled Probabilistic Model Checking with PRISM #3; Yi Zhang, David Parker, Marta Kwiatkowska... In this paper, we present our work on extending the probabilistic model checking tool ... |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 19 | Grid-enabled Probabilistic Model Checking with PRISM Yi Zhang, David Parker, Marta Kwiatkowska | ||
|
Summary: into PRISM. Another approach is to develop middleware to connect PRISM running on end users' desktops... Grid-enabled Probabilistic Model Checking with PRISM Yi Zhang, David Parker, Marta Kwiatkowska... In this paper, we present our work on extending the probabilistic model checking tool ... |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 20 | PRISM Spatial Climate Layers An Overview of the USDA-NRCS Spatial Climate Mapping | ||
|
Summary: PRISM Spatial Climate Layers An Overview of the USDA-NRCS Spatial Climate Mapping Project... , Including an Introduction to the PRISM (Parameter- elevation Regressions on Independent Slopes Model) System... to Access them #12;PRISM Spatial Climate Layers 12/3/98 Page 2 of 49 Table of Contents I |
|||
|
Source: Daly, Christopher - Department of Geosciences, Oregon State University |
|||
|
Collection: Geosciences ; Environmental Sciences and Ecology |
|||
| 21 | Project for Integrated Earth System Modelling An Infrastructure Project for Climate Research in Europe | ||
|
Summary: runs using prism put restart proto . . . . 22 5 The OASIS3 configuration file namcouple 23 5... and the running script and README in /prism/util/running/toysvipc (available from CERFACS CVS Server only... /util/compile/frames PRISM Standard Compiling Environment (SCE) - ... |
|||
|
Source: European Centre for Research and Advanced Trainng in Scientific Computaion, Parallel Algorithms Project |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 22 | Self-referenced prism deflection measurement schemes with microradian precision | ||
|
Summary: Self-referenced prism deflection measurement schemes with microradian precision Rebecca Olson... that can be used to measure the deflection angles of prisms with microradian precision. The methods... of a reference prism or any expensive precision components other than the prisms under test. These techniques |
|||
|
Source: Hart, Gus - Department of Physics and Astronomy, Brigham Young University |
|||
|
Collection: Materials Science |
|||
| 23 | Real Analysis II (Spring, 2009) | ||
|
Summary: (Required): (i) Understanding Analysis, by Stephen Abbott (Springer, 2000), (ii) The Elements of Integration... (MAT 301), will be run quite differently from lower-level courses. A typical fortnight (4 classes... at random to do this. Student-Run Class: Towards the end of the semester, each student will choose a topic |
|||
|
Source: Balasuriya, Sanjeeva - Department of Mathematics, Connecticut College |
|||
|
Collection: Mathematics |
|||
| 24 | PUBLICATIONS: PATRICK BRADY Publications | ||
|
Summary: of the analyses, writing major parts of the papers, running the searches, and guiding students or postdocs who... were lead authors on the papers. 66. (*) B. Abbott et al. [LIGO Scientific Collaboration... . Abbott et al. [LIGO Scientific Collaboration], " Search of S3 LIGO data for gravitational wave signals |
|||
|
Source: Brady, Patrick - Department of Physics, University of Wisconsin-Milwaukee |
|||
|
Collection: Physics |
|||
| 25 | LACL Seminar 16 March 2009 | ||
|
Summary: Background Quantitative verification with PRISM Autonomic computing policies Framework Self-* system... with PRISM Autonomic computing policies Framework Self-* system development Policy implementation Challenges... Summary Outline 1 Introduction Motivation Approach 2 Background Quantitative verification with PRISM |
|||
|
Source: Jeavons, Peter - Computing Laboratory, University of Oxford |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 26 | Report Series ``OASIS3 User's Guide'' | ||
|
Summary: mixing sequential and parallel coupled model runs: the use of prism put restart proto... experiment (sec tion 7). The toy coupled model in /prism/util/mod/toyclim has been successfully run... PRISM Project Report 2 8 CERFACS TR/CMGC/03/69 #12; 3 Interfacing a model with the PSMILe ... |
|||
|
Source: European Centre for Research and Advanced Trainng in Scientific Computaion, Parallel Algorithms Project |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 27 | 1 College of Oceanic and Atmospheric Sciences, Oregon State University, Corvallis, 2 PRISM Services/Oregon State University, Corvallis, Oregon | ||
|
Summary: nearby station, yielding a 30-year average. PRISM was run for each monthly data set as well... 1 College of Oceanic and Atmospheric Sciences, Oregon State University, Corvallis, Oregon 2 PRISM... THE PRISM MODEL George H. Taylor1 , Christopher Daly2 , and Wayne P. Gibson1 Annual Meeting of the American |
|||
|
Source: Daly, Christopher - Department of Geosciences, Oregon State University |
|||
|
Collection: Geosciences ; Environmental Sciences and Ecology |
|||
| 28 | Ocean Atmosphere Sea Ice Soil User's Guide | ||
|
Summary: mixing sequential and parallel coupled model runs: the use of prism put restart proto... /prism/src/mod/toyatm, /toyoce, /toyche and a README is given in /prism/util/running/toyclim. 3. Define... the sources in /prism/src/mod/sipcatmos, /sipcocean and the running ... |
|||
|
Source: European Centre for Research and Advanced Trainng in Scientific Computaion, Parallel Algorithms Project |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 29 | PRISM Architecture: Supporting Enhanced Streaming Services in a Content Distribution Network | ||
|
Summary: to the redirector, is passed to a running PRISM client, e.g. rtsp://redirector/prismurn/cnn/*/*/*. This client may... . The current PRISM testbed consists of a network of portals running prototype software on FreeBSD (www... 1 PRISM Architecture: Supporting Enhanced Streaming Services in a ... |
|||
|
Source: van der Merwe, Kobus - Networking Research Department, AT&T Labs-Research |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 30 | An Efficient Hardware Architecture for Spectral Hash Algorithm Ray C.C. Cheung | ||
|
Summary: three prisms S, P, H which are 3-D arrays of dimension 4 × 4 × 8 consisting of 4-bit or 7-bit numbers... . The input data is 512 bits, and is mapped into a prism shown in Fig. 2. This prism is a three... ), these prisms are updated according to the following compression function steps: Inputs: mi, ... |
|||
|
Source: Koc, Çetin Kaya - School of Electrical Engineering and Computer Science, Oregon State University |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 31 | Algorithm Name: Spectral Hash | ||
|
Summary: .1. Data Structures and Organization 6 4.1.1. State Prism 7 4.1.2. Permutation Prism 8 4.1.3. "H" Prism 8 4... .2. Initialization 9 4.2.1. Message Padding 9 4.2.2. Prism Initialization and Initial Swap 9 4.3. Compression... , . . . , n - 1) has a 512-bit length. 6 #12;4.1.1. State Prism. ... |
|||
|
Source: Koc, Çetin Kaya - School of Electrical Engineering and Computer Science, Oregon State University |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 32 | PAGES News Vol.16 No 2 April 2008 SpecialSection:Data-ModelComparison | ||
|
Summary: 24 PAGES News · Vol.16 · No 2 · April 2008 SpecialSection:Data-ModelComparison The PRISM Model... Research, Interpretation and Synoptic Mapping (PRISM) Project has documented the characteristics of mid... -Pliocene climate on a global scale, and several model-data studies based on PRISM data have been funded |
|||
|
Source: Fridlind, Ann - Earth Science Division, NASA Ames Research Center |
|||
|
Collection: Environmental Sciences and Ecology |
|||
| 33 | Ocean Atmosphere Sea Ice Soil User's Guide | ||
|
Summary: mixing sequential and parallel coupled model runs: the use of prism put restart proto... are given in directories /prism/src/mod/toyatm, /toyoce, /toyche and a README is given in /prism/util/running... model use the PRISM standard compiling environ ment (SCE) and standard ... |
|||
|
Source: European Centre for Research and Advanced Trainng in Scientific Computaion, Parallel Algorithms Project |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 34 | PRISM: Probabilistic Model Checking for Performance and Reliability Analysis | ||
|
Summary: lengthy or process-intensive jobs, executing large batches of model checking runs or for combining PRISM... PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska... model checking tool PRISM, focusing in particu- lar on its support for continuous-time Markov chains |
|||
|
Source: Ecole Polytechnique, Centre de mathématiques |
|||
|
Collection: Mathematics |
|||
| 35 | PRISM: Probabilistic Model Checking for Performance and Reliability Analysis | ||
|
Summary: of model checking runs or for combining PRISM with other tools through scripting. The graphical user in... PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska... model checking tool PRISM, focusing in particu- lar on its support for continuous-time Markov chains |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 36 | QUARTERLY JOURNAL OF THE ROYAL METEOROLOGICAL SOCIETY Q. J. R. Meteorol. Soc. 00: 110 (2010) | ||
|
Summary: Abstract: Laboratory experiments to determine the preferred orientation of free-falling hexagonal prisms... preferentially with two prism facets aligned vertically, and not horizontally - the latter scenario... section, it can orient such that a pair of prism facets are horizontal. This finding indicates |
|||
|
Source: Reading, University of - Department of Meteorology, Radar Group |
|||
|
Collection: Geosciences |
|||
| 37 | Prism++ Documentation University of Erlangen | ||
|
Summary: ! "monk-it" Prism++ Documentation University of Erlangen Computer Networks and Communication... ;Contents 1. Introduction 1 2. Prism++ 2 2.1. Correlation engine... and monitors the components. The developed tool Prism++ is based on earlier work on Prism [KVHD06a, KVHD06b |
|||
|
Source: Breu, Ruth - Institut für Informatik, Universität Innsbruck |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 38 | Journal of Mammalian Evolution, Vol. 12, Nos. 3/4, December 2005 ( C 2005) DOI: 10.1007/s10914-005-6970-1 | ||
|
Summary: of prisms that are seen almost in full length and therefore are running almost parallel to the OES (Fig. 4b... when the light guide effect of prisms is used. Under the same low magnification even more details were... ;Zigzag Enamel and Coryphodon Enamel 421 Fig. 2. (a) The light-guide effect of enamel prisms ... |
|||
|
Source: Johns Hopkins University, Center for Functional Anatomy and Evolution |
|||
|
Collection: Biology and Medicine |
|||
| 39 | TKN Telecommunication Networks Group | ||
|
Summary: All PCs were running a Suse 6.4 Linux system with a 2.4.17 kernel. D-Link cards featuring an Intersil... 's (now Conexant) Prism2 chipset were employed as a wireless interface. Packets were directly sniffed... .91+10+192+56=324.91 µs. This value closely fits the measured delay. The Prism2 cards implement only the recording time |
|||
|
Source: Wolisz, Adam - Fakultät für Elektrotechnik und Informationstechnik, Technische Universität Berlin |
|||
|
Collection: Engineering ; Computer Technologies and Information Sciences |
|||
| 40 | An Infrastructure Project for Climate Research in Europe OASIS3 User Guide | ||
|
Summary: runs using prism put restart proto . . . . 21 5 The OASIS3 configuration file namcouple 22 5... and flexibility are OASIS3 key design concepts. OASIS3 has been extensively used in the PRISM demonstration runs... in directories /prism/src/mod/ to yat m, /toyoce, /toyche ; more detail on ... |
|||
|
Source: Schmittner, Andreas - College of Oceanic and Atmospheric Sciences, Oregon State University |
|||
|
Collection: Geosciences |
|||
| 41 | An Infrastructure Project for Climate Research in Europe OASIS3 User Guide | ||
|
Summary: runs using prism put restart proto . . . . 21 5 The OASIS3 configuration file namcouple 22 5... and flexibility are OASIS3 key design concepts. OASIS3 has been extensively used in the PRISM demonstration runs... in directories /prism/src/mod/ to yat m, /toyoce, /toyche ; more detail on ... |
|||
|
Source: European Centre for Research and Advanced Trainng in Scientific Computaion, Parallel Algorithms Project |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 42 | The Australian Community Climate and Earth System Simulator (ACCESS) -Challenges & Opportunities, Melbourne, 28/11-01/12 2006 | ||
|
Summary: MetOffice), PRISM SCE (MPI M&D) job configuration & running · prepIFS/prepOASIS4, SMS (ECMWF), PRISM... , Melbourne, 28/11-01/12 2006 The European PRISM Initiative & the OASIS coupler S. Valcke, CERFACS (France) R... & Opportunities, Melbourne, 28/11-01/12 2006 Slide 2 Outline · Part I - ... |
|||
|
Source: European Centre for Research and Advanced Trainng in Scientific Computaion, Parallel Algorithms Project |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 43 | GS4: Igneous Petrology, Volcanology and Metamorphic Petrology Organizers / Organisateurs: TBA | ||
|
Summary: of the Atlantic oceanic plate produced late Cretaceous Greater Antilles arc and accretionary prisms along... , including glaucophane schists and lawsonite-bearing eclogites, occur in the accretionary prism... peridotites in Rio San Juan Complex, which have been reported by Abbott et al. (2004). Possible sources |
|||
|
Source: |
|||
|
Collection: Geosciences |
|||
| 44 | Prism Parallax Occlusion Mapping with Accurate Silhouette Generation Carsten Dachsbacher / REVES/INRIA Sophia-Antipolis Natalya Tatarchuk / 3D Application Research Group/AMD | ||
|
Summary: Prism Parallax Occlusion Mapping with Accurate Silhouette Generation Carsten Dachsbacher / REVES... in a volume given by prisms extruded from the input mesh triangles in the direction of the normal... . The displaced surface is embedded in the volume of these prisms, bounded by a top and a bottom triangle |
|||
|
Source: Ecole Polytechnique, Centre de mathématiques |
|||
|
Collection: Mathematics |
|||
| 45 | The PRISM software framework and the OASIS coupler Sophie Valcke1 | ||
|
Summary: in the development of the PRISM Compile and Running Environments (SCE & SRE). These tools are built on the concept... The PRISM software framework and the OASIS coupler Sophie Valcke1 , Reinhard Budich2 , Mick Carter3... a heavy technical burden on the research teams active in climate modelling. PRISM ... |
|||
|
Source: European Centre for Research and Advanced Trainng in Scientific Computaion, Parallel Algorithms Project |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 46 | Printing with PRISM Using Remote Print Manager 5.0.70.4 User Guide | ||
|
Summary: not resolve properly in DNS, you will not be able to print PRISM reports. a. Run the following applet... Printing with PRISM Using Remote Print Manager 5... .0.70.4 User Guide April 2010 #12; CONTENTS ABOUT PRINTING WITH ... |
|||
|
Source: Sibille, Etienne - Center for the Neural Basis of Cognition & Department of Psychiatry, University of Pittsburgh |
|||
|
Collection: Biology and Medicine |
|||
| 47 | IOP PUBLISHING JOURNAL OF MICROMECHANICS AND MICROENGINEERING J. Micromech. Microeng. 20 (2010) 015044 (12pp) doi:10.1088/0960-1317/20/1/015044 | ||
|
Summary: prisms have been fabricated using simple means [9], but fabricating arrays of microscale electrowetting... prisms has not yet been demonstrated. Reported herein is a full description of a first... that is achieved with a classical glass prism. An electrowetting microprism attempts to replace the refractive |
|||
|
Source: Heikenfeld, Jason - Department of Electrical and Computer Engineering, University of Cincinnati |
|||
|
Collection: Engineering |
|||
| 48 | Generating compact MTBDD-representations from Probmela specifications | ||
|
Summary: serve as basis for the input language of the sym- bolic MTBDD-based probabilistic model checker PRISM... the model check- ers PRISM and LiQuor, our translation supports comparative studies of different... -representation of the generated PRISM-language specifications. 1 Introduction Model checking plays a crucial role in ... |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 49 | Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 | ||
|
Summary: PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2... release of the PRISM prob- abilistic model checker, adding, in particular, quantitative verification... protocols such as Bluetooth or Zigbee, and randomised security protocols. PRISM, which is open-source, also |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group; Paris-Sud XI, Université de - Institut d'Optique, Laboratoire Charles-Fabry, Groupe d'Optique Atomique |
|||
|
Collection: Computer Technologies and Information Sciences ; Physics |
|||
| 50 | COSMOS: a Statistical Model Checker for the Hybrid Automata Stochastic Logic | ||
|
Summary: smaller number of runs than those required (and statically determined) by PRISM. Development. We plan... ) numerical methods have been developed and popular model checking tools, most notably PRISM [7], take... verification, such as PRISM and MRMC[3], have been then extended with statistical verification ... |
|||
|
Source: Ecoles Normales Supérieures de Cachan, Laboratoire Spécification et Vérification |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 51 | Modeling Motivations and Emotions as a Basis for Intelligent Behavior | ||
|
Summary: , rectangles, and circles. There are two species of living beings: Abbotts 1 ---the 1 Named after Edwin A... . Abbott, whose novel Flatland (Abbott 1884) inspired some of the features of Gridland. #12; Figure 1... : A snapshot of Gridland. Abbotts are white ``dots'' with a black spot in one corner---their eye. ... |
|||
|
Source: Cañamero, Lola - School of Computer Science, University of Hertfordshire |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 52 | Where are Functions in PRISM 11.5.10? File Edit View Folder Tools Inquire Window Help | ||
|
Summary: Where are Functions in PRISM 11.5.10? File Edit View Folder Tools Inquire Window Help New... above) Query by Example (Enter or Run) Delete Respond to Changes View invoices About Oracle... Form Cut Copy Paste Clear Record Delete Record Edit Field Attachments Windows Help PRISM Web |
|||
|
Source: Sibille, Etienne - Center for the Neural Basis of Cognition & Department of Psychiatry, University of Pittsburgh |
|||
|
Collection: Biology and Medicine |
|||
| 53 | Charles D.Cranor, Matthew Green, | ||
|
Summary: to the redirector, to a running Prism media player. This media player may be Prism-specific, or it may be a standard... in a Content Distribution Network Prism's content naming, management, discovery, and redirection mechanisms... . Prism (Portal Infrastructure for Stream- ing Media) is a ... |
|||
|
Source: Amir, Yair - Department of Computer Science, Johns Hopkins University |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 54 | Charles D.Cranor, Matthew Green, | ||
|
Summary: to the redirector, to a running Prism media player. This media player may be Prism-specific, or it may be a standard... in a Content Distribution Network Prism's content naming, management, discovery, and redirection mechanisms... . Prism (Portal Infrastructure for Stream- ing Media) is a ... |
|||
|
Source: Sreenan, Cormac J. - Department of Computer Science, University College Cork |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 55 | U.S. Department of the Interior U.S. Geological Survey | ||
|
Summary: U.S. Department of the Interior U.S. Geological Survey Data Series 419 PRISM3/GISS Topographic... Reconstruction #12;PRISM3/GISS Topographic Reconstruction By Linda E. Sohl, Mark A. Chandler, Robert B. Schmunk... , K.M., and Dowsett, H.J., 2009, PRISM3/ GISS topographic reconstruction: U.S. Geological Survey Data |
|||
|
Source: Fridlind, Ann - Earth Science Division, NASA Ames Research Center |
|||
|
Collection: Environmental Sciences and Ecology |
|||
| 56 | CaVi Simulation and Model Checking for Wireless Sensor Networks , A. Fehnker1 | ||
|
Summary: a unified modelling interface to the state- of-the-art simulator Castalia, and model checking tool PRISM... ICT Australia [4]. PRISM is an established tool for proba- bilistic model checking, developed... help towards this end. 3 Formal Network Models in PRISM CaVi generates PRISM models automatically using |
|||
|
Source: Fehnker, Ansgar - National ICT Australia, University of New South Wales; Jeavons, Peter - Computing Laboratory, University of Oxford |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 57 | Approximate Bayesian computation for the parameters of PRISM programs | ||
|
Summary: Approximate Bayesian computation for the parameters of PRISM programs James Cussens Department... computation (ABC) method is presented which computes ap- proximations to the posterior distribution over PRISM... to drive the learning. This makes ABC highly appropriate for PRISM programs which can have an intractable |
|||
|
Source: Cussens, James - Department of Computer Science, University of York |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 58 | Shipley, T.H., Ogawa, Y., Blum, P., and Bahr, J.M. (Eds.), 1997 Proceedings of the Ocean Drilling Program, Scientific Results, Vol. 156 | ||
|
Summary: Program, Scientific Results, Vol. 156 97 6. MAGNETIC ANISOTROPY OF BARBADOS PRISM SEDIMENTS1 Bernard A... décollement of the Barbados accre- tionary prism show a striking progression across this structure... that strongly supports the hypothesis that it is strongly overpres- sured. In the accretionary prism above |
|||
|
Source: Housen, Bernie - Department of Geology, Western Washington University; Texas A&M University, Ocean Drilling Program |
|||
|
Collection: Geosciences |
|||
| 59 | Generative Modeling by PRISM Taisuke Sato | ||
|
Summary: Generative Modeling by PRISM Taisuke Sato Tokyo Institute of Technology, Ookayama Meguro Tokyo... Japan, http://sato-www.cs.titech.ac.jp/ Abstract. PRISM is a probabilistic extension of Prolog... In this talk, we examine PRISM1 [2, 5], a probabilistic extension of Prolog aiming at generative modeling |
|||
|
Source: Sato, Taisuke - Department of Computer Science, Tokyo Institute of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 60 | PRISM: A Language for Symbolic-Statistical Modeling3 Taisuke SATOy | ||
|
Summary: PRISM: A Language for Symbolic-Statistical Modeling3 Taisuke SATOy and Yoshitaka KAMEYAz Dept... present an overview of symbolic-statistical modeling language PRISM whose programs are not only... modeling formalisms, the hidden Markov model and Bayesian networks, are de- scribed by PRISM programs. 1 |
|||
|
Source: Sato, Taisuke - Department of Computer Science, Tokyo Institute of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 61 | Exp Brain Res (1998) 118:415420 Springer-Verlag 1998 R E S E A R C H N O T E | ||
|
Summary: -Williams et al. 1997). The direction of all points in a visual scene can be shifted by placing yoked prisms... are asked to place an unseen finger in the same position as their seen finger, yoked prisms cause the unseen... of body image resulting from enhanced proprioceptive input. The effect of unyoked prisms in depth |
|||
|
Source: Mon-Williams, Mark - School of Psychology, University of Aberdeen |
|||
|
Collection: Biology and Medicine |
|||
| 62 | Straight-Line Drawings on Restricted Integer Grids in Two and Three Dimensions S. Felsner, G. Liotta and S.K. Wismath | ||
|
Summary: X-coordinates. Based on Lemma 8 and on the observation that Algorithm Prism Draw runs in linear time... vertices can be drawn crossing-free with straight lines in linear volume on a grid called a prism... . This prism consists of 3n integer grid points and is universal { it supports all outerplanar graphs of ... |
|||
|
Source: Seldin, Jonathan P. - Department of Mathematics and Computer Science, University of Lethbridge |
|||
|
Collection: Mathematics |
|||
| 63 | For Use With the Abbott ARCHITECT Software Version 7 | ||
|
Summary: ARCHITECT® software version. If you don't know for sure if your Abbott ARCHITECT® system is running software... version 7.0, please call your local Abbott representative for assistance. Already running Abbott ARCHITECT... 20 Min 12.5 Min 7.5 Min eInsertsTM XML For Use With the ... |
|||
|
Source: Rodriguez, Carlos - Department of Mathematics and Statistics, State University of New York at Albany |
|||
|
Collection: Mathematics ; Physics |
|||
| 64 | Modeling Dynamic 3D Caves Matt Boggus and Roger Crawfis | ||
|
Summary: of treating a prism-field as a pair of surfaces. It is actually a form of run-length encoding of a voxel model... approach. Index Terms3D object representation, Dynamic Environments, Subterranean, Caves, and Prisms. 1... of shapes, such as cubes, pyramids, spheres, cones, and prisms, which act as the ... |
|||
|
Source: Crawfis, Roger - Department of Computer Science and Engineering, Ohio State University |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 65 | TETRAHEDRALIZATION OF SIMPLE AND NONSIMPLE POLYHEDRA Godfried T. Toussaint Clark Verbrugge Caoan Wang * Binhai Zhu | ||
|
Summary: of edges between pairs of corresponding vertices of F and F ' . If F is a triangle then S is called a prism... .We show that an nvertex slab with k holes can always be tetrahedralized. In a prism we say that two... diagonals are coincident if they meet at a vertex. Note that if a prism has two coincident diagonals then we |
|||
|
Source: Verbrugge, Clark - School of Computer Science, McGill University |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 66 | Quantitative Verification Techniques for Biological Processes | ||
|
Summary: pathways can be modelled in the probabilistic model checker PRISM and how this enables the analysis... to taking averages over sets of simulation runs. In this chapter we demonstrate how probabilistic model... checking [2, 20, 32] and the probabilistic model checker PRISM [14, 27] can be employed as a framework |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 67 | INTERNATIONAL JOURNAL OF CLIMATOLOGY Int. J. Climatol. 23: 1359-1381 (2003) | ||
|
Summary: over the 1963-1995 averaging period. PRISM was run under alternative parameterizations that simulated... Model (PRISM) uses spatial data sets, a knowledge base and expert interaction to generate GIS... -compatible grids of climate variables. This study applied PRISM to generate maps of mean monthly and annual |
|||
|
Source: Daly, Christopher - Department of Geosciences, Oregon State University |
|||
|
Collection: Geosciences ; Environmental Sciences and Ecology |
|||
| 68 | Logic-based Probabilistic Modeling Taisuke Sato | ||
|
Summary: background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research... . We first look at the distribution semantics, PRISM's semantics, which defines a probability measure... on a set of possible Her- brand models. We then mention characteristic features of PRISM as a tool |
|||
|
Source: Sato, Taisuke - Department of Computer Science, Tokyo Institute of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 69 | A PROBABILISTIC-SPATIAL APPROACH TO THE QUALITY CONTROL OF CLIMATE OBSERVATIONS Christopher Daly*, Wayne Gibson, Matthew Doggett, Joseph Smith, and George Taylor | ||
|
Summary: system requires running PRISM to produce a high-quality spatial estimate of temperature at each SNOTEL... is obtained by running PRISM using a predictive, or "background," grid that represents the long... process consists of two nested loops (Figure 1). In the daily loop, PRISM is ... |
|||
|
Source: Daly, Christopher - Department of Geosciences, Oregon State University |
|||
|
Collection: Geosciences ; Environmental Sciences and Ecology |
|||
| 70 | Scottish Universities Physics Alliance Peer-Reviewed Publication List | ||
|
Summary: the second, third, and fourth LIGO runs Abbott, B; Abbott, R; Adhikari, R; Agresti, J; Ajith, P; Allen, B... All-sky search for periodic gravitational waves in LIGO S4 data Abbott, B; Abbott, R; Adhikari, R... for gravitational waves from binary inspirals in S3 and S4 LIGO data ... |
|||
|
Source: Greenaway, Alan - Department of Physics, Heriot-Watt University |
|||
|
Collection: Engineering ; Physics |
|||
| 71 | Using Probabilistic Model Checking in Systems Biology Marta Kwiatkowska, Gethin Norman and David Parker | ||
|
Summary: biological pathways can be modelled in the prob abilistic model checker PRISM and how this enables... averages over sets of simulation runs. In this paper we show how probabilistic model checking [2, 20, 30... ] and the probabilistic model checker PRISM [14, 25] can be employed as a framework for the modelling and analysis |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 72 | Using Probabilistic Model Checking in Systems Biology Marta Kwiatkowska, Gethin Norman and David Parker | ||
|
Summary: biological pathways can be modelled in the prob- abilistic model checker PRISM and how this enables... to taking averages over sets of simulation runs. In this paper we show how probabilistic model checking [2... , 20, 30] and the probabilistic model checker PRISM [14, 25] can be employed as a framework |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 73 | FACET AND PRISM BASED MODEL FOR PEDAGOGICAL INDEXATION OF TEXTS FOR LANGUAGE LEARNING | ||
|
Summary: FACET AND PRISM BASED MODEL FOR PEDAGOGICAL INDEXATION OF TEXTS FOR LANGUAGE LEARNING... ". This prompts us to propose a new version of a model based on a couple formed of two entities : prisms... complete form "Ped- agogical Context". FACET AND PRISM BASED MODEL FOR PEDAGOGICAL INDEXATION OF TEXTS |
|||
|
Source: Ecole Polytechnique, Centre de mathématiques |
|||
|
Collection: Mathematics |
|||
| 74 | A New Perspective of Statistical Modeling by PRISM Taisuke SATO | ||
|
Summary: PRISM program. We furthermore need various declarations to run the pro gram. #12; tion PFp over random... A New Perspective of Statistical Modeling by PRISM Taisuke SATO Tokyo Institute of Technology... 2900 Bedford Avenue, Brooklyn, NY 112102889 Abstract PRISM was born in 1997 as a symbolic statistical |
|||
|
Source: Sato, Taisuke - Department of Computer Science, Tokyo Institute of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 75 | A New Perspective of Statistical Modeling by PRISM Taisuke SATO | ||
|
Summary: running the graphical EM algorithm on them. The graphical EM algorithm is a generic EM algorithm for PRISM... A New Perspective of Statistical Modeling by PRISM Taisuke SATO Tokyo Institute of Technology... 2900 Bedford Avenue, Brooklyn, NY 11210-2889 Abstract PRISM was born in 1997 as a symbolic statistical |
|||
|
Source: Sato, Taisuke - Department of Computer Science, Tokyo Institute of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 76 | Curriculum Vitae University Address Home Address | ||
|
Summary: : Leadership 1. USLC Testbeam program cocoordinator (Sept. 2002 -- present) 2. DØ Run II Remote Analysis... Systems coordinator (Nov. 2001 -- Present) 3. DØ Run II detector commissioning coordinator (Jan. 2000... -- Aug. 2001) 4. DØ Run II Online Event Monitoring implementation and coordination (Aug.1998 -- Jan. 2000 |
|||
|
Source: Yu, Jaehoon - Physics Department, University of Texas at Arlington |
|||
|
Collection: Physics |
|||
| 77 | Install Sun Java Plug-In for PRISM You will need administrator rights to your computer to install Java. | ||
|
Summary: content from this publisher and click Run. 5. Verify the PRISM application opens. If you have any... Install Sun Java Plug-In for PRISM You will need administrator rights to your computer to install... icon to start the installation process. 9. Click Run. · The installer unpacks the files needed |
|||
|
Source: Sibille, Etienne - Center for the Neural Basis of Cognition & Department of Psychiatry, University of Pittsburgh |
|||
|
Collection: Biology and Medicine |
|||
| 78 | PRISM: Probabilistic Symbolic Model Checker ? Marta Kwiatkowska, Gethin Norman, and David Parker | ||
|
Summary: PRISM: Probabilistic Symbolic Model Checker ? Marta Kwiatkowska, Gethin Norman, and David Parker... . In this paper we describe PRISM, a tool being developed at the University of Birmingham for the analysis... of probabilistic systems. PRISM supports two probabilistic models: continuous-time Markov chains and Markov |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 79 | PRISM: Probabilistic Symbolic Model Checker ? Marta Kwiatkowska, Gethin Norman, and David Parker | ||
|
Summary: PRISM: Probabilistic Symbolic Model Checker ? Marta Kwiatkowska, Gethin Norman, and David Parker... ,gxn,dxpg@cs.bham.ac.uk Abstract. In this paper we describe PRISM, a tool being developed at the University of Birmingham... for the analysis of probabilistic sys- tems. PRISM supports three probabilistic models: discrete-time ... |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 80 | PRISM: Probabilistic Symbolic Model Checker Marta Kwiatkowska, Gethin Norman, and David Parker | ||
|
Summary: PRISM: Probabilistic Symbolic Model Checker Marta Kwiatkowska, Gethin Norman, and David Parker... . In this paper we describe PRISM, a tool being developed at the University of Birmingham for the analysis... of probabilistic systems. PRISM supports two probabilistic models: continuous-time Markov chains and Markov |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 81 | PRISM: Probabilistic Symbolic Model Checker Marta Kwiatkowska, Gethin Norman, and David Parker | ||
|
Summary: PRISM: Probabilistic Symbolic Model Checker Marta Kwiatkowska, Gethin Norman, and David Parker... ,gxn,dxp}@cs.bham.ac.uk Abstract. In this paper we describe PRISM, a tool being developed at the University of Birmingham... for the analysis of probabilistic sys- tems. PRISM supports three probabilistic models: discrete-time Markov ... |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 82 | Modeling Scientific Theories as PRISM Taisuke SATO 1 | ||
|
Summary: Modeling Scientific Theories as PRISM Programs Taisuke SATO 1 Abstract. PRISM is a new type... discovery. In this paper, we first give a detailed account of PRISM at propositional logic level. Then we... as PRISM programs. Finally we suggest possible extensions of PRISM. The reader is ... |
|||
|
Source: Sato, Taisuke - Department of Computer Science, Tokyo Institute of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 83 | Modeling Scienti c Theories as PRISM Taisuke SATO1 | ||
|
Summary: Modeling Scienti#12;c Theories as PRISM Programs Taisuke SATO1 Abstract. PRISM is a new type... discovery. In this paper, we #12;rst give a detailed account of PRISM at propositional logic level. Then we... as PRISM programs. Finally we suggest possible extensions of PRISM. The reader is ... |
|||
|
Source: Sato, Taisuke - Department of Computer Science, Tokyo Institute of Technology |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 84 | RS02 Proposal Management BusinessObjects Universe/ | ||
|
Summary: /10/2009 http://www.drda.umich.edu/proposals/prism/prism.html #12;Where do I find the RS02 Predefined Reports... Tools. · Register for & complete: BIE001 DW BusinessObjects WebI Running Reports This course... introduces basic features in BusinessObjects Web Intelligence (WebI) ... |
|||
|
Source: Shyy, Wei - Department of Aerospace Engineering, University of Michigan |
|||
|
Collection: Engineering |
|||
| 85 | DataPrism: a Tool for Visualizing Multimodal Data Adam S. Fouse | ||
|
Summary: DataPrism: a Tool for Visualizing Multimodal Data Adam S. Fouse afouse@cogsci.ucsd.edu James D... We present DataPrism, a new interactive visualization tool to aid analysis of multimodal activity... data. DataPrism enables analysts to visualize, annotate, and link multiple time-based data streams |
|||
|
Source: Hollan, Jim - Departments of Cognitive Science & Computer Science and Engineering, University of California at San Diego |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 86 | NearOptimal Partitioning of Rectangles and Prisms Prosenjit Bose Jurek Czyzowicz y Evangelos Kranakis Danny Krizanc | ||
|
Summary: NearOptimal Partitioning of Rectangles and Prisms Prosenjit Bose #3; Jurek Czyzowicz y Evangelos... parallel prism, how do you cut it in k equal volume pieces such that the total surface area of the cuts... cuts. We assume that each cut is complete in that it divides a rectangle or a prism into two pieces |
|||
|
Source: Bose, Prosenjit - School of Computer Science, Carleton University |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 87 | * Corresponding author. Tel.: #1-413-545-0229; fax: #1-413-545-E-mail address: mabbott@geo.umass.edu (M.B. Abbott). | ||
|
Summary: @geo.umass.edu (M.B. Abbott). Quaternary Science Reviews 19 (2000) 1801}1820 Holocene hydrological reconstructions... from stable isotopes and paleolimnology, Cordillera Real, Bolivia Mark B. Abbott *, Brent B. Wolfe... and have recently been shown to occur over time-scales relevant to humans (e.g. Hodell et al., 1995; Abbott |
|||
|
Source: Wolfe, Alexander P. - Department of Earth and Atmospheric Sciences, University of Alberta |
|||
|
Collection: Geosciences |
|||
| 88 | Eurographics Symposium on Rendering (2007) Jan Kautz and Sumanta Pattanaik (Editors) | ||
|
Summary: , and mapping a 3D function (e.g., a 3D texture) into the resulting prisms. Unfortunately, such a mapping... is nonlinear. Previous approaches perform a piece-wise linear approxima- tion by subdividing the prisms... using Coons patches within the prisms. Tangent continuity between adjacent prisms is ... |
|||
|
Source: Technische Universität Wien, Institute for Software Technology and Interactive Systems, Interactive Media Systems Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 89 | Fabrication of microprisms in SiO2 Christiane Gimkiewicz, Detlev Hagedorn, Jurgen Jahns | ||
|
Summary: : Profile scan of a quartz prism. First, the gray scale pattern was trans- ferred into a thick layer... with resist thicknesses in the range of 1035 µm. The photoresist prisms are transferred into GaAs or SiO2... by reactive ion etching. Prisms with an area of 100 µm × 100 µm and heights of up to h = 35 µm in SiO2 have |
|||
|
Source: Jahns, Jürgen - Fakultät für Mathematik und Informatik, FernUniversität in Hagen |
|||
|
Collection: Engineering ; Physics |
|||
| 90 | The PRISM Coupling and I/O System Sophie Valcke1 | ||
|
Summary: The PRISM Coupling and I/O System Sophie Valcke1 , Damien Declat1 , Ren´e Redler2 , Hubert Ritzdorf... Augustin, Germany 3 NEC-HPCE D¨usseldorf, Germany 4 SGI Munich, Germany Abstract. The aim of the PRISM... coupling and I/O system, developed in the framework of the EU funded PRISM project, is to provide |
|||
|
Source: European Centre for Research and Advanced Trainng in Scientific Computaion, Parallel Algorithms Project |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 91 | A collaboration between Environment Canada MSC/RPN and CERFACS | ||
|
Summary: of PRISM Standard Running Environment (SRE) for Linux platform armc28: creation of sub-directory include... armc28 in prism/util/running/frames/ 5 #12;6 CHAPTER 3. OASIS3-GOSSIP2 AT RPN Adaptation of PRISM SRE... for SGI platform pollux: creation of sub-directory include pollux in ... |
|||
|
Source: European Centre for Research and Advanced Trainng in Scientific Computaion, Parallel Algorithms Project |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 92 | QAPL 2005 Preliminary Version Quantitative analysis with the probabilistic | ||
|
Summary: QAPL 2005 Preliminary Version Quantitative analysis with the probabilistic model checker PRISM 1... checker PRISM (www.cs.bham.ac.uk/~dxp/prism) implemented at the University of Birmingham. PRISM supports... recently extended with costs and rewards. We describe our experience with using ... |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 93 | QAPL 2005 Preliminary Version Quantitative analysis with the probabilistic | ||
|
Summary: types, PRISM cur- rently only provides support for CTMCs. The definition of steady-state (long- run... QAPL 2005 Preliminary Version Quantitative analysis with the probabilistic model checker PRISM 1... checker PRISM (www.cs.bham.ac.uk/~dxp/prism) implemented at the University of ... |
|||
|
Source: Oxford, University of - Computing Laboratory, Quantitative Analysis and Verification Group |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 94 | Privacy-Preserving Searches in MapReduce Erik-Oliver Blass1 | ||
|
Summary: clock timings for PRISM and Base- line protocol runs with SInputSplit = 96 MByte and SInputSplit = 120... comprises, first, the baseline timing, and, second, the additional time required to run PRISM. To give trust... PRISM -- Privacy-Preserving Searches in MapReduce Erik-Oliver Blass1 ... |
|||
|
Source: International Association for Cryptologic Research (IACR) - Cryptology ePrint Archive |
|||
|
Collection: Multidisciplinary Databases and Resources |
|||
| 95 | EasySnuffle A tool to measure the performance of multimedia flows over IEEE 802.11b | ||
|
Summary: . Optional a PC-Card and a WLAN radio modem based on Intersils Prism2 chipset are needed. 2.2 Download Easy... , collects the measurement data, and stores it on hard disk. · Prism2-2002-01-03snf.tgz A special prepared... device driver for Intersil PRISM2 chipsets, which includes Snuffle support · linux-2.4.17snf.tgz A Linux |
|||
|
Source: Wolisz, Adam - Fakultät für Elektrotechnik und Informationstechnik, Technische Universität Berlin |
|||
|
Collection: Engineering ; Computer Technologies and Information Sciences |
|||
| 96 | Module: Material Structure Focus: Adhesion & Cohesion | ||
|
Summary: Steinberg, PhD Director of Education and Outreach Princeton University Center for Complex Materials/PRISM... University Center for Complex Materials/PRISM 316 Bowen Hall, 70 Prospect Ave., Princeton University... begins to run down the ruler, students are to measure and record the angle of elevation |
|||
|
Source: Petta, Jason - Department of Physics, Princeton University |
|||
|
Collection: Materials Science |
|||
| 97 | Solutions Network Formulation Report Candidate Solution Project Title | ||
|
Summary: precipitation, which runs off immediately. The zero degree isotherm and freezing level is dependent upon... -elevation Regressions on Independent Slopes Model" (PRISM) and Mountain Mapper to extrapolate precipitation fields... states, Utah, and Colorado was to utilize two software packages called "PRISM" and "Mountain Mapper |
|||
|
Source: Houser, Paul R. - Center for Research on Environment and Water, George Mason University |
|||
|
Collection: Geosciences |
|||
| 98 | ADDING META-ARCHITECTURAL UNDERSTANDING TO RESOURCE AWARE SOFTWARE ARCHITECTURES | ||
|
Summary: -synchronizing with lost connections and remembering old peers. The software architecture is built on top of the PRISM [1... Applications, Ubiquitous Computing, Interfaces. 1. PRISM MIDDLEWARE AND C-2 ARCHITECTURAL STYLE The C-2... the requested functionalities of the components. The PRISM [1] framework extended the C-2 ... |
|||
|
Source: Mattmann, Chris - Jet Propulsion Laboratory & Department of Computer Science, University of Southern California |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 99 | A Hormonal Model of Emotions for Behavior Control Dolores Ca~namero | ||
|
Summary: a scenario run starts. They can be consumed by both Abbotts and Enemies, at different rates depending... figures of three main types: ffl Living beings, which fall into two species---Abbotts 1 and Enemies, both... at a random location. Food can also be moved around by Abbotts. 1 Named after E.A. ... |
|||
|
Source: Cañamero, Lola - School of Computer Science, University of Hertfordshire |
|||
|
Collection: Computer Technologies and Information Sciences |
|||
| 100 | On the Verification of Behavioral and Probabilistic Web Services using Transformation | ||
|
Summary: diagram or Markov decision process, which are then transformed to a PRISM model to be used as input... by PRISM, a probabilistic model checker, to verify automatically the web service behavior. We provide... |= ). Among different model checkers such as Spin, NuSMV, MCMAS, etc., we have chosen PRISM. PRISM |
|||
|
Source: Bentahar, Jamal - Institute for Information Systems Engineering, Concordia University |
|||
|
Collection: Computer Technologies and Information Sciences |
|||