المؤلفون: Koji Higaki, Toru Nakazaki, 中崎 徹, 桧垣 光次

المصدر: 廃棄物資源循環学会誌 / Material Cycles and Waste Management Research. 2015, 26(1):47

المؤلفون: 王敏中

المساهمون: 北京大学力学与工程科学系

المصدر: 知网

مصطلحات موضوعية: 平面应力问题, 双调和函数, 应力分量, 充分必要条件, 弹性层, 分解式, 应力函数, 叙述作者, 半厚度, 各向异性弹性

Relation: 北京力学会第二十三届学术年会. 2017, 2.; 1959735; http://hdl.handle.net/20.500.11897/490568

الاتاحة: https://hdl.handle.net/20.500.11897/490568

المؤلفون: 葉美春, 阮明淑, Yeh, Mei-Chun, Yuan, Ming-Shu

المساهمون: 世新大學資訊傳播學系, Department of Information and Communications, Shih Hsin University

مصطلحات موضوعية: 知識管理系統, 科技接受模式, 分解式計畫行為理論, 線性結構關係模式, knowledge management systems, technology acceptance model, decomposed theory of planned behavior, linear structural relation model

وصف الملف: 1650446 bytes; application/pdf

Relation: 圖書資訊學刊, 5(1/2), pp.69-90; Journal of Library and Information Studies, 5(1/2), pp.69-90; http://ntur.lib.ntu.edu.tw/handle/246246/185946; http://ntur.lib.ntu.edu.tw/bitstream/246246/185946/1/v5-12-3.pdf

الاتاحة: http://ntur.lib.ntu.edu.tw/handle/246246/185946
http://ntur.lib.ntu.edu.tw/bitstream/246246/185946/1/v5-12-3.pdf

المؤلفون: 陈正新

مصطلحات موضوعية: 内射预解式, 内射预盖, 上纯内射模, 内射分解式, copure injective modules, injective precover, injective resolvent, injective resolutions

Relation: 1009 - 6051(2004) 03 - 0014 - 04; 临沂师范学院学报，2004（6）：14-17; http://dspace.xmu.edu.cn/handle/2288/6415

الاتاحة: http://dspace.xmu.edu.cn/handle/2288/6415

المؤلفون: 耿伯文

مصطلحات موضوعية: 性別研究, 分解式計劃行為理論, 電子化政府, 婦女數位落差, gender study, Decomposed Theory of Planned Behavior, e-Government, female digital divide, socio, psy

Relation: http://ir.lib.ncku.edu.tw/handle/987654321/140862

الاتاحة: http://ir.lib.ncku.edu.tw/handle/987654321/140862

المؤلفون: 汪仁官, 高惠璇

المساهمون: 北京大学概率统计系

المصدر: 知网

مصطلحات موضوعية: 集装箱码头, 概率母函数, 布局方式, 机械配备, 装卸方式, 分解式, 篇数, 交通条件, 近似公式, 船上

Relation: 数理统计与管理.1991,(06),43-46.; 1031103; http://hdl.handle.net/20.500.11897/13228

الاتاحة: https://hdl.handle.net/20.500.11897/13228

المؤلفون: 張肯緁, Ken-Jie Chang

المساهمون: 高階經理人碩士在職專班, 陳美源

مصطلحات موضوعية: 股東權益報酬率, 杜邦分解式, TWEFIS, Power BI, Return on Equity, DuPont Analysis, manag, eco

Relation: http://hdl.handle.net/11455/98040

الاتاحة: http://hdl.handle.net/11455/98040

المؤلفون: 曾彥博, Tseng, Yen-Po

المساهمون: 王育民, 管理學院:資訊管理學系

مصطلحات موضوعية: 自媒體, 直播平台, 直播主, 分解式計畫行為理論, We Media, Live Streaming, Streamer, Decomposed Theory of Planned Behavior

وصف الملف: 149 bytes; text/html

Relation: http://ir.ncnu.edu.tw:8080/handle/310010000/11323; http://ir.ncnu.edu.tw:8080/bitstream/310010000/11323/1/index.html

الاتاحة: http://ir.ncnu.edu.tw:8080/handle/310010000/11323
http://ir.ncnu.edu.tw:8080/bitstream/310010000/11323/1/index.html

المؤلفون: 王孟威

المساهمون: 王育民, 管理學院:資訊管理學系

مصطلحات موضوعية: 腦機介面, 腦電波圖, 科技接受模式, 任務科技適配度, 分解式計畫行為理論, Brain-Computer Interface, Electroencephalogram, Technology Acceptance Mode, Task-Technology fit Model, Decomposed Theory of Planned Behavior, info, manag

Relation: http://ir.ncnu.edu.tw:8080/handle/310010000/10415

الاتاحة: http://ir.ncnu.edu.tw:8080/handle/310010000/10415

المؤلفون: 林世欽, Lin, Shih-Chin

المساهمون: 工程科學系碩士在職專班, 黃悅民, Hung, Yueh-Min

مصطلحات موضوعية: 行動學習, 分解式計畫行為理論, 使用意圖, Mobile Learning, Decomposed Theory of Planned Behavior, Use Intention, edu, psy

Relation: http://ir.lib.ncku.edu.tw/handle/987654321/168742

الاتاحة: http://ir.lib.ncku.edu.tw/handle/987654321/168742

المؤلفون: 施宏毅, Shih, Hong-Yi

المساهمون: 王育民, 管理學院:資訊管理學系

مصطلحات موضوعية: 網路創業, 分解式計畫行為理論, 行為意向, Internet Business, Decomposed Theory of Planned Behavior, Behavioral Intentions, eco, manag

Relation: http://ir.ncnu.edu.tw:8080/handle/310010000/9561

الاتاحة: http://ir.ncnu.edu.tw:8080/handle/310010000/9561

المؤلفون: 陳窈鈴, Chen, Yao-Ling

المساهمون: 休閒事業管理系碩士班, 何昶鴛, Chaang-Iuan Ho

مصطلحات موضوعية: 分解式計劃行為理論, 科技接受模式, Galileo旅館訂房系統, 全球分銷系統, Global Distribution System, Galileo hotel reservation system, Decomposed theory of planned behavior, Technology acceptance model

وصف الملف: 933272 bytes; application/pdf

Relation: 099CYUT5675037; http://ir.lib.cyut.edu.tw:8080/handle/310901800/31174; http://ir.lib.cyut.edu.tw:8080/bitstream/310901800/31174/1/099CYUT5675037-001.pdf

الاتاحة: http://ir.lib.cyut.edu.tw:8080/handle/310901800/31174
http://ir.lib.cyut.edu.tw:8080/bitstream/310901800/31174/1/099CYUT5675037-001.pdf

المؤلفون: 劉麗娟, 許春峰

مصطلحات موضوعية: 互動式電子白板, 行為意願, 分解式計畫行為理論

Relation: 資訊科學應用期刊第6卷第2期; http://140.127.82.166/handle/987654321/6750; http://140.127.82.166/bitstream/987654321/6750/-1/121.pdf

الاتاحة: http://140.127.82.166/handle/987654321/6750
http://140.127.82.166/bitstream/987654321/6750/-1/121.pdf

المؤلفون: 許瓊方, Hsu, Chuing-Fang

المساهمون: 電信管理研究所, 魏健宏, Wei, Chien-Hung

مصطلحات موضوعية: Parking Guidance and Information Services, Mobile Commerce, Wireless Communication, Decomposed Theory of Planned Behavior, User Intention, 無線通訊, 停車導引資訊服務, 行動商務, 採用意願, 分解式計畫行為理論, info, geo

Relation: http://ir.lib.ncku.edu.tw/handle/987654321/94686

الاتاحة: http://ir.lib.ncku.edu.tw/handle/987654321/94686

المؤلفون: 蔡忠佑, Tsai, Chung-Yu

المساهمون: 電信管理研究所, 魏健宏, Wei, Chien-Hung

مصطلحات موضوعية: Parents, Youths, Decomposed TPB, Internet Filtering Systems, 網路過濾系統, 分解式計畫行為理論, 孩童, 家長, psy, info

Relation: http://ir.lib.ncku.edu.tw/handle/987654321/94687

الاتاحة: http://ir.lib.ncku.edu.tw/handle/987654321/94687

المؤلفون: 林坤龍.呂琪茹.田筱代.朱志遠

المساهمون: 資訊管理系

مصطلحات موضوعية: 小波分解式、股市報酬率、技術指標、區隔分析、經濟指標。

Relation: 指導老師:張家豪; http://120.106.195.12/handle/310904600Q/4540

الاتاحة: http://120.106.195.12/handle/310904600Q/4540

المؤلفون: 楊斌襁, Bin-Chiang Yang

المساهمون: 陳建祥, Jian-Shiang Chen

مصطلحات موضوعية: 位置轉換器, 分解式位置感測器, 光學尺, 霍爾效應位置感測器, 解角數位轉換器, Position Converter, Resolver, Inductosyn, Hall-effect Position Sensor, Sine/Cosine Opitcal Encoder, Resolver-to-Digital Converter

Time: 28

وصف الملف: 1001320 bytes; application/octet-stream

Relation: http://nthur.lib.nthu.edu.tw/dspace/handle/987654321/5131

الاتاحة: http://nthur.lib.nthu.edu.tw/dspace/handle/987654321/5131

المؤلفون: 林欣潔

مصطلحات موضوعية: 數位監控系統, 隱私侵犯, 分解式計畫行為理論, Video surveillance system, Privacy invasion, Decomposed Theory of Planned Behavior

وصف الملف: 148 bytes; application/octet-stream

Relation: http://ir.lib.ntust.edu.tw/handle/987654321/7581; http://ir.lib.ntust.edu.tw/bitstream/987654321/7581/1/

الاتاحة: http://ir.lib.ntust.edu.tw/handle/987654321/7581
http://ir.lib.ntust.edu.tw/bitstream/987654321/7581/1/

المؤلفون: 于濂波, Yu, Lien-Po

المساهمون: 顏嗣鈞, 臺灣大學：電機工程學研究所

مصطلحات موضوعية: 複雜度, 可控制性, 分解式策略, 可決定性, 無窮狀態系統, 派翠網, 可到達性, 自穩定性, 評價方法, 驗證, Complexity, Controllability, Decomposition strategy, Decidability, Infinite-state system, Petri net, Reachability, Self-stabilization, Valuation method, Verification

وصف الملف: 748184 bytes; application/pdf

Relation: [1] R. Alur and D. Dill, "A theory of timed automata", Theoret. Comput. Sci., 126, pp.183-235, 1994. [2] P. Abdulla and B. Jonsson, "Undecidable verification problems for programs with unreliable channels", Inform. and Comput., 130, pp.71-90, 1996. [3] A. Bouajjani and R. Mayr, "Model checking lossy vector addition systems", Proc. of STACS'99, LNCS 1563, pp.323-333, 1999. [4] G. Cece, A. Finkel and S. Iyer, "Unreliable channels are easier to verify than perfect channels", Inform. and Comput., 124(1), pp.20-31, 1996. [5] L. Cherkasova, R. Howell and L. Rosier, "Bounded self-stabilizing Petri nets", Acta Informatica, 32, pp.189-207, 1995. [6] E. Clarke, O. Grumberg and D. Long, "Veri‾cation Tools for Finite-State Concurrent Systems", Lecture Notes in Computer Science, 803, Springer-Verlag, pp.124-175, 1994. [7] L. Dickson, "Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors", Amer. J. Math., 35, pp.413-422, 1913. [8] E. Dijkstra, "Self-stabilizing systems in spite of distributed control", C. ACM, 17, pp.643-644, 1974. [9] S. Ginsburg, "The mathematical theory of context-free languages", McGraw-Hill, 1966. [10] M. Gouda, R. Howell and L. Rosier, "The instability of self-stabilization", Acta Informatica, 27, pp.697-724, 1990. [11] T. Herman, "A comprehensive bibliography on self-stabilization", http://www.cs.uiowa.edu/ftp/selfstab/bibliography), Chicago Journal of Theoretical Computer Science, 1998. [12] L. Holloway and B. Krogh, "Controlled Petri nets: a tutorial survey", Discrete Event Systems, Lecture Notes in Control and Information Sciences, 199, G. Cohen and J.-P. Quadrat (eds.), pp.158-168, Springer-Verlag, 1994. [13] J. Hopcroft and J. Pansiot, "On the reachability problem for 5-dimensional vector addition systems", Theoret. Comput. Sci., 8(2), pp.135-159, 1979. [14] R. Howell and L. Rosier, "On questions of fairness and temporal logic for conflictfree Petri nets", in G. Rozenberg, editor, Advances in Petri Nets, LNCS 340, pp.200-226, Springer-Verlag, Berlin, 1988. [15] R. Howell, L. Rosier and H. Yen, "Normal and sinkless Petri nets", Journal of Computer and System Sciences, 46, pp.1-26, 1993. [16] A. Ichikawa and K. Hiraishi, "Analysis and control of discrete event systems represented by Petri nets", LNCIS 103, pp.115-134, 1987. [17] R. Kosaraju, "Decidability of reachability in vector addition systems", Proc. the 14th Annual ACM Symposium on Theory of Computing, pp.267-280, 1982. [18] R. Kumar and V. K. Garg, "Control of stochastic discrete event systems modeled by Probabilistic languages", IEEE Transaction on Automatic Control, 46(4), pp.593-606, 2001. [19] P. Kungas, "Resource-conscious AI planning with conjunctions and disjunctions", Acta Cybernetica, 15(4), pp.601-620, 2002. [20] L. Landweber and E. Robertson, "Properties of con°ict-free and persistent Petri nets", J. ACM 25(3), pp.352-364, 1978. [21] R. Lipton, "The reachability problem requires exponential space", Technical Report 62, Yale University, Dept. of CS., Jan. 1976. [22] M. Lawford and W. M. Wonham, "Supervisory control of probabilistic discrete event systems", Proc. 36th Midwest Symp. Circuits Systems, pp.327-331, 1993. [23] M. A. Marsan, G. Balbo, G. Conte, S. Donatelli and G. Franceschinis, "Modeling with generalized stochastic petri nets", John Wiley & Sons, 1995. [24] T. Matsumoto and Y. Mayano, "Reachability criterion for Petri nets with known‾ring vectors", IEICE Trans. on Fundamentals in Electronics, Communications and Computer Science, Vol. 81-A, No. 4, pp.628-634. 1998. [25] E. Mayr, "An algorithm for the general Petri net reachability problem", SIAM J. Comput. 13, pp.441-460, 1984. [26] R. Mayr, "Undecidable problems in unreliable computations", Theoret. Comput. Sci., 1-3(297), pp.337-354, 2003. [27] T. Murata, "Petri nets: properties, analysis and applications", Proc. of the IEEE, 77(4), pp.541-580, 1989. [28] H. Olsen, "Automatic veri‾cation of Petri nets in a CLP framework", Ph.D. Thesis, Dept. of Computer and Information Science, IDA, LinkÄoping Univ., 1997. [29] J. Peterson, "Petri Net Theory and the Modeling of Systems", Prentice Hall, Englewood Cli®s, NJ, 1981. [30] M. Presburger, ""Uber die vollstÄandigkeit eines gewissen systems der arithmetik.", Comptes rendues du premier Congres des Math. des Pays Slaves, Warsaw, pp.92-101, 395, 1929. [31] P. Ramachandran and M. Kamath, "A sufficient condition for reachability in a general Petri net", Discrete Event Dynamic Systems, vol. 14, no. 3, pp.251-266, July 2004. [32] W. Reisig, "Petri Nets: An Introduction", Springer-Verlag, New York, 1985. [33] L. Rosier and H. Yen, "Logspace hierarchies, polynomial time and the complexity of fairness problems concerning w-machines", SIAM J. Computing, 16(5), pp.779- 807, 1987. [34] D. Schmidt, "Denotational Semantics", Allyn and Bacon, 1986. [35] R. Valk and M. Jantzen, "The Residue of Vector Sets with Applications to Decidability in Petri Nets", Acta Informatica, 21, pp.643-674, 1985. [36] H. Yamasaki, "Normal Petri nets", Theor. Comput. Sci., 31, pp.307-315, 1984. [37] H. Yen, B.Wang and M. Yang, "Deciding a class of path formulas for conflict-free Petri nets", Theory of Computing Systems, 30(5), pp.475-494, 1997. [38] H. Yen, "A unified approach for deciding the existence of certain Petri net paths", Inform. and Comput., 96(1), pp.119-137, 1992. [39] H. Yen, "On the regularity of Petri net languages", Inform. and Comput., 124(2), pp.168-181, 1996. [40] H. Yen, "On reachability equivalence for BPP-nets", Theoretical Computer Science, 179, pp.301-317, 1997. [41] H. Yen, "A valuation-based analysis of conflict-free Petri nets", Systems and Control Letters, 45(5), pp.387-395, 2002.; en-US; http://ntur.lib.ntu.edu.tw/handle/246246/53241; http://ntur.lib.ntu.edu.tw/bitstream/246246/53241/1/ntu-94-D87921019-1.pdf

الاتاحة: http://ntur.lib.ntu.edu.tw/handle/246246/53241
http://ntur.lib.ntu.edu.tw/bitstream/246246/53241/1/ntu-94-D87921019-1.pdf

المؤلفون: 程乾生, 许承德

المساهمون: 北京大学, 哈尔滨工业大学

المصدر: 知网

مصطلحات موضوعية: L~2, 希尔伯特空间, 平稳序列, 闭包, 空间的, 张成, 分解式, 几乎处处, 零元素, 非负定

Relation: 数学学报.1983,(04),424-432.; 754259; http://hdl.handle.net/20.500.11897/300073

الاتاحة: https://hdl.handle.net/20.500.11897/300073