This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these steps in a single process. All of the approaches discussed are based on a formal model that can easily be extended to cope with further design problems. In addition to the exact methods, heuristic approaches are provided and the complexity classes of various design problems are determined.
"synopsis" may belong to another edition of this title.
Oliver Keszcze is a postdoctoral researcher at University of Bremen and DFKI GmbH
in Bremen, Germany.
Robert Wille is Full Professor at the Johannes Kepler University Linz. From 2002 to 2006, Robert Wille studied Computer Science (Diploma) at the University of Bremen. After successfully completing his doctorate in 2009 (summa cum laude), he worked as postdoc at the University of Bremen and, since 2013, as Senior Researcher in the Cyber-Physical Systems department of the German Research Center for Artificial Intelligence (DFKI). Besides that, he served as lecturer at the University of Applied Science Bremen from 2010 to 2012 and was guest professor for Technical Computer Science at the University of Potsdam in 2012 as well as for Embedded Systems at the Technical University of Dresden in 2013/2014. In 2014, he completed his habilitation and, since October 2015, he is full professor at the Johannes Kepler University Linz and head of the Department for Integrated Circuit and System Design.
Robert Wille's expertise is in the development of design technologies for various application areas – with a particular focus on the design, verification, and test of circuits and systems. He considers thereby conventional as well as emerging computing technologies such as quantum computation, reversible circuits, or microfluidic biochips. Since 2007, Robert Wille published more than 150 journal and conference papers in this area (including top-notch venues such as DAC, DATE, ICCAD, ASP-DAC, MoDELS, or TCAD) and was repeatedly awarded (e.g. with a Best Paper Award at the International Conference on Computer-Aided Design in 2013 and the Forum on Specification and Design Languages in 2010).
Robert Wille served as Guest Editor for the ACM Journal on Emerging Technologies in Computing Systems (JETC), Springer's Lecture Notes in Computer Science (LNCS), and the Journal for Multiple-Valued Logic and Soft Computing (MVLSC). Additionally, he was PC Chair at the Forum on Description Languages, the Conference on Reversible Computation, and the International Symposium on Multiple-Valued Logic (ISMVL) as well as served as Subcommittee Chair at the Asia and South Pacific Design Automation Conference (ASP-DAC), was in program committees of numerous conferences such as ASP-DAC, DAC, ICCAD, ISMVL, etc., and organized several conferences, tutorials, Dagstuhl seminars, workshops, and special sessions.
Rolf Drechsler is head of Cyber-Physical Systems department at the German Research Center for Artificial Intelligence (DFKI) since 2011. Furthermore, he is a Full Professor at the Institute of Computer Science, University of Bremen, since 2001. Before, he worked for the Corporate Technology Department of Siemens AG, and was with the Institute of Computer Science, Albert-Ludwig University of Freiburg/Breisgau, Germany. Rolf Drechsler received the Diploma and Dr. Phil. Nat. degrees in computer science from the Goethe-University in Frankfurt/Main, Germany, in 1992 and, respectively, 1995. Rolf Drechsler focusses in his research at DFKI and in the Group for Computer Architecture, which he is heading at the Institute of Computer Science of the University of Bremen, on the development and design of data structures and algorithms with an emphasis on circuit and system design.
"About this title" may belong to another edition of this title.
Shipping:
FREE
Within U.S.A.
Book Description Hardcover. Condition: new. Seller Inventory # 9783319909356
Book Description Condition: new. Seller Inventory # a8be72997882381f7fce8acf4e3523ca
Book Description Condition: New. Seller Inventory # 32699592-n
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020112178
Book Description hardback. Condition: New. Language: ENG. Seller Inventory # 9783319909356
Book Description Hardcover. Condition: Brand New. 143 pages. 9.25x6.10x0.63 inches. In Stock. Seller Inventory # __3319909355
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783319909356_lsuk
Book Description Condition: New. Seller Inventory # 32699592-n
Book Description Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these steps in a single process. All of the approaches discussed are based on a formal model that can easily be extended to cope with further design problems. In addition to the exact methods, heuristic approaches are provided and the complexity classes of various design problems are determined.Presents exact methods to tackle a variety of design problems for Digital Microfluidic Biochips (DMFBs);Describes an holistic, one-pass approach solving different design steps all at once;Based on a formal model of DMFBs that is easily adaptable to deal with further design tasks. 144 pp. Englisch. Seller Inventory # 9783319909356
Book Description Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents exact methods to tackle a variety of design problems for Digital Microfluidic Biochips (DMFBs)Describes an holistic, one-pass approach solving different design steps all at once Based on a formal model of DMFBs that i. Seller Inventory # 220289601