springer-verlag 中文意思是什麼

springer-verlag 解釋
出版集團
  • springer : n 1 跳的人,跳的東西。2 【動物;動物學】?,能哄起獵獲物的長耳小獵犬〈又叫 springer spaniel〉。3 ...
  1. In advances in cryptology - eurocrypt 88, lncs 330, springer - verlag, davos, switzerland, may 1988, pp. 225 - 232

    如果分組密碼對選擇明密文是安全的,則稱它是超偽隨機的。
  2. Vol. 121 of the ima volumes in mathematics and its applications, springer - verlag, berlin heidelberg, 2000, pp. 59 - 82. 9 murray j d. mathematical biology ii : spatial models and biomedical applications. 3rd edition, springer verlag, january 2003, pp. 141 - 191

    這樣,在存儲四個浮點數后,旋轉計算時,只需要12次加法和12次乘法將四元組轉為矩陣,並對一個頂點只進行6次加法和9次乘法。
  3. Look at the numbers ! " and the springer - verlag book

    一文,並且是springer - verlag出版的
  4. " and the springer - verlag book

    」一文以及由springer - verlag出版的書籍
  5. J. pedlosky : geophysical fluid dynamics. springer - verlag, 1981

    余志豪等:地球物理流體動力學。氣象出版社, 1995 。
  6. Springer - verlag, 2002, pp. 48 - 63. 5 smart n p. efficient key encapsulation to multiple parties. lecture notes in computer science 3352, blundo b, cimato s eds.,

    在無線環境的應用中例如移動ad hoc網路,太長的密文會佔用寶貴的無線帶寬,復雜的運算會大大降低應用的實用性。
  7. Eisenbud, david. commutative algebra with a view toward algebraic geometry. vol. 150, graduate texts in mathematics. new york : springer - verlag, 1994. isbn : 0387942696

    《用代數幾何的觀點的交換代數》 。研究生數學教材第150卷。紐約:斯普林格出版社, 1994年版。書號: 0387942696 。
  8. 3 rueppel r a. on the security of schnorr s pseudorandom generator. in advances in cryptology - eurocrypt 89, lncs 434, springer - verlag, houthalen, belgium, april 1989, pp. 423 - 428

    Luby和rackoff的主要結果是:如果輪函數是偽隨機函數,則3輪feistel結構是偽隨機的, 4輪feistel是超偽隨機的。
  9. In advances in cryptology - crypto 91, lncs 547, springer - verlag, brighton, uk, april 1991, pp. 72 - 77. 8 sadeghiyan b, pieprzyk j. on the necessary and sufficient conditions for the construction of super pseudorandom permutations

    Camellia是歐洲密碼大計劃nessie的最終獲勝者,並且是日本政府選定的用於電子政務的密碼演算法,它採用的整體結構是feistel結構。
  10. 2 daws c, olivero a, tripakis s, yovine s. the tool kronos. in dimacs workshop on verification and control of hybrid systems, lncs 1066, springer - verlag, october 1995. 3 henzinger t a, ho p h. hytech : the cornell hybrid technology tool

    當自動機當前狀態為l時,轉換l , g , r , l的使能條件是時鐘變量的取值滿足g ,而當轉換發生之後, r中時鐘的值被重置為0 。
  11. Lecture notes in computer science 843. berlin : springer - verlag, 1994, pp. 89 - 94. 8 inoue k, ito a, takanami i. on 1 - inkdot alternating turing machines with small space

    為了嚴格地分開確定性語言族和非確定性語言族, ranjan等提出了一個稍加修改的圖靈機模型,稱為1墨水點1 inkdot圖靈機。
  12. Belitz. grosch. food chemistry [ m ]. 2nd edition. new york : springer - verlag berlin heidelberg 1999

    闞建全.食品化學.北京:中國農業大學出版社. 2002年
  13. New york : springer - verlag, 1995, pp. 1 - 45. 12 kirkpatrick s, gellatt c d, vecchi m p. optimization by simulated annealing

    其主要步驟為:首先,手工把輸入圖像粗略地劃分為三個區域:前景區域,背景區域和未知區域。
  14. Eurocrypt 93, lofthus, norway : springer - verlag, lncs 765, 1993, pp. 240 - 247. 9 p van oorschot. extending cryptographic logics of belief to key agreement

    並且我們發現,其邏輯計算,可以直接轉成可滿足性問題sat進行處理,從而可以利用工業上高效的sat求解器來計算
  15. 11 mounlinier i, ganascia j g. applying an existing machine learning algorithm to text categorization. in connectionist statistical, and symbolic approaches to learning for natural language processing, wermter s, riloff e, scheler g eds., heidelberg, germany : springer verlag, lecture notes in computer science, vol

    由於挖掘出的特徵項目集可能很多,為了進一步的精簡項目集,提出了一個以可變精度粗糙集模型為基礎的方法對每個特徵頻繁項目集對分類的貢獻進行評估,剪除那些對最後的分類效果貢獻不大的項目集,並用精簡后的項目集構造每類文檔的主題模板。
  16. X. f. zhang and z. zhang, “ progress in transmission electron microscopy : i. concepts and techniques ; ii. application in materials sciences ”, ( tsinghua university press and springer - verlag, beijing, singapore ; sep. 1999, 870 pages )

    「電子顯微學進展: i概念和技術; ii材料科學中的應用」 , (清華,德國斯普林格出版社,世界發行, 1999年,共870頁)
  17. In proc. 7th international workshop on algorithms and data structures wads 2001, lecture notes in computer science 2125, springer verlag, 2001, pp. 165 - 179

    隨后, shun - dong li等設計了點在圓及橢圓中的包含判定協議,並介紹了最近點對的求解問題。
  18. 11 bellare m, namprempre c, neven g. security proofs for identity - based identification and signature schemes. in proc. eurocrypt 2004, interlaken, switzerland, may 2 - 6, 2004, springer - verlag, lncs 3027, pp

    為了該方案的可證明安全性,本文構造了一種基於rabin簽名的特殊變形,並在某種特殊的安全模型下證明了該方案的安全性
  19. The workshop on tools and algorithms for the construction and analysis of systems tacas 99, lncs, springer - verlag, 1999, 1579 : 193 - 207. 4 burch j r, clarke e m, mcmillan k l. symbolic model checking : 10 20 states and beyond. information and computation, rm 1992, 98 : 142 - 170

    在這本文中,我們通過對kripke結構的合理擴充,提供了直接模型檢測dmc direct model checking的矩陣演算法,通過與體系結構描述語言adls的結合, dmc可以被直接應用在相容性consistency等關鍵性質的計算方面。
  20. Siam journal of computing, 1973, 2 : 225 - 231. 14 uno t. algorithms for enumerating all perfect, maximum and maximal matchings in bipartite graphs. lecture notes in computer science 1350, springer - verlag, 1997, pp. 92 - 101

    首先為模型組件添加虛構方程補償缺失的約束以構建調試環境,然後採用圖論方法通過分析相應方程系統的結構鑒別出最小奇異組件,確定欠過約束發生的范圍,並提示給用戶。
分享友人