BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
logic (11)
school (7)
studi (5)
comput (5)
system (5)

Stem elementari$ (all stems)

56 papers:

FMFM-2015-0009ZZZ #abstraction #hybrid
Abstraction of Elementary Hybrid Systems by Variable Transformation (JL, NZ, HZ, LZ), pp. 360–377.
HCIDHM-HM-2015-KurataniHHKUGH #analysis #comparison #process
Expert vs. Elementary Skill Comparison and Process Analysis in VaRTM-Manufactured Carbon Fiber Reinforced Composites (YK, KH, TH, TK, TU, AG, HH), pp. 133–142.
HCIDUXU-UI-2015-AmaralBBM #concept #human-computer #women
Introducing Computer Science to Brazilian Girls in Elementary School Through HCI Concepts (MAA, SAB, CB, CM), pp. 141–152.
HCILCT-2015-HiramatsuIISS #case study #communication #mobile #using
A Study to Activate Communication by Using SNS on Mobile Phone — An Essay Lesson at the Elementary School (YH, AI, KI, FS, FS), pp. 492–502.
CSLCSL-2015-BaazF #logic
Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic (MB, CGF), pp. 94–109.
CHICHI-2014-ShelleyLMDSS #data analysis #design #student
Information-building applications: designing for data exploration and analysis by elementary school students (TS, LL, TM, CD, BLS, AS), pp. 2123–2132.
HCILCT-NLE-2014-Choffat-Durr #distance #process
Distance Exchange Projects at Elementary School: A Focus on a Co-learning Process (ACD), pp. 380–387.
ICMLICML-c2-2014-YangLR #linear
Elementary Estimators for High-Dimensional Linear Regression (EY, ACL, PDR), pp. 388–396.
ICMLICML-c2-2014-YangLR14a #matrix
Elementary Estimators for Sparse Covariance Matrices and other Structured Moments (EY, ACL, PDR), pp. 397–405.
LICSLICS-CSL-2014-LazicS #branch
Non-elementary complexities for branching VASS, MELL, and extensions (RL, SS), p. 10.
HCIHCI-III-2013-ItoON #biology #interactive
A Method for Promoting Interaction Awareness by Biological Rhythm in Elementary School Children (KI, KO, SN), pp. 421–430.
CSLCSL-2013-MichaliszynO #logic #transitive
Elementary Modal Logics over Transitive Structures (JM, JO), pp. 563–577.
MLDMMLDM-2012-ForczmanskiF #classification #distance #representation
Classification of Elementary Stamp Shapes by Means of Reduced Point Distance Histogram Representation (PF, DF), pp. 603–616.
LICSLICS-2012-MichaliszynO #decidability #logic
Decidable Elementary Modal Logics (JM, JO), pp. 491–500.
ICSMEICSM-2011-WangPXZ #case study #feature model #process
An exploratory study of feature location process: Distinct phases, recurring patterns, and elementary actions (JW, XP, ZX, WZ), pp. 213–222.
SACSAC-2011-QueirozGRGQ #diagrams #education #interactive #interface
Effects of scaffoldings on interactive diagram constructions in educational interface for elementary school teachers training (AEdMQ, ASG, CR, AG, SSdQ), pp. 1212–1213.
TLCATLCA-2011-MadetA #multi #thread #λ-calculus
An Elementary Affine λ-Calculus with Multithreading and Side Effects (AM, RMA), pp. 138–152.
SACSAC-2010-Pham #geometry #proving
Similar triangles and orientation in plane elementary geometry for Coq-based proofs (TMP), pp. 1268–1269.
CHICHI-2009-Pirolli #information management #social
An elementary social information foraging model (PP), pp. 605–614.
CHICHI-2007-WigdorSFB #multi #visual notation
Perception of elementary graphical elements in tabletop and multi-surface environments (DW, CS, CF, RB), pp. 473–482.
HCIOCSC-2007-Huang #case study #library #social
Integrating Digital Library Resources in Elementary School Classrooms — A Case Study of Social Study Instruction (KHH), pp. 372–374.
CADECADE-2007-Harrison #automation #proving #using
Automating Elementary Number-Theoretic Proofs Using Gröbner Bases (JH), pp. 51–66.
LICSLICS-2007-Hales #geometry #problem
Some Methods of Problem Solving in Elementary Geometry (TCH), pp. 35–40.
CASECASE-2006-LiuWL #algorithm #performance #petri net #set
A fast algorithm to find a set of elementary siphons for a class of petri nets (XL, AW, ZL), pp. 399–404.
SACSAC-2006-DinechinLM #using #verification
Assisted verification of elementary functions using Gappa (FdD, CQL, GM), pp. 1318–1322.
CHICHI-2005-Louca #programming #student #syntax #usability
The syntax or the story behind it?: a usability study of student work with computer-based programming environments in elementary science (LTL), pp. 849–858.
TLCATLCA-2005-BaillotT #algorithm #logic #type system
A Feasible Algorithm for Typing in Elementary Affine Logic (PB, KT), pp. 55–70.
TLCATLCA-2005-CoppolaLR #call-by #logic #λ-calculus
Elementary Affine Logic and the Call-by-Value λ Calculus (PC, UDL, SRDR), pp. 131–145.
DACDAC-2003-BullockM
An arbitrary twoqubit computation In 23 elementary gates or less (SSB, ILM), pp. 324–329.
LICSLICS-2003-PitermanV #decidability #future of #stack
Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems (NP, MYV), p. 381–?.
TLCATLCA-2003-CoppolaR #logic #type system
Principal Typing in Elementary Affine Logic (PC, SRDR), pp. 90–104.
ICALPICALP-2002-GastinM #logic
An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces (PG, MM), pp. 938–949.
DLTDLT-2001-Choffrut
Elementary Theory of Ordinals with Addition and Left Translation by ω (CC), pp. 15–20.
IJCARIJCAR-2001-Lucke #named #set
Hilberticus — A Tool Deciding an Elementary Sublanguage of Set Theory (JL), pp. 690–695.
TLCATLCA-2001-CoppolaM #constraints #linear #logic #type system
Typing λ Terms in Elementary Logic with Linear Constraints (PC, SM), pp. 76–90.
POPLPOPL-2000-AspertiCM #recursion
(Optimal) Duplication is not Elementary Recursive (AA, PC, SM), pp. 96–107.
CSLCSL-2000-Schuster #analysis
Elementary Choiceless Constructive Analysis (PS), pp. 512–526.
CAVCAV-1999-MatthewsL #algebra #architecture
Elementary Microarchitecture Algebra (JM, JL), pp. 288–300.
LICSLICS-1999-Simpson #axiom #category theory
Elementary Axioms for Categories of Classes (AKS), pp. 77–85.
TLCATLCA-1999-BaillotP #complexity #geometry #interactive
Elementary Complexity and Geometry of Interaction (PB, MP), pp. 25–39.
POPLPOPL-1998-AspertiM #parallel #recursion #reduction
Parallel β Reduction is not Elementary Recursive (AA, HGM), pp. 303–315.
CSLCSL-1998-Simpson
Computational Adequacy in an Elementary Topos (AKS), pp. 323–342.
DLTDLT-1997-IkedaA #complexity #on the
On the Complexity of Languages Definable by Hereditary Elementary Formal Systems (DI, HA), pp. 223–235.
ICALPICALP-1997-HarelS #logic #process
Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version) (DH, ES), pp. 408–418.
CADECADE-1996-Vorobyov #bound
An Improved Lower Bound for the Elementary Theories of Trees (SGV), pp. 275–287.
LICSLICS-1994-BaazFL #proving
A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation (MB, CGF, AL), pp. 213–219.
CHICHI-1992-Brown #algorithm #parallel #sorting #visualisation
An Introduction to Zeus: Audiovisualization of Some Elementary Sequential and Parallel Sorting Algorithms (MHB), pp. 663–664.
PPDPALP-1992-Lescanne #term rewriting #termination
Termination of Rewrite Systems by Elementary Interpretations (PL), pp. 21–36.
ICGTGG-1990-Engels #database
Elementary Actions on an Extended Entity-Relationship Database (GE), pp. 344–362.
PPDPPLILP-1990-TarauB #logic programming #source code
Elementary Logic Programs (PT, MB), pp. 159–173.
CSLCSL-1989-Ambos-SpiesY #polynomial #recursion #set
Honest Polynomial-Time Degrees of Elementary Recursive Sets (KAS, DY), pp. 1–15.
CSLCSL-1987-Jager #induction
Induction in the Elementary Theory of Types and Names (GJ), pp. 118–128.
STOCSTOC-1984-Ben-OrKR #algebra #complexity #geometry
The Complexity of Elementary Algebra and Geometry (Preliminary Abstract) (MBO, DK, JHR), pp. 457–464.
ICALPICALP-1984-StreettE #calculus #μ-calculus
The Propositional μ-Calculus is Elementary (RSS, EAE), pp. 465–472.
ICSEICSE-1981-Howden #testing
Completeness Criteria for Testing Elementary Program Functions (WEH), pp. 235–243.
STOCSTOC-1973-Oppen #bound
Elementary Bounds for Presburger Arithmetic (DCO), pp. 34–37.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.