2,223 Hits in 12.4 sec

Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014)

Andrej Bauer, Ulrich Berger, Willem Fouché, Dieter Spreen, Hideki Tsuiki, Martin Ziegler
2017 Journal of Logic and Analysis  
The reason is that on the theoretical side one deals with well-developed analytical theories based on the non-constructive concept of a real number.  ...  Implementations, on the other hand, use floating-point realisations of real numbers which do not have a  ...  As is well known, proofs of existential statements in this logic allow the extraction of algorithms computing the object that is stated to exist. By their nature these algorithms are correct.  ... 
doi:10.4115/jla.2017.9.c0 fatcat:ahmt3mir55fzfh3l5tpkidrtce

Preface to the special issue: Computing with infinite data: topological and logical foundations

2014 Mathematical Structures in Computer Science  
This special issue ofMathematical Structures in Computer Scienceis composed mainly of papers submitted by participants of the Dagstuhl Seminar onComputing with Infinite Data: Topological and Logical Foundations  ...  The workshop took place in the Schloss Dagstuhl - Leibniz Center for Informatics in the first half of October 2011.  ...  This special issue of Mathematical Structures in Computer Science is composed mainly of papers submitted by participants of the Dagstuhl Seminar on Computing with Infinite Data: Topological and Logical  ... 
doi:10.1017/s0960129513000364 fatcat:qaxhc4qqrjcvbldwa4dka2n2uy

Preface to the special issue on developments of the concepts of randomness, statistics and probability

2014 Mathematical Structures in Computer Science  
Given all this, it seemed useful to dedicate a special issue of Mathematical Structures in Computer Science to encourage a critical and constructive examination of the present conceptual situation in the  ...  special issue.  ...  Preface to the special issue 3 We extend our warm thanks to the contributors for their collaboration, and we hope that this volume may contain the germs of an improved and reasonably general concept of  ... 
doi:10.1017/s0960129512000813 fatcat:hxtmfbfbbfeh3h3bafglfyasoi

Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday

Lars Hamann, Richard Paige, Alfonso Pierantonio, Bernhard Rumpe, Antonio Vallecillo
2020 Journal of Object Technology  
This issue contains a collection of essays dedicated to Prof. Dr. Martin Gogolla on his 65th birthday.  ...  The articles aim to acknowledge Martin's substantial contributions to software technology throughout his career, starting with his Ph.D. (if not already his Master thesis) through to the present day.  ...  We would also like to acknowledge the JOT journal's excellent support during the preparations of the special issue.  ... 
doi:10.5381/jot.2020.19.3.e1 fatcat:zxkx7fq4vng3xhrpaldssj65ku

Construct User Guide

Kathleen M. Carley, Kenneth Joseph, Mike Kowalchuck, Michael Lanham, Geoffrey P. Morgan
2014 Social Science Research Network  
With these concepts in place, the Construct model continued to evolve.  ...  If a modeler omits construct::[type]:: as a preface to [variable name], Construct will attempt to deduce the variable type. !  ...  Construct will separate each time period from the others by a blank line.  ... 
doi:10.2139/ssrn.2729263 fatcat:kpzigfugcjbe7pjs3evwbiq2je

BIMprove User Interfaces: Multi-User-XR for Construction

Matthias Aust, Melissa Otto, Kaj Helin
2020 Zenodo  
, through construction and operation, to demolition.  ...  This poster introduces the idea of a multi-user, multi-device XR-system to be set up at a construction site, for both co-located and remote use.  ...  supported and funded by E.U. and the National Action "Special Actions" -"Open Innovation in Culture", under the operational program "EPAnEK 2014-2020 -Competitiveness -Entrepreneurship -Innovation" (Project  ... 
doi:10.5281/zenodo.6043553 fatcat:gbrqz2jgrjfafomueig5ym2zsa

When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science

Liesbeth De Mol, Giuseppe Primiero
2015 History and Philosophy of Logic  
1 See Tedre 2015 for a recent in-depth study of the past and ongoing debates on what computer science is.  ...  INTRODUCTION When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science Preface The birth, growth, stabilization and subsequent understanding of a  ...  Discussion of contributions In the present special issue we approach various apparently distinct issues concerning computability at large, correctness, software design and implementation, program semantics  ... 
doi:10.1080/01445340.2015.1084183 fatcat:5uu53ql7szf6jo5p4vj5i7kqga

Une Plateforme Intégrée Pour La Construction Et L'Évaluation De Modèles De Simulation En Géographie

2015 Zenodo  
et l'exploration de modèle de simulation. ---- An integrated platform for building and evaluating model of simulation in geography Since 1990's, Agent Based Modelling are commonly used by geographers to  ...  Peu de solutions techniques ont été avancées ces dernières années dans la littérature pour encadrer la construction et l'évaluation plus systématique de ces modèles de simulation.  ...  Results obtained in this paper were computed on the  ... 
doi:10.5281/zenodo.50212 fatcat:idqfqq72trdelhxojutub2csqi

Context scenarios and their usage for the construction of socio-technical energy scenarios

Wolfgang Weimer-Jehle, Jens Buchgeister, Wolfgang Hauser, Hannah Kosow, Tobias Naegler, Witold-Roger Poganietz, Thomas Pregger, Sigrid Prehofer, Andreas von Recklinghausen, Jens Schippl, Stefan Vögele
2016 Energy  
, and demonstrates the possible application of the concept in model-based energy scenario construction.  ...  The challenge to deal with this 'context uncertainty' in a systematic and comprehensive manner has only recently started to attract intensified attention in energy research; the search for appropriate  ...  The authors would like to thank the reviewers for useful comments, which helped to improve the quality of the article.  ... 
doi:10.1016/ fatcat:jujpolupdjff3l5u6o4sim5che

Multicoloured Random Graphs: Constructions and Symmetry [article]

Sam Tarzi
2014 arXiv   pre-print
The large amount of background material included serves as an introduction to the theories that are used to produce the new results.  ...  This is a research monograph on constructions of and group actions on countable homogeneous graphs, concentrating particularly on the simple random graph and its edge-coloured variants.  ...  This construction gives a graph isomorphic to R t if we follow the ( * t ) algorithm.  ... 
arXiv:1406.7870v2 fatcat:othjxv7jzbhq7pupvjfmonunva

Software Comes to Matter: Toward a Material History of Computational Design

Daniel Cardoso Llach
2015 Design Issues  
as computable, linked to the emergence of software and numerically controlled machines, emerged from the Cold War era entanglement of military, industrial, and academic interests.  ...  From this negotiation between symbolic abstractions and material systems, new programming techniques and, crucially, the first theory of computer-aided design emerged. 1 Thus, software started to become  ...  The algorithm relates to the behavior and the interpretation of the whole: a sort of logical rule set for operation and assembly.  ... 
doi:10.1162/desi_a_00337 fatcat:ewkmut2nxzcfbj4cysat2sqs5e


Martyn Amos, Anne Condon
2018 Natural Computing  
Natural Computing (2018) 17:221-222 0123456789().,-volV) (0123456789(). ,-volV)  ...  We thank the authors and invited speakers for contributing to the meeting, and the workshop organizers for enriching the event.  ...  We also thank the Dean of Science and Engineering at MMU for sponsoring the event, the LNCS team at Springer (Alfred Hofmann and Anna Kramer) for supporting the continued publication of the UCNC proceedings  ... 
doi:10.1007/s11047-018-9684-z fatcat:f3t6vykkd5g2ngwakxy7vao6pe

Issue 29 Introduction: Computing the City

Armin Beverungen, Florian Sprenger
2017 Fibreculture Journal  
This themed issue on 'Computing the City', which emerges from a workshop with the same title held at the Centre for Digital Cultures at Leuphana University Lüneburg in 2014, focuses specifically on the  ...  in this issue), but also in the way they rework and extend the model of the 'logistics city' such as Dubai Logistics City (see Cowen, 2014: 163ff.).  ...  Acknowledgements We would like to acknowledge the support of the Volkswagen Foundation for funding the workshop (as part of the Digital Cultures Research Lab in Lüneburg) out of which this issue emerged  ... 
doi:10.15307/fcj.29.212.2017 fatcat:zoqi2hu5frhyxfmdsmqktyrxiq

"Let's Listen with Our Eyes ..." The Deconstruction of Deafness in Christine Sun Kim's Sound Art [chapter]

Anna Benedikt
2021 Under Construction: Performing Critical Identity  
This romanticized identification fails, however, to account for the specificities of race relations within the group, as is common to attempts to replace racial categories with national ones, and which  ...  [CrossRef] Anderson, Leon. 2006 Almost all of the 'core members' of the group were white, with Latinos and blacks following (Neumann 2008, p. 59), perhaps solely due to the group's positioning in the  ...  If, after participating in Shadi's project, the public continues to deny knowing these women when their 72 names, thanks to the globalized computing tool, would be so easy to integrate into general knowledge  ... 
doi:10.3390/books978-3-03897-500-7-3 fatcat:q7ca7vkxxfh43lizxsvkamgxla

From De Novo Review to Informal Deference: An Historical, Empirical, and Normative Analysis of the Standard of Appellate Review for Patent Claim Construction

Jonas Anderson, Peter S. Menell
2012 Social Science Research Network  
an increase following the issued opinion (solid line), the rate continued to drop.  ...  Following this logic, subsidiary factual issues in claim construction rulings, "like [the] many other responsibilities that we cede to a judge in the normal course of a trial,""' would be subject to a  ...  Variable Coding 35 This Table reports a logistic regression model that predicts Disposition Term-a variable that is positive when the Federal Circuit affirms the claim construction of the district  ... 
doi:10.2139/ssrn.2150360 fatcat:lldqfcvchbai3au2fu4pgwc7fa
« Previous Showing results 1 — 15 out of 2,223 results