Search
Results: 1525
Subatomic Proof Systems
This article presents the first in a series of results that allow us to develop a theory providing finer control over the complexity of normalization, and in particular of cut elimination. By considering atoms as self-dual...
Cut-elimination deep inference Normalisation Subatomic proof systems /dk/atira/pure/subjectarea/asjc/2600/2614 name=Theoretical Computer Science /dk/atira/pure/subjectarea/asjc/1700/1700 name=General Computer Science /dk/atira/pure/subjectarea/asjc/2600/2609 name=Logic /dk/atira/pure/subjectarea/asjc/2600/2605 name=Computational Mathematics
Subatomic Proof Systems
This article presents the first in a series of results that allow us to develop a theory providing finer control over the complexity of normalization, and in particular of cut elimination. By considering atoms as self-dual...
Cut-elimination deep inference Normalisation Subatomic proof systems /dk/atira/pure/subjectarea/asjc/2600/2614 name=Theoretical Computer Science /dk/atira/pure/subjectarea/asjc/1700/1700 name=General Computer Science /dk/atira/pure/subjectarea/asjc/2600/2609 name=Logic /dk/atira/pure/subjectarea/asjc/2600/2605 name=Computational Mathematics
Andrea Mantegna's Wedding Chamber
The Wedding Chamber fresco, also known as Camera Picta, or La Camera Degli Sposi, painted by Andrea Mantegna at the dawn of the Renaissance, epitomizes the most outstanding expression of personal creativity and innovation from...
Published by: IGI Global Scientific Publishing
The Origin of Inequality. Origini 3, edited by Andrea Cardarelli, Alberto Cazzella and Marcella Frangipane
The article reviews The Origins of Inequality, a collection of essays brought together by Andrea Cardarelli, Alberto Cazzella and Marcella Frangipane following a series of seminars on this theme at the University of Roma La...
Mark Anthony Carpio
Jan 17, 2014
Plenary Keynote Presentation V: Panel Presentation from The Phenomenon of Singing International Symposium VIII. Held at Memorial University, St. John's NL, 2011. Introduction: Andrea Rose (Memorial University of Newfoundland...
Published by: Faculty of Education
Mark Anthony Carpio
Jan 17, 2014
Plenary Keynote Presentation V: Panel Presentation from The Phenomenon of Singing International Symposium VIII. Held at Memorial University, St. John's NL, 2011. Introduction: Andrea Rose (Memorial University of Newfoundland...
Published by: Faculty of Education
Systematic Review of Outdoor Science Learning Activities with the Integration of Mobile Devices
The purpose of this systematic study review was to describe how researchers integrated mobile devices into outdoor science learning, assessment of those activities, and alignment of purpose, integration, and assessment. From...
Published by: IGI Global Scientific Publishing
Riding the Fourth Wave
Andrea Webb
Jan 10, 2020
The Scholarship of Teaching and Learning (SoTL) is an important international movement in higher education. It is a continuously developing field that is traced back to Ernest Boyer's 1990 report, “Scholarship Reconsidered...
Professional Development Education Educational Administration and Leadership Social Sciences and Humanities
Published by: IGI Global Scientific Publishing
The Role of Social Media in Creativity Management in Advertising Agencies
Andrea Rubik
Jan 01, 2022
Social media has changed traditional advertising, driving, expanding, and shaping creativity in an advertising agency and challenging its existing creativity management. As such, it represents one of the most transformative...
Published by: IGI Global Scientific Publishing
Plenary Keynote Presentation VIOur voice
(choir) Lady Cove Women's Choir
Jan 17, 2014
Plenary Keynote Presentation VI from The Phenomenon of Singing International Symposium VIII. Held at Memorial University, St. John's NL, 2011. Introduction: Ki Adams and Andrea Rose (Memorial University of Newfoundland, Canada)
Published by: Faculty of Education
Plenary Keynote Presentation VIOur voice
(choir) Lady Cove Women's Choir
Jan 17, 2014
Plenary Keynote Presentation VI from The Phenomenon of Singing International Symposium VIII. Held at Memorial University, St. John's NL, 2011. Introduction: Ki Adams and Andrea Rose (Memorial University of Newfoundland, Canada)
Published by: Faculty of Education
An Evolutionary Game to Model Offshoring and Reshoring of Production Between Developed and Developing Countries
A dynamic model is proposed to describe the time evolution of production location choices of a multinational enterprise that can decide between two possible manufacturing locations: a stylized developed economy and a developing...
Published by: IGI Global Scientific Publishing
Bridging the Gap Between Strategic Environmental Assessment and Planning
Current planning practices in Europe are affected by regulations aiming at environmental protection and risk reduction; however, planners face difficulties in implementing the norms. This chapter discusses the influence of the...
Government and Law Public and Sector Management E-Planning Physical Sciences and Engineering Life Sciences
Published by: IGI Global Scientific Publishing
GenHap
Andrea Tangherloni, Simone Spolaor, Leonardo Rundo, Marco S Nobile, Paolo Cazzaniga, Giancarlo Mauri, Pietro Liò, Ivan Merelli, Daniela Besozzi
May 10, 2019
BACKGROUND: In order to fully characterize the genome of an individual, the reconstruction of the two distinct copies of each chromosome, called haplotypes, is essential. The computational problem of inferring the full haplotype...
The Ursinus Weekly, October 5, 1972
Charles Chambers, Geoffrey Higgins, Sandra Wible, David Kirk Zimmerman, Rich Whalen, James Cochran, Mark M. Borish, Jeanne Crandall, Nancy Frye, Robert Vietri, Ruthann Connell, Don McAviney, Rodger Blind
Jan 01, 0001
Jerrold Schecter speaks on China: "Mao in control" Ursinus administration appoints twelve new faculty members for coming year Voting deadline nears; Have you registered? News editors hope for expansion and diversity ...
Ursinus College Collegeville Pennsylvania newspaper Jerrold Schecter China Robert V. Cogger John M. Wickersham Emil S. Paul Robert R. Davidson Peter F. Small James C. N. Miller Derq Howlett Janet G. Altman James C. Thompson Frederick Kopp Joyce Henry Juan Espadas voter registration Jane Fonda Andrea Turner instructional equipment grant freshman orientation Central Coordinating Committee College Scholars Program cross country Soccer Football field hockey Adele Boyd cultural history Higher Education Liberal Studies Social History United States History
Published by: Ursinus College
Practical Implications On How Established Companies Innovate With Startups
The study addresses an important literature gap concerning open innovation and startups. The purpose of this article is to deliver tools and guidelines for innovation managers to support their decision-making when aspiring to...
Published by: IGI Global Scientific Publishing
The architectural guidebook
In 1554 the Renaissance architectural master, Andrea Palladio (born Andrea della Gondola, or ‘di Pietro’), produced two little-known guidebooks to the city of Rome. These were unillustrated texts, one of which described the...
How Mendeleev issued his predictions
Abstract Much has been said about the accuracy of the famous predictions of the Russian chemist Dmitrii Ivanovich Mendeleev, but far less has been written on how he made...
Continuous Monitoring of Cerebral Autoregulation in Children Supported by Extracorporeal Membrane Oxygenation
Nicolas Joram, Erta Beqiri, Stefano Pezzato, Moscatelli Andrea, Chiara Robba, Jean-Michel Liet, Alexis Chenouard, Pierre Bourgoin, Marek Czosnyka, Pierre-Louis Léger, Peter Smielewski
Oct 15, 2020
OBJECTIVE: Cerebral autoregulation (CA) impairment may pose a risk factor for neurological complications among children supported by extracorporeal membrane oxygenation (ECMO). Our first objective was to investigate the...
The architectural guidebook
In 1554 the Renaissance architectural master, Andrea Palladio (born Andrea della Gondola, or ‘di Pietro’), produced two little-known guidebooks to the city of Rome. These were unillustrated texts, one of which described the...
How Mendeleev issued his predictions
Abstract: Much has been said about the accuracy of the famous predictions of the Russian chemist Dmitrii Ivanovich Mendeleev, but far less has been written on how he made his predictions. Here we offer an explanation on how...
Learning From Doing
Martin Yeh, William Diehl, Rebecca Heiser, Andrea Gregg, Ling Tran, Chenyang Zhu, Nicole Wang-Trexler
Jul 01, 2021
Software applications in educational technology have been a strong driving force for the success of online learning at all levels. These applications are created for various purposes and are used by a range of experts. The...
Published by: IGI Global Scientific Publishing
The Grizzly, November 6, 2008
Kristin O'Brassill, Gabrielle Poretta, Lindsay Budnick, Samantha Wildonger, Lindsay Adams, Lisa Jobe, Julia Fox, Kristi Blust, Roger Lee, Laurel Salvo, Brandon Biel, Laine Cavanaugh, Salia Zouande, Kristen Gallagher, Spencer Jones, Abigail Raymond, Zach Shamberg, Carolyn Martin, Christopher Wierzbowski, Shaun Frank, Katie Callahan, Nick Pane
Jan 01, 0001
Diversity ... What's That? GSA Sponsors Dessert Discussion Falling Gas Prices Spell Relief for Drivers, Oil Profits Drop Philly Fans Celebrate World Series Victory at Parade Gallup: Public Interest and Early Voting Health...
Ursinus College Collegeville Pennsylvania newspaper Gay Straight Alliance Voting Holly Gaines Halloween Andrea Baptiste dance Basketball Swimming cultural history Higher Education Liberal Studies Social History United States History
Published by: Ursinus College
|
|< |
< |
1 |