標(biāo)題: Titlebook: History and Philosophy of Computing; Third International Fabio Gadducci,Mirko Tavosanis Conference proceedings 2016 IFIP International Fed [打印本頁(yè)] 作者: Combat 時(shí)間: 2025-3-21 19:23
書目名稱History and Philosophy of Computing影響因子(影響力)
書目名稱History and Philosophy of Computing影響因子(影響力)學(xué)科排名
書目名稱History and Philosophy of Computing網(wǎng)絡(luò)公開(kāi)度
書目名稱History and Philosophy of Computing網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書目名稱History and Philosophy of Computing被引頻次
書目名稱History and Philosophy of Computing被引頻次學(xué)科排名
書目名稱History and Philosophy of Computing年度引用
書目名稱History and Philosophy of Computing年度引用學(xué)科排名
書目名稱History and Philosophy of Computing讀者反饋
書目名稱History and Philosophy of Computing讀者反饋學(xué)科排名
作者: emission 時(shí)間: 2025-3-21 21:32
IFIP Advances in Information and Communication Technologyhttp://image.papertrans.cn/h/image/427506.jpg作者: Cardioversion 時(shí)間: 2025-3-22 03:12
978-3-319-83699-7IFIP International Federation for Information Processing 2016作者: 滔滔不絕地說(shuō) 時(shí)間: 2025-3-22 04:48 作者: CURT 時(shí)間: 2025-3-22 08:50 作者: 柳樹(shù)；枯黃 時(shí)間: 2025-3-22 13:44 作者: Euthyroid 時(shí)間: 2025-3-22 18:19
https://doi.org/10.1007/978-3-319-47286-7artificial intelligence; augmented reality; computational linguistics; computing theory; hardware; histor作者: Bureaucracy 時(shí)間: 2025-3-22 22:54
From Close to Distant and Back: How to Read with the Help of Machineses could be a very promising tool for the humanities and that researchers should not renounce to such approaches, but should instead experiment with advanced methods such as the ones belonging to the family of deep learning. In this sense we remark that, especially in the field of digital humanities作者: 咯咯笑 時(shí)間: 2025-3-23 05:26 作者: 使?jié)M足 時(shí)間: 2025-3-23 06:13 作者: buoyant 時(shí)間: 2025-3-23 12:49 作者: hysterectomy 時(shí)間: 2025-3-23 16:24
Alessandro Aldini,Vincenzo Fano,Pierluigi Graziani作者: 逗它小傻瓜 時(shí)間: 2025-3-23 20:58 作者: RUPT 時(shí)間: 2025-3-23 23:33
Vladimir A. Kitov,Valery V. Shilov,Sergey A. Silantiev作者: 放逐某人 時(shí)間: 2025-3-24 04:25
Wherefore Art Thou , Semantics of Computation? was supposed to be. Today, in face of the plethora of different models and logical systems based thereupon, are we in a better position to address this . question? We analyse philosophical issues revolving around the Foundations of Formal Reasoning, Proof Cultures, Logical Frameworks, the Algebraic作者: PATHY 時(shí)間: 2025-3-24 07:27
Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergenceher countries, reveals that in most cases computing developed initially as an ancillary technique of applied mathematics, with little awareness of the path-breaking theories of computability elaborated in the 1930s. This was particularly clear in France, where mathematical logic was almost inexisten作者: Left-Atrium 時(shí)間: 2025-3-24 12:27 作者: craving 時(shí)間: 2025-3-24 16:09 作者: 客觀 時(shí)間: 2025-3-24 19:28
Algorithmic in the 12th Century: The Carmen de Algorismo by Alexander de Villa Deihe so-called Carmen de algorismo, also known as Algorismus metricus, and traditionally attributed to the French scholar Alexander de Villa Dei. This work had a remarkable spread during the Middle Ages in many European countries, alongside the Algorismus prosaicus by Johannes de Sacrobosco. In our st作者: 矛盾 時(shí)間: 2025-3-25 02:04
From Close to Distant and Back: How to Read with the Help of Machinesten in opposition to traditional hermeneutic approaches. In our paper, we intend to show how text mining methods will always need a strong support from the humanist. On the one hand we remark how humanities research involving computational techniques should be thought of as a three steps process: fr作者: dithiolethione 時(shí)間: 2025-3-25 03:48
Computing, Design, Art: Reflections on an Innovative Moment in Historyrt. It offers insights arising from research into a period in the 1960s and 70s, particularly in the UK, when computing became more available to artists and designers, focusing on Bruce Archer (1922–2005) and John Lansdown (1929–1999) in London. It suggests that models of computing interacted with c作者: Manifest 時(shí)間: 2025-3-25 10:36 作者: Albinism 時(shí)間: 2025-3-25 15:15
?Omnia Numerorum Videntur Ratione Formata?. A ‘Computable World’ Theory in Early Medieval Philosophys theory reinterprets some previous philosophical intuitions, starting from the Pythagorean theory of numbers as the beginning of all things and as a criterion for the comprehension of reality. Significant antecedents of this computational philosophical approach can be found in the tradition of late作者: 羽毛長(zhǎng)成 時(shí)間: 2025-3-25 17:05
From , to Computationof Choice from the other axioms of Zermelo-Fraenkel set theory. Almost a century later, a model introduced as part of a proof in abstract mathematics fostered a plethora of research results, ranging from the area of syntax and semantics of programming languages to minimization algorithms and automat作者: 爭(zhēng)議的蘋果 時(shí)間: 2025-3-25 20:42
The Contribution of Carl Adam Petri to Our Understanding of ‘Computing’ in scientific knowledge. Carl Adam Petri has not written extensively during his life and this may have been an important reason that only the most applied part of his approach, the use of nets for designing concurrent systems, has become largely popular. In this paper, I try to popularize in a larg作者: convert 時(shí)間: 2025-3-26 02:07 作者: BOGUS 時(shí)間: 2025-3-26 04:44 作者: Accessible 時(shí)間: 2025-3-26 10:49 作者: 恃強(qiáng)凌弱 時(shí)間: 2025-3-26 15:59 作者: AROMA 時(shí)間: 2025-3-26 19:44
Playfulness and the Advent of Computerization in Spain: The National Club of ZX81 Users computer games. However, this important episode has traditionally focused on accomplishments that identify key moments in the past such as identifying important firsts and successful corporate innovators. According to this, we may neglect the valuable contributions of other very different actors, s作者: 饒舌的人 時(shí)間: 2025-3-26 21:13
Impact of Informatics on Mathematics and Its Teachingological research on the interactions between mathematics and informatics is necessary to feed didactical research on today’s mathematics learning and teaching situations, impacted by the development of informatics. We develop some examples to support this idea and propose some perspectives to attac作者: boisterous 時(shí)間: 2025-3-27 02:08
Conference proceedings 2016d in Pisa, Italy in October 2015..The 18 full papers included in this volume were carefully reviewed and selected from the 30 papers presented at the conference. They cover topics ranging from the world history of computing to the role of computing in the humanities and the arts.?.作者: left-ventricle 時(shí)間: 2025-3-27 07:41
Computing, Design, Art: Reflections on an Innovative Moment in Historyts and designers, focusing on Bruce Archer (1922–2005) and John Lansdown (1929–1999) in London. It suggests that models of computing interacted with conceptualisations of art, design and creative activities in important ways.作者: incite 時(shí)間: 2025-3-27 12:54 作者: 大罵 時(shí)間: 2025-3-27 16:32
1868-4238 lected from the 30 papers presented at the conference. They cover topics ranging from the world history of computing to the role of computing in the humanities and the arts.?.978-3-319-83699-7978-3-319-47286-7Series ISSN 1868-4238 Series E-ISSN 1868-422X 作者: 淘氣 時(shí)間: 2025-3-27 18:49 作者: 錯(cuò)事 時(shí)間: 2025-3-28 01:22
Theory of Knowing Machines: Revisiting G?del and the Mechanistic Thesisknow its own code exactly but cannot know its own correctness (despite actually being sound). In particular, we define a machine that, for (at least) a specific case, knows its own code and knows to be sound.作者: anus928 時(shí)間: 2025-3-28 06:09
Algorithmic in the 12th Century: The Carmen de Algorismo by Alexander de Villa Deimportance, the work has not yet been thoroughly investigated both for its relative difficulty, because it is composed in verse by a refined author, and for the presence of a contemporary literature of the same content, starting precisely from the one by Sacrobosco.作者: URN 時(shí)間: 2025-3-28 07:08 作者: 博愛(ài)家 時(shí)間: 2025-3-28 13:42
1868-4238 he History and Philosophy of Computing, held in Pisa, Italy in October 2015..The 18 full papers included in this volume were carefully reviewed and selected from the 30 papers presented at the conference. They cover topics ranging from the world history of computing to the role of computing in the h作者: 最高點(diǎn) 時(shí)間: 2025-3-28 14:38 作者: 新娘 時(shí)間: 2025-3-28 20:48 作者: 心胸開(kāi)闊 時(shí)間: 2025-3-29 00:55 作者: 火光在搖曳 時(shí)間: 2025-3-29 03:23
From Cells as Computation to Cells as Appsof a . biology. Several in-silico, in-vitro and in-vivo results make such a possibility a very concrete one. The long-term implications of such an “extended” idea of programmable living hardware, as well as the applications that we intend to develop on those “computers”, pose fundamental questions.作者: 鬧劇 時(shí)間: 2025-3-29 11:02
?Omnia Numerorum Videntur Ratione Formata?. A ‘Computable World’ Theory in Early Medieval Philosophyenaissance, when we can identify theorists of what has been called – in reference to modern authors as Leibniz – a ‘computational paradigm’. The paper focuses on the works of Abbo of Fleury and Gerbert of Aurillac. Their theoretical basis is the famous verse of . 11, 21 (.).作者: Gastric 時(shí)間: 2025-3-29 14:53 作者: 使腐爛 時(shí)間: 2025-3-29 15:36 作者: 紅腫 時(shí)間: 2025-3-29 20:58 作者: FISC 時(shí)間: 2025-3-30 02:18 作者: hereditary 時(shí)間: 2025-3-30 04:35
The Use of Cross-Correlation in the Display of Paroxysmal Events in the EEG: A Preliminary Reportll as on a number of other parameters, especially age. Visual analysis of the EEG recordings is hampered by technical limitations of the writing systems, especially of paper speed. Moreover, the structural, temporal and topographical complexities of these paroxysmal EEG correlates are of such magnit作者: 是突襲 時(shí)間: 2025-3-30 10:15 作者: Crumple 時(shí)間: 2025-3-30 12:56 作者: CESS 時(shí)間: 2025-3-30 16:57 作者: 令人心醉 時(shí)間: 2025-3-30 22:00 作者: 典型 時(shí)間: 2025-3-31 04:25
E. J. van der Linden the source sentence to form a representation for each split. Then, a decoder generates each split on the basis of its representation. Analyses demonstrate that with the aid of the ., a model can effectively learn attention to avoid duplication and detect clues for splitting a sentence. Experimental作者: Foreknowledge 時(shí)間: 2025-3-31 06:54 作者: Awning 時(shí)間: 2025-3-31 13:03
Digitizing Writing: An Empirical Exploratory Study Towards Students’ Writing Skill Fluency Improvement in ‘Padletosphere’ted data are appealing and encouraging to us as practitioners to restructure our teaching methods towards updating and digitizing them to cater for students’ learning needs and language skills delivery in the classroom.作者: harmony 時(shí)間: 2025-3-31 15:08 作者: 老巫婆 時(shí)間: 2025-3-31 20:17 作者: faucet 時(shí)間: 2025-3-31 23:08
Intervention Research in Health Carearticular, we outline the analytical framework and designs for evaluative studies within the context of health services research. We then describe the types of questions that commonly arise in the evaluation of management alternatives for perioperative processes. We conclude with a brief discussion
