Search results for "school"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Wolfgang Thomas, Helmut Lescow	Logical Specifications of Infinite Computations.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	Infinite words, descriptive set theory, Cantor space, Borel hierarchy, Büchi automata, acceptance conditions, infinite trees, temporal logic, languages, regular -languages, monadic second-order logic, recursion theory, infinite games
25	Job Zwiers, Wil Janssen	Partial Order Based Design of Concurrent Systems.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	partial order models, communication closed layers, program transformation, program verification, atomicity, hierarchical graphs
25	Uffe Engberg, Glynn Winskel	Linear Logic on Petri Nets.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	Petri nets, Linear logic
25	Joachim Parrow, Davide Sangiorgi	Algebraic Theories for Name-Passing Calculi.	REX School/Symposium	1993	DBLP DOI BibTeX RDF
25	Kurt Jensen	An Introduction to the Theoretical Aspects of Coloured Petri Nets.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	Petri Nets, Coloured Petri Nets, High-level Petri Nets
25	Edmund M. Clarke, Orna Grumberg, David E. Long	Verification Tools for Finite-State Concurrent Systems.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	model checking, temporal logic, binary decision diagrams, automatic verification
25	Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs	Data-Flow Synchronous Languages.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	synchrony vs. asynchrony, real-time, concurrency, data-flow, reactive
25	Nancy A. Lynch	Simulation Techniques for Proving Properties of Real-Time Systems.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	timing-based system, untimed system, invariant assertion, progress function, execution correspondence, Simulation, real-time system, lower bound, invariant, mutual exclusion, upper bound, clock synchronization, leader election, time bound
25	Gérard Boudol	Some Chemical Abstract Machines.	REX School/Symposium	1993	DBLP DOI BibTeX RDF
25	Leslie Lamport	Verification and Specifications of Concurrent Programs.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	Assertional methods, Owicki-Gries method, formal methods, temporal logic, fairness, mathematics, TLA
25	Jan A. Bergstra, Alban Ponse, Jos van Wamel	Process Algebra with Backtracking.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	backtracking, guarded commands, & Phrases process algebra
25	Jan J. M. M. Rutten, Daniele Turi	Initial Algebra and Final Coalgebra Semantics for Concurrency.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	bisimulation, Algebra, algebra, induction, initiality, labelled transition system, congruence, coalgebra, coinduction, finality
25	Mogens Nielsen, Vladimiro Sassone, Glynn Winskel	Relationships Between Models of Concurrency.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	Models for Concurrency, Semantics, Concurrency, Categories
25	Yonit Kesten, Zohar Manna, Amir Pnueli	Temporal Verification of Simulation and Refinement.	REX School/Symposium	1993	DBLP DOI BibTeX RDF
25	Gérard Comyn, Norbert E. Fuchs, Michael Ratcliffe (eds.)	Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Alan Bundy	Tutorial Notes: Reasoning about Logic Programs.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Peter T. Breuer	The Art of Computer Un-Programming: Reverse Engineering in Prolog.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	John Fox	Logic Engineering and Clinical Dilemmas.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Michel d'Andrea	Scheduling and Optimisation in the Automobile Industry.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Robert A. Kowalski	Legislation as Logic Programs.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Éric Monfroy, Mark Wallace 0001	Contraint Logic Programming - An Informal Introduction.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Fabio Baj, Michael Rosner	Automatic Theorem Proving within the Portable AI Lab.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Udo Pletat	Knowledge Representation for Natural Language Processing.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Shalom Tsur	A (Gentle) Introduction to Deductive Databases.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Christoph Beierle	Knowledge Based PPS Applications in PROTOS-L.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Robert A. Kowalski	Theory and Practice in Logic Programming.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Edward H. Freeman	A Knowledge-based Approach to Strategic Planning.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Lutz Plümer	Expert Systems in Mining.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Peter B. Reintjes	A Set of Tools for VHDL Design.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Mireille Ducassé	Opium - An Advanced Debugging System.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Deborah A. Dahl	PUNIT - Natural Language Interfaces.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	AbdelAli Ed-Dbali, Pierre Deransart	Software Formal Specification by Logic Programming: The Example of Standard Prolog.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Owen V. Evans	Factory Scheduling Using Finite Domains.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Thomas Grossi, Didier Bronisz, François Jean-Marie	The ESTEAM-316 Dialogue Manager.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Pierre-Joseph Gailly, Wolfgang Krautter, Christophe Bisière, Sylvie Bescos	The Prince Project and its Applications.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Carlo Chiopris	The SECReTS Banking Expert System from Phase 1 to Phase 2.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
25	Michael Hess	Natural and Formal Language Processing.	Logic Programming Summer School	1992	DBLP DOI BibTeX RDF
24	Deniz A. Gürsel, Banuçiçek Gürcüoglu	What do promising high school students think about studying computing.	ITiCSE	2010	DBLP DOI BibTeX RDF	high school computer science
24	Youwen Ouyang, Ursula Wolz, Susan H. Rodger	Effective delivery of computing curriculum in middle school: challenges and solutions.	SIGCSE	2010	DBLP DOI BibTeX RDF	computing foundations, alice, scratch, middle school
24	Can Liu, Hua Xi	Research on Rural Middle School Student's Media Literacy in HuNan and HuBei Province.	MVHI	2010	DBLP DOI BibTeX RDF	rural middle school students, media literacy education, media literacy
24		School Cluster for Teacher Professional Development Based on ICT.	IFITA (3)	2009	DBLP DOI BibTeX RDF	school cluster, teacher professional development (TPD), ICT, learning community
24	Betina von Staa, Loureni Reis, Matilde Conceição Lescano Scandola	The Impact of the Multi-sensory Program Alfabeto on the Development of Literacy Skills of Third Stage Pre-school Children.	WCCE	2009	DBLP DOI BibTeX RDF	ALFABETO, Pre-School, Reading and Writing Skills, Interaction, Motivation
24	Evi Makri-Botsari, Sarantos Psycharis	Enhancing Motivation, School Competence and Self-perception of Physics in the Environment of the Cognitive Tutor CTAT during Physics Instruction.	WSKS (2)	2008	DBLP DOI BibTeX RDF	school competence, self-perception, motivation, physics, Cognitive tutors
24	Lenore Blum, Thomas J. Cortina, Edward D. Lazowska, Joe Wise	The expansion of CS4HS: an outreach program for high school teachers.	SIGCSE	2008	DBLP DOI BibTeX RDF	high school education, computer science education, workshops, computational thinking, careers, broadening participation
24	Simon Graham	Mobilizing a graduate school.	SIGUCCS	2001	DBLP DOI BibTeX RDF	graduate school, wireless, laptop, college
23	Tim Sheard, Nathan Linger	Programming in Omega.	CEFP	2007	DBLP DOI BibTeX RDF
21	Youwen Ouyang, Katherine Hayden	A technology infused science summer camp to prepare student leaders in 8th grade classrooms.	SIGCSE	2010	DBLP DOI BibTeX RDF	computing foundations, science curriculum, summer camp, middle school
21	Anuj Kumar, Anuj Tewari, Geeta Shroff, Deepti Chittamuru, Matthew Kam, John F. Canny	An exploratory study of unsupervised mobile learning in rural India.	CHI	2010	DBLP DOI BibTeX RDF	out-of-school learning, mobile learning, informal learning, developing countries, india, cellphone
21	Michael Burke, Kristi Jean, Cheryl Brown, Rick Barrett, Carrie Leopold	Creating Nanotechnicians for the 21st Century Workplace.	NanoNet	2009	DBLP DOI BibTeX RDF	nanotechnician training, two-year college program, secondary school outreach, training laboratory
21	Franciele da Silva Lewandowski, Adriana Soares Pereira	The Development of Educational Games Supported by a Pedagogical Tutor Agent.	WCCE	2009	DBLP DOI BibTeX RDF	Elementary School, Multimedia, Games, Tutor
21	Kathryn R. Stam, Indira R. Guzman, Jeffrey M. Stanton	RIP: the use of inoculation theory and online social networking for enhancing attractiveness of IT occupations.	CPR	2009	DBLP DOI BibTeX RDF	it workforce, occupational culture, secondary school students, social networks, information sharing, informal learning, recruitment, virtual collaboration
21	Greg Niemeyer, Antero Garcia, Reza Naima	Black cloud: patterns towards da future.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	C02, John Dewey, SMS text messaging, VOC, climate sensing, interactive art, situated learning, high school, charts, public art, alternate reality game
21	Ian Barland	Some methods for teaching functions first using Java.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	functions first, fundamentals first, high school algebra, objects early, objects late, Java, CS1, syllabus
21	Eugene Chang, Xi Zhu, Hillary Elmore, Jun Youp Kim	Enroll me!: a portable device to facilitate homeless student enrollment.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	homeless education, information transfer, school enrollment
21	Yen-Wei Chen 0001, Kanami Kobayashi, Hitoshi Kawabayashi, Xinyin Huang	Application of Interactive Genetic Algorithms to Boid Model Based Artificial Fish Schools.	KES (2)	2008	DBLP DOI BibTeX RDF	Boid model, interactive genetic algorithm (IGA), fish school, aggregate moving, behavior rule
21	Cara Nicole Greene	The Impact of Information Communication Technologies (ICTs) on Diverse Students and Teachers at Second Level.	ICCHP	2008	DBLP DOI BibTeX RDF	Post-primary school, ICTs, Questionnaires, Software Reviews, Learning support
21	Akiko Deguchi, Hiroshi Mizoguchi, Shigenori Inagaki, Fusako Kusunoki	A Next-Generation Audio-Guide System for Museums"SoundSpot": An Experimental Study.	KES (3)	2007	DBLP DOI BibTeX RDF	Speaker-array system, location-sensing systems, elementary school, RFID
21	Laurence I. Peterson, Dale Benham	Overview of the cyberTech-ITEST project: an initiative to attract and prepare under-represented students for tomorrow's careers in the computing sciences.	SIGCSE	2006	DBLP DOI BibTeX RDF	AP computer science, careers in computing sciences, diversity in CS, high school students, CS1, CS0
21	Lori Carter	Why students with an apparent aptitude for computer science don't choose to major in computer science.	SIGCSE	2006	DBLP DOI BibTeX RDF	computer science major, declining computer science enrollment, definition of computer science, gender issues in computer science, high school computer science education
21	Weimin Hou, Manpreet Kaur, Anita Komlodi, Wayne G. Lutters, Lee Boot, Shelia R. Cotten, Claudia Morrell, A. Ant Ozok, Zeynep Tufekci	"Girls don't waste time": pre-adolescent attitudes toward ICT.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	ICT perceptions and use, middle school students, user studies, gender differences
21	Noburou Taniguchi, Koji Chida, Osamu Shionoiri, Atsushi Kanai	DECIDE: a scheme for decentralized identity escrow.	Digital Identity Management	2005	DBLP DOI BibTeX RDF	fair blind signature, online discussion community, school networking, whistleblowing, trust, anonymity, identity, pseudonymity, identity escrow
21	Linda B. Sherrell, Sajjan G. Shiva	Will earlier projects plus a disciplined process enforce SE principles throughout the CS curriculum?	ICSE	2005	DBLP DOI BibTeX RDF	AgentSheets, Tri-P-LETS, high school programming courses, agile methods, unified process, PSP
21	Steinar Thorvaldsen, Jan Wibe	The Birth of it in Upper Secondary Education in Norway.	History of Nordic Computing	2003	DBLP DOI BibTeX RDF	Fortran, ICT, logic simulator, High School, Univac
21	Masanori Sugimoto, Fusako Kusunoki, Hiromichi Hashizume	Design of an interactive system for group learning support.	Symposium on Designing Interactive Systems	2002	DBLP DOI BibTeX RDF	design of a CSCL system, design of a sensing board, elementary school teachers and pupils, participatory design, user interface design, collaborative design
21	Adora E. Calaor, Augusto Y. Hermosilla, Bobby O. Corpus Jr.	Parallel Hybrid Adventures with Simulated Annealing and Genetic Algorithms.	ISPAN	2002	DBLP DOI BibTeX RDF	school timetabling, simulated annealing, parallel genetic algorithms
21	Don Allison, Larry F. Hodges	Virtual reality for education?	VRST	2000	DBLP DOI BibTeX RDF	Virtual reality, education, middle school
21	Catherine Lang, Annemieke Craig, Julie Fisher, Helen Forgasz	Creating digital divas: scaffolding perception change through secondary school and university alliances.	ITiCSE	2010	DBLP DOI BibTeX RDF	gender and diversity, student attitudes, k-12 education
21	Clara Cahill, Alex Kuhn, Shannon Schmoll, Alex Pompe, Chris Quintana	Zydeco: using mobile and web technologies to support seamless inquiry between museum and school contexts.	IDC	2010	DBLP DOI BibTeX RDF	nomadic inquiry, mobile devices, mobile learning, museums, informal learning, scaffolding, learner-centered design
21	Ana Isabel Sacristán, Teresa Rojano	The Mexican National Programs on Teaching Mathematics and Science with Technology: The Legacy of a Decade of Experiences of Transformation of School Practices and Interactions.	WCCE	2009	DBLP DOI BibTeX RDF	Computers and technology in schools, national program, physics and science, teaching, mathematics, policy-making
21	Yih-Shyuan Chen, Ian Selwood	Implementing and Sustaining Educational Change and ICT: A Case Study of a Taiwanese Primary School.	WCCE	2009	DBLP DOI BibTeX RDF	educational change, teacher attitudes, ICT, leadership
21	Antonio Miralles	School Choice: The Case for the Boston Mechanism.	AMMA	2009	DBLP DOI BibTeX RDF
21	Winnie W. Y. Lau, Grace Ngai, Stephen C. F. Chan, Joey C. Y. Cheung	Learning programming through fashion and design: a pilot summer course in wearable computing for middle school students.	SIGCSE	2009	DBLP DOI BibTeX RDF	gender & diversity, outreach & education, wearable computing
21	Caitlin Kelleher	Supporting Storytelling in a Programming Environment for Middle School Children.	ICIDS	2009	DBLP DOI BibTeX RDF	children, programming environments, storytelling
21	Carol M. Shepherd	Any time, any place: online advanced placement courses for high school students.	Univers. Access Inf. Soc.	2008	DBLP DOI BibTeX RDF	Online advanced placement
21	Chih-Huang Wang, Shyi-Ming Chen	Appraising the performance of high school teachers based on fuzzy number arithmetic operations.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Teachers’ performance appraisal, Fuzzy linguistic questionnaires, Ranking values, Fuzzy grade matrices, Fuzzy numbers
21	Juan Feng, Jie Zhao, Guohua Zhan	Content-based School Assignment Cluster Algorithm.	ICYCS	2008	DBLP DOI BibTeX RDF
21	Yu Chen, Yuefeng Zheng, Decai Huang, Song'en Sheng, Jianqing Shi	Theory and Application of School-Based Education Quality Evaluation Model Constructed from Improved AHP Method.	ICYCS	2008	DBLP DOI BibTeX RDF
21	Dong-Hong Zhu, Ya-Ping Chang	Motivation of University Students Participating in English Learning Outside of School in China: An Empirical Study.	CSSE (5)	2008	DBLP DOI BibTeX RDF
21	Jianhui Wang, Shusheng Gu, Lin Xu, Xiaoke Fang, Junxin Wu	Cultivation of Talents with Creative and Scientific Thinking Guided by a Clear Principle ofRunning a School.	CSSE (5)	2008	DBLP DOI BibTeX RDF
21	Jiangtao Yin, Xudong Yang	RFID-Based Ubiquitous Learning Environment for School Students.	WMUTE	2008	DBLP DOI BibTeX RDF
21	Suguna Chundur, Terry Wooton, Ben Aicholtz, William Clifton	An open-source solution for a high school science grant.	SIGITE Conference	2008	DBLP DOI BibTeX RDF	design, open source, php, mysql
21	Michael Marte	Towards constraint-based school timetabling.	Ann. Oper. Res.	2007	DBLP DOI BibTeX RDF
21	Takayuki Kanda 0001, Rumi Sato, Naoki Saiwaki, Hiroshi Ishiguro	A Two-Month Field Trial in an Elementary School for Long-Term Human-Robot Interaction.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
21	Dimitris Tolias, George Exadaktylos	Learning Through Exploration, Autonomy, Collaboration, and Simulation: The 'all-in-one' Virtual School of the Hellas Alive!copyright Online, Language-Learning Platform.	HCI (7)	2007	DBLP DOI BibTeX RDF	Modern Greek, simulation, collaboration, exploration, autonomy, online, language learning
21	Miki Namatame, Fusako Kusunoki, Shigenori Inagaki, Takao Terano	Practice! YUBIMOJI AIUEO: An Edutainment System of Japanese Hand Alphabets for Elementary School Children.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
21	Barak Raveh, Bruria Haberman, Cecile Yehezkel	Transforming a high school student project in computer science into a significant scientific achievement.	ITiCSE	2007	DBLP DOI BibTeX RDF	software engineering, program development
21	Desmond Wesley Govender, Manoj S. Maharaj	Challenges with respect to the e-readiness of secondary school teachers in Kwazulu-Natal, South Africa.	ITiCSE	2007	DBLP DOI BibTeX RDF	ICT integration, ICT interventions, organisational challenges, technology competence
21	Tyler Pace, Shruti Ramalingam, David Roedl	Celerometer and idling reminder: persuasive technology for school bus eco-driving.	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	automobile cockpit design, automobile interfaces, designing for eco-driving, persuasive technology, captology, mission-critical systems
21	Orit Hazzan, Tami Lapidot	Social issues of Computer Science in the "Methods of Teaching Computer Science in the High School" course.	ACM SIGCSE Bull.	2006	DBLP DOI BibTeX RDF	computer science teacher preparation, history of computer science, methods of teaching computer science, diversity, ethics, social issues
21	James Minogue, Melissa Gail Jones, Bethany Broadwell, Tom Oppewall	The impact of haptic augmentation on middle school students' conceptions of the animal cell.	Virtual Real.	2006	DBLP DOI BibTeX RDF	Science instruction, Virtual reality, Haptics
21	Manfred Bogen, Jürgen Wind, Angele Giuliano	ARiSE - Augmented Reality in School Environments.	EC-TEL	2006	DBLP DOI BibTeX RDF	open platform, IST, FP6, Augmented reality, e-learning, 3D
21	Alexander L. Tatuzov	Neural network models for teaching multiplication table in primary school.	IJCNN	2006	DBLP DOI BibTeX RDF
21	Armin Fügenschuh	Scheduling Buses and School Starting Times.	OR	2006	DBLP DOI BibTeX RDF
21	Cecile Yehezkel, Bruria Haberman	Bridging the Gap Between School Computing and the "Real World".	ISSEP	2006	DBLP DOI BibTeX RDF
21	Che-Chern Lin, Jia-Hseng Pan	Experimental Setups of Scorm Based E-Learning Environments for a Computer-Aided Drafting Course at a Vocational High School.	ITRE	2006	DBLP DOI BibTeX RDF
21	Lisa M. Olivieri	High school environments and girls' interest in computer science.	ACM SIGCSE Bull.	2005	DBLP DOI BibTeX RDF	single-sex schools, education, computer science, women
21	Jeonghun Lee, Woochun Jun	Design and Implementation of a Web-Board System for the Adaptive School Web Site Construction.	WISE Workshops	2005	DBLP DOI BibTeX RDF
21	Beat Doebeli Honegger	Wikis: a rapidly growing phenomenon in the German-speaking school community.	Int. Sym. Wikis	2005	DBLP DOI BibTeX RDF	education, wiki
21	Pasi J. Eronen, Ilkka Jormanainen, Erkki Sutinen, Marjo Virnes	A Kids' Club Model for Innovation Creation between Business Life and School Students; the Intelligent Door Project.	ICALT	2005	DBLP DOI BibTeX RDF
21	Rong-Jyue Fang, Shih-Fann Chao, Ling-Chih Weng	Study of 3D Interactive Model WEB Construction for Vocational High School Drawing Courses in Taiwan.	ICALT	2005	DBLP DOI BibTeX RDF