×

Found 123 Documents (Results 1–100)

Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. (English) Zbl 1511.03002

Lecture Notes in Computer Science 13468. Cham: Springer (ISBN 978-3-031-15297-9/pbk; 978-3-031-15298-6/ebook). xxix, 411 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

New trends in chaos-based communications and signal processing. (English) Zbl 1412.94004

Macau, Elbert E. N. (ed.), A mathematical modeling approach from nonlinear dynamics to complex systems. Cham: Springer. Nonlinear Syst. Complex. 22, 109-129 (2019).
MSC:  94A05 94A12 37D45
PDFBibTeX XMLCite
Full Text: DOI

Chaotic planning paths generators by using performance surfaces. (English) Zbl 1426.70014

Azar, Ahmad Taher (ed.) et al., Fractional order control and synchronization of chaotic systems. Cham: Springer. Stud. Comput. Intell. 688, 805-832 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Hybrid and subexponential linear logics. (English) Zbl 1395.03034

Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 95-111 (2017).
MSC:  03F52 03B44 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Multi-focused proofs with different polarity assignments. (English) Zbl 1394.03070

Benevides, Mario (ed.) et al., Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 – September 1, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 323, 163-179 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the fifth workshop on intersection types and related systems, Edinburgh, UK, July 9, 2010. (English) Zbl 1415.68044

Electronic Proceedings in Theoretical Computer Science (EPTCS) 45. Waterloo: Open Publishing Association (OPA). 100 p., electronic only, open access (2011).
MSC:  68-06 68N18 00B25
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Automatic generation of adaptation contracts. (English) Zbl 1347.68090

Canal, Carlos (ed.) et al., Proceedings of the 7th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2008), Reykjavik, Iceland, July 13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 2, 115-131 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Equivalence of many-gluon Green’s functions in the Duffin-Kemmer-Petieu and Klein-Gordon-Fock statistical quantum field theories. (English) Zbl 1178.81114

Theor. Math. Phys. 143, No. 3, 792-797 (2005); translation from Teor. Mat. Fiz. 143, No. 3, 368-374 (2005).
MSC:  81R20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Equivalence of many-photon Green’s functions in the Duffin-Kemmer-Petiau and Klein-Gordon-Fock statistical quantum field theories. (English) Zbl 1178.81267

Theor. Math. Phys. 140, No. 1, 931-938 (2004); translation from Teor. Mat. Fiz. 140, No. 1, 44-52 (2004).
MSC:  81T99 81V10
PDFBibTeX XMLCite
Full Text: DOI

Performance of error control codes on finite state channels via an enumerative technique. (English) Zbl 1330.94028

Bhargava, Vijay K. (ed.) et al., Communications, information and network security. With a foreword by Richard E. Blahut. New York, NY: Springer (ISBN 978-1-4020-7251-2/hbk; 978-1-4419-5318-6/pbk; 978-1-4757-3789-9/ebook). The Springer International Series in Engineering and Computer Science 712, 17-32 (2003).
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 10th workshop on logic, language, information and computation (WoLLIC’2003), Ouro Preto, Minas Gerais, Brazil, July 29 – August 1, 2003. (English) Zbl 1109.03307

Electronic Notes in Theoretical Computer Science 84. Amsterdam: Elsevier. 228 p., electronic only (2003).
PDFBibTeX XMLCite
Full Text: Link

Isolating resource consumption in linear logic proof search (extended abstract). (English) Zbl 1270.68060

Pfenning, Frank (ed.), LFM 2002. Proceedings of the 3rd international workshop on logical frameworks and meta-languages (FLoC satellite event), Copenhagen, Denmark, July 26, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 2, 1-10 (2002).
MSC:  68N17 03F52
PDFBibTeX XMLCite
Full Text: Link

Experimental evaluation of a trainable scribble recognizer for calligraphic interfaces. (English) Zbl 1064.68620

Blostein, Dorothea (ed.) et al., Graphics recognition. Algorithms and applications. 4th international workshop, GREC 2001, Kingston, Ontario, Canada, September 7–8, 2001. Selected papers. Berlin: Springer (ISBN 3-540-44066-6). Lect. Notes Comput. Sci. 2390, 81-91 (2002).
MSC:  68U99 68T10 68T05
PDFBibTeX XMLCite
Full Text: Link

\(\alpha\)SPIN: Extending SPIN with abstraction. (English) Zbl 1077.68707

Bošnački, Dragan (ed.) et al., Model checking software. 9th international SPIN workshop, Grenoble, France, April 11–13, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43477-1). Lect. Notes Comput. Sci. 2318, 254-257 (2002).
MSC:  68Q60 68N99
PDFBibTeX XMLCite
Full Text: Link

Towards efficient design space exploration of heterogeneous embedded media systems. (English) Zbl 1043.68955

Deprettere, Ed F. (ed.) et al., Embedded processor design challenges. Systems, architectures, modeling, and simulation - SAMOS. Berlin: Springer (ISBN 3-540-43322-8). Lect. Notes Comput. Sci. 2268, 57-73 (2002).
MSC:  68U99 68M07
PDFBibTeX XMLCite
Full Text: Link

Access control infrastructure for digital objects. (English) Zbl 1023.68560

Deng, Robert (ed.) et al., Information and communications security. 4th international conference, ICICS 2002, Singapore, December 9-12, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2513, 399-410 (2002).
MSC:  68P25 94A60 68M14
PDFBibTeX XMLCite
Full Text: Link

Secure content distribution for digital libraries. (English) Zbl 1031.68955

Lim, Ee-Peng (ed.) et al., Digital libraries: People, knowledge, and technology. 5th international conference on Asian digital libraries, ICADL 2002, Singapore, December 11-14, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2555, 483-494 (2002).
MSC:  68U99 68U35 68P20
PDFBibTeX XMLCite
Full Text: Link

A tag-frame system of resource management for proof search in linear-logic programming. (English) Zbl 1020.68020

Bradfield, Julian (ed.), Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2471, 167-182 (2002).
MSC:  68N17 03F52
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software