Risultati della ricerca - parallel quantitative system function function https

Cerca anche:
parallel quantitative » parallel qualitative , parallel quantification , appraisal quantitative
quantitative system » quantitative systems , quantitative survey , quantitative cysteinyl
function function » function functional , functions functional , function dysfunction
system function » systemic functional
function https » functions https , fiction https

The Computing Dendrite From Structure to Function /

Pubblicazione 2014

Sommario: “... -- Distributed parallel processing in retinal amacrine cells -- Dendritic computation of direction in retinal...”
Testo

Elettronico eBook

Polyadenylation Methods and Protocols /

Pubblicazione 2014

Sommario: “... in a Mammalian Cell-free System -- Quantitative Analysis of Deadenylation-independent mRNA Decay by a...”
Testo

Elettronico eBook

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Pubblicazione 2014

Sommario: “... Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional...”
Testo

Elettronico eBook

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

Pubblicazione 2015

Sommario: “... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”
Testo

Elettronico eBook

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences /

Pubblicazione 2006

Sommario: “... -- Quantitative Embedded System Architecture and Performance Analysis....”
Testo

Elettronico eBook

Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2

Pubblicazione 2015

Sommario: “... Chain Models -- Integrated Solid Waste Management System Design under Uncertainty -- A Uniform...”
Testo

Elettronico eBook

Software Engineering 2 Specification of Systems and Languages /

di Bjørner, Dines., Bjørner, Dines.
Pubblicazione 2006

Sommario: “... Charts -- Statecharts -- Quantitative Models of Time -- Interpreter and Compiler Definitions -- SAL...”
Testo

Elettronico eBook

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Pubblicazione 2006

Sommario: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
Testo

Elettronico eBook

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Pubblicazione 2015

Sommario: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Testo

Elettronico eBook

Emerging Research in Electronics, Computer Science and Technology Proceedings of International Conference, ICERECT 2012 /

Pubblicazione 2014

Sommario: “... Based Face Recognition Systems-A Survey -- Relationship between View Angle and Distance Between Parallel...”
Testo

Elettronico eBook

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings /

Pubblicazione 2012

Sommario: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Testo

Elettronico eBook

Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26,...

Pubblicazione 2013

Sommario: “... to Address Interactive Critical Systems Aspects -- Ageing and Innovation -- Understanding User Experience...”
Testo

Elettronico eBook

Financial Cryptography and Data Security 17th International Conference, FC 2013, Okinawa, Japan, April 1-5, 2013, Revised Selected Papers /

Pubblicazione 2013

Sommario: “... (Bitcoin) -- Quantitative Analysis of the Full Bitcoin Transaction Graph -- Beware the Middleman: Empirical...”
Testo

Elettronico eBook

Protein Microarrays Methods and Protocols /

Pubblicazione 2011

Sommario: “... -- Protein Function Microarrays for Customized Systems-Oriented Proteome Analysis -- Optimized Autoantibody...”
Testo

Elettronico eBook

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Pubblicazione 2014

Sommario: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
Testo

Elettronico eBook

Advances in Cognitive Neurodynamics (IV) Proceedings of the Fourth International Conference on Cognitive Neurodynamics - 2013 /

Pubblicazione 2015

Sommario: “... Study of c-VEP/SSVEP BCI Hybrid System -- Part II: Higher Mental Functions and Dysfunctions -- Memory...”
Testo

Elettronico eBook

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Testo

Elettronico eBook

Immune Homeostasis Methods and Protocols /

Pubblicazione 2013

Sommario: “...Quantitating Lymphocyte Programmed Cell Death (PCD) In Vitro Using Simple Kill Assays...”
Testo

Elettronico eBook

Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part II /

Pubblicazione 2015

Sommario: “... -- System Development Ontology to Discover Lifestyle Patterns Associated with NCD -- USSD technology a low...”
Testo

Elettronico eBook

Algorithm Theory - SWAT 2010 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings /

Pubblicazione 2010

Sommario: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
Testo

Elettronico eBook

Restringi la ricerca