Automatic Composition of e-services: The Roman way. Daniela Berardi Dipartimento di Informatica e Sistemistica Università di Roma La Sapienza
|
|
- Aleesha Parrish
- 6 years ago
- Views:
Transcription
1 Automatic Composition of e-sevices: The Roman way Daniela Beadi Dipatimento di Infomatica e Sistemistica Univesità di Roma La Sapienza beadi@dis.unioma1.it
2 Daniela Beadi Oveview Activity based model: the Roman appoach Composition esults in the Roman model Message based model Activity vs Message based model Embedding Activity based model into SitCalc Embedding Activity based model into PSL
3 Daniela Beadi e-sevices and Community of e-sevices: The Model used by Roman Results An e-sevice is an inteactive pogam that expots its behavio in tems of an abstact desciption A client selects and inteacts with it accoding to the desciption expoted A community of e-sevices is: a set of e-sevices that shae implicitly a common undestanding on a common set of actions and expot thei behavio using this common set of actions A client specifies needs as e-sevice behavio using the common set of actions of the community
4 e-sevice Expots its Behavio Many possible ways. In this talk Behavio modeled by finite state machines coe of state chat, UML state-tansition diagam, etc. in ou FSMs, each tansaction coesponds to an action (e.g., seach-by autho-and-select, seach-by title-and-select, listenthe-selected-song, ) In fact using a FSM we compactly descibe all possible sequences of deteministic (atomic) actions: tee of all possible sequences of actions Datapoduced by actions not explicitly modeled data ae used by the client to choose next action Daniela Beadi
5 Daniela Beadi e-sevice as Execution Tee Requied behavio epesented as a FSM Execution tee (obtained by FSM unfolding) a S 0 a b S 0 b a b a b a: seach by autho (and select) b: seach by title (and select) : listen (the selected song)
6 e-sevice Composition in the Roman Famewok Given: Community C of e-sevices (expessed as FSMs) ) Taget e-sevice S 0 (again expessed as FSM) S 1 S 0 a b a S 2 b Find: new FSM e-sevice S S (delegato): - new alphabet = actions x (sets of sevice identifies) - accepts same language as S 0 - Fo each accepting un of S on wod w, and fo each S in C, pojection of this un onto moves of S is an accepting computation fo S Daniela Beadi,1 S a,1 b,2,2
7 Daniela Beadi Key Idea fo Finding Composition: Exploit Desciption Logics (DLs) Desciption Logics: epesent knowledge in tems of classes and elationships between classes equipped with decidable easoning Inteesting popeties: Tee model popety Small model popety EXPTIME decidability
8 Daniela Beadi Results on Automatically Building e-sevice Composition DL encoding of taget e-sevice DL Knowledge Base: e-sevice composition DL encoding of i-th component e-sevice DL additional domain- independent conditions 0 i aux Init Check satisfiability (and build a model),1,2 a,1 b,2 Initially all e- Sevices ae in thei initial states EXPTIME
9 Daniela Beadi Results Thm 1: Composition exists iff DL Knowledge Base satisfiable Fom composition labeling of the taget e-sevice one can build a tee model fo the Knowledge Base, and vice-vesa Co 1: Composition existence of e-sevices, expessible as FSMs, is decidable in EXPTIME Thm 2: If composition exists then finite state composition exists. Fom a small model of a DL Knowledge Base, one can build a finite state composition Co 2: Finite state composition existence of e-sevices, expessible as FSMs, is decidable in EXPTIME Building finite state composition can be done in EXPTIME
10 Daniela Beadi Message Based Model ec-schema: finite set of abstact pees (e-sevices) pees can be implemented as FSM with input/output each pee has a (bounded) queue asynchonous communication between pees finite set of channels i.e., {<sende, eceive, message_type>} finite set of incoming and outgoing messages ove some alphabet Σ input messages:?a, a Σ output messages!a, a Σ As technical simplification in theoetical model, each symbol a encodes a tiple <sende,eceive,message-type> Convesation language: sequence of messages exchanged between pees Model is pee-to-pee, but can estict to mediated by assuming hub-and-spoke connection gaph. (I.e., one pee acts as the mediato)
11 Daniela Beadi E-Composition Schema An E-C schema specifies the infastuctue of composition Assume finite domains can model paametes stoe ode 1 eceipt 1 eceipt 2 ode 2 authoize ok payment 1 bill 1 bill 2 payment 2 bank supplie1 supplie2
12 Composition Infastuctue Pee-to-pee (distibuted contol) authoize stoe ok ode 1 eceipt 1 ode 2 eceipt 2 payment 1 bill 1 payment 2 bank bill 2 supplie1 supplie2 stoe a o k mediato a k b p bank o 1 b 2 p 2 1 b 1 p1 2 supplie1 o 2 supplie2 Hub-and-spoke (centalized contol) Daniela Beadi
13 Daniela Beadi Pee Synthesis Statement and Results Poblem statement Given: ec-schema and LTL fomula ϕ Ceate: a FSM fo each pee so that ϕ is satisfied Note: not a composition poblem, because this esult is ceating pees, not selecting them fom a pe-existing UDDI Synthesis esults fo Mealy implementations with bounded queues Mealy pee synthesis: decidable Popositional LTL desciption PSPACE (Also, esults contasting bounded vs. unbounded message queues)
14 Daniela Beadi Roman Activity Based Composition Result vs Message Based Synthesis Result Activity based Model: behavio modeled as FSM, with tansitions labeled by actions client/seve model: active client: s/he selects fom a set of choices pesented by e-sevice Result Stat with community of activitybased FSMs (e-sevices) FMSs define constaint on legal sequence of actions executed by each pee given a banching time spec. Ψ of global behavio and constained pees, synthesize a delegato pees communicate only with delegato deteminism only (fo the moment) Message based Model: behavio modeled as FSM, with tansitions labeled by input/output messages pee-to-pee model; no notion coesponding to client in activity model Result Stat with ec-schema which establishes topology fo message-passing no constaint on legal sequences of actions executed by each abstact pee given a LTL spec.φ of global behavio and ec-schema, synthesize pees such that Φ is ealized pee-to-pee communication non deteminism ove messages (i.e., same message labeling diffeent tansition fom same state)
15 Daniela Beadi Roman Activity Based vs Message Based Roman Activity based and Message based ae complementay appoaches: Can mege them? How? (othe) Roman Activity based futue wok: is ou algoithm EXPTIME-had? cuently we ae woking on a DL based pototype system that implements ou composition algoithm also woking on notion of k-look-ahead compositions - gives moe flexibility than fist Roman esults add non deteminism data (i.e., paametes of actions)
16 Daniela Beadi Situation Calculus Encoding of Roman Model -- Idea Each e-sevice i as Reite s Basic Action Theoy Γ i : each action as a Situation Calculus action each state of FSM is a fluent special fluent Final to indicate situation when e-sevice execution can stop. In Γ i we have complete infomation on the initial situation and hence on the whole theoy. e-sevice composition: epesent which e-sevices (in the community) ae executed, when an action of the taget e-sevice is pefomed, by pedicates Step i (a, s), denoting that e-sevice i executes action a in situation s. Situation Calculus Theoy (but not basic) Incomplete infomation ove Step i (a, s) ename Poss to Poss i, ename Final to Final i suitably modify the successo axioms to cope with Step i (a, s)
17 Daniela Beadi Sit Calc Encoding -- Details Taget e-sevice E 0 = (Σ, Q 0, q 0 0, δ 0, F 0 ) (Reite Basic Action Theoy) F q00 (S 0 ) initial situation s. F q (s) F q (s) fo all pais of distinct states q, q in E 0 e-sevice states ae pai-wise disjoint s. Poss(a, s) q st δ0(q, a) is defined F q (s) s α. F q (do(α,s)) a, q, st q =δ0(q, a) (α = a F q (s)) (F q (s) b st δ0(q',b) is defined α b) fo each q'=δ 0 (q,a) taget e-sevice can do an a-tansition going to state q s. Final (s) q F0 F q (s) denotes taget e-sevice final states
18 Sit Calc Encoding -- Details (cont.d) Community e-sevices E i = (Σ, Q i, q 0 i, δ i, F i ) F qi 0 (S 0 i ) initial situation s. F q (s) F q (s) fo all pais of distinct states q, q in E i e-sevice states ae pai-wise disjoint s. Poss i (a, s) q st δi(q, a) is defined F q (s) s α. F q (do(α,s)) ( a, q, st q =δi(q, a) (α = a F q (s) Step i (α, s))) ( Step i (α, s) F q (s)) Daniela Beadi fo each q =δ i (q, a) if e-sevice moved then new state, othewise old state s. Final i (s) q F i F q (s) denotes community e-sevice final states
19 Daniela Beadi SitCalc Encoding -- Details (cont.d) Foundational, domain independent axioms: s,a. Poss(a,s) Final(s) i=1..n Step i (a,s) Poss i (a,s) fo each action a at least one of the community e-sevices must move at each step s. Final(s) i=1..n Final i (s) when taget e-sevice is final all comm. e-sevices ae final i=0..n F qi 0 (S 0 i ) in the initial situation all e-sevices ae in thei initial state
20 Daniela Beadi PSL Encoding of Roman Model -- Idea Based on Rick Hull and Michael Guninge encoding of message based model in PSL Basic idea to model an e-sevice: fluents to denote: initial situation (Init) states of FSM (F q ), final states (Final), one activity fo each action. Component e-sevices: ename poss to poss i, ename Final to Final i fluent Step ai to denote which component e-sevice moves
21 Daniela Beadi PSL Encoding of Roman Model -- Idea Based on Rick Hull and Michael Guninge encoding of message based model in PSL Basic idea to model an e-sevice: fluents to denote: initial situation (Init) states of FSM (F q ), final states (Final), vey simila to Sit Calc! one activity fo each action. Component e-sevices: ename poss to poss i, ename Final to Final i fluent Step ai to denote which component e-sevice moves
22 Daniela Beadi PSL Encoding -- Details Taget e-sevice E 0 = (Σ, Q 0, q 0 0, δ 0, F 0 ) o.pio (F q F q, o) fo all pais of distinct states q, q in E 0 e-sevice states ae pai-wise disjoint o. holds(f q,o) poss(a, o) (pec) o. occuence_of(o,a) pio(f q, o) holds(f q, o) (eff) fo each q'=δ 0 (q,a) taget e-sevice can do an a-tansition going to state q o. holds(f q,o) poss(a, o) false fo each δ 0 (q,a) undef. taget e-sevice cannot do an a-tansition Final q F0 F q denotes taget e-sevice final states
23 Daniela Beadi PSL Encoding -- Details Taget e-sevice E 0 = (Σ, Q 0, q 0 0, δ 0, F 0 ) o.pio (F q F q, o) o. holds(f q,o) poss(a, o) (pec) o. occuence_of(o,a) pio(f q, o) holds(f q, o) (eff) o. holds(f q,o) poss(a, o) false Final q F0 F q simila to Sit Calc!
24 Daniela Beadi PSL Encoding -- Details (cont.d) Community e-sevices E i = (Σ, Q i, q 0 i, δ i, F i ) o.pio (F q F q, o) fo all pais of distinct states q, q in E i e-sevice states ae pai-wise disjoint o. holds(f q,o) poss i (a, o) (pec) o. occuence_of(o,a) pio(f q, o) (eff) (holds(f q, o) holds(step ia, o)) (holds(f q, o) holds(step ia,o)) fo each q'=δ i (q, a) if e-sevice moved then new state, othewise old state o. holds(f q,o) poss i (a, o) false o. occuence_of(o, a) pio(f q, o) holds(f q,o) holds(step ia, o) fo each δ i (q,a) undef. if e-sevice cannot do a, and a is pefomed then it did not move Final i q Fi F q denotes community e-sevice final states
25 Daniela Beadi PSL Encoding -- Details (cont.d) Community e-sevices E i = (Σ, Q i, q 0 i, δ i, F i ) o.pio (F q F q, o) o. holds(f q,o) poss i (a, o) (pec) o. occuence_of(o,a) pio(f q, o) (eff) (holds(f q, o) holds(step ia, o)) (holds(f q, o) holds(step ia,o)) o. holds(f q,o) poss i (a, o) false o. occuence_of(o, a) pio(f q, o) holds(f q, o) holds(step ia, o) Final i q Fi F q simila to Sit Calc!
26 Daniela Beadi PSL Encoding -- Details (cont.d) Additional assetions: o. poss(a, o) occuence_of(o,a) i=1..n step ia (o) poss i (a,o) fo each action a at least one of the community e-sevices must move at each step o. pio (Final i=1..n Final i, o) when taget e-sevice is final all comm. e-sevices ae final Init i=0..n F qi0 Initially all e-sevices ae in thei initial state
27 Daniela Beadi PSL Encoding -- Details (cont.d) Additional assetions: o. poss(a, o) occuence_of(o,a) i=1..n step ia (o) poss i (a,o) o. pio (Final i=1..n Final i, o) Init i=0..n F qi0 simila to SIt Calc!
28 Daniela Beadi Info & Contacts Thesis dissetation scheduled fo Januay 2005 Daniela Beadi home page: addess: Via Salaia, 113 (2 piano) I Rome (Italy)
29 Back up
30 Daniela Beadi An execution tee 0 a b a b a b Execution tee a: seach by autho (and select) b: seach by title (and select) : listen (the selected song) Nodes: histoy (sequence) of actions executed so fa Root: no action yet pefomed Successo node x a of x: action a can be executed afte the sequence of action x Final nodes: the e-sevice can teminate
31 Daniela Beadi e-sevice composition Added value of the community: when a client equest cannot be satisfied by any available e- Sevice, it may still be possible to satisfy it by combining pieces of e-sevices in the community Two issues aise: suppot fo synthesizing composition: automatic synthesis of a coodinating pogam (composition) that ealizes the taget e-sevice (client equest) by suitably coodinating available e-sevices addessed hee suppot fo ochestation: execution of the coodinating pogam not addessed hee
32 Daniela Beadi Fomalizing e-sevice composition Composition: coodinating pogam that ealizes the taget e-sevice by suitably coodinating available e-sevices Composition can be fomalized as: a labeling of the execution tee of the taget e-sevice such that each action in the execution tee is labeled by the community e-sevice that executes it and each possible sequence of actions on the taget e-sevice execution tee coesponds to possible sequences of actions on the community e-sevice execution tees, suitably inteleaved.
33 Daniela Beadi Example of composition Community e-sevices Sevices (expessed as FSMs) a b S 1 S 2 Taget e-sevice (again expessed as FSM) S 0 a b
34 Daniela Beadi Example of composition S 0 S 1 S 2 a b a b coodinating pogam (composition) a b a b a b
35 Daniela Beadi Example of composition S 0 S 1 S 2 a b a b coodinating pogam (composition) a b a b a b All e-sevices e stat fom thei stating state
36 Daniela Beadi Example of composition S 0 S 1 S 2 a b a b coodinating pogam (composition) a b a b a b Each action of the taget e-sevice is executed by at least one of the component e-sevicese
37 Daniela Beadi Example of composition S 0 S 1 S 2 a b a b coodinating pogam (composition) a b a b a b When the taget e-sevice e can be left, then all component e-sevices e must be in a final state
38 Daniela Beadi Example of composition S 0 S 1 S 2 a b a b coodinating pogam (composition) a b a b a b
39 Daniela Beadi Example of composition S 0 S 1 S 2 a b a b coodinating pogam (composition) a b a b a b
40 Daniela Beadi ALC encoding Taget e-sevice S 0 = (Σ, S 0, s 0 0, δ 0, F 0 ) s v s' fo all pais of distinct states in S 0 e-sevice states ae pai-wise disjoint s v a.> u a.s' fo each s'=δ 0 (s,a) taget e-sevice can do an a-tansition going to state s s v a. fo each δ 0 (s,a) undef. F 0 t s F0 s taget e-sevice cannot do an a-tansition denotes taget e-sevice final states
41 Daniela Beadi ALC encoding (cont.d) Community e-sevices S i = (Σ, S i, s 0 i, δ i, F i ) s v s' fo all pais of distinct states in S i e-sevice states ae pai-wise disjoint s v a.(moved i u s' t moved i u s) fo each s'=δ i (s,a) if e-sevice moved then new state, othewise old state s v a. ( moved i u s ) fo each δ i (s,a) undef. if e-sevice cannot do a, and a is pefomed then it did not move F i t s Fi s denotes community e-sevice final states
42 Daniela Beadi ALC encoding (cont.d) Additional assetions a.>v a. t i=1,,n moved i fo each action a at least one of the community e-sevices must move at each step F 0 vu i=1,,n F i when taget e-sevice is final all comm. e-sevices ae final Init s 0 0 u u i=1.n s0 i Initially all e-sevices ae in thei initial state
43 Daniela Beadi DPDL encoding Φ = Init ([u]φ 0 i=1,,n [u]φ i [u]φ aux ) Initial states of all e-sevices DPDL encoding of i-th component e- Sevice DPDL encoding of taget e-sevice DPDL additional domain- independent conditions DPDL encoding is polinomial in the size of the e-sevice e FSMs
44 Daniela Beadi DPDL encoding Taget e-sevice S 0 = (Σ, S 0, s 0 0, δ 0, F 0 ) in DPDL we define Φ 0 as the conjuction of: s s' fo all pais of distinct states in S 0 e-sevice states ae pai-wise disjoint s <a>> [a]s' fo each s'=δ 0 (s,a) taget e-sevice can do an a-tansition going to state s s [a] fo each δ 0 (s,a) undef. F 0 s F0 s taget e-sevice cannot do an a-tansition denotes taget e-sevice final states
45 DPDL encoding (cont.d) Community e-sevices S i = (Σ, S i, s 0 i, δ i, F i ) in DPDL we define Φ i as the conjuction of: s s' fo all pais of distinct states in S i e-sevice states ae pai-wise disjoint s [a](moved i s' moved i s) fo each s'=δ i (s,a) if e-sevice moved then new state, othewise old state s [a]( moved i s ) fo each δ i (s,a) undef. if e-sevice cannot do a, and a is pefomed then it did not move F i s Fi s Daniela Beadi denotes community e-sevice final states
46 Daniela Beadi DPDL encoding (cont.d) Additional assetions Φ aux <a>> [a] i=1,,n moved i fo each action a at least one of the community e-sevices must move at each step F 0 i=1,,n F i when taget e-sevice is final all comm. e-sevices ae final Init s 0 0 i=1.n s 0 i Initially all e-sevices ae in thei initial state DPDL encoding: Φ = Init [u](φ 0 i=1,,n Φ i Φ aux )
47 Daniela Beadi Results Thm: Composition exists iff DPDL fomula Φ SAT Fom composition labeling of the taget e-sevice one can build a tee model of the DPDL fomula and vicevesa Infomation on the labeling is encoded in pedicates moved i Composition existence of e-sevices expessible as FSMs is decidable in EXPTIME
48 Daniela Beadi Results on Finite State Composition Thm: If composition exists then Mealy composition exists. Fom a small model of the DPDL fomula Φ, one can build a Mealy machine Infomation on the output function of the machine is encoded in pedicates moved i Finite state composition existence of e-sevices expessible as FSMs is decidable in EXPTIME
49 Daniela Beadi Summay: The Roman Activity Based Model fo e-sevices Sevice: on-line music stoe select mp3 seach mp3 Client inteacts seach mp3 select mp3 add to cat buy choice points: the e-sevice makes always the client decide what to do next (in pinciple, all states can be choice points). listen states at which client can stop states at which client cannot stop
50 Summay: Automatic e-sevice composition in the Roman Famewok Daniela Beadi But: what if thee does not exist an e-sevice on-line music stoe? the only available e-sevices ae jukebox and bank? Community of e-sevices: jukebox seach mp3 seach mp3 select mp3 bank add to cat add to cat buy listen
51 Summay: Automatic e-sevice composition in the Roman Famewok (cont.d) Taget e-sevice (client equest): on-line music stoe Community of e-sevices (available e-sevices): jukebox, bank based on tableau techniques fo DLs e-sevice Automatic Composition Engine Domain indep. constaints Delegato (delegates each action of taget e- Sevice to e-sevice(s) in the community): Daniela Beadi select mp3 jukebox seach select add to mp3 mp3 cat jukebox jukebox bank listen jukebox seach mp3 jukebox buy bank
A Simple Model of Communication APIs Application to Dynamic Partial-order Reduction
Simple Model of Communication PIs pplication to Dynamic Patial-ode Reduction Cistian Rosa Stephan Mez Matin Quinson VOCS 2010 22/09/2010 1 / 18 Motivation Distibuted lgoithms ae had to get ight: lack of
More informationNew problems in universal algebraic geometry illustrated by boolean equations
New poblems in univesal algebaic geomety illustated by boolean equations axiv:1611.00152v2 [math.ra] 25 Nov 2016 Atem N. Shevlyakov Novembe 28, 2016 Abstact We discuss new poblems in univesal algebaic
More informationPushdown Automata (PDAs)
CHAPTER 2 Context-Fee Languages Contents Context-Fee Gammas definitions, examples, designing, ambiguity, Chomsky nomal fom Pushdown Automata definitions, examples, euivalence with context-fee gammas Non-Context-Fee
More informationOn the Meaning of Message Sequence Charts
On the Meaning of Message Sequence Chats Manfed Boy Institut fü Infomatik Technische Univesität München Topics: We discuss Message Sequence Chats (MSCs) as a technique to descibe pattens of the inteaction
More informationThe Substring Search Problem
The Substing Seach Poblem One algoithm which is used in a vaiety of applications is the family of substing seach algoithms. These algoithms allow a use to detemine if, given two chaacte stings, one is
More informationMULTILAYER PERCEPTRONS
Last updated: Nov 26, 2012 MULTILAYER PERCEPTRONS Outline 2 Combining Linea Classifies Leaning Paametes Outline 3 Combining Linea Classifies Leaning Paametes Implementing Logical Relations 4 AND and OR
More informationProbablistically Checkable Proofs
Lectue 12 Pobablistically Checkable Poofs May 13, 2004 Lectue: Paul Beame Notes: Chis Re 12.1 Pobablisitically Checkable Poofs Oveview We know that IP = PSPACE. This means thee is an inteactive potocol
More informationEncapsulation theory: radial encapsulation. Edmund Kirwan *
Encapsulation theoy: adial encapsulation. Edmund Kiwan * www.edmundkiwan.com Abstact This pape intoduces the concept of adial encapsulation, wheeby dependencies ae constained to act fom subsets towads
More informationSyntactical content of nite approximations of partial algebras 1 Wiktor Bartol Inst. Matematyki, Uniw. Warszawski, Warszawa (Poland)
Syntactical content of nite appoximations of patial algebas 1 Wikto Batol Inst. Matematyki, Uniw. Waszawski, 02-097 Waszawa (Poland) batol@mimuw.edu.pl Xavie Caicedo Dep. Matematicas, Univ. de los Andes,
More informationCentral Coverage Bayes Prediction Intervals for the Generalized Pareto Distribution
Statistics Reseach Lettes Vol. Iss., Novembe Cental Coveage Bayes Pediction Intevals fo the Genealized Paeto Distibution Gyan Pakash Depatment of Community Medicine S. N. Medical College, Aga, U. P., India
More informationA Bijective Approach to the Permutational Power of a Priority Queue
A Bijective Appoach to the Pemutational Powe of a Pioity Queue Ia M. Gessel Kuang-Yeh Wang Depatment of Mathematics Bandeis Univesity Waltham, MA 02254-9110 Abstact A pioity queue tansfoms an input pemutation
More informationITI Introduction to Computing II
ITI 1121. Intoduction to Computing II Macel Tucotte School of Electical Engineeing and Compute Science Abstact data type: Stack Stack-based algoithms Vesion of Febuay 2, 2013 Abstact These lectue notes
More informationFUSE Fusion Utility Sequence Estimator
FUSE Fusion Utility Sequence Estimato Belu V. Dasaathy Dynetics, Inc. P. O. Box 5500 Huntsville, AL 3584-5500 belu.d@dynetics.com Sean D. Townsend Dynetics, Inc. P. O. Box 5500 Huntsville, AL 3584-5500
More informationComputers and Mathematics with Applications
Computes and Mathematics with Applications 58 (009) 9 7 Contents lists available at ScienceDiect Computes and Mathematics with Applications jounal homepage: www.elsevie.com/locate/camwa Bi-citeia single
More informationThe Implementation of the Conditions for the Existence of the Most Specific Generalizations w.r.t. General EL-TBoxes
The Implementation of the Conditions fo the Existence of the Most Specific Genealizations w..t. Geneal EL-TBoxes Adian Nuadiansyah Technische Univesität Desden Supevised by: Anni-Yasmin Tuhan Febuay 12,
More informationRelating Branching Program Size and. Formula Size over the Full Binary Basis. FB Informatik, LS II, Univ. Dortmund, Dortmund, Germany
Relating Banching Pogam Size and omula Size ove the ull Binay Basis Matin Saueho y Ingo Wegene y Ralph Wechne z y B Infomatik, LS II, Univ. Dotmund, 44 Dotmund, Gemany z ankfut, Gemany sauehof/wegene@ls.cs.uni-dotmund.de
More informationA scaling-up methodology for co-rotating twin-screw extruders
A scaling-up methodology fo co-otating twin-scew extudes A. Gaspa-Cunha, J. A. Covas Institute fo Polymes and Composites/I3N, Univesity of Minho, Guimaães 4800-058, Potugal Abstact. Scaling-up of co-otating
More information6 PROBABILITY GENERATING FUNCTIONS
6 PROBABILITY GENERATING FUNCTIONS Cetain deivations pesented in this couse have been somewhat heavy on algeba. Fo example, detemining the expectation of the Binomial distibution (page 5.1 tuned out to
More informationON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION. 1. Introduction. 1 r r. r k for every set E A, E \ {0},
ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION E. J. IONASCU and A. A. STANCU Abstact. We ae inteested in constucting concete independent events in puely atomic pobability
More informationNuclear size corrections to the energy levels of single-electron atoms
Nuclea size coections to the enegy levels of single-electon atoms Babak Nadii Nii a eseach Institute fo Astonomy and Astophysics of Maagha (IAAM IAN P. O. Box: 554-44. Abstact A study is made of nuclea
More informationASTR415: Problem Set #6
ASTR45: Poblem Set #6 Cuan D. Muhlbege Univesity of Mayland (Dated: May 7, 27) Using existing implementations of the leapfog and Runge-Kutta methods fo solving coupled odinay diffeential equations, seveal
More informationOn the integration of the equations of hydrodynamics
Uebe die Integation de hydodynamischen Gleichungen J f eine u angew Math 56 (859) -0 On the integation of the equations of hydodynamics (By A Clebsch at Calsuhe) Tanslated by D H Delphenich In a pevious
More informationSection 8.2 Polar Coordinates
Section 8. Pola Coodinates 467 Section 8. Pola Coodinates The coodinate system we ae most familia with is called the Catesian coodinate system, a ectangula plane divided into fou quadants by the hoizontal
More informationMEASURING CHINESE RISK AVERSION
MEASURING CHINESE RISK AVERSION --Based on Insuance Data Li Diao (Cental Univesity of Finance and Economics) Hua Chen (Cental Univesity of Finance and Economics) Jingzhen Liu (Cental Univesity of Finance
More informationarxiv: v1 [math.co] 1 Apr 2011
Weight enumeation of codes fom finite spaces Relinde Juius Octobe 23, 2018 axiv:1104.0172v1 [math.co] 1 Ap 2011 Abstact We study the genealized and extended weight enumeato of the - ay Simplex code and
More informationKey Establishment Protocols. Cryptography CS 507 Erkay Savas Sabanci University
Key Establishment Potocols Cyptogaphy CS 507 Ekay Savas Sabanci Univesity ekays@sabanciuniv.edu Key distibution poblem Secuity of the keys Even if the cyptogaphic algoithms & potocols ae cyptogaphically
More informationI. CONSTRUCTION OF THE GREEN S FUNCTION
I. CONSTRUCTION OF THE GREEN S FUNCTION The Helmohltz equation in 4 dimensions is 4 + k G 4 x, x = δ 4 x x. In this equation, G is the Geen s function and 4 efes to the dimensionality. In the vey end,
More informationTANTON S TAKE ON CONTINUOUS COMPOUND INTEREST
CURRICULUM ISPIRATIOS: www.maa.og/ci www.theglobalmathpoject.og IOVATIVE CURRICULUM OLIE EXPERIECES: www.gdaymath.com TATO TIDBITS: www.jamestanton.com TATO S TAKE O COTIUOUS COMPOUD ITEREST DECEMBER 208
More information7.2. Coulomb s Law. The Electric Force
Coulomb s aw Recall that chaged objects attact some objects and epel othes at a distance, without making any contact with those objects Electic foce,, o the foce acting between two chaged objects, is somewhat
More informationInformation Retrieval Advanced IR models. Luca Bondi
Advanced IR models Luca Bondi Advanced IR models 2 (LSI) Pobabilistic Latent Semantic Analysis (plsa) Vecto Space Model 3 Stating point: Vecto Space Model Documents and queies epesented as vectos in the
More information763620SS STATISTICAL PHYSICS Solutions 2 Autumn 2012
763620SS STATISTICAL PHYSICS Solutions 2 Autumn 2012 1. Continuous Random Walk Conside a continuous one-dimensional andom walk. Let w(s i ds i be the pobability that the length of the i th displacement
More informationQuantum Fourier Transform
Chapte 5 Quantum Fouie Tansfom Many poblems in physics and mathematics ae solved by tansfoming a poblem into some othe poblem with a known solution. Some notable examples ae Laplace tansfom, Legende tansfom,
More informationGoodness-of-fit for composite hypotheses.
Section 11 Goodness-of-fit fo composite hypotheses. Example. Let us conside a Matlab example. Let us geneate 50 obsevations fom N(1, 2): X=nomnd(1,2,50,1); Then, unning a chi-squaed goodness-of-fit test
More informationA Markov Decision Approach for the Computation of Testability of RTL Constructs
A Makov Decision Appoach fo the Computation of Testability of RTL Constucts José Miguel Fenandes Abstact In the analysis of digital cicuits, to study testability estimation measues, dissipated powe and
More information10/04/18. P [P(x)] 1 negl(n).
Mastemath, Sping 208 Into to Lattice lgs & Cypto Lectue 0 0/04/8 Lectues: D. Dadush, L. Ducas Scibe: K. de Boe Intoduction In this lectue, we will teat two main pats. Duing the fist pat we continue the
More informationMaintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks
Maintaining Consistency in Layeed Achitectues of Mobile Ad-Hoc Netwoks Julia Padbeg, Kathin Hoffmann, Hatmut Ehig, Tony Modica, Enico Biemann, and Claudia Emel Institute fo Softwae Technology and Theoetical
More informationEncapsulation theory: the transformation equations of absolute information hiding.
1 Encapsulation theoy: the tansfomation equations of absolute infomation hiding. Edmund Kiwan * www.edmundkiwan.com Abstact This pape descibes how the potential coupling of a set vaies as the set is tansfomed,
More informationExploration of the three-person duel
Exploation of the thee-peson duel Andy Paish 15 August 2006 1 The duel Pictue a duel: two shootes facing one anothe, taking tuns fiing at one anothe, each with a fixed pobability of hitting his opponent.
More informationWhy Professor Richard Feynman was upset solving the Laplace equation for spherical waves? Anzor A. Khelashvili a)
Why Pofesso Richad Feynman was upset solving the Laplace equation fo spheical waves? Anzo A. Khelashvili a) Institute of High Enegy Physics, Iv. Javakhishvili Tbilisi State Univesity, Univesity St. 9,
More informationFields and Waves I Spring 2005 Homework 4. Due 8 March 2005
Homewok 4 Due 8 Mach 005. Inceasing the Beakdown Voltage: This fist question is a mini design poject. You fist step is to find a commecial cable (coaxial o two wie line) fo which you have the following
More informationValue Prediction with FA. Chapter 8: Generalization and Function Approximation. Adapt Supervised Learning Algorithms. Backups as Training Examples [ ]
Chapte 8: Genealization and Function Appoximation Objectives of this chapte:! Look at how expeience with a limited pat of the state set be used to poduce good behavio ove a much lage pat.! Oveview of function
More informationNotes on McCall s Model of Job Search. Timothy J. Kehoe March if job offer has been accepted. b if searching
Notes on McCall s Model of Job Seach Timothy J Kehoe Mach Fv ( ) pob( v), [, ] Choice: accept age offe o eceive b and seach again next peiod An unemployed oke solves hee max E t t y t y t if job offe has
More information4/18/2005. Statistical Learning Theory
Statistical Leaning Theoy Statistical Leaning Theoy A model of supevised leaning consists of: a Envionment - Supplying a vecto x with a fixed but unknown pdf F x (x b Teache. It povides a desied esponse
More informationMerging Uncertain Multi-Version XML Documents
Meging Uncetain Multi-Vesion XML Documents M. Lamine BA, Talel Abdessalem & Piee Senellat ACM DocEng 2013-1st Intenational Wokshop on Document Changes (Floence, Italy) Septembe 10 th, 2013 M. L. Ba, T.
More informationarxiv: v1 [physics.gen-ph] 18 Aug 2018
Path integal and Sommefeld quantization axiv:1809.04416v1 [physics.gen-ph] 18 Aug 018 Mikoto Matsuda 1, and Takehisa Fujita, 1 Japan Health and Medical technological college, Tokyo, Japan College of Science
More informationEQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS
EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS ATHULA GUNAWARDENA AND ROBERT R MEYER Abstact A d-dimensional gid gaph G is the gaph on a finite subset in the intege lattice Z d in
More informationCALCULUS II Vectors. Paul Dawkins
CALCULUS II Vectos Paul Dawkins Table of Contents Peface... ii Vectos... 3 Intoduction... 3 Vectos The Basics... 4 Vecto Aithmetic... 8 Dot Poduct... 13 Coss Poduct... 21 2007 Paul Dawkins i http://tutoial.math.lama.edu/tems.aspx
More informationANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE
THE p-adic VALUATION OF STIRLING NUMBERS ANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE Abstact. Let p > 2 be a pime. The p-adic valuation of Stiling numbes of the
More informationHOW TO TEACH THE FUNDAMENTALS OF INFORMATION SCIENCE, CODING, DECODING AND NUMBER SYSTEMS?
6th INTERNATIONAL MULTIDISCIPLINARY CONFERENCE HOW TO TEACH THE FUNDAMENTALS OF INFORMATION SCIENCE, CODING, DECODING AND NUMBER SYSTEMS? Cecília Sitkuné Göömbei College of Nyíegyháza Hungay Abstact: The
More informationChapter 8: Generalization and Function Approximation
Chapte 8: Genealization and Function Appoximation Objectives of this chapte: Look at how expeience with a limited pat of the state set be used to poduce good behavio ove a much lage pat. Oveview of function
More informationCOUPLED MODELS OF ROLLING, SLIDING AND WHIRLING FRICTION
ENOC 008 Saint Petesbug Russia June 30-July 4 008 COUPLED MODELS OF ROLLING SLIDING AND WHIRLING FRICTION Alexey Kieenkov Ins ti tu te fo P ob le ms in Me ch an ic s Ru ss ia n Ac ad em y of Sc ie nc es
More informationEfficiency Loss in a Network Resource Allocation Game
Efficiency Loss in a Netwok Resouce Allocation Game Ramesh Johai johai@mit.edu) John N. Tsitsiklis jnt@mit.edu) June 11, 2004 Abstact We exploe the popeties of a congestion game whee uses of a congested
More informationNon-Linear Dynamics Homework Solutions Week 2
Non-Linea Dynamics Homewok Solutions Week Chis Small Mach, 7 Please email me at smach9@evegeen.edu with any questions o concens eguading these solutions. Fo the ececises fom section., we sketch all qualitatively
More informationgr0 GRAPHS Hanan Samet
g0 GRPHS Hanan Samet ompute Science epatment and ente fo utomation Reseach and Institute fo dvanced ompute Studies Univesity of Mayland ollege Pak, Mayland 074 e-mail: hjs@umiacs.umd.edu opyight 1997 Hanan
More informationChapter 2: Introduction to Implicit Equations
Habeman MTH 11 Section V: Paametic and Implicit Equations Chapte : Intoduction to Implicit Equations When we descibe cuves on the coodinate plane with algebaic equations, we can define the elationship
More informationReview: Electrostatics and Magnetostatics
Review: Electostatics and Magnetostatics In the static egime, electomagnetic quantities do not vay as a function of time. We have two main cases: ELECTROSTATICS The electic chages do not change postion
More informationMacro Theory B. The Permanent Income Hypothesis
Maco Theoy B The Pemanent Income Hypothesis Ofe Setty The Eitan Beglas School of Economics - Tel Aviv Univesity May 15, 2015 1 1 Motivation 1.1 An econometic check We want to build an empiical model with
More informationarxiv: v1 [physics.pop-ph] 3 Jun 2013
A note on the electostatic enegy of two point chages axiv:1306.0401v1 [physics.pop-ph] 3 Jun 013 A C Tot Instituto de Física Univesidade Fedeal do io de Janeio Caixa Postal 68.58; CEP 1941-97 io de Janeio,
More informationSuggested Solutions to Homework #4 Econ 511b (Part I), Spring 2004
Suggested Solutions to Homewok #4 Econ 5b (Pat I), Sping 2004. Conside a neoclassical gowth model with valued leisue. The (epesentative) consume values steams of consumption and leisue accoding to P t=0
More informationDuality between Statical and Kinematical Engineering Systems
Pape 00, Civil-Comp Ltd., Stiling, Scotland Poceedings of the Sixth Intenational Confeence on Computational Stuctues Technology, B.H.V. Topping and Z. Bittna (Editos), Civil-Comp Pess, Stiling, Scotland.
More informationIntroduction to Arrays
Intoduction to Aays Page 1 Intoduction to Aays The antennas we have studied so fa have vey low diectivity / gain. While this is good fo boadcast applications (whee we want unifom coveage), thee ae cases
More informationQUALITATIVE AND QUANTITATIVE ANALYSIS OF MUSCLE POWER
QUALITATIVE AND QUANTITATIVE ANALYSIS OF MUSCLE POWER Jey N. Baham Anand B. Shetty Mechanical Kinesiology Laboatoy Depatment of Kinesiology Univesity of Nothen Coloado Geeley, Coloado Muscle powe is one
More informationPsychometric Methods: Theory into Practice Larry R. Price
ERRATA Psychometic Methods: Theoy into Pactice Lay R. Pice Eos wee made in Equations 3.5a and 3.5b, Figue 3., equations and text on pages 76 80, and Table 9.1. Vesions of the elevant pages that include
More informationMATH 220: SECOND ORDER CONSTANT COEFFICIENT PDE. We consider second order constant coefficient scalar linear PDEs on R n. These have the form
MATH 220: SECOND ORDER CONSTANT COEFFICIENT PDE ANDRAS VASY We conside second ode constant coefficient scala linea PDEs on R n. These have the fom Lu = f L = a ij xi xj + b i xi + c i whee a ij b i and
More informationAn Application of Fuzzy Linear System of Equations in Economic Sciences
Austalian Jounal of Basic and Applied Sciences, 5(7): 7-14, 2011 ISSN 1991-8178 An Application of Fuzzy Linea System of Equations in Economic Sciences 1 S.H. Nassei, 2 M. Abdi and 3 B. Khabii 1 Depatment
More informationOptimum Decentralized Choreography for Web Services Composition
Optimum Decentalized Choeogaphy fo Web Sevices Composition Saayan Mita Dept. of Elec. & Comp. Eng. Iowa State Univesity Ames, IA 50011, USA Email: saayan@iastate.edu Ratnesh Kuma Dept. of Elec. & Comp.
More informationSurveillance Points in High Dimensional Spaces
Société de Calcul Mathématique SA Tools fo decision help since 995 Suveillance Points in High Dimensional Spaces by Benad Beauzamy Januay 06 Abstact Let us conside any compute softwae, elying upon a lage
More informationRepresenting and Reasoning on XML Documents: A Description Logic Approach
Appeaed in Jounal o Logic and Computation, 9(3):295 318, 1999 Repesenting and Reasoning on XML Documents: A Desciption Logic Appoach Diego Calvanese, Giuseppe De Giacomo, Mauizio Lenzeini Dipatimento di
More informationTopic 4a Introduction to Root Finding & Bracketing Methods
/8/18 Couse Instucto D. Raymond C. Rumpf Office: A 337 Phone: (915) 747 6958 E Mail: cumpf@utep.edu Topic 4a Intoduction to Root Finding & Backeting Methods EE 4386/531 Computational Methods in EE Outline
More informationTemporal-Difference Learning
.997 Decision-Making in Lage-Scale Systems Mach 17 MIT, Sping 004 Handout #17 Lectue Note 13 1 Tempoal-Diffeence Leaning We now conside the poblem of computing an appopiate paamete, so that, given an appoximation
More informationChapter 5 Force and Motion
Chapte 5 Foce and Motion In Chaptes 2 and 4 we have studied kinematics, i.e., we descibed the motion of objects using paametes such as the position vecto, velocity, and acceleation without any insights
More informationPHYS 301 HOMEWORK #10 (Optional HW)
PHYS 301 HOMEWORK #10 (Optional HW) 1. Conside the Legende diffeential equation : 1 - x 2 y'' - 2xy' + m m + 1 y = 0 Make the substitution x = cos q and show the Legende equation tansfoms into d 2 y 2
More informationRevision and Reasoning on Revision Rules in DL-based Knowledge Bases
Revision and Reasoning on Revision Rules in DL-based Knowledge Bases Chan Le Duc and Nhan Le Thanh Laboatoie I3S, Univesité de Nice - Sophia Antipolis, Fance cleduc@i3s.unice.f, Nhan.Le-Thanh@unice.f Abstact.
More informationINFORMATION GEOMETRY OF PROPAGATION ALGORITHMS AND APPROXIMATE INFERENCE
2nd Intenational Symposium on Infomation Geomety and its Applications Decembe 12-16, 2005, Tokyo Pages 000 000 INFORMATION GEOMETRY OF PROPAGATION ALGORITHMS AND APPROXIMATE INFERENCE SHIRO IKEDA 1 intoduction
More informationA Converse to Low-Rank Matrix Completion
A Convese to Low-Rank Matix Completion Daniel L. Pimentel-Alacón, Robet D. Nowak Univesity of Wisconsin-Madison Abstact In many pactical applications, one is given a subset Ω of the enties in a d N data
More informationDesigning a Sine-Coil for Measurement of Plasma Displacements in IR-T1 Tokamak
Designing a Sine-Coil fo Measuement of Plasma Displacements in IR-T Tokamak Pejman Khoshid, M. Razavi, M. Ghoanneviss, M. Molaii, A. TalebiTahe, R. Avin, S. Mohammadi and A. NikMohammadi Dept. of Physics,
More informationSolving Problems of Advance of Mercury s Perihelion and Deflection of. Photon Around the Sun with New Newton s Formula of Gravity
Solving Poblems of Advance of Mecuy s Peihelion and Deflection of Photon Aound the Sun with New Newton s Fomula of Gavity Fu Yuhua (CNOOC Reseach Institute, E-mail:fuyh945@sina.com) Abstact: Accoding to
More informationPrediction of Motion Trajectories Based on Markov Chains
2011 Intenational Confeence on Compute Science and Infomation Technology (ICCSIT 2011) IPCSIT vol. 51 (2012) (2012) IACSIT Pess, Singapoe DOI: 10.7763/IPCSIT.2012.V51.50 Pediction of Motion Tajectoies
More informationON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS. D.A. Mojdeh and B. Samadi
Opuscula Math. 37, no. 3 (017), 447 456 http://dx.doi.og/10.7494/opmath.017.37.3.447 Opuscula Mathematica ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS D.A. Mojdeh and B. Samadi Communicated
More information( ) [ ] [ ] [ ] δf φ = F φ+δφ F. xdx.
9. LAGRANGIAN OF THE ELECTROMAGNETIC FIELD In the pevious section the Lagangian and Hamiltonian of an ensemble of point paticles was developed. This appoach is based on a qt. This discete fomulation can
More informationDEVIL PHYSICS THE BADDEST CLASS ON CAMPUS IB PHYSICS
DEVIL PHYSICS THE BADDEST CLASS ON CAMPUS IB PHYSICS TSOKOS LESSON 6- THE LAW OF GRAVITATION Essential Idea: The Newtonian idea of gavitational foce acting between two spheical bodies and the laws of mechanics
More informationMultiple Experts with Binary Features
Multiple Expets with Binay Featues Ye Jin & Lingen Zhang Decembe 9, 2010 1 Intoduction Ou intuition fo the poect comes fom the pape Supevised Leaning fom Multiple Expets: Whom to tust when eveyone lies
More informationOnline-routing on the butterfly network: probabilistic analysis
Online-outing on the buttefly netwok: obabilistic analysis Andey Gubichev 19.09.008 Contents 1 Intoduction: definitions 1 Aveage case behavio of the geedy algoithm 3.1 Bounds on congestion................................
More informationAP-C WEP. h. Students should be able to recognize and solve problems that call for application both of conservation of energy and Newton s Laws.
AP-C WEP 1. Wok a. Calculate the wok done by a specified constant foce on an object that undegoes a specified displacement. b. Relate the wok done by a foce to the aea unde a gaph of foce as a function
More informationCalculation of Quark-antiquark Potential Coefficient and Charge Radius of Light Mesons
Applied Physics Reseach ISSN: 96-9639 Vol., No., May E-ISSN: 96-9647 Calculation of Quak-antiquak Potential Coefficient and Chage Radius of Light Mesons M.R. Shojaei (Coesponding autho ) Depatment of Physics
More informationRight-handed screw dislocation in an isotropic solid
Dislocation Mechanics Elastic Popeties of Isolated Dislocations Ou study of dislocations to this point has focused on thei geomety and thei ole in accommodating plastic defomation though thei motion. We
More informationLecture 18: Graph Isomorphisms
INFR11102: Computational Complexity 22/11/2018 Lectue: Heng Guo Lectue 18: Gaph Isomophisms 1 An Athu-Melin potocol fo GNI Last time we gave a simple inteactive potocol fo GNI with pivate coins. We will
More informationRadha Poovendran Network Security Lab University of Washington
A Gaph Theoetic Famewok fo Peventing the Womhole Attack in Wieless Senso Netwoks Radha Poovendan Netwok Secuity Lab Univesity of Washington Womholes Hope fo time tavel Womhole: A space-time distotion that
More informationTailoring Materials and Radiation to Explore Cloaking Phenomena
Tailoing Mateials and Radiation to Exploe Cloaking Phenomena Jonathan Samoajski Septembe 22, 2009 1 Intoduction Radiation-matte inteaction is vey impotant in enegy eseach, especially in the aeas of fusion
More informationModeling Component Connectors: Synchronisation and Context-Dependency
2008 Sixth IEEE Intenational onfeence on Softwae Engineeing and Fomal Methods Modeling omponent onnectos: Synchonisation and ontext-dependency Mohammad Izadi LIS, Leiden Univesity, NL. Institute fo Humanities
More informationTableaux Based Decision Procedures for Modal. Logics of Conuence and Density
Tableaux Based Decision ocedues fo Modal Logics of Conuence and Density Luis Fai~nas del Ceo Olivie Gasquet 1 Intoduction and backgound In [Castilho et al. 1997], a geneal completeness poof based in tableaux
More informationSynthesis for Unbounded Bit-vector Arithmetic
Synthesis fo Unbounded Bit-vecto Aithmetic Andej Spielmann and Vikto Kuncak School of Compute and Communication Sciences (I&C) École Polytechnique Fédéale de Lausanne (EPFL), Switzeland Abstact. We popose
More informationChapter 5 Force and Motion
Chapte 5 Foce and Motion In chaptes 2 and 4 we have studied kinematics i.e. descibed the motion of objects using paametes such as the position vecto, velocity and acceleation without any insights as to
More informationRigid Body Dynamics 2. CSE169: Computer Animation Instructor: Steve Rotenberg UCSD, Winter 2018
Rigid Body Dynamics 2 CSE169: Compute Animation nstucto: Steve Rotenbeg UCSD, Winte 2018 Coss Poduct & Hat Opeato Deivative of a Rotating Vecto Let s say that vecto is otating aound the oigin, maintaining
More informationEVOLUTIONARY COMPUTING FOR METALS PROPERTIES MODELLING
EVOLUTIONARY COMPUTING FOR METALS PROPERTIES MODELLING M.F. Abbod*, M. Mahfouf, D.A. Linkens and Sellas, C.M. IMMPETUS Institute fo Micostuctue and Mechanical Popeties Engineeing, The Univesity of Sheffield
More informationPulse Neutron Neutron (PNN) tool logging for porosity Some theoretical aspects
Pulse Neuton Neuton (PNN) tool logging fo poosity Some theoetical aspects Intoduction Pehaps the most citicism of Pulse Neuton Neuon (PNN) logging methods has been chage that PNN is to sensitive to the
More information1. INTRODUCTION FAST ELLIPTIC CURVE CRYPTOGRAPHY USING OPTIMAL DOUBLE-BASE CHAINS
FAST ELLIPTIC CURVE CRYPTOGRAPHY USING OPTIMAL DOUBLE-BASE CHAINS Voapong Suppakitpaisan, Hioshi Imai Gaduate School of Infomation Science and Technology, The Univesity of Tokyo Tokyo, Japan 11-00 m t
More informationThe Strain Compatibility Equations in Polar Coordinates RAWB, Last Update 27/12/07
The Stain Compatibility Equations in Pola Coodinates RAWB Last Update 7//7 In D thee is just one compatibility equation. In D polas it is (Equ.) whee denotes the enineein shea (twice the tensoial shea)
More informationPulse Neutron Neutron (PNN) tool logging for porosity
Pulse Neuton Neuton (PNN) tool logging fo poosity Some theoetical aspects Hotwell Handelsges.m.b.H Oedenbuge Stasse 6 7013 Klingenbach, AUSTRIA Tel.: +43 (0) 687-48058 Fax: +43 (0) 687 48059 office@hotwell.at
More informationNuclear reactions of heavy ions
Autho: Facultat de Física, Univesitat de Bacelona, Diagonal 645, 08028 Bacelona, Spain. Adviso: Xavie Vinyes Abstact: In this wok nuclea eactions of heavy ions ae studied, focusing on elastic scatteing.
More information