Überfällige Google-Kritik: Based on billions of daily queries and an estimated share of about 49% of the total Web queries allows predicting with astonishing accuracy what is going to happen in a number of areas of economic importance.
This paper is an exploration in a functional programming framework of isomorphisms between elementary data types (natural numbers, sets, multisets, finite functions, permutations binary decision diagrams, graphs, hypergraphs, parenthesis languages, dyadic rationals, DNA sequences etc.) and their extension to hereditary finite universes through hylomorphisms derived from ranking/unranking and pairing/unpairing operations. An embedded higher order combinator language provides any-to-any encodings automatically. Besides applications to experimental mathematics, a few examples of "free algorithms" obtained by transferring operations between data types are shown. Other applications range from stream iterators on combinatorial objects to self-delimiting codes, succinct data representations and generation of random instancs. The paper covers 47 data types and, through the use of the embedded combinator language, provides 2162 distinct bijective transformations between them.
This is a list of 100 important natural language processing (NLP) papers that serious students and researchers working in the field should probably know about and read.
I am fascinated by technology and its application to data analysis in finance, especially investing. Below is a compiled list of freely available academic papers published in 2017 on deep learning…
Get tips from ACS Editors, staff, and 2016’s most-read author to share their thoughts on the essential elements of a highly-read chemistry research paper.
We introduce a new lambda calculus with futures, Lambda(fut), that models the operational semantics of concurrent statically typed functional programming languages with mixed eager and lazy threads such as Alice ML, a concurrent extension of Standard ML. Lambda(fut) is a minimalist extension of the call-by-value lambda-calculus that is sufficiently expressive to define and combine a variety of standard concurrency abstractions, such as channels, semaphores, and ports. Despite its minimality, the basic machinery of Lambda(fut) is sufficiently powerful to support explicit recursion and call-by-need evaluation. We present a static type system for Lambda(fut) and distinguish a fragment of Lambda(fut) that we prove to be uniformly confluent. This result confirms our intuition that reference cells are the sole source of indeterminism.
W. Lepuschitz, A. Lobato-Jimenez, E. Axinia, и M. Merdan. Industrial Applications of Holonic and Multi-Agent Systems: 7th International Conference, HoloMAS 2015, Valencia, Spain, том 9266 из Lecture Notes in Artificial Intelligence, Springer, Cham, (2015)
F. Klompmaker, V. Paelke, и H. Fischer. Distributed, Ambient, and Pervasive Interactions: Proc.\ of the First International Conference (DAPI 2013), Las Vegas, NV, USA, 8028, Springer, Heidelberg, (2013)
acatech, и Münchner Kreis. Bericht, acatech -- Deutsche Akademie der Technikwissenschaften in Kooperation mit dem Münchner Kreis, Übernationale Vereinigung für Kommunikationsforschung e.V., München, (июля 2015)
D. Ferrucci, и A. Lally. Proceedings of the HLT-NAACL 2003 Workshop on Software Engineering and Architecture of Language Technology Systems (SEALTS), Edmonton, Canada, стр. 67-74. (2003)
F. Shi, J. Li, J. Tang, G. Xie, и H. Li. The Semantic Web -- ISWC 2009: 8th International Semantic Web Conference, Chantilly, VA, USA, том 5823 из Lecture Notes in Computer Science, Springer, Berlin, (2009)
D. Costa, и C. Duarte. Universal Access in Human-Computer Interaction: Design for All and eInclusion, 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, том 6765 из Lecture Notes in Computer Science, Springer, Heidelberg, (2011)
S. Lynden, I. Kojima, A. Matono, и Y. Tanimura. Databases in Networked Information Systems: 6th International Workshop, DNIS 2010, Aizu-Wakamatsu, Japan, (2010)
U. Wajid, V. Chepegin, D. Meridou, M. Papadopoulou, и J. Barbosa. Industrial Applications of Holonic and Multi-Agent Systems: 7th International Conference, HoloMAS 2015, Valencia, Spain, том 9266 из Lecture Notes in Artificial Intelligence, Springer, Cham, (2015)
F. Kerber, и P. Lessel. Proceedings of DeLFI Workshops 2015, co-located with 13th e-Learning Conference of the German Computer Society (DeLFI-15), Munich, Germany, том 1443 из CEUR Workshop Proceedings, стр. 28--35. RWTH Aachen, Sun SITE Central Europe, (2015)
S. Bongartz, Y. Jin, F. Paternò, J. Rett, C. Santoro, и L. Spano. Ambient Intelligence: Third International Joint Conference, AmI 2012, Pisa, Italy, том 7683 из Lecture Notes in Computer Science, Springer, Heidelberg, (2012)
A. Gal, и P. Shvaiko. Advances in Web Semantics I: Ontologies, Web Services and Applied Semantic Web, том 4891 из Lecture Notes in Computer Science, Springer, Berlin, (2009)
W. Hung, Y. Tsai, Y. Liou, Y. Lin, и M. Yang. (2018)cite arxiv:1802.07934Comment: Accepted in BMVC 2018. Code and models available at https://github.com/hfslyc/AdvSemiSeg.
J. Queiroz, и P. Leitão. Technological Innovation for Cyber-Physical Systems: 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2016, Costa de Caparica, Portugal, April 11--13, 2016, Proceedings, том 470 из IFIP Advances in Information and Communication Technology, Springer, Cham, (2016)
S. Germesin, и T. Wilson. Proceedings of the 11th International Conference on Multimodal Interfaces and the 6th Workshop on Machine Learning for Multimodal Interfaces (ICMI-MLMI '09), Cambridge, MA, USA, стр. 7-14. (2009)