Filters








15 Hits in 14.6 sec

Logic Synthesis [chapter]

2017 Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology  
ACKNOWLEDGMENT e authors thank Vladimir Yutsis for his helpful feedback on Section 1.5.2.  ...  FPGAs, in Proceedings of the International Symposium on FPGAs, 2014, pp. 21-30.  ...  [Harrison86] Harrison D., Moore P., Spickelmier R., Newton A.R., Data management and graphics editing in the Berkeley design environment, Proceedings of the 1986 IEEE/ACM International Conference on Computer-Aided  ... 
doi:10.1201/9781315215112-13 fatcat:me52zpnxyfcczh3choo2p4zulm

Formal Certification Methods for Automated Vehicle Safety Assessment [article]

Tong Zhao, Ekim Yurtsever, Joel Paulson, Giorgio Rizzoni
2022 arXiv   pre-print
Challenges related to automated driving are no longer focused on just the construction of such automated vehicles (AVs), but in assuring the safety of their operation.  ...  A majority of approaches used in providing safety guarantees for AV motion control originate from formal methods, especially reachability analysis (RA), which relies on mathematical models for the dynamic  ...  20th Engineering, University of California, Berkeley CA.  ... 
arXiv:2202.02818v2 fatcat:spgyrglbwjhshl2n43kyx722fa

Priorities assignment for actions in a transport system based on a multicriteria decision model [chapter]

2009 Reliability, Risk, and Safety, Three Volume Set  
The innovative tools for prevention of accidents in a post-socialist country Council Directive 89/391/EEC of 12 June 1989 on the introduction of measures to encourage improvements in the safety and health  ...  "Impact Of Maintenance Function On Plant Safety" American Society Of Safety Engineers, August 2000 , pp. 45-48. Reason, J. 1997. "Managing the Risks of Organizational Accidents", Ashgate.  ...  Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, IEEE Computer Society, Pages 344-352.  ... 
doi:10.1201/9780203859759-69 fatcat:wnkjp4evmnawrn55cmckrgazze

An Old Discipline with a New Twist: The Course "Logic in Action"

Johan van Benthem
2017 IfColog journal of logics and their applications (FLAP)  
We thank all the authors who have contributed to this special issue. Each submission for this special issue were assigned to two reviewers. We are immensely grateful to  ...  for Fun, Nursulu Kuspanova for her invaluable work on the diagnosis tool, and the many logic students over the last 15 years who have helped by testing the site to destruction.  ...  We would like to also thank again all the reviewers for the conference TTL 2015 as well as all the members of the organizing committee of TTL2015, M.  ... 
dblp:journals/flap/Benthem17 fatcat:e5d54ekdhrbmjcs3ywmfzhaslm

The life and scientific work of William R. Evitt (1923-2009)

James B. Riding, Joyce Lucas-Clark
2016 Palynology  
By contrast, the perioperculum lies largely in the epicyst; it is offset to the left-hand side of the cyst; it may have become lodged between the periphragm and endophragm.  ...  A stereopair of two scanning electron microscope (SEM) photographs of the apical region of Protoperidinium sp., a modern thecate dinoflagellate captured with a plankton net from off the California coast  ...  Evitt (1968) is a remarkable paper because, in 1962, Georges Deflandre was about to finalise a manuscript on the Cretaceous acritarch genus Ophiobolus.  ... 
doi:10.1080/01916122.2016.1147792 fatcat:jxqhfuuky5gb3duzicdmtinane

Technology Ethics in Action: Critical and Interdisciplinary Perspectives [article]

Ben Green
2022 arXiv   pre-print
Rather than starting from philosophical theories, the authors in this issue orient their articles around the real-world discourses and impacts of tech ethics--i.e., tech ethics in action.  ...  This special issue interrogates the meaning and impacts of "tech ethics": the embedding of ethics into digital technology research, development, use, and governance.  ...  Green Acknowledgment This material is based on work undertaken at the Digital Life Initiative, supported in part by Microsoft.  ... 
arXiv:2202.01351v2 fatcat:jxsghelw3nav5dy7oiodllge2a

Critical Point of View: A Wikipedia Reader

Geert Lovink, Nathaniel Tkacz, Joseph M. Reagle, Dan O'Sullivan, Lawrence Liang, Amila Akdag Salah, Cheng Gao, Krzystztof Suchecki, Andrea Scharnhorst, R. Stuart Geiger, Edgar Enyedy, Peter B. Kaufman (+19 others)
2012 Social Science Research Network  
Institute of Network Cultures, Amsterdam 2011 ISBN 978-90-78146-13-1  ...  Morris himself became the first person tried and convicted under the 1986 Computer Fraud and Abuse Act [14] . My first paragraph was accepted.  ...  Gunness also remarks on the contradictory impulse that marked the production of encyclopedias in the 18th century.  ... 
doi:10.2139/ssrn.2075015 fatcat:ufngx3eoazbtfe5pgtvovak6q4

The Computational Attitude in Music Theory

Eamonn Patrick Bell
2019
It may be manifest in actual computer use, or in invocations of computationalism, a theory of mind whose influence on twentieth-century music theory is palpable.  ...  In Chapter 1, I describe this attitude, the stakes for considering the computer as one of its instruments, and the kinds of historical sources and methodologies we might draw on to chart its ascendance  ...  Ernst Krenek, Horizons Circled: Reflections on My Music (Berkeley: University of California Press, 1974), 87.  ... 
doi:10.7916/d8-yfr2-k514 fatcat:hbfr2ld4krhyzawqydvujizelq

Software Defect Prediction Using Static Code Metrics: Formulating a Methodology [article]

David Philip Harry Gray, UH Research Archive, UH Research Archive
2013
So many data-related and/or methodological errors have previously occurred that it may now be time to revisit the fundamental aspects of this research area, to determine what we really know, and how we  ...  The findings of this dissertation raise questions about the current defect prediction body of knowledge.  ...  In Proceedings of the 5th Annual ACM Workshop on Computational Learning Theory, pages 144- 152. ACM Press, 1992. (Cited on page 38.) [Bottou 2007] Léon Bottou and Chih-Jen Lin.  ... 
doi:10.18745/th.11067 fatcat:gvwyfsonojdexpzakxgglhtxqe

LIPIcs, Volume 73, TQC'17, Complete Volume [article]

Mark M. Wilde
2018
LL thanks Davide Orsucci for his contribution to the proof contained in [30, Section 3.4].  ...  The authors would like to thank BIRS for hosting Banff Seminar 16w5029: Quantum Computer Science, during which part of this research was carried out, and the anonymous referees for providing valuable feedback  ...  of Computing,May 28-30, 1986, Berkeley, California, USA, pages 364-369.ACM, 1986.doi:10.1145/12130.12168. 13 Gus Gutoski and John Watrous.  ... 
doi:10.4230/lipics.tqc.2017 fatcat:dtbnfnirorapnprvmk4i5oc7yq

Primary Encoder: Laura Weakly Designer: Karin Dalziel Encoders and Proofreaders: International Program Committee Local Organizing Committee Conference Volunteers Welcome to Digital Humanities 2013

Matt Bosley, Matthew Lavin, Elizabeth Lorang, Keith Nickum, Erin Pedigo, Hannah Vahle, Bethany Nowviskie, Craig Bellamy, John Bradley, Paul Caton, Carolyn Guertin, Ian Johnson (+61 others)
2013 unpublished
Those of you who will be going on the Nebraska History tour will see the Durham Western Heritage Museum in Omaha, located in a former Union Pacific station.  ...  In 2010, we joined the Committee on Institutional Cooperation (CIC), a consortium of universities enrolling approximately half a million students each year, with approximately $7 billion in funded research  ...  International Program Committee Acknowledgements The University of Queensland is proud to be in partnership with the National eResearch Collaboration Tools and Resources (NeCTAR) project to create a  ... 
fatcat:bibtuxjcgzdtpgda6kjat2m5hu

Toward An Optimal DRM Regulatory Model in China: An Analysis of the U.S, Europe and China

Cong Xu
2016
: Proceedings of a Symposium', Aug, 2003.  ...  Patent, Trade-mark, and Copyright Foundation of the George Washington University, and also see Proceedings of the annual public conference of the George Washington University.  ...  AND All the respondents of the study  The exact contribution of all the persons mentioned above is not fully stated  ... 
doi:10.6092/unibo/amsdottorato/7686 fatcat:vpx74ajb7nb7jo3cplqmoq2dka

Region based urbanization in Bangkok's extended periphery

Charles Greenberg
1994
Outer areas of the EBMR, which are defined as 'rural', are not only 'holding' population, but are the destination of a large migration from peripheral regions of the Kingdom.  ...  What is emerging is a chaotic tapestry of an urban and rural landscape which reflects a bonanza form of development and has accelerated in the last ten years.  ...  The Nation The Nation (1993) "Rice Growers go to Wall," May 27th, section 3. National Economic  ... 
doi:10.14288/1.0088208 fatcat:kb7otcr2gbbsdmlpke4x5erh2i

Proceedings of the 6th International Workshop on Folk Music Analysis, 15-17 June, 2016

Beauguitte, Pierre; Duggan, Bryan And Kelleher, John
2016
This work is partly supported by the European Research Council under the European Union's Seventh Framework Program, as part of the CompMusic project (ERC grant agreement 267583) and partly by the AGAUR  ...  Acknowledgements We are thankful to Wanglei from Doreso for providing a dictionary of pinyin syllables.  ...  In Proceedings of the 18th international conference on Multimedia, (pp. 1467- 1468)., Firenze, Italy. ACM. De Cheveigné, A. & Kawahara, H. (2002).  ... 
doi:10.21427/d7wx8m fatcat:txulo7amxfei5fxtdwbnsr6cg4

Virtuelle Organisation und Neue Medien 2000. Workshop GeNeMe 2000, Gemeinschaften in Neuen Medien. TU Dresden, 5. und 6. Oktober 2000 [article]

:null, Martin [Hrsg.] Engelien, Detlef [Hrsg.] Neumann
2021
-B.: The Usability Risk. In: Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems, Vol. 18, S. 396-400. 18 -21 October 1999, Lausanne, Switzerland.  ...  Dourish, Re-Place-ing Space: The Roles of Place and Space in Collaborative Systems, Proceedings of the Conference of Computer Supported Cooperative Work, ACM, 1996.  ... 
doi:10.25656/01:22389 fatcat:tqcmx3o7anfe3fywkciqjtuhey