×

Found 281 Documents (Results 1–100)

Formal specification and verification of JDK’s identity hash map implementation. (English) Zbl 1502.68054

ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 45-62 (2022).
MSC:  68N15 68P05 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Pyomo – optimization modeling in Python. 3rd edition. (English) Zbl 1462.90001

Springer Optimization and Its Applications 67. Cham: Springer (ISBN 978-3-030-68927-8/hbk; 978-3-030-68930-8/pbk; 978-3-030-68928-5/ebook). xvii, 225 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

Active diagnosis for switched systems using Mealy machine modeling. (English) Zbl 1455.93095

Sayed-Mouchaweh, Moamar (ed.), Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 147-173 (2018).
MSC:  93C30 68Q45 93-10
PDFBibTeX XMLCite
Full Text: DOI HAL

Fault detection and localization using Modelica and abductive reasoning. (English) Zbl 1455.68227

Sayed-Mouchaweh, Moamar (ed.), Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 45-72 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Graphical modeling of hybrid dynamics with Simulink and Stateflow. (English) Zbl 1417.93160

Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 247-252 (2018).
MSC:  93C30 93A30 93B40 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Checking sequence generation for symbolic input/output FSMs by constraint solving. (English) Zbl 1518.68349

Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11187, 354-375 (2018).
MSC:  68T20 68M15 68Q45
PDFBibTeX XMLCite
Full Text: DOI

New trends in databases and information systems. ADBIS 2017 short papers and workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24–27, 2017. Proceedings of the 21st conference. (English) Zbl 1375.68018

Communications in Computer and Information Science 767. Cham: Springer (ISBN 978-3-319-67161-1/pbk; 978-3-319-67162-8/ebook). xvi, 434 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Pyomo – optimization modeling in Python. 2nd edition. (English) Zbl 1370.90003

Springer Optimization and Its Applications 67. Cham: Springer (ISBN 978-3-319-58819-3/hbk; 978-3-319-58821-6/ebook). xviii, 277 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Towards a UTP semantics for Modelica. (English) Zbl 1483.68053

Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 44-64 (2017).
PDFBibTeX XMLCite
Full Text: DOI Link

Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6–7, 2015. Revised selected papers. (English) Zbl 1393.68009

Communications in Computer and Information Science 596. Cham: Springer (ISBN 978-3-319-29509-1/pbk; 978-3-319-29510-7/ebook). x, 271 p. (2016).
MSC:  68-06 68M15 68N99 68Q60 68U20 00B25
PDFBibTeX XMLCite
Full Text: DOI

Solutions manual to accompany ‘Models for life. An introduction to discrete mathematical modeling with Microsoft Office Excel’. (English) Zbl 1335.00002

Hoboken, NJ: John Wiley & Sons (ISBN 978-1-119-04002-6/pbk). 182 p. (2016).
PDFBibTeX XMLCite

Reverse code generation for parallel discrete event simulation. (English) Zbl 1464.68049

Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9138, 95-110 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Uncertainty quantification and stochastic modeling with Matlab. (English) Zbl 1357.60007

Amsterdam: Elsevier; London: ISTE Press (ISBN 978-1-78548-005-8/hbk). xiii, 442 p. (2015).
PDFBibTeX XMLCite
Full Text: Link

About detection substitutions in nonlinear algebraic equations with help of Tarjan’s algorithm. (English) Zbl 1325.65070

Senichenkov, Yuri B. (ed.) et al., Recent advances in mathematical methods in applied sciences. Proceedings of the 2014 international conference on mathematical models and methods in applied sciences (MMMAS ’14) and the 2014 international conference on economics and applied statistics (EAS ’14), Saint Petersburg, Russia, September 23–25, 2014. St. Petersburg: St. Petersburg State University (ISBN 978-1-61804-251-4/pbk). Mathematics and Computers in Science and Engineering Series 32, 146-150 (2014).
MSC:  65H10
PDFBibTeX XMLCite

Probabilistic approaches to recommendations. (English) Zbl 1298.68011

Synthesis Lectures on Data Mining and Knowledge Discovery 9. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-257-3/pbk; 978-1-62705-258-0/ebook). xv, 181 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Model development and optimization for space engineering: concepts, tools, applications, and perspectives. (English) Zbl 1365.90287

Fasano, Giorgio (ed.) et al., Modeling and optimization in space engineering. New York, NY: Springer (ISBN 978-1-4614-4468-8/hbk; 978-1-4614-4469-5/ebook). Springer Optimization and Its Applications 73, 1-32 (2013).
MSC:  90C90 90C30 90C11
PDFBibTeX XMLCite
Full Text: DOI

An algorithm for the identification of components in biochemical pathways. (English) Zbl 1337.92066

Merelli, Emanuela (ed.) et al., Proceedings of the 4th international workshop on interactions between computer science and biology (CS2Bio’13), Florence, Italy, June 6, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 299, 69-84 (2013).
MSC:  92C40 68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

The semantics of models: a semiotic philosophy of science approach. (English) Zbl 1452.03024

Schewe, Klaus-Dieter (ed.) et al., Semantics in data and knowledge bases. 5th international workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 7693, 50-69 (2013).
MSC:  03A10 00A71 03B65
PDFBibTeX XMLCite
Full Text: DOI

Extraction and representation of prosody for speaker, speech and language recognition. (English) Zbl 1244.68005

SpringerBriefs in Speech Technology. New York, NY: Springer (ISBN 978-1-4614-1158-1/hbk; 978-1-4614-1159-8/ebook). x, 61 p. (2012).
PDFBibTeX XMLCite
Full Text: DOI

Predicting prosody from text for text-to-speech synthesis. (English) Zbl 1254.68010

SpringerBriefs in Electrical and Computer Engineering. Speech Technology. New York, NY: Springer (ISBN 978-1-4614-1337-0/hbk; 978-1-4614-1338-7/ebook). xii, 130 p. (2012).
PDFBibTeX XMLCite
Full Text: DOI

Finitely nonstationary nondeterministic automata with random input. (English. Russian original) Zbl 1251.68127

Vestn. St. Petersbg. Univ., Math. 44, No. 2, 155-165 (2011); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 2011, No. 2, 104-115 (2011).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Encoding phases using commutativity and non-commutativity in a logical framework. (English) Zbl 1333.03092

Pogodalla, Sylvain (ed.) et al., Logical aspects of computational linguistics. 6th international conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22220-7/pbk). Lecture Notes in Computer Science 6736. Lecture Notes in Artificial Intelligence, 1-16 (2011).
MSC:  03B65 91F20
PDFBibTeX XMLCite
Full Text: DOI arXiv

The theory of timed I/O automata. 2nd ed. (English) Zbl 1226.68004

Synthesis Lectures on Distributed Computing Theory 5. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-60845-002-2/pbk; 978-1-69845-003-9/ebook). xiv, 123 p. (2011).
PDFBibTeX XMLCite
Full Text: DOI

Modeling the degree of truthfulness. (English) Zbl 1253.03056

Cao, Bing-Yuan (ed.) et al., Quantitative logic and soft computing 2010. Vol. 2. Proceedings of the 2nd international conference (QL & SC 2010), Xiamen, China, October 22–25, 2010. Berlin: Springer (ISBN 978-3-642-15659-5/pbk; 978-3-642-15660-1/ebook). Advances in Intelligent and Soft Computing 82, 17-38 (2010).
MSC:  03B65 68T37
PDFBibTeX XMLCite
Full Text: DOI

Formal methods for distributed processing. A survey of object-oriented approaches. Reprint of the 2001 hardback ed. (English) Zbl 1233.68011

Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). x, 480 p. (2010).
PDFBibTeX XMLCite

The riverfish approach to business process modeling: linking business steps to control-flow patterns. (English) Zbl 1184.68496

Bertino, Elisa (ed.) et al., Collaborative computing: networking, applications and worksharing. 4th international ICST conference, CollaborateCom 2008, Orlando, FL, USA, November 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03353-7/pbk; 978-3-642-03354-4/ebook). Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering 10, 179-193 (2009).
MSC:  68T35
PDFBibTeX XMLCite
Full Text: DOI

Examining a Bayesian approach to personalizing context awareness in ubiquitous computing environments. (English) Zbl 1186.68381

Bertino, Elisa (ed.) et al., Collaborative computing: networking, applications and worksharing. 4th international ICST conference, CollaborateCom 2008, Orlando, FL, USA, November 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03353-7/pbk; 978-3-642-03354-4/ebook). Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering 10, 44-55 (2009).
MSC:  68T05 68N15 68N20
PDFBibTeX XMLCite
Full Text: DOI

Combining the benefits of MVC design pattern and UML based modeling for different software platforms. (English) Zbl 1183.68186

Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 173-179 (2009).
MSC:  68N99 68N15
PDFBibTeX XMLCite

On a model for the meaning of predicates – a naïve approach to the genesis of fuzzy sets. (English) Zbl 1174.03011

Seising, Rudolf (ed.), Views on fuzzy sets and systems from different perspectives. Philosophy and logic, criticisms and applications. Berlin: Springer (ISBN 978-3-540-93801-9/hbk; 978-3-540-93802-6/ebook). Studies in Fuzziness and Soft Computing 243, 175-205 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Model-based engineering of embedded systems using the hybrid process algebra Chi. (English) Zbl 1279.68245

Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 21-53 (2008).
MSC:  68Q85 68Q70
PDFBibTeX XMLCite
Full Text: DOI

Graph implementations for nonsmooth convex programs. (English) Zbl 1205.90223

Blondel, Vincent D. (ed.) et al., Recent advances in learning and control. Festschrift for Mathukumalli Vidyasagar on the occasion of his sixtieth birthday. London: Springer (ISBN 978-1-84800-154-1/pbk). Lecture Notes in Control and Information Sciences 371, 95-110 (2008).
MSC:  90C25
PDFBibTeX XMLCite
Full Text: DOI

Modeling and solving the capacitated vehicle routing problem on trees. (English) Zbl 1187.90043

Golden, Bruce (ed.) et al., The vehicle routing problem. Latest advances and new challenges. New York, NY: Springer (ISBN 978-0-387-77777-1/hbk). Operations Research/Computer Science Interfaces Series 43, 239-261 (2008).
MSC:  90B06 90C35
PDFBibTeX XMLCite
Full Text: DOI

Ontology-driven information systems: past, present and future. (English) Zbl 1171.68835

Eschenbach, Carola (ed.) et al., Formal ontology in information systems. Proceedings of the fifth international conference (FOIS 2008), Saarbrücken, Germany, October 31 – November 3, 2008. Amsterdam: IOP Press (ISBN 978-1-58603-923-3/hbk). Frontiers in Artificial Intelligence and Applications 183, 3-18 (2008).
MSC:  68U35 68T35
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software