×

Found 492 Documents (Results 1–100)

Security analysis of RSA-BSSA. (English) Zbl 1527.94051

Boldyreva, Alexandra (ed.) et al., Public-key cryptography – PKC 2023. 26th IACR international conference on practice and theory of public-key cryptography, Atlanta, GA, USA, May 7–10, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13940, 251-280 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Characterizing multipreference closure with system W. (English) Zbl 1524.68356

Dupin de Saint-Cyr, Florence (ed.) et al., Scalable uncertainty management. 15th international conference, SUM 2022, Paris, France, October 17–19, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13562, 79-91 (2022).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

A database of Aristotelian diagrams: empirical foundations for logical geometry. (English) Zbl 1524.68431

Giardino, Valeria (ed.) et al., Diagrammatic representation and inference. 13th international conference, Diagrams 2022, Rome, Italy, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13462, 123-131 (2022).
MSC:  68V35 03A05 68T30
PDFBibTeX XMLCite
Full Text: DOI

An integrated web platform for the Mizar Mathematical Library. (English) Zbl 07691295

Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 141-146 (2022).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

An implementation of nonmonotonic reasoning with system W. (English) Zbl 1522.68521

Bergmann, Ralph (ed.) et al., KI 2022: advances in artificial intelligence. 45th German conference on AI, Trier, Germany, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13404, 1-8 (2022).
MSC:  68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI

Properties of system W and its relationships to other inductive inference operators. (English) Zbl 07630647

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 206-225 (2022).
PDFBibTeX XMLCite
Full Text: DOI

midiVERTO: a web application to visualize tonality in real time. (English) Zbl 1495.00021

Montiel, Mariana (ed.) et al., Mathematics and computation in music. 8th international conference, MCM 2022, Atlanta, GA, USA, June 21–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13267, 363-368 (2022).
MSC:  00A65 65T50
PDFBibTeX XMLCite
Full Text: DOI arXiv

WebMIaS on Docker. Deploying math-aware search in a single line of code. (English) Zbl 1485.68299

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 159-164 (2021).
MSC:  68V35 68P20
PDFBibTeX XMLCite
Full Text: DOI arXiv

An ontology-based approach to describe collaborative work by reusing and enriching data from an institutional repository. (English) Zbl 07516364

Pozos-Parra, Pilar (ed.) et al., Proceedings of the 11th and 12th Latin American workshop on logic/languages, algorithms and new methods of reasoning, LANMR, Puebla, Mexico, November 15, 2018 and November 15, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 354, 129-139 (2020).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

Collision times of random walks and applications to the Brownian web. (English) Zbl 1453.82029

Birkner, Matthias (ed.) et al., Genealogies of interacting particle systems. Papers based on lectures and turorials of the National University of Singapore, Singapore, July 17 – Aug 18, 2017. Hackensack, NJ: World Scientific. Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singap. 38, 267-293 (2020).
MSC:  82B41 60J65 82B20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Quasi-isomorphisms of cluster algebras and the combinatorics of webs (extended abstract). (English. French summary) Zbl 1440.05232

Proceedings of the 28th international conference on formal power series and algebraic combinatorics, FPSAC 2016, Vancouver, Canada, July 4–8, 2016. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Math. Theor. Comput. Sci., Proc., 491-502 (2020).
MSC:  05E14 13F60 14M15
PDFBibTeX XMLCite
Full Text: Link

Perturbations of supercritical oriented percolation and sticky Brownian webs. (English) Zbl 1446.82037

Sidoravicius, Vladas (ed.), Sojourns in probability theory and statistical physics. II. Brownian web and percolation, a festschrift for Charles M. Newman. Singapore: Springer; Shanghai: NYU Shanghai. Springer Proc. Math. Stat. 299, 241-261 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Probability theory in statistical physics, percolation, and other random topics: the work of C. Newman. (English) Zbl 1446.82084

Sidoravicius, Vladas (ed.), Sojourns in probability theory and statistical physics. I. Spin glasses and statistical mechanics, a festschrift for Charles M. Newman. Singapore: Springer; Shanghai: NYU Shanghai. Springer Proc. Math. Stat. 298, 1-38 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modules over semisymmetric quasigroups. (English) Zbl 1515.20317

Vojtěchovský, Petr (ed.) et al., Nonassociative mathematics and its applications. Fourth mile high conference on nonassociative mathematics, Denver, CO, USA, July 29 – August 5, 2017. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 721, 199-211 (2019).
MSC:  20N05 20C07
PDFBibTeX XMLCite
Full Text: DOI arXiv

Parametrizing 3-webs of circles on Darboux cyclides. (English) Zbl 1400.53008

Cocchiarella, Luigi (ed.), ICGG 2018 – Proceedings of the 18th international conference on geometry and graphics. 40th anniversary – Milan, Italy, August 3–7, 2018. In 2 volumes. Cham: Springer; Milan: Politecnico de Milano (ISBN 978-3-319-95587-2/pbk; 978-3-319-95588-9/ebook). Advances in Intelligent Systems and Computing 809, 2196-2200 (2019).
MSC:  53A05
PDFBibTeX XMLCite
Full Text: DOI

Statistical clustering of a random network by extremal properties. (English) Zbl 1476.68213

Vishnevskiy, Vladimir M. (ed.) et al., Distributed computer and communication networks. 21st international conference, DCCN 2018, Moscow, Russia, September 17–21, 2018. Proceedings. Cham: Springer. Commun. Comput. Inf. Sci. 919, 71-82 (2018).
PDFBibTeX XMLCite
Full Text: DOI

SMTS: distributed, visualized constraint solving. (English) Zbl 1415.68197

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 534-542 (2018).
MSC:  68T20 68W10 68W15
PDFBibTeX XMLCite
Full Text: DOI

Collaborative use of mathematical content generated by CindyJS on tablets. (English) Zbl 1395.68326

Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 379-388 (2018).
MSC:  68U35
PDFBibTeX XMLCite
Full Text: DOI

Using linear logic to verify requirement scenarios in composite web service. (English) Zbl 1498.68171

Cavalheiro, Simone (ed.) et al., Formal methods: foundations and applications. 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 – December 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10623, 215-232 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Fast construction of compressed web graphs. (English) Zbl 1454.68045

Fici, Gabriele (ed.) et al., String processing and information retrieval. 24th international symposium, SPIRE 2017, Palermo, Italy, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10508, 116-128 (2017).
MSC:  68P30 68P05 68R10
PDFBibTeX XMLCite
Full Text: DOI

Nonparametric analysis of extremes on web graphs: PageRank versus max-linear model. (English) Zbl 1452.68020

Vishnevskiy, Vladimir M. (ed.) et al., Distributed computer and communication networks. 20th international conference, DCCN 2017, Moscow, Russia, September 25–29, 2017. Proceedings. Cham: Springer. Commun. Comput. Inf. Sci. 700, 13-26 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Theorising monitoring: algebraic models of web monitoring in organisations. (English) Zbl 1496.68202

James, Phillip (ed.) et al., Recent trends in algebraic development techniques. 23rd IFIP WG 1.3 international workshop, WADT 2016, Gregynog, UK, September 21–24, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10644, 13-35 (2017).
MSC:  68Q65 68M11
PDFBibTeX XMLCite
Full Text: DOI Link

On the automated verification of web applications with embedded SQL. (English) Zbl 1402.68123

Benedikt, Michael (ed.) et al., 20th international conference on database theory, ICDT 2017, Venice, Italy, March 21–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-024-8). LIPIcs – Leibniz International Proceedings in Informatics 68, Article 16, 18 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Facets of the polytope of legal sequences. (English) Zbl 1383.05231

Bassino, Frédérique (ed.) et al., LAGOS 2017. Selected papers of the 9th Latin-American algorithms, graphs, and optimization symposium, Marseille, France, September 11–15, 2017. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 62, 15-20 (2017).
MSC:  05C69
PDFBibTeX XMLCite
Full Text: DOI

A program optimization for automatic database result caching. (English) Zbl 1380.68109

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 271-284 (2017).
MSC:  68N20 68P15
PDFBibTeX XMLCite
Full Text: DOI

Graph-FCA in practice. (English) Zbl 1398.68514

Haemmerlé, Ollivier (ed.) et al., Graph-based representation and reasoning. 22nd international conference on conceptual structures, ICCS 2016, Annecy, France, July 5–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40984-9/pbk; 978-3-319-40985-6/ebook). Lecture Notes in Computer Science 9717. Lecture Notes in Artificial Intelligence, 107-121 (2016).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI Link

Sojourn time analysis for processor sharing loss system with unreliable server. (English) Zbl 1390.68152

Wittevrongel, Sabine (ed.) et al., Analytical and stochastic modelling techniques and applications. 23rd international conference, ASMTA 2016, Cardiff, UK, August 24–26, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-43903-7/pbk; 978-3-319-43904-4/ebook). Lecture Notes in Computer Science 9845, 284-297 (2016).
MSC:  68M20
PDFBibTeX XMLCite
Full Text: DOI

CoSMed: a confidentiality-verified social media platform. (English) Zbl 1451.68167

Blanchette, Jasmin Christian (ed.) et al., Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9807, 87-106 (2016).
MSC:  68Q60 68V15
PDFBibTeX XMLCite
Full Text: DOI Link

CindyGL: authoring GPU-based interactive mathematical content. (English) Zbl 1434.68612

Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 359-365 (2016).
MSC:  68U05 68V25
PDFBibTeX XMLCite
Full Text: DOI

CindyJS plugins – extending the mathematical visualization framework. (English) Zbl 1434.68622

Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 327-334 (2016).
MSC:  68U05 68U15 68V25
PDFBibTeX XMLCite
Full Text: DOI

CindyJS – mathematical visualization on modern devices. (English) Zbl 1434.68621

Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 319-326 (2016).
MSC:  68U05
PDFBibTeX XMLCite
Full Text: DOI

EQPO: obscuring encrypted web traffic with equal-sized pseudo-objects. (English) Zbl 1409.94908

Lin, Dongdai (ed.) et al., Information security and cryptology. 11th international conference, Inscrypt 2015, Beijing, China, November 1–3, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9589, 227-245 (2016).
MSC:  94A60 68M11
PDFBibTeX XMLCite
Full Text: DOI

An approach for mitigating potential threats in practical SSO systems. (English) Zbl 1409.94889

Lin, Dongdai (ed.) et al., Information security and cryptology. 11th international conference, Inscrypt 2015, Beijing, China, November 1–3, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9589, 209-226 (2016).
MSC:  94A60 68M11
PDFBibTeX XMLCite
Full Text: DOI

An abductive framework for Datalog\(^\pm\) ontologies. (English) Zbl 1407.68479

De Vos, Marina (ed.) et al., Technical communications of the 31st international conference on logic programming, ICLP 2015, Cork, Ireland, August 31 – September 4, 2015. Aachen: RWTH Aachen. CEUR Workshop Proc. 1433, 13 p. (2015).
MSC:  68T30 68N17 68T27
PDFBibTeX XMLCite
Full Text: Link

Formal modeling and analysis of business process timed constraints. (English) Zbl 1368.68044

Bouabana-Tebibel, Thouraya (ed.) et al., Formalisms for reuse and systems integration. Cham: Springer (ISBN 978-3-319-16576-9/pbk; 978-3-319-16577-6/ebook). Advances in Intelligent Systems and Computing 346, 149-172 (2015).
MSC:  68M11 68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI

SMT-based abstract parametric temporal planning. (English) Zbl 1366.68009

Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency X. Berlin: Springer (ISBN 978-3-662-48649-8/pbk; 978-3-662-48650-4/ebook). Lecture Notes in Computer Science 9410. Journal Subline, 55-83 (2015).
MSC:  68M11 68T30
PDFBibTeX XMLCite
Full Text: DOI

A formal dynamic verification of choreographed web services conversations. (English) Zbl 1388.94044

Au, Man-Ho (ed.) et al., Provable security. 9th international conference, ProvSec 2015, Kanazawa, Japan, November 24–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26058-7/pbk; 978-3-319-26059-4/ebook). Lecture Notes in Computer Science 9451, 340-353 (2015).
MSC:  94A60 68M11
PDFBibTeX XMLCite
Full Text: DOI

Solving polynomial systems in the cloud with polynomial homotopy continuation. (English) Zbl 1439.13078

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 17th international workshop, CASC 2015, Aachen, Germany, September 14–18, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9301, 87-100 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Uncertainty in the cloud: an angel-daemon approach to modelling performance. (English) Zbl 1465.68029

Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9161, 141-150 (2015).
MSC:  68M11 91A44 91A80
PDFBibTeX XMLCite
Full Text: DOI Link

Securing the Web of Things with role-based access control. (English) Zbl 1459.68012

El Hajji, Said (ed.) et al., Codes, cryptology, and information security. First international conference, C2SI 2015, Rabat, Morocco, May 26–28, 2015. Proceedings – in honor of Thierry Berger. Cham: Springer. Lect. Notes Comput. Sci. 9084, 14-26 (2015).
PDFBibTeX XMLCite
Full Text: DOI Link

A proposal for extending formal concept analysis to knowledge graphs. (English) Zbl 1312.68187

Baixeries, Jaume (ed.) et al., Formal concept analysis. 13th international conference, ICFCA 2015, Nerja, Spain, June 23–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19544-5/pbk; 978-3-319-19545-2/ebook). Lecture Notes in Computer Science 9113. Lecture Notes in Artificial Intelligence, 271-286 (2015).
MSC:  68T30 68R10 68T05
PDFBibTeX XMLCite
Full Text: DOI Link

A description logic primer. (English) Zbl 1358.68276

Lehmann, Jens (ed.) et al., Perspectives on ontology learning. Amsterdam: IOS Press; Heidelberg: Akademische Verlagsgesellschaft AKA (ISBN 978-3-89838-694-4/pbk; 978-1-61499-378-0/pbk; 978-1-61499-379-7/ebook). Studies on the Semantic Web 18, 3-19 (2014).
MSC:  68T27 68T30 68-02
PDFBibTeX XMLCite
Full Text: arXiv

Hybridizing social filtering for recommender systems. (English) Zbl 1356.68229

Wen, Zhenkun (ed.) et al., Foundations of intelligent systems. Proceedings of the eighth international conference on intelligent systems and knowledge engineering, ISKE 2013, Shenzhen, China, November 20–23, 2013. 2 volume set. Berlin: Springer (ISBN 978-3-642-54923-6/pbk). Advances in Intelligent Systems and Computing 277, 273-285 (2014).
MSC:  68T35 68U35 91D30
PDFBibTeX XMLCite
Full Text: DOI

LiveRank: how to refresh old crawls. (English) Zbl 1342.05162

Bonato, Anthony (ed.) et al., Algorithms and models for the web graph. 11th international workshop, WAW 2014, Beijing, China, December 17–18, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-13122-1/pbk; 978-3-319-13123-8/ebook). Lecture Notes in Computer Science 8882, 148-160 (2014).
MSC:  05C82 05C85 68M11
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Compactness and distances to spaces of continuous functions and Fréchet spaces. (English) Zbl 1368.46010

Ferrando, Juan Carlos (ed.) et al., Descriptive topology and functional analysis. In honour of Jerzy Kąkol’s 60th birthday. Proceedings of the 1st meeting in topology and functional analysis, Elche, Spain, September 27–28, 2013. Cham: Springer (ISBN 978-3-319-05223-6/hbk; 978-3-319-05224-3/ebook). Springer Proceedings in Mathematics & Statistics 80, 75-93 (2014).
MSC:  46A50 54C35
PDFBibTeX XMLCite
Full Text: DOI

Lexical multicriteria-based quality evaluation model for web service composition. (English) Zbl 1303.68101

Wen, Zhenkun (ed.) et al., Knowledge engineering and management. Proceedings of the eighth international conference on intelligent systems and knowledge engineering, ISKE 2013, Shenzhen, China, November 20–23, 2013. Berlin: Springer (ISBN 978-3-642-54929-8/pbk; 978-3-642-54930-4/ebook). Advances in Intelligent Systems and Computing 278, 253-258 (2014).
MSC:  68T05 68M11 68T30
PDFBibTeX XMLCite
Full Text: DOI

Simulation of the fluid-structure interaction for an aerostatic bearing and a flexible substrate. (English) Zbl 1298.76140

Brebbia, Carlos A. (ed.) et al., Advances in fluid mechanics X. Proceedings of the 10th international conference on advances in fluid mechanics, A Coruña, Spain, July 1–3, 2014. Southampton: WIT Press (ISBN 978-1-84564-790-2/hbk; 978-1-84564-791-9/ebook). WIT Transactions on Engineering Sciences 82, 95-106 (2014).
PDFBibTeX XMLCite

A KNN based algorithm for text categorization. (English) Zbl 1333.68226

Zadnik Stirn, Lidija (ed.) et al., SOR ’13 proceedings. The 12th international symposium on operational research in Slovenia, Dolenjske Toplice, Slovenia, September 25–27, 2013. Ljubljana: Slovenian Society Informatika (SDI), Section for Operational Research (SOR) (ISBN 978-961-6165-40-2/pbk). 367-372 (2013).
MSC:  68T05 62H30 68M11
PDFBibTeX XMLCite

Evolution of the media web. (English) Zbl 1342.68039

Bonato, Anthony (ed.) et al., Algorithms and models for the web graph. 10th international workshop, WAW 2013, Cambridge, MA, USA, December 14–15, 2013. Proceedings. Berlin: Springer (ISBN 978-3-319-03535-2/pbk). Lecture Notes in Computer Science 8305, 80-92 (2013).
MSC:  68M11 05C82 05C80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Asymmetric distribution of nodes in the spatial preferred attachment model. (English) Zbl 1342.05142

Bonato, Anthony (ed.) et al., Algorithms and models for the web graph. 10th international workshop, WAW 2013, Cambridge, MA, USA, December 14–15, 2013. Proceedings. Berlin: Springer (ISBN 978-3-319-03535-2/pbk). Lecture Notes in Computer Science 8305, 1-13 (2013).
PDFBibTeX XMLCite
Full Text: DOI

The Robinson-Schensted correspondence and \(A_2\)-webs. (English) Zbl 1294.05173

Proceedings of the 25th international conference on formal power series and algebraic combinatorics, FPSAC 2013, Paris, France, June 24–28, 2013. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 861-872, electronic only (2013).
MSC:  05E10 05C10
PDFBibTeX XMLCite
Full Text: Link

Web based system for weighted defeasible argumentation. (English) Zbl 1401.68311

Leite, João (ed.) et al., Computational logic in multi-agent systems. 14th international workshop, CLIMA XIV, Corunna, Spain, September 16–18, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40623-2/pbk). Lecture Notes in Computer Science 8143. Lecture Notes in Artificial Intelligence, 155-171 (2013).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

Escaping the trap of too precise topic queries. (English) Zbl 1390.68749

Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 296-309 (2013).
MSC:  68U35 68P20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Sharp bounds for the \(p\)-torsion of convex planar domains. (English) Zbl 1278.49050

Magnanini, Rolando (ed.) et al., Geometric properties for parabolic and elliptic PDE’s. Milano: Springer (ISBN 978-88-470-2840-1/hbk; 978-88-470-2841-8/ebook). Springer INdAM Series 2, 97-115 (2013).
MSC:  49Q10 52B60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Defining code-injection attacks. (English) Zbl 1321.68035

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 179-190 (2012).
MSC:  68M11 68N15 68P15
PDFBibTeX XMLCite
Full Text: DOI

Multiple facets for dynamic information flow. (English) Zbl 1321.68034

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 165-178 (2012).
MSC:  68M11 68N19
PDFBibTeX XMLCite
Full Text: DOI Link

Towards a program logic for JavaScript. (English) Zbl 1321.68193

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 31-44 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Singular 2-webs. An introduction. (English) Zbl 1303.53024

Castrillón López, Marco (ed.) et al., Contribuciones matemáticas en honor a Juan Tarrés. Madrid: Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas (ISBN 978-84-695-4421-1). 141-147 (2012).
MSC:  53A60 53C12 53C15
PDFBibTeX XMLCite

Simulation unification: beyond querying semistructured data (invited talk). (English) Zbl 1281.68062

Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 1-13, electronic only (2012).
MSC:  68N17 68T30 68U35
PDFBibTeX XMLCite
Full Text: DOI

Variable neighborhood search and tabu search for the web service selection problem. (English) Zbl 1268.68156

Sifaleras, Angelo (ed.) et al., Selected papers of the 28th EURO mini conference (MEC XXVIII) on variable neighborhood search, Herceg Novi, Mentenegro, October 4–7, 2012. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 39, 177-184 (2012).
MSC:  68T20 68M11
PDFBibTeX XMLCite
Full Text: DOI

A hybrid metaheuristic based on variable neighborhood search and tabu search for the web service selection problem. (English) Zbl 1268.68155

Sifaleras, Angelo (ed.) et al., Selected papers of the 28th EURO mini conference (MEC XXVIII) on variable neighborhood search, Herceg Novi, Mentenegro, October 4–7, 2012. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 39, 145-152 (2012).
MSC:  68T20 68M11
PDFBibTeX XMLCite
Full Text: DOI

Resonance webs of hyperplane arrangements. (English) Zbl 1261.52015

Terao, Hiroaki (ed.) et al., Arrangements of hyperplanes. Proceedings of the 2nd Mathematical Society of Japan-Seasonal Institute, MSJ-SI, Sapporo, Japan, August 1–13, 2009. Tokyo: Mathematical Society of Japan (ISBN 978-4-931469-67-9/hbk). Advanced Studies in Pure Mathematics 62, 261-291 (2012).
MSC:  52C35 53A60
PDFBibTeX XMLCite
Full Text: arXiv

Backward trace slicing for conditional rewrite theories. (English) Zbl 1352.68120

Bjørner, Nikolaj (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). Lecture Notes in Computer Science 7180, 62-76 (2012).
MSC:  68Q42 03B70
PDFBibTeX XMLCite
Full Text: DOI

Grammar systems as orchestras of grammatical services. (English) Zbl 1341.68069

Dömösi, Pál (ed.) et al., Automata and formal languages. 13th international conference, AFL 2011, Debrecen, Hungary, August 17–22, 2011. Nyíregyháza: College of Nyíregyháza, Institute of Mathematics and Informatics (ISBN 978-615-5097-19-5/pbk). 65-78 (2011).
MSC:  68Q42 68M11
PDFBibTeX XMLCite

Using Camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web. (English) Zbl 1323.68545

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 259-265 (2011).
PDFBibTeX XMLCite
Full Text: DOI

PageRank as a discrete Green’s function. (English) Zbl 1255.68109

Ji, Lizhen (ed.), Geometry and analysis, No. 1. Collected papers of the conference “Geometric analysis: Present and future” on the occasion of Shing-Tung Yau’s 60th birthday, Harvard University, Cambridge, MA, USA, August 27–September 1, 2008. Somerville, MA: International Press; Beijing: Higher Education Press (ISBN 978-1-57146-224-4/pbk). Advanced Lectures in Mathematics (ALM) 17, 285-302 (2011).
PDFBibTeX XMLCite

Backward trace slicing for rewriting logic theories. (English) Zbl 1341.68026

Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 34-48 (2011).
MSC:  68N30 03B70 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Web services and incerta spiriti: a game theoretic approach to uncertainty. (English) Zbl 1341.68011

Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 651-662 (2011).
MSC:  68M11 91A40 91A80
PDFBibTeX XMLCite
Full Text: DOI

On antimagic labeling for generalized web and flower graphs. (English) Zbl 1326.05139

Iliopoulos, Costas S. (ed.) et al., Combinatorial algorithms. 21st international workshop, IWOCA 2010, London, UK, July 26–28, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19221-0/pbk). Lecture Notes in Computer Science 6460, 303-313 (2011).
MSC:  05C78
PDFBibTeX XMLCite
Full Text: DOI

Ludics and web: another reading of standard operations. (English) Zbl 1317.68238

Lecomte, Alain (ed.) et al., Ludics, dialogue and interaction. PRELUDE project – 2006–2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19210-4/pbk). Lecture Notes in Computer Science 6505. Lecture Notes in Artificial Intelligence, 58-77 (2011).
MSC:  68T27 03F52 68M11
PDFBibTeX XMLCite
Full Text: DOI

The height of scaled attachment random recursive trees. (English) Zbl 1355.05222

Drmota, Michael (ed.) et al., Proceeding of the 21st international meeting on probabilistic, combinatorial, and asymptotic methods in the analysis of algorithms (AofA’10), Vienna, Austria, June 28 – July 2, 2010. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 129-142 (2010).
MSC:  05C80 05C05 60F05
PDFBibTeX XMLCite
Full Text: Link

Dispersion relation of flow-induced wave of a flexible web subjected to fluid flow in a narrow gap. (English) Zbl 1296.76045

Rahman, M. (ed.) et al., Advances in fluid mechanics VIII. Papers based on the presentations at the 8th international conference, Algarve, Portugal, September 15–17, 2010. Southampton: WIT Press (ISBN 978-1-84564-476-5/hbk; 978-1-84564-477-2/ebook). WIT Transactions on Engineering Sciences 69, 395-403 (2010).
MSC:  76D33 74F10
PDFBibTeX XMLCite
Full Text: DOI

GHSOM-based web service discovery. (English) Zbl 1231.68247

Grigoriu, Mircea (ed.) et al., European computing conference. Proceedings of the 4th European computing conference (ECC’10), Bucarest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-178-6/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks., 207-211 (2010).
MSC:  68T30 68T05
PDFBibTeX XMLCite

The accessibility of information in computer assisted learning process for persons with disabilities. (English) Zbl 1231.92042

Grigoriu, Mircea (ed.) et al., European computing conference. Proceedings of the 4th European computing conference (ECC’10), Bucarest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-178-6/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks., 139-142 (2010).
MSC:  92C50
PDFBibTeX XMLCite

SINDBAD and siQL: Overview, applications and future developments. (English) Zbl 1211.68173

Džeroski, Sašo (ed.) et al., Inductive databases and constraint-based data mining. New York, NY: Springer (ISBN 978-1-4419-7737-3/hbk; 978-1-4419-7738-0/ebook). 289-309 (2010).
MSC:  68P15 68N15 68M11
PDFBibTeX XMLCite
Full Text: DOI

A framework for incremental domain-specific hidden web crawler. (English) Zbl 1213.68113

Ranka, Sanjay (ed.) et al., Contemporary computing. Third international conference, IC3 2010, Noida, India, August 9–11, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-14833-0/pbk; 978-3-642-14834-7/ebook). Communications in Computer and Information Science 94, 412-422 (2010).
MSC:  68M11
PDFBibTeX XMLCite
Full Text: DOI

Multiple criteria approaches to group decision and negotiation. (English) Zbl 1200.90103

Ehrgott, Matthias (ed.) et al., Trends in multiple criteria decision analysis. Berlin: Springer (ISBN 978-1-4419-5903-4/hbk; 978-1-4419-5904-1/ebook). International Series in Operations Research & Management Science 142, 317-338 (2010).
MSC:  90B50 91B10
PDFBibTeX XMLCite
Full Text: DOI

Load balancing in distributed web caching. (English) Zbl 1207.68092

Meghanathan, Natarajan (ed.) et al., Recent trends in network security and applications. Third international conference, CNSA 2010, Chennai, India, July 23–25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14477-6/pbk; 978-3-642-14478-3/ebook). Communications in Computer and Information Science 89, 47-54 (2010).
MSC:  68M11
PDFBibTeX XMLCite
Full Text: DOI

See-through vision: a visual augmentation method for sensing-web. (English) Zbl 1202.68061

Hüllermeier, Eyke (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Applications. 13th international conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings. Part II. Berlin: Springer (ISBN 978-3-642-14057-0/pbk; 978-3-642-14058-7/ebook). Communications in Computer and Information Science 81, 690-699 (2010).
MSC:  68M11
PDFBibTeX XMLCite
Full Text: DOI

Collaborative distributed fault simulation for digital electronic circuits. (English) Zbl 1200.68053

Essaaidi, Mohammad (ed.) et al., Intelligent distributed computing IV. Proceedings of the 4th international symposium on intelligent distributed computing – IDC 2010, Tangier, Morocco, September 2010. Berlin: Springer (ISBN 978-3-642-15210-8/hbk; 978-3-642-15211-5/ebook). Studies in Computational Intelligence 315, 67-76 (2010).
MSC:  68M15 68M99
PDFBibTeX XMLCite
Full Text: DOI

Webkm - online data mining system. (English) Zbl 1206.68046

Essaaidi, Mohammad (ed.) et al., Intelligent distributed computing IV. Proceedings of the 4th international symposium on intelligent distributed computing – IDC 2010, Tangier, Morocco, September 2010. Berlin: Springer (ISBN 978-3-642-15210-8/hbk; 978-3-642-15211-5/ebook). Studies in Computational Intelligence 315, 41-46 (2010).
MSC:  68M11 68P15 68U35
PDFBibTeX XMLCite
Full Text: DOI

Tagging and fuzzy sets. (English) Zbl 1200.68084

Sgurev, Vassil (ed.) et al., Intelligent systems: From theory to practice. Selected papers based on the presentations at the 4th IEEE conference intelligent systems (IS 2008), methodology, models and applications in emergent technologies, Varna, Bulgaria, September 6–8, 2008. Berlin: Springer (ISBN 978-3-642-13427-2/hbk; 978-3-642-13428-9/ebook). Studies in Computational Intelligence 299, 1-17 (2010).
MSC:  68P05 68M11
PDFBibTeX XMLCite
Full Text: DOI

Semantic analysis for the geospatial semantic web. (English) Zbl 1202.68058

Guillet, F. (ed.) et al., Advances in knowledge discovery and management. Selected papers based on the presentations at the “Extraction et gestion des connaissances” conference 2009 (EGC), Strasbourg, France, January 2009. Berlin: Springer (ISBN 978-3-642-00579-4/hbk). Studies in Computational Intelligence 292, 287-306 (2010).
MSC:  68M11 68T05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software