Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Topic List  Advanced Search  
Sample search results for: abbott prism run

Page:   2  3  4  5 
 
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 command­line 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 (1838­1926). 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... Grid­enabled 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


Page:   2  3  4  5 
Page:   1  2  3  4  5 
 
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


Page:   1  2  3  4  5 
Page:   1  2  3  4  5 
 
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


Page:   1  2  3  4  5 
Page:   1  2  3  4  5 
 
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 Terms­3D 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 n­vertex 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 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

 
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 co­coordinator (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


Page:   1  2  3  4  5 
Page:   1  2  3  4  5 
 
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:  Near­Optimal 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 10­35 µ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


Page:   1  2  3  4  5