検索結果 172 件
紙図書
国立国会図書館全国の図書館
- 要約等... proliferation of large data set......hen the number of potential pred....... The Handbook of Bayesian Varia......hensive review of theoretical, methodologica...... computational aspects of Bayesian methods for variable...
- 内容細目... computational aspects Recent theoretical advances with ......nd-slab priors Theoretical and computational aspects of continuous spi......sso : a review of the spike-and-......able selection Theoretical guarantees for......ian estimation of single and mul......ariate mixture of regression models
- 関連情報Handbooks of modern statistical methods
紙図書
国立国会図書館
- 並列タイトル等（連結）Theoretical aspects of computing -- ICTAC 2006 : 3rd internati...
- 並列タイトル等Theoretical aspects of computing -- ICTAC 2006 : 3rd internati...
- 著者標目...Institute for Software Technology. Barkaoui, Ka...
紙図書
国立国会図書館
- 並列タイトル等（連結）Theoretical aspects of computing -- ICTAC 2005 : 2nd internati...
- 並列タイトル等Theoretical aspects of computing -- ICTAC 2005 : 2nd internati...
- 著者標目...Institute for Software Technology. Dang, Hung V...
紙図書
国立国会図書館
- 並列タイトル等（連結）Theoretical aspects of computing -- ICTAC 2004 : 1st internati...
- 並列タイトル等Theoretical aspects of computing -- ICTAC 2004 : 1st internati...
- 著者標目...Institute for Software Technolog......uizhou Academy of Sciences.
紙図書
国立国会図書館
- 内容細目...t. 7. Security aspects pt. 8. Tools, applications, a...
- 件名Sensor networks--Data processing. Multisensor data fusion. Mobile computing.
- タイトル標目Monographs in theoretical computer science. 1431-2654
紙図書
国立国会図書館
- タイトル標目...library. SL 1, Theoretical computer science and general ...
紙図書
国立国会図書館
- 一般注記...l Colloquia on Theoretical Aspects of Computing (ICTAC) is a series of annual events (...)" -- pref.
紙図書
国立国会図書館
- 件名...--Congresses. Software engineering--Congresses.
- タイトル標目LNCS sublibrary. SL 1, Theoretical computer science and general ...
- 著者標目...onal Institute of Information Te......Institute for Software Technology.
紙図書
国立国会図書館
- 要約等...s from system software such as p......pment support software and big-d......ta processing software, this boo...... cutting-edge software technolog...... extreme scale computing. The findings ......er development of exascale computing technologies. ...... book grew out of the post-peta ......ency, the goal of which was to establish software technolog......me performance computing beyond petascale computing. The respectiv......the complexity of memory hierarc...... the direction of future high-performance computing was also a central priority.
- 内容細目...ost-petascale Software Project B......ng to Exascale Computing; 1.1 Trends of High-Performance Computing; 1.2 Outline of JST CREST Post-petascale Software Project; ......esearch Topics of the Project; 1......; 2.1 Overview of ppOpen-HPC; 2.2 Development of pK-Open-FVM; 2......he Development of Reactive Plasm......arallelization of Multicoloring ......arallelization of the ILU Precon.......4 Publication of Deliverable; 2.......4.1 Functions of ppOpen-AT2.4.2.......5 Development of a Multi-physic......ent Structures of H-Matrices on ......se Eigen-Super Computing Engine; 3.2.1 ......cepts; 3.2.1.2 Theoretical Aspect 3.2.1.3 Extension to N...
- 件名High performance computing. Computer software.
紙図書
国立国会図書館
- 要約等...n the occasion of his 70th birth...... in the course of the 10th Inter...... Colloquium on Theoretical Aspects of Computing, ICTAC 2013. T......broad spectrum of subjects, from......undational and theoretical topics to prog......rmal methods, software and syste......emantics, laws of programming, specification an...
- 件名Computer programming. Formal methods (Computer science) Software engineering.
- タイトル標目...library. SL 1, Theoretical computer science and general ...
紙図書
国立国会図書館
- タイトル標目...library. SL 1, Theoretical computer science and general ...
- 著者標目...ka. University of the Witwatersr......Institute for Software Technology.
紙図書
国立国会図書館
- 要約等...he application of computational ......he book covers theoretical background and methodologies of chem-bioinform...... the inclusion of practical case......rs and R & D professionals in the pharmaceutica...
- 内容細目...he Development of New Indication......2. Observation of Unexpected Sid......3.3. Detection of a New Role for......Identification of New Drug-Targe......n; 2. Overview of Current Approa......Classification of Computer-Aided......n Applications of Computer-Aided......l Applications of Computer-Aided....... Applications of Machine Learni......4.5.1. General Aspects of Molecular Dyna....... Applications of Molecular Dyna......ng; Section 2: Theoretical Background and......s; 3. Examples of Successful Dru......nd Limitations of In Silico Drug Repositioning;...
紙図書
国立国会図書館
- 内容細目Dedication to a Theory of Modelling: Ber......d Approach to Software Design an...... Data-Parallel Computing OSM-Logic: A F...... Formalization of Object-oriente......tion On Models of Concepts and D......mple: A Survey of the First Wave On Computing the Importance of Associations i......ptual Modeling of Human Genome: ......ensional Logic of Hyperintension......ture Sensitive Aspects in Software Engineeri......ral Multimedia Computing with Impression-Based Semanti...
- 件名...uter science. Software engineeri......s and Meanings of Programs. Mathematical Logic ...
- 著者標目Düsterhöft, Antje. Klettke, Meike. Sche...
紙図書
国立国会図書館
- タイトル標目...blibrary. SL 1 Theoretical computer science and general ...
- 著者標目...na. University of York. ICTAC 2010 (2010 : Nata...
紙デジタル記事
インターネットで読める国立国会図書館全国の図書館
紙図書
国立国会図書館
- 件名...Lumpur <2009> Softwareentwicklung -- Entwurfsmu...
- タイトル標目...blibrary. SL 1 Theoretical computer science and general ...
デジタル電子書籍・電子雑誌図書
国立国会図書館
紙図書
国立国会図書館
- 著者標目...Institute for Software Technology. ICTAC 2008 (...
紙図書
国立国会図書館
- 一般注記Papers. "The Symposium on Theoretical Aspects of Computer Science (STACS) is a...
- 著者標目.... Symposium on Theoretical Aspects of Computer Science (24th : 2007...
紙図書
国立国会図書館
- 一般注記...l Colloquia on Theoretical Aspects of Computing (ICTAC) is a series of annual events founded in 2003...