Filters








192,682 Hits in 6.6 sec

Logic in first courses for computer science majors [chapter]

Juris Reinfelds
1995 World Conference on Computers in Education VI  
ABS'IRACT This paper describes the curriculum design of a two-semester introductory course for computer science majors. In each semester the course starts with logic and logic programming.  ...  The concerns for 'WHAT?' are separated from concerns for 'HOW?'. The advantages and disadvantages of the inclusion of all three major programming paradigms are discussed.  ...  ACKNOWLEDGEMENTS The author is grateful to the National Science Foundation (NSF) for two curriculum development research grants USE-9150917 and USE-9156218 and NSF Program Director Jim Harri.  ... 
doi:10.1007/978-0-387-34844-5_45 dblp:conf/wcce/Reinfelds95 fatcat:tzn35s6ju5gqzmi4wpnnxefmky

DNA computing for combinational logic

Chuan Zhang, Lulu Ge, Yuchen Zhuang, Ziyuan Shen, Zhiwei Zhong, Zaichen Zhang, Xiaohu You
2018 Science China Information Sciences  
We hope this study can pave the way for the future DNA computing synthesis.  ...  Such transfer lies on bio-based modules programming with computer-like logic, aiming at realizing the Turing machine.  ...  To develop DNA computing in its full motion, there is still a long way off, full of both hopefulness and challenges.  ... 
doi:10.1007/s11432-018-9530-x fatcat:d2wegpajz5cglixouan47ggfv4

Mathematical Logic for Life Science Ontologies [chapter]

Carsten Lutz, Frank Wolter
2009 Lecture Notes in Computer Science  
We discuss how concepts and methods introduced in mathematical logic can be used to support the engineering and deployment of life science ontologies.  ...  The required applications of mathematical logic are not straighforward and we argue that such ontologies provide a new and rich family of logical theories that wait to be explored by logicians.  ...  challenges for logicians.  ... 
doi:10.1007/978-3-642-02261-6_4 fatcat:3jeixou7afemvexuynldjzbeke

Elio Lanzarone: a life for science

S. Costantini, F. Gobbo
2013 Journal of Logic and Computation  
Francesca Lisi, to write an article in honor of our mentor Gaetano Aurelio Lanzarone (for students, colleagues and friends simply 'Elio').  ...  We are sincerely grateful to have been invited by the Guest Editor of this special issue, Prof.  ...  Acknowledgements The authors would like to thank Elio's beloved wife, Marian Farago and Elio's former colleagues, especially Fiorella De Cindio, Giorgio De Michelis and Carla Simone, for the useful material  ... 
doi:10.1093/logcom/ext064 fatcat:spuelydz2rbqxdlyywzx63totq

The Challenges of Software Engineering Education [chapter]

Carlo Ghezzi, Dino Mandrioli
2006 Lecture Notes in Computer Science  
We believe that even in a continuously evolving field like software, education should provide strong and stable foundations based on mathematics and science, emphasize the engineering principles, and recognize  ...  We take the viewpoint of a school of engineering and put the software engineer's education in the wider context of engineering education.  ...  Notice that by "the basics of computer science" we do not mean how to use the Internet, productivity tools or, in general, computer tools, but the principles of computing science.  ... 
doi:10.1007/11949374_8 fatcat:5tthnpob7vd3teoqf23jlimsam

Logic Programming for an Introductory Computer Science Course for High School Students [article]

Timothy Yuen, Maritz Reyes, Yuanlin Zhang
2017 arXiv   pre-print
This paper investigates how high school students approach computing through an introductory computer science course situated in the Logic Programming (LP) paradigm.  ...  This study shows how novice students operate within the LP paradigm while engaging in foundational computing concepts and skills, and presents a case for LP as a viable paradigm choice for introductory  ...  The authors acknowledge Cynthia Perez and Rocky Upchurch for their contributions to this project, and thank Michael Gelfond for sharing his teaching materials.  ... 
arXiv:1706.09248v1 fatcat:afhxoyc7mve7bfrtki6n33gs3y

A theorem prover for a computational logic [chapter]

Robert S. Boyer, J Strother Moore
1990 Lecture Notes in Computer Science  
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols.  ...  We also describe the ongoing project of recoding the entire prover as an applicative function within its own logic.  ...  If computing becomes the dominant branch of both science and engineering, as seems possible, we hope that renowned computer scientists, if asked, will take the greatest care to review new developments  ... 
doi:10.1007/3-540-52885-7_75 fatcat:kxfrkpou4rautfbn7oixw6rpgi

Computational Logic: Memories of the Past and Challenges for the Future [chapter]

John Alan Robinson
2000 Lecture Notes in Computer Science  
The paper ends by presenting several challenging problems which the computational logic community now faces and whose solution will shape the future of the field.  ...  The development of computational logic since the introduction of Frege's modern logic in 1879 is presented in some detail.  ...  themes and challenges are for computational logic in the new millennium.  ... 
doi:10.1007/3-540-44957-4_1 fatcat:jsmzjkrbancv3lutfe35mgpcba

Nanocell logic gates for molecular computing

J.M. Tour, W.L. Van Zandt, C.P. Husband, S.M. Husband, L.S. Wilson, P.D. Franzon, D.P. Nackashi
2002 IEEE transactions on nanotechnology  
However, the construction of a practical molecular computer will require the molecular switches and their related interconnect technologies to behave as large-scale diverse logic, with input/output wires  ...  Molecular electronics seeks to build electrical devices to implement computation-logic and memory-using individual or small collections of molecules.  ...  within the arsenal for molecular computing architectural considerations.  ... 
doi:10.1109/tnano.2002.804744 fatcat:orfqwvqzdndftahyipdardrcva

On finite-state approximants for probabilistic computation tree logic

Michael Huth
2005 Theoretical Computer Science  
We generalize the familiar semantics for probabilistic computation tree logic from finite-state to infinite-state labelled Markov chains such that formulas are interpreted as measurable sets.  ...  Then we show how to synthesize finite-state abstractions which are sound for full probabilistic computation tree logic and in which measures are approximated by monotone set functions.  ...  Acknowledgements Radha Jagadeesan suggested to demote [| |]m to an example and to see the exponential overhead of computing B.R m (t, B) as being similar to the overhead of computing abstract qualitative  ... 
doi:10.1016/j.tcs.2005.08.008 fatcat:r4ocpo5ibraebkdnmmq5fgcizu

The challenges of software engineering education

Carlo Ghezzi, Dino Mandrioli
2005 Proceedings of the 27th international conference on Software engineering - ICSE '05  
We believe that even in a continuously evolving field like software, education should provide strong and stable foundations based on mathematics and science, emphasize the engineering principles, and recognize  ...  We take the viewpoint of a school of engineering and put the software engineer's education in the wider context of engineering education.  ...  Notice that by "the basics of computer science" we do not mean how to use the Internet, productivity tools or, in general, computer tools, but the principles of computing science.  ... 
doi:10.1145/1062455.1062578 dblp:conf/icse/GhezziM05 fatcat:knik5f7qm5ejnew6szb7xnkwue

The Ackermann Award 2018

Dexter Kozen, Thomas Schwentick, Michael Wagner
2018 Annual Conference for Computer Science Logic  
The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL'xx).  ...  ACM Subject Classification Theory of computation, Software and its engineering → Formal language definitions, Software and its engineering → Formal software verification Keywords and phrases Ackermann  ...  1:2 The Ackermann Award 2018 Citation Amina Doumane receives the 2018 Ackermann Award of the European Association of Computer Science Logic (EACSL) for her thesis On the infinitary proof theory of logics  ... 
doi:10.4230/lipics.csl.2018.1 dblp:conf/csl/KozenS18 fatcat:enjy7e5ltvbarlumyxu5tzq2zy

On the Challenge of Engineering Socio-technical Systems [chapter]

José Luiz Fiadeiro
2008 Lecture Notes in Computer Science  
Thus, this paper investigates if the use of DT can make the configuration engineers more inclined to develop new and improved product solutions before implementing knowledge into the configurator.  ...  Configurators support decision-making processes in the sales and engineering phases of a product and bring substantial benefits, such as shorter lead times, fewer errors, increased ability to meet customers  ...  Design thinking for configuration projects scoping With a basis in the perspective on design thinking illustrated in Figure 1 , a similar logic may be used to illustrate configuration projects, as shown  ... 
doi:10.1007/978-3-540-89437-7_4 fatcat:i437gzznivdljirrtrgxe5ls74

Research Perspectives for Logic and Deduction [chapter]

Wolfgang Bibel
2006 Lecture Notes in Computer Science  
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics.  ...  variety of alternatives, then the choice of an appropriate formal system for representing the chosen logic, and nally the issue of developing the most ecient search strategies.  ...  I also thank two anonymous referees for their comments. All these interactions have led to substantial improvements of the text. For any remaining errors I am of course fully responsible.  ... 
doi:10.1007/11829263_2 fatcat:ulnu4wqeibes5ovhcs2ab6o62a

Privacy Engineering Meets Software Engineering. On the Challenges of Engineering Privacy ByDesign [article]

Blagovesta Kostova, Seda Gürses, Carmela Troncoso
2020 arXiv   pre-print
Specifically, we identify important limitations in the approaches that researchers take to design and evaluate privacy enhancing technologies which ripple to proposals for privacy engineering methodologies  ...  These misalignments are likely to pose an obstacle to operationalizing privacy engineering solutions in the wild.  ...  Mind the Gaps The Computer Science and Engineering Schism.  ... 
arXiv:2007.08613v1 fatcat:2tqaxp3uhfhmrngqkmoysmrkm4
« Previous Showing results 1 — 15 out of 192,682 results