Computational Methods in Systems Biology

Posted By:

Date: 18 Oct 2021 17:52:44

This book constitutes the refereed proceedings of the 19th International Conference on Computational Methods in Systems Biology, CMSB 2021, held in Bordeaux, France, September 22–24, 2021.*

Computational Methods Systems Biology artificial intelligence distributed computer systems computer networks formal logic embedded systems fuzzy sets fuzzy control computer programming computer systems differential equations linear matrix inequalities matrix algebra network architecture software engineering signal processing probability

Details

OpenMP: Enabling Massive Node-Level Parallelism

Posted By:

Date: 18 Oct 2021 16:00:39

This book constitutes the proceedings of the 17th International Workshop on OpenMP, IWOMP 2021, held virtually in September 2021 and hosted by the High Performance Computing research group at the University of Bristol, UK.

computer programming distributed computer systems embedded systems field programmable gate array parallel programming parallel processing systems program compilers fpga microprocessor chips computing tasking expansions

Details

Advances in Model and Data Engineering in the Digitalization Era

Posted By:

Date: 7 Oct 2021 00:11:24

Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings by Ladjel Bellatreche
English | PDF | 2021 | 337 Pages | ISBN : 303087656X | 27.4 MB

This book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.

Science artificial intelligence computer hardware computer networks cryptography data security computer systems computer programming embedded systems signal processing network protocols software engineering software design software architecture

Details

Computational Methods in Systems Biology

Posted By:

Date: 18 Sep 2021 01:50:38

Computational Methods in Systems Biology: 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings by Eugenio Cinquemani
English | PDF | 2021 | 292 Pages | ISBN : 3030856321 | 17.3 MB

This book constitutes the refereed proceedings of the 19th International Conference on Computational Methods in Systems Biology, CMSB 2021, held in Bordeaux, France, September 22–24, 2021.*

Computational Methods Systems Biology artificial intelligence distributed computer systems computer networks differential equations computer systems computer programming fuzzy control fuzzy sets embedded systems formal logic linear matrix inequalities matrix algebra network architecture software engineering signal processing probability numerical methods Bioinformatics Artificial Intelligence Programming Operating Systems Information Systems Communication Service Theory of Computation Computer Communication Networks Computer Science

Details

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

Posted By:

Date: 15 Sep 2021 16:02:32

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers by Loek Cleophas
English | EPUB | 2020 | 344 Pages | ISBN : 3030672190 | 27.9 MB

This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.

Mathematics Electronics Development programming languages software architecture computer science computer hardware Algorithms Patterns Programming Controllers IT Science FPGA signal processing artificial intelligence mathematics Technology Embedded system software engineering Communication Engineering embedded systems Software Engineering Formal Methods

Details

OpenMP: Enabling Massive Node-Level Parallelism

Posted By:

Date: 11 Sep 2021 18:30:03

OpenMP: Enabling Massive Node-Level Parallelism: 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings by Simon McIntosh-Smith
English | PDF | 2021 | 231 Pages | ISBN : 303085261X | 13.3 MB

computer programming distributed computer systems embedded systems field programmable gate array parallel programming microprocessor chips fpga program compilers parallel processing systems

Details

Parallel Computing Technologies

Posted By:

Date: 7 Sep 2021 06:05:42

Parallel Computing Technologies: 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings by Victor Malyshkin
English | PDF | 2021 | 482 Pages | ISBN : 3030863581 | 32.7 MB

This book constitutes the proceedings of the 16th International Conference on Parallel Computing Technologies, PaCT 2021, which was held during September 13-18, 2021. The conference was planned to take place in Kaliningrad, Russia, but changed to an online event due to the COVID-19 pandemic.

computer networks FGPA grid computing signal processing parallel programming program generation parallel architectures embedded systems distributed systems Parallel Computing Technologies Parallel Computing

Details

Information Security and Cryptology – ICISC 2020

Posted By:

Date: 6 Jun 2021 13:50:05

This book constitutes selected papers from the 23rd International Conference on Information Security and Cryptology, ICISC 2020, held in Seoul, South Korea, in December 2020. Due to the COVID-19, the confere was held online.

network security computer networks InfoSec Mathematics Development IT Security Cryptography privacy cryptology authentication computer hardware ciphertexts cryptography public key cryptography Science SQL Programming IT information security Algorithms computer security Databases Hacking secret key Hackers Patterns embedded systems Hardware Engineering data security Technology ePub

Details

Tools and Methods of Program Analysis

Posted By:

Date: 3 Jun 2021 13:35:55

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.

hardware data mining Mathematics embedded systems Development architecting computer hardware artificial intelligence signal processing Science Programming IT Controllers Patterns Algorithms computer systems Embedded system Program Analysis Communication software systems Engineering computer programming Technology ePub

Details

Formal Methods – Fun for Everybody

Posted By:

Date: 27 May 2021 20:45:45

This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.

Development Controllers architecture validation software engineering software architecture Programming IT Mathematics software design Patterns Engineering formal logic formal languages Technology Science Algorithms Embedded system Communication embedded systems ePub

Details

Information Security and Cryptology – ICISC 2020

Posted By:

Date: 14 May 2021 17:22:55

Information Security and Cryptology – ICISC 2020: 23rd International Conference, Seoul, South Korea, December 2–4, 2020, Proceedings by Deukjo Hong
English | PDF | 2021 | 289 Pages | ISBN : 3030688895 | 17.8 MB

network security computer networks InfoSec Mathematics Web development Development IT Security Cryptography privacy cryptology authentication computer hardware ciphertexts Web dev cryptography public key cryptography Science data security Programming IT information security Algorithms computer security Databases secret key Patterns Communication Hardware SQL embedded systems

Details

Tools and Methods of Program Analysis

Posted By:

Date: 19 Apr 2021 18:52:43

Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers by Anna Kalenkova
English | PDF | 2021 | 216 Pages | ISBN : 3030714713 | 15.6 MB

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.

hardware data mining Mathematics embedded systems Development architecting computer hardware artificial intelligence signal processing Science Programming IT Patterns Algorithms Databases computer systems Program Analysis Communication software systems Engineering computer programming SQL Technology

Details

Logic-Based Program Synthesis and Transformation

Posted By:

Date: 29 Mar 2021 17:39:38

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020.

Development linguistics Algorithms software engineering embedded systems Philosophy Programming Science Mathematics logic programming Patterns Engineering formal languages Technology natural language processing Cultures computer programming theory of computation software quality ePub

Details

Transactions on Petri Nets and Other Models of Concurrency XV

Posted By:

Date: 26 Mar 2021 13:53:02

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process.

petri nets software design model checking Mathematics Development software architecture timed petri net artificial intelligence graph theory Science architecting Programming Patterns Algorithms Databases software engineering embedded systems Engineering SQL colored petri nets Technology ePub theoretical computer science

Details

Static Analysis

Posted By:

Date: 14 Mar 2021 12:09:06

This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020.

Development data flow analysis Patterns Technology Programming static analysis security analysis Engineering formal logic Algorithms abstract domains Science Mathematics embedded systems

Details

Publication archive