BibSLEIGH — physics tag

physics

physics

Tag #physics

441 papers:

ASPLOS-2020-Boccali #energy: Current and Projected Needs for High Energy Physics Experiments (with a Particular Eye on CERN LHC) (TB), p. 465.
ECSA-2019-MayrhoferMZGWE #adaptation #architecture: Assessing Adaptability of Software Architectures for Cyber Physical Production Systems (MM, CMD, AZ, OG, GW, AE), pp. 143–158.
CoG-2019-BornSM #multi: Co-Located vs. Remote Gameplay: The Role of Physical Co-Presence in Multiplayer Room-Scale VR (FB, PS, MM), pp. 1–8.
FDG-2019-ZhaoSHLLMR #assessment #game studies: Knowledge assessment: game for assessment of symptoms of child physical abuse (RZ, CRS, MDHR, JL, GL, AM, HJR), p. 7.
VS-Games-2019-KivelaAVO #case study #game studies: Study on the Motivational and Physical Effects of Two VR Exergames (OK, PA, AV, TO), pp. 1–2.
ICML-2019-BapstSDSKBH: Structured agents for physical construction (VB, ASG, CD, KLS, PK, PWB, JBH), pp. 464–474.
ICML-2019-LiSK #learning: Adversarial camera stickers: A physical camera-based attack on deep learning systems (JL0, FRS, JZK), pp. 3896–3904.
CASE-2019-DasSAP #estimation #interactive #using: Joint Torque Estimation using Base Force-Torque Sensor to Facilitate Physical Human-Robot Interaction (pHRI) (SKD, MNS, SA, DOP), pp. 1367–1372.
CASE-2019-DuHD #identification #using: Model Identification and Physical Exercise Control using Nonlinear Heart Rate Model and Particle Filter (DD, ZH, YD), pp. 405–410.
CADE-2019-CordwellP #hybrid #towards: Towards Physical Hybrid Systems (KC, AP), pp. 216–232.
VS-Games-2018-LeeFCS #mobile #process: Puzzle Walk: A Gamified Mobile App to Increase Physical Activity in Adults with Autism Spectrum Disorder (DL, GF, AC, PCS), pp. 1–4.
VS-Games-2018-MunozGCBG #game studies #multi: Measured and Perceived Physical Responses in Multidimensional Fitness Training through Exergames in Older Adults (JEMC, ARG, MSC, SBiB, ERG), pp. 1–4.
ICML-2018-Sanchez-Gonzalez #graph #network: Graph Networks as Learnable Physics Engines for Inference and Control (ASG, NH, JTS, JM, MAR, RH, PWB), pp. 4467–4476.
ICPR-2018-HeYLXLHS #estimation #using: Variational Mode Decomposition-Based Heart Rate Estimation Using Wrist-Type Photoplethysmography During Physical Exercise (WH, YY, YL, HX, LL0, WH, MS), pp. 3766–3771.
MoDELS-2018-ShinCNSBZ #analysis #framework #named #testing #uml: HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems (SYS, KC, SN, MS, LCB, FZ), pp. 357–367.
PLDI-2018-KislalKTKJ: Enhancing computation-to-core assignment with physical location information (OK, JK, XT, MTK, MJ), pp. 312–327.
ESEC-FSE-2018-KateOZEX #consistency #detection #named #nondeterminism #probability: Phys: probabilistic physical unit assignment and inconsistency detection (SK, JPO, XZ, SGE, ZX), pp. 563–573.
ICSE-2018-ArifSS #empirical #performance #testing: Empirical study on the discrepancy between performance testing results from virtual and physical environments (MMA, WS, ES), p. 822.
CASE-2018-BernardAG #3d #configuration management: Model for a Rigid, 3D Mechanism Inspired by Pop-Up Origami, and its Application to a Re-configurable, Physical Environmenl (AB, CHDA, KEG), pp. 1146–1151.
CASE-2018-GuptaCP #artificial reality #framework #simulation: A Virtual Reality enhanced Cyber Physical Framework to support Simulation based Training of Orthopedic Surgical Procedures (AG, JC, MPC), pp. 433–438.
CASE-2018-LiPYT #interactive: Physical Human-Robot Interaction Coupled with a Moving Environment or Target: Contact and Track (HYL, IP, LY, UXT), pp. 43–49.
CASE-2018-WuJX #coordination #distributed #energy #on the #optimisation: On Distributed Optimization for Supply Demand Coordination in Cyber Physical Energy Systems (JW, QSJ, ZX), pp. 553–558.
ICSA-2017-MucciniS #architecture #named: CAPS: Architecture Description of Situational Aware Cyber Physical Systems (HM, MS), pp. 211–220.
JCDL-2017-SikdarMGM #case study #energy #interactive #network: Influence of Reviewer Interaction Network on Long-Term Citations: A Case Study of the Scientific Peer-Review System of the Journal of High Energy Physics (SS, MM, NG, AM0), pp. 179–188.
EDM-2017-EkambaramMDKSN #learning: Tell Me More: Digital Eyes to the Physical World for Early Childhood Learning (VE, RSM, PD, RK, AKS, SVN).
CHI-PLAY-2017-HamalainenMTT #game studies #predict #simulation: Predictive Physics Simulation in Game Mechanics (PH, XM, JT, JT), pp. 497–505.
CHI-PLAY-2017-KappenMN #gamification #process: Gamification through the Application of Motivational Affordances for Physical Activity Technology (DLK, PMB, LEN), pp. 5–18.
CIG-2017-LiebanaSGRL #game studies #video: Introducing real world physics and macro-actions to general video game ai (DPL, MS, RDG, JR, SML), pp. 248–255.
CIG-2017-StephensonR #game studies #generative: Generating varied, stable and solvable levels for angry birds style physics games (MS, JR), pp. 288–295.
DiGRA-2017-SlaterBKS #game studies: A Typology of Players in the Game Physics Playground (SS, AJB, SK, VS).
FDG-2017-DietmeierMDMN #game studies: Shredding with mom and dad: intergenerational physics gaming in a children's museum (JD, BJM, BD, KM, SN), p. 4.
CIKM-2017-WangGLZJ #privacy: From Fingerprint to Footprint: Revealing Physical World Privacy Leakage by Cyberspace Cookie Logs (HW, CG, YL0, ZLZ, DJ), pp. 1209–1218.
ICML-2017-KanskySMELLDSPG #generative #network: Schema Networks: Zero-shot Transfer with a Generative Causal Model of Intuitive Physics (KK, TS, DAM, ME, MLG, XL, ND, SS, DSP, DG), pp. 1809–1818.
ASE-2017-AbateBCCCDKKP #automation #named #synthesis: DSSynth: an automated digital controller synthesis tool for physical plants (AA, IB, DC, LCC, LCC, CD, PK, DK, EP), pp. 919–924.
CASE-2017-CecilCG #collaboration #distributed #framework #generative: Foundational elements of next generation cyber physical and IoT frameworks for distributed collaboration (JC, ACX, AG), pp. 789–794.
CASE-2017-ChenYFL #interactive: Impedance matching strategy for physical human robot interaction control (XC, CY, CF, ZL0), pp. 138–144.
CASE-2017-KongLYZH #e-commerce #framework #platform: Physical internet-enabled E-commerce logistics park platform (XTRK, ML0, YY, ZZ, GQH), pp. 406–411.
CASE-2017-LiXLK #approach #classification #learning: Improving colorectal polyp classification based on physical examination data - A ensemble learning approach (CL, XX, JL, NK), pp. 193–194.
CASE-2017-Vogel-HeuserP #evaluation #flexibility #metric: Evaluation of selected metrics for flexibility of Cyber Physical Production Systems (BVH, JP), pp. 701–708.
CAV-2017-AbateBCCDKKP #automation #synthesis: Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants (AA, IB, DC, LCC, CD, PK, DK, EP), pp. 462–482.
WICSA-2016-BuresHKAS #approach #architecture #statistics: Statistical Approach to Architecture Modes in Smart Cyber Physical Systems (TB, PH, JK, RAA, DS), pp. 168–177.
EDM-2016-BhatnagarDLC #classification #self #student: Text Classification of Student Self-Explanations in College Physics Questions (SB, MCD, NL, ESC), pp. 571–572.
EDM-2016-Rau #concept #learning #mining #social: Pattern mining uncovers social prompts of conceptual learning with physical and virtual representations (MAR), pp. 478–483.
EDM-2016-ZhengKTG #clustering #concept #using: Soft Clustering of Physics Misconceptions Using a Mixed Membership Model (GZ, SK, YT, AG), pp. 658–659.
AIIDE-2016-StephensonR #game studies #generative: Procedural Generation of Levels for Angry Birds Style Physics Games (MS, JR), pp. 225–231.
DiGRA-FDG-2016-MelcerI #design #framework #game studies #learning #simulation: Bridging the Physical Learning Divides: A Design Framework for Embodied Learning Games and Simulations (EFM, KI).
DiGRA-FDG-2016-Zakowski #game studies #quantum: Environmental Storytelling, Ideologies and Quantum Physics: Narrative Space And The BioShock Games (SZ).
VS-Games-2016-ColasTRMB #multi #named: Yoway: Coupling Narrative Structure with Physical Exploration in Multi-Linear Locative Narratives (JC, AT, VR, AM, JB), pp. 1–7.
VS-Games-2016-ReateguiBM #education #game studies #student: Students' Attitudes in Relation to Exergame Practices in Physical Education (ER, MZB, JBM), pp. 1–4.
CIKM-2016-SikdarMGM #case study #energy: Anomalies in the Peer-review System: A Case Study of the Journal of High Energy Physics (SS, MM, NG, AM0), pp. 2245–2250.
ICML-2016-LererGF #learning: Learning Physical Intuition of Block Towers by Example (AL, SG, RF), pp. 430–438.
ICPR-2016-ElTantawyS #matrix #novel #using: A novel method for segmenting moving objects in aerial imagery using matrix recovery and physical spring model (AE, MSS), pp. 3898–3903.
ICPR-2016-NishiyamaNYYIS #identification #using: Person re-identification using co-occurrence attributes of physical and adhered human characteristics (MN, SN, TY, HY, YI, KS), pp. 2085–2090.
AdaEurope-2016-Burns #ada #power of #programming language #why: Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems (AB), pp. 3–11.
DocEng-2015-FilhoM #segmentation: Segmentation of Overlapping Digits through the Emulation of a Hypothetical Ball and Physical Forces (ANGLF, CABM), pp. 223–226.
EDM-2015-BumbacherSWB #behaviour #comprehension #concept #development #how #learning: Learning Environments and Inquiry Behaviors in Science Inquiry Learning: How Their Interplay Affects the Development of Conceptual Understanding in Physics (EB, SS, MW, PB), pp. 61–68.
EDM-2015-KaiPBBDOSV #comparison #detection: A Comparison of Face-based and Interaction-based Affect Detectors in Physics Playground (SK, LP, RSB, NB, SKD, JO, VS, MV), pp. 77–84.
TLCA-2015-AtkeyGFRS #modelling #morphism #polymorphism: Models for Polymorphism over Physical Dimension (RA, NG, FNF, TR, SS), pp. 45–59.
CHI-PLAY-2015-KetchesonYG #design #game studies #how #process: Designing for Exertion: How Heart-Rate Power-ups Increase Physical Activity in Exergames (MK, ZY, TCNG), pp. 79–89.
CIG-2015-Martin-Niedecken #flexibility #game studies #middleware #multimodal #quote: “RehabConnex”: A middleware for the flexible connection of multimodal game applications with input devices used in movement therapy and physical exercising (ALMN, RB, RM, UG), pp. 496–502.
FDG-2015-SamuelRMMW #social: The Scored Rule Engine: Next-Generation Social Physics (BS, AAR, PM, MM, NWF).
CHI-2015-0005RSP #mobile #named #process: CrowdMonitor: Mobile Crowd Sensing for Assessing Physical and Digital Activities of Citizens during Emergencies (TL, CR, TS, VP), pp. 4083–4092.
CHI-2015-BianchiBO #design: Designing a Physical Aid to Support Active Reading on Tablets (AB, SRB, IO), pp. 699–708.
CHI-2015-GuerreiroRMGN0 #tablet: TabLETS Get Physical: Non-Visual Text Entry on Tablet Devices (JG, AR, KM, TJVG, HN, DG), pp. 39–42.
CHI-2015-IonWB: Skin Drag Displays: Dragging a Physical Tactor across the User’s Skin Produces a Stronger Tactile Stimulus than Vibrotactile (AI, EJW, PB), pp. 2501–2504.
CHI-2015-KhotLAHM #design #named #process: TastyBeats: Designing Palatable Representations of Physical Activity (RAK, JL, DA, LH, F'M), pp. 2933–2942.
CHI-2015-MunsonKRR #process: Effects of Public Commitments and Accountability in a Technology-Supported Physical Activity Intervention (SAM, EK, CRR, PR), pp. 1135–1144.
CHI-2015-OehlbergWM #community #design #online: Patterns of Physical Design Remixing in Online Maker Communities (LO, WW, WEM), pp. 639–648.
CHI-2015-PerraultLBZG #memory management #semantics: Physical Loci: Leveraging Spatial, Object and Semantic Memory for Command Selection (STP, EL, YPB, SZ, YG), pp. 299–308.
CHI-2015-SimeoneVG #artificial reality #case study #design #experience #using: Substitutional Reality: Using the Physical Environment to Design Virtual Reality Experiences (ALS, EV, HG), pp. 3307–3316.
CHI-2015-StusakSB #visualisation: Evaluating the Memorability of Physical Visualizations (SS, JS, AB), pp. 3247–3250.
CHI-2015-TetterooVGMKVM #development #framework #lessons learnt #platform: Lessons Learnt from Deploying an End-User Development Platform for Physical Rehabilitation (DT, PV, IG, MM, EK, DV, PM), pp. 4133–4142.
CHI-2015-VissersG #case study #experience #functional #named #prototype #user interface: TUIkit: Evaluating Physical and Functional Experiences of Tangible User Interface Prototypes (JV, DG), pp. 1267–1276.
CHI-2015-YannierKH #effectiveness #game studies #learning #question #tablet: Learning from Mixed-Reality Games: Is Shaking a Tablet as Effective as Physical Observation? (NY, KRK, SEH), pp. 1045–1054.
CSCW-2015-PaayKS #empirical #interactive: Connecting in the Kitchen: An Empirical Study of Physical Interactions while Cooking Together at Home (JP, JK, MBS), pp. 276–287.
DHM-HM-2015-FassG #modelling #towards: Towards a Theory for Bio — — Cyber Physical Systems Modelling (DF, FG), pp. 245–255.
DUXU-DD-2015-KuruF #experience #process: Engaging Experience with Physical Activity Tracking Products (AK, JF), pp. 490–501.
HCI-DE-2015-Alessandrini #challenge #interactive #programming #prototype: Practices, Technologies, and Challenges of Constructing and Programming Physical Interactive Prototypes (AA), pp. 132–142.
HCI-IT-2015-JinL #framework #generative #interface #named #research #string: StringWeaver: Research on a Framework with an Alterable Physical Interface for Generative Art (YJ, ZL), pp. 292–304.
HIMI-IKC-2015-HoriguchiTH #comprehension #concept #problem #sequence #student: The Effect of Problem Sequence on Students’ Conceptual Understanding in Physics (TH, TT, TH), pp. 313–322.
CIKM-2015-AnwarMS #approach #data-driven #fault #grid #smarttech: A Data-Driven Approach to Distinguish Cyber-Attacks from Physical Faults in a Smart Grid (AA, ANM, ZS), pp. 1811–1814.
KDD-2015-UlanovaYCJKZ #performance #profiling: Efficient Long-Term Degradation Profiling in Time Series for Complex Physical Systems (LU, TY, HC, GJ, EJK, KZ), pp. 2167–2176.
SEKE-2015-XieCLC #evolution #internet: An Evolution Mechanism for Dynamic Physical Applications in the Internet of Things (KX, HC, DL, LC), pp. 213–216.
ICSE-v2-2015-NewmanFSFFW #design #prototype #re-engineering #social: The Role of Design Thinking and Physical Prototyping in Social Software Engineering (PN, MAF, WS, SF, AF, JW), pp. 487–496.
SAC-2015-FontineleSSNM #network #problem: A solution to the MCSP problem considering physical layer degradations in transparent optical networks (AF, IS, ACBS, JMN, FM), pp. 662–664.
SAC-2015-WangYCDGW #documentation #named #security: Cryptopaper: digital information security for physical documents (PW, XY, SC, PD, SG, TW), pp. 2157–2164.
CASE-2015-JiangSLZ #database #estimation: Physical field estimation from CFD database and sparse sensor observations (CJ, YCS, HL, HZ), pp. 1294–1299.
DAC-2015-BuiniPG #automation #cyber-physical #design #modelling #variability: Including variability of physical models into the design automation of cyber-physical systems (HMB, SP, TG), p. 6.
DAC-2015-XuLP #adaptation #modelling #statistics #using: Adaptive characterization and emulation of delay-based physical unclonable functions using statistical models (TX, DL, MP), p. 6.
DATE-2015-FuggerNNS #modelling #towards: Towards binary circuit models that faithfully capture physical solvability (MF, RN, TN, US), pp. 1455–1460.
HPCA-2015-DuZCMM #memory management: Supporting superpages in non-contiguous physical memory (YD, MZ, BRC, DM, RGM), pp. 223–234.
ISMM-2015-KimKKJ #memory management #mobile: Controlling physical memory fragmentation in mobile systems (SHK, SK, JSK, JJ), pp. 1–14.
ICTSS-2015-AsadollahIH #overview #testing: A Survey on Testing for Cyber Physical System (SAA, RI, HH), pp. 194–207.
JCDL-2014-HinzeAVTA #behaviour #design #library #social: Social information behaviour in physical libraries: Implications for the design of digital libraries (AH, HA, NV, CT, SA), pp. 107–116.
SIGMOD-2014-LeFevreSHTPC #big data #data analysis #design: Opportunistic physical design for big data analytics (JL, JS, HH, JT, NP, MJC), pp. 851–862.
ITiCSE-2014-TaubBA #learning: The effect of computer science on the learning of computational physics (RT, MBA, MA), p. 352.
SIGITE-2014-SchmidtHM #education #network: A virtualized testbed with physical outlets for hands-on computer networking education (MS, FH, MM), pp. 3–8.
TFPIE-2014-Walck #haskell #programming: Learn Physics by Programming in Haskell (SNW), pp. 67–77.
ICALP-v1-2014-BringmannKPPT #performance #simulation: Internal DLA: Efficient Simulation of a Physical Growth Model — (KB, FK, KP, UP, HT), pp. 247–258.
CHI-PLAY-2014-HarquailK #game studies #word: WORD BLASTOFF: a physics word game for iOS (NH, MK), pp. 347–350.
CHI-PLAY-2014-LyonVGSZZ #education #game studies: Little Newton: an educational physics game (NL, JVV, CG, NS, JZ, JZ), pp. 351–354.
CHI-PLAY-2014-Wood #game studies #lens #using: Using play as a lens to bridge the physical with the digital (GW), pp. 307–310.
CIG-2014-EdelkampG #adaptation #policy #problem: Solving Physical Traveling Salesman Problems with policy adaptation (SE, CG), pp. 1–8.
FDG-2014-NickelPBWBWPBT #case study #challenge #game studies: Balancing physical and cognitive challenge: A study of players' psychological responses to exergame play (AN, JP, TB, EW, MB, ZW, MP, NB, BT).
CHI-2014-AlzayatHN #metric: Quantitative measurement of virtual vs. physical object embodiment through kinesthetic figural after effects (AA, MSH, MAN), pp. 2903–2912.
CHI-2014-DimitriadisA #effectiveness #mobile: Evaluating the effectiveness of physical shape-change for in-pocket mobile device notifications (PD, JA), pp. 2589–2592.
CHI-2014-GerlingMMBS #experience #game studies #performance #self: Effects of balancing for physical abilities on player performance, experience and self-esteem in exergames (KMG, MM, RLM, MVB, JDS), pp. 2201–2210.
CHI-2014-HarrisonXSH #interactive #named #tool support: TouchTools: leveraging familiarity and skill with physical tools to augment touch interaction (CH, RX, JS, SEH), pp. 2913–2916.
CHI-2014-HuangSKSMS #smarttech: A technology probe of wearable in-home computer-assisted physical therapy (KH, PJS, SBK, AS, JM, DPS), pp. 2541–2550.
CHI-2014-KhotHM #3d #comprehension #process: Understanding physical activity through 3D printed material artifacts (RAK, LH, F'M), pp. 3835–3844.
CHI-2014-KimIDRKZSLBNBFP #3d #named: RetroDepth: 3D silhouette sensing for high-precision input on and above physical surfaces (DK, SI, JD, CR, CK, CZ, JS, TAL, SB, MN, DAB, SF, VP), pp. 1377–1386.
CHI-2014-RamakersSL #mobile #named: Paddle: highly deformable mobile devices with physical controls (RR, JS, KL), pp. 2569–2578.
CHI-2014-SheininG #difference #game studies #in the small: Exertion in the small: improving differentiation and expressiveness in sports games with physical controls (MS, CG), pp. 1845–1854.
CHI-2014-SinghKJFTKBW #design #people #process: Motivating people with chronic pain to do physical activity: opportunities for technology design (AS, AK, JJ, AF, ATJ, NK, NBB, ACdCW), pp. 2803–2812.
CHI-2014-SwaminathanSJDOF #design #visualisation: Supporting the design and fabrication of physical visualizations (SS, CS, YJ, PD, LO, JDF), pp. 3845–3854.
CHI-2014-ZhangL #gesture #interactive #named: GestKeyboard: enabling gesture-based interaction on ordinary physical keyboard (HZ, YL), pp. 1675–1684.
DUXU-DI-2014-Luz #evolution #experience #game studies #interface: Evolution of the Physical Interfaces in Videogames as a Support to the Narrative and the Gaming Experience (ARdL), pp. 688–698.
DUXU-DI-2014-Schranz #artificial reality #design #hybrid: Augmented Reality in Design — Thinking about Hybrid Forms of Virtual and Physical Space in Design (CS), pp. 624–635.
DUXU-TMT-2014-InoueSNTMHKWK #process: Attempts to Quantitative Analyze for the Change of Human Brain Activity with Physical and Psychological Load (HI, SS, HN, TT, FM, NH, SK, EW, SK), pp. 240–249.
HCI-AIMT-2014-KrogsagerSR: Backchannel Head Nods in Danish First Meeting Encounters with a Humanoid Robot: The Role of Physical Embodiment (AK, NS, MR), pp. 651–662.
HCI-AS-2014-MurrayWHSMGBTSCSH #animation #interactive #people #process #question: Can a Theory-Informed Interactive Animation Increase Intentions to Engage in Physical Activity in Young People with Asthma? (JM, BW, GH, SS, JM, DG, GB, ST, FS, LC, AS, SH), pp. 289–300.
HCI-AS-2014-YoungCGC #metric #mobile #performance #process: Snappy App: A Mobile Continuous Performance Test with Physical Activity Measurement for Assessing Attention Deficit Hyperactivity Disorder (ZY, MPC, MG, JC), pp. 363–373.
HIMI-AS-2014-KojimaHMH: Training Archived Physical Skill through Immersive Virtual Environment (TK, AH, TM, MH), pp. 51–58.
LCT-TRE-2014-HafnerHO #artificial reality #using: Experiencing Physical and Technical Phenomena in Schools Using Virtual Reality Driving Simulator (PH, VH, JO), pp. 50–61.
SCSM-2014-BenteDRA #behaviour: Emotional Contagion with Artificial Others. Effects of Culture, Physical Appearance, and Nonverbal Behavior on the Perception of Positive/Negative Affect in Avatars (GB, TD, DR, AAI), pp. 411–420.
SCSM-2014-CulenFG #named #self: iCONFESS — Mirroring Digital Self-Disclosure in a Physical Booth (ALC, SF, AAG), pp. 430–439.
CIKM-2014-PhanDXPK #analysis #health #network #process #social: Analysis of Physical Activity Propagation in a Health Social Network (NP, DD, XX, BP, DK), pp. 1329–1338.
ICPR-2014-KimP14a #3d #interactive #using: Sensor-Display Registration for 3D Physical User Interaction Using a Flat-Panel Display (JSK, JMP), pp. 1675–1680.
ASPLOS-2014-GutierrezCGDCM #3d #design: Integrated 3D-stacked server designs for increasing physical density of key-value stores (AG, MC, BG, RGD, LC, TNM), pp. 485–498.
CASE-2014-CremerRP: Robotic waiter with physical co-manipulation capabilities (SC, IR, DOP), pp. 1153–1158.
CASE-2014-MurookaNNKOI #learning #scalability: Manipulation strategy learning for carrying large objects based on mapping from object physical property to object manipulation action in virtual environment (MM, SN, SN, YK, KO, MI), pp. 263–270.
DAC-2014-WeiWNP #reverse engineering #using: Reverse Engineering and Prevention Techniques for Physical Unclonable Functions Using Side Channels (SW, JBW, AN, MP), p. 6.
DATE-2014-HelfmeierBNTS: Physical vulnerabilities of Physically Unclonable Functions (CH, CB, DN, ST, JPS), pp. 1–4.
DATE-2014-YuSHEAB #estimation #performance: Efficient performance estimation with very small sample size via physical subspace projection and maximum a posteriori estimation (LY, SS, CH, IME, DAA, DSB), pp. 1–6.
HPCA-2014-BalasubramanianS #comprehension #execution #reliability: Understanding the impact of gate-level physical reliability effects on whole program execution (RB, KS), pp. 60–71.
OSDI-2014-LuZDAAA #file system: Physical Disentanglement in a Container-Based File System (LL, YZ, TD, SAK, ACAD, RHAD), pp. 81–96.
ICDAR-2013-FilhoM: Degraded Digit Restoration Based on Physical Forces (ANGLF, CABM), pp. 195–199.
SEFM-2013-KringsL #modelling: Inferring Physical Units in B Models (SK, ML), pp. 137–151.
CIG-2013-PowleyWC13a #heuristic #monte carlo #multi #problem: Monte Carlo Tree Search with macro-actions and heuristic route planning for the Multiobjective Physical Travelling Salesman Problem (EJP, DW, PIC), pp. 1–8.
DiGRA-2013-Friedhoff: Suit The System To The Player: A Methodology for Physical Creativity (JF).
CHI-2013-Feinberg13a #concept #human-computer: Beyond digital and physical objects: the intellectual work as a concept of interest for HCI (MF), pp. 3317–3326.
CHI-2013-JansenDF #performance #visualisation: Evaluating the efficiency of physical visualizations (YJ, PD, JDF), pp. 2593–2602.
CHI-2013-LeithingerFOLHLI #interactive #named: Sublimate: state-changing virtual and physical rendering to augment interaction with shape displays (DL, SF, AO, SL, AH, JL, HI), pp. 1441–1450.
CHI-2013-MacveanR #behaviour #comprehension #game studies #motivation #process: Understanding exergame users’ physical activity, motivation and behavior over time (APM, JR), pp. 1251–1260.
CHI-2013-SeguraWMJ #design #game studies #social: The design space of body games: technological, physical, and social design (EMS, AW, JM, CJ), pp. 3365–3374.
CHI-2013-TangXHVTR #communication #named #video: HomeProxy: exploring a physical proxy for video communication in the home (JCT, RX, AH, GV, PT, AR), pp. 1339–1342.
CHI-2013-YliriskuLJBSSHR #design: Designing web-connected physical artefacts for the “aesthetic” of the home (SY, SEL, GJ, RB, CDS, AS, RHRH, TR), pp. 909–918.
DHM-SET-2013-SunNHMDJMQ #adaptation #design #interactive #safety: Adaptive User-Centered Design for Safety and Comfort of Physical Human Nursing — Care Robot Interaction (MS, HN, SH, KM, MD, CaJ, TM, GQ), pp. 365–372.
HCI-AMTE-2013-SuganoMT: Study of Kawaii-ness in Motion — Physical Properties of Kawaii Motion of Roomba (SS, YM, KT), pp. 620–629.
HCI-IMT-2013-CarusoCLMRSSC #architecture #named #people: My-World-in-My-Tablet: An Architecture for People with Physical Impairment (MC, FC, FL, MM, AR, FS, LS, TC), pp. 637–647.
HCI-UC-2013-Brouwers #comparison #hypermedia #navigation: Search Strategies in Hypermedia Navigation and Spatial Abilities: A Comparison with Physical Navigation (AB), pp. 136–145.
HIMI-HSM-2013-SakuradaH #interface #using: A New Presence Display System Using Physical Interface Running on IP-Phones (TS, YH), pp. 411–420.
CIKM-2013-BarahmandGY #comparison #design #interactive #network #social: A comparison of two physical data designs for interactive social networking actions (SB, SG, JY), pp. 949–958.
MoDELS-2013-StorrleF #analysis #towards #visual notation: Towards an Operationalization of the “Physics of Notations” for the Analysis of Visual Languages (HS, AF), pp. 104–120.
Onward-2013-McCorkle: Building connections between theories of computing and physical systems (ELM), pp. 153–172.
CASE-2013-DingLZC #simulation: Emergency evacuation simulation in staircases considering evacuees’ physical and psychological status (ND, PBL, HZ, TC), pp. 741–746.
DAC-2013-ChakrabortyLAP: A transmission gate physical unclonable function and on-chip voltage-to-digital conversion technique (RC, CL, DA, JP), p. 10.
DAC-2013-LiuCHVNBP #design #energy #logic: Minimum-energy state guided physical design for nanomagnet logic (SL, GC, XSH, EV, MTN, GHB, WP), p. 7.
DAC-2013-MillerVG #modelling #statistics #using: Exploration with upgradeable models using statistical methods for physical model emulation (BM, FV, TG), p. 6.
DAC-2013-ZhengHB #array #embedded #named #robust: RESP: a robust physical unclonable function retrofitted into embedded SRAM array (YZ, MH, SB), p. 9.
DATE-2013-YaoKLMK #named #network: ClockPUF: physical unclonable functions based on clock networks (YY, MK, JL, ILM, FK), pp. 422–427.
HPCA-2013-XiaLC #architecture #virtual machine: Architecture support for guest-transparent VM protection from untrusted hypervisor and physical attacks (YX, YL, HC), pp. 246–257.
CBSE-2012-FouquetMFBPJ #component: A dynamic component model for cyber physical systems (FF, BM, FF, OB, NP, JMJ), pp. 135–144.
DocEng-2012-TranouezNDBHLGF #documentation #named: DocExplore: overcoming cultural and physical barriers to access ancient documents (PT, SN, VD, AB, LH, YL, RMG, MCF), pp. 205–208.
JCDL-2012-HinzeMVTC #behaviour #library: Book selection behavior in the physical library: implications for ebook collections (AH, DM, NV, CT, SJC), pp. 305–314.
SIGMOD-2012-ConsensILP #database #design: Divergent physical design tuning for replicated databases (MPC, KI, JL, NP), pp. 49–60.
TPDL-2012-HinzeD #documentation #library: Re-finding Physical Documents: Extending a Digital Library into a Human-Centred Workplace (AH, AD), pp. 57–63.
SIGITE-2012-HelpsM #design: Comprehensive design of cyber physical systems (CRGH, FNM), pp. 233–238.
DLT-J-2011-ArrighiD12 #quantum: The Physical Church-Turing Thesis and the Principles of Quantum Theory (PA, GD), pp. 1131–1146.
LATA-2012-Dowek #automaton #formal method #quantum: Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory (GD), pp. 21–37.
CIG-2012-PowleyWC #heuristic #monte carlo #problem: Monte Carlo Tree Search with macro-actions and heuristic route planning for the Physical Travelling Salesman Problem (EJP, DW, PIC), pp. 234–241.
FDG-2012-MendenhallHXTCSM #artificial reality #design #game studies #named: NerdHerder: designing for physical actions in an augmented reality puzzle game (SM, VH, YX0, PT, JC, JS, BM), pp. 250–253.
VS-Games-2012-KesselT #game studies #modelling #requirements: Accuracy Requirements for Physical Models in Serious Games (RTK, AT), pp. 322–325.
CHI-2012-HeimerlGCPH #named: CommunitySourcing: engaging local crowds to perform expert work via physical kiosks (KH, BG, KC, TSP, BH), pp. 1539–1548.
CHI-2012-RudeckB #mobile #named: Rock-paper-fibers: bringing physical affordance to mobile touch devices (FR, PB), pp. 1929–1932.
ICSE-2012-CasatiDDEFKMMOPQRSTV #enterprise #network #process #towards: Towards business processes orchestrating the physical enterprise with wireless sensor networks (FC, FD, GD, JE, NF, SK, PMM, LM, FJO, GPP, AQ, KR, PS, ST, TV), pp. 1357–1360.
CASE-2012-LiLPZ #simulation: Control system simulation for 360MN extrusion machine based on physical model (WL, WL, FP, QZ), pp. 243–249.
CASE-2012-PrabhuJT #approach #modelling: Modeling green factory physics — An analytical approach (VVP, HWJ, MT), pp. 46–51.
CASE-2012-YanG #estimation: Time-delay estimation of ultrasonic echoes based on the physical model matching (XY, LG), pp. 469–473.
DAC-2012-BobbaMLM #synthesis: Physical synthesis onto a Sea-of-Tiles with double-gate silicon nanowire transistors (SB, MDM, YL, GDM), pp. 42–47.
DAC-2012-Lauwereins: Biomedical electronics serving as physical environmental and emotional watchdogs (RL), pp. 1–5.
DAC-2012-LiANSVZ #design #predict: Guiding a physical design closure system to produce easier-to-route designs with more predictable timing (ZL, CJA, GJN, CCNS, NV, NYZ), pp. 465–470.
DAC-2012-VelamalaSSC #matter #predict #statistics: Physics matters: statistical aging prediction under trapping/detrapping (JBV, KS, TS, YC), pp. 139–144.
DATE-2012-ChenSZX #3d #named #synthesis: 3DHLS: Incorporating high-level synthesis in physical planning of three-dimensional (3D) ICs (YC, GS, QZ, YX), pp. 1185–1190.
DATE-2012-MittagKJR #constraints #design #geometry: Hierarchical propagation of geometric constraints for full-custom physical design of ICs (MM, AK, GJ, WR), pp. 1471–1474.
PDP-2012-RaychoudhuryCZK #navigation: Context Map for Navigating the Physical World (VR, JC, WZ, ADK), pp. 146–153.
ICDAR-2011-EmilieBA #constraints #network #recognition #semantics #using: Use of Semantic and Physical Constraints in Bayesian Networks for Form Recognition (EP, YB, AB), pp. 946–950.
JCDL-2011-ChristelSZ #library: Physics pathway: a digital library filled with synthetic interviews (MGC, SMS, DAZ), pp. 335–338.
VLDB-2011-KimuraNS #database #design: Compression Aware Physical Database Design (HK, VRN, MS), pp. 657–668.
SIGITE-2011-SmarkuskySEPPN: Physics in motion: an interdisciplinary project (DLS, SJS, REE, PEP, RFP, AMN), pp. 33–38.
FM-2011-Sztipanovits #integration #perspective #semantics: Model Integration and Cyber Physical Systems: A Semantics Perspective (JS), p. 1.
FDG-2011-LavioleHS #game studies #simulation #using: Tabletop games using real environment and physical simulation (JL, MH, CS), pp. 322–324.
FDG-2011-LundP #distributed #education #game studies: An educational tool for creating distributed physical games (HHL, LP), pp. 219–226.
FDG-2011-LundT #adaptation #game studies: Adaptive playware in physical games (HHL, ATT), pp. 271–273.
FDG-2011-McCoyTSMW #social: Prom Week: social physics as gameplay (JM, MT, BS, MM, NWF), pp. 319–321.
CHI-2011-DalsgardH #3d #design: 3d projection on physical objects: design insights from five real life cases (PD, KH), pp. 1041–1050.
CHI-2011-IannacciTAP #feedback #interactive #multi: The haptic laser: multi-sensation tactile feedback for at-a-distance physical space perception and interaction (FI, ET, DA, SNP), pp. 2047–2050.
CHI-2011-PearsonBT #documentation #interactive: The reading desk: applying physical interactions to digital documents (JSP, GB, HWT), pp. 3199–3202.
CHI-2011-WeissRB: Rendering physical effects in tabletop controls (MW, CR, JOB), pp. 3009–3012.
CHI-2011-YoshizakiSCHIIAKKM: An actuated physical puppet as an input device for controlling a digital manikin (WY, YS, ACC, SH, MI, TI, YA, KK, SK, MM), pp. 637–646.
CSCW-2011-MarshallRP #interactive #using: Using F-formations to analyse spatial patterns of interaction in physical environments (PM, YR, NP), pp. 445–454.
DUXU-v1-2011-KaptanG #design #guidelines #implementation #usability #user interface: Effects of Physical Display Size on GUI Designers’ Perception and Implementation of Usability Guidelines (SNK, MG), pp. 128–137.
DUXU-v2-2011-MirandaHB11a #interactive: Prospecting a New Physical Artifact of Interaction for iDTV: Results of Participatory Practices (LCdM, HHH, MCCB), pp. 167–176.
HCD-2011-ChouC #interactive: Investigating Users’ Interaction with Physical Products Applying Qualitative and Quantitative Methods (CJC, CC), pp. 3–12.
HCI-ITE-2011-JeonR #recognition: The Effect of Physical Embodiment of an Animal Robot on Affective Prosody Recognition (MJ, IAR), pp. 523–532.
HCI-MIIE-2011-HyrkkanenN #functional #how #identification #mobile #question: The Virtual Workplace of a Mobile Employee — How Does Vischer’s Model Function in Identifying Physical, Functional and Psychosocial Fit? (UH, SN), pp. 69–75.
KDD-2011-YuanZXS: Driving with knowledge from the physical world (JY, YZ, XX, GS), pp. 316–324.
KEOD-2011-NousiainenK #concept #education #information management #student: Knowledge Organization in Concept Maps — Teacher Students’ Representations of the Relatedness of Physics Concepts (MN, IK), pp. 139–144.
SIGIR-2011-LiomaKS #retrieval: Sense discrimination for physics retrieval (CL, AK, HS), pp. 1101–1102.
SIGIR-2011-Yom-TovD #social: Out of sight, not out of mind: on the effect of social and physical detachment on information need (EYT, FD), pp. 385–394.
SAC-2011-NawahdahI #education #learning: Positioning a virtual teacher in an MR physical task learning support system (MN, TI), pp. 1169–1174.
DAC-2011-RahmanATS #library #reduction #synthesis: Power reduction via separate synthesis and physical libraries (MR, RA, HT, CS), pp. 627–632.
DAC-2011-RyzhenkoB #geometry #layout #synthesis: Physical synthesis onto a layout fabric with regular diffusion and polysilicon geometries (NR, SB), pp. 83–88.
DATE-2011-Micheli #design #logic #question #synthesis: Logic synthesis and physical design: Quo vadis? (GDM), p. 50.
VMCAI-2011-FrohardtCS #modelling: Access Nets: Modeling Access to Physical Spaces (RF, BYEC, SS), pp. 184–198.
HT-2010-GhoshJD #hypermedia #named: Brickstreams: physical hypermedia driven customer insight (RG, JJ, MD), pp. 283–284.
JCDL-2010-Buchanan #library: The fused library: integrating digital and physical libraries with location-aware sensors (GB), pp. 273–282.
ITiCSE-2010-BasawapatnaR #feedback #how #student #using: Cyberspace meets brick and mortar: an investigation into how students engage in peer to peer feedback using both cyberlearning and physical infrastructures (ARB, AR), pp. 184–188.
ICSM-2010-ArnaoudovaEOGA #concept #fault #identifier #metric: Physical and conceptual identifier dispersion: Measures and relation to fault proneness (VA, LME, RO, YGG, GA), pp. 1–5.
ICALP-v2-2010-Wattenhofer #algorithm: Physical Algorithms (RW), pp. 38–51.
CHI-2010-BerkovskyCFBB #game studies #process: Physical activity motivating games: virtual rewards for real activity (SB, MC, JF, DB, NB), pp. 243–252.
CHI-2010-ChuDWB: Countertop responsive mirror: supporting physical retail shopping for sellers, buyers and companions (MC, BD, AW, BB), pp. 2533–2542.
CHI-2010-ScupelliXFKG #aspect-oriented #coordination: Supporting coordination in surgical suites: physical aspects of common information spaces (PS, YX, SRF, SBK, MDG), pp. 1777–1786.
CSCW-2010-HartmannMBW #collaboration #design #named: Pictionaire: supporting collaborative design work by integrating physical and digital artifacts (BH, MRM, HB, ADW), pp. 421–424.
ICPR-2010-HuotHMP: Estimating Apparent Motion on Satellite Acquisitions with a Physical Dynamic Model (EGH, IH, NM, EP), pp. 41–44.
ICSE-2010-Moody #approach #design #re-engineering #visual notation: The “physics” of notations: a scientific approach to designing visual notations in software engineering (DLM), pp. 485–486.
CASE-2010-DoraiswamiCK #order: Model order selection criterion with application to physical systems (RD, LC, HMK), pp. 393–398.
DAC-2010-HelinskiAP #evaluation #metric #quality: Quality metric evaluation of a physical unclonable function derived from an IC’s power distribution system (RH, DA, JP), pp. 240–243.
DAC-2010-HsuPH #approach #data flow #modelling #simulation: A mixed-mode vector-based dataflow approach for modeling and simulating LTE physical layer (CJH, JLP, FJH), pp. 18–23.
DAC-2010-LeeS: Medical cyber physical systems (IL, OS), pp. 743–748.
DAC-2010-YoonCPC #analysis #comparative #multi #network: Virtual channels vs. multiple physical networks: a comparative analysis (YJY, NC, MP, LPC), pp. 162–165.
DATE-2010-WangT #novel #process: Novel Physical Unclonable Function with process and environmental variations (XW, MT), pp. 1065–1070.
LICS-2010-Abramsky #algebra: Coalgebras, Chu Spaces, and Representations of Physical Systems (SA), pp. 411–420.
ECDL-2009-BrechtBDHKR #library #modelling #multi: Digital Mechanism and Gear Library — Multimedia Collection of Text, Pictures and Physical Models (RB, TB, UD, VH, HK, MR), pp. 489–490.
SIGMOD-2009-LiuMBJILG #named: SmartCIS: integrating digital and physical environments (ML, SRM, ZB, MJ, ZGI, BTL, SG), pp. 1111–1114.
VLDB-2009-SchnaitterPG #analysis #design #interactive #modelling: Index Interactions in Physical Design Tuning: Modeling, Analysis, and Applications (KS, NP, LG), pp. 1234–1245.
AIIDE-2009-HasegawaRA #interactive: A Method for Acquiring Body Movement Verbs for a Humanoid Robot through Physical Interaction with Humans (DH, RR, KA).
CHI-2009-FiebrinkMM: Dynamic mapping of physical controls for tabletop groupware (RF, DM, MRM), pp. 471–480.
CHI-2009-HarrisonH #visual notation: Providing dynamically changeable physical buttons on a visual display (CH, SEH), pp. 299–308.
CHI-2009-HarryGD: backchan.nl: integrating backchannels in physical space (DH, JG, JSD), pp. 1361–1370.
CHI-2009-MarshallFHRHRYD #interactive #using: Fighting for control: children’s embodied interactions when using physical and digital representations (PM, RF, AH, JR, EH, YR, NY, NSD), pp. 2149–2152.
CHI-2009-SpelmezanJHB #process: Tactile motion instructions for physical activities (DS, MJ, AH, JOB), pp. 2243–2252.
CHI-2009-WeissWJJKHB: SLAP widgets: bridging the gap between virtual and physical controls on tabletops (MW, JW, YJ, RJ, RK, JDH, JOB), pp. 481–490.
DHM-2009-KuramotoIST #comparison #education #realtime #self: Augmented Practice Mirror: A Self-learning Support System of Physical Motion with Real-Time Comparison to Teacher’s Model (IK, YI, YS, YT), pp. 123–131.
HCD-2009-Blasko-DrabikBB #game studies #testing #usability: Combining Fast-Paced Usability and Scientific Testing to Improve the Lunar Quest Physics Game (HBD, JB, CAB), pp. 23–26.
HCD-2009-ChouC #experience #user interface: Engaging Experience: A New Perspective of User Experience with Physical Products (CJC, CC), pp. 31–40.
HCI-AUII-2009-SuedaIMR #communication #hybrid: Communication Grill/Salon: Hybrid Physical/Digital Artifacts for Stimulating Spontaneous Real World Communication (KS, KI, TM, JR), pp. 526–535.
HCI-VAD-2009-KashiwagiXSKO #learning #process: A Language Learning System Utilizing RFID Technology for Total Physical Response Activities (HK, YX, YS, MK, KO), pp. 119–128.
HIMI-DIE-2009-Aviles-LopezG: UbiSOA Dashboard: Integrating the Physical and Digital Domains through Mashups (EAL, JAGM), pp. 466–474.
HIMI-DIE-2009-KanaiOM #3d: Manipulation with Fingers in a 3-D Physical Space (YK, MO, HM), pp. 515–523.
ICEIS-SAIC-2009-WuFL #implementation #integration #online #process: A Process for Implementing Online and Physical Business based on a Strategy Integration Aspect (ILW, CYF, CWL), pp. 5–11.
SEKE-2009-Tappan #component #modelling #simulation: Pedagogy-oriented Software Modeling and Simulation of Component-based Physical Systems (DT), pp. 295–300.
DAC-2009-HelinskiAP #using: A physical unclonable function defined using power distribution system equivalent resistance variations (RH, DA, JP), pp. 676–681.
DATE-2009-GaoKMAMK #energy: DPR in high energy physics (WG, AK, RM, NA, NM, UK), pp. 39–44.
ECDL-2008-DoganS #unification: Virtual Unification of the Earliest Christian Bible: Digitisation, Transcription, Translation and Physical Description of the Codex Sinaiticus (ZMD, AS), pp. 221–226.
SIGMOD-2008-BrunoN #design #optimisation #parametricity #query: Configuration-parametric query optimization for physical design tuning (NB, RVN), pp. 941–952.
VLDB-2008-BrunoC #design: Constrained physical design tuning (NB, SC), pp. 4–15.
VLDB-2008-LiuCBC #independence #sql #towards #xml #xquery: Towards a physical XML independent XQuery/SQL/XML engine (ZHL, SC, TB, HJC), pp. 1356–1367.
EDM-2008-Cho #classification: Machine Classification of Peer Comments in Physics (KC), pp. 192–196.
AIIDE-2008-Horswill #animation #interactive #lightweight: Lightweight Procedural Animation with Believable Physical Interactions (IH).
CHI-2008-MerrillRA: The sound of touch: physical manipulation of digital sound (DM, HR, RA), pp. 739–742.
CHI-2008-PetrelliWB #named #question #what: AutoTypography: what can physical mementos tell us about digital memories? (DP, SW, JB), pp. 53–62.
CSCW-2008-McCarthyCH #community: The context, content & community collage: sharing personal digital media in the physical workplace (JFM, BC, FMH), pp. 97–106.
SAC-2008-SavoldiG #logic: Logical and physical data collection of Windows CE based portable devices (AS, PG), pp. 1448–1449.
DAC-2008-FeldmannA #approach #modelling #towards: Towards a more physical approach to gate modeling for timing, noise, and power (PF, SA), pp. 453–455.
DAC-2008-GolsonC #implementation #theory and practice: Flow engineering for physical implementation: theory and practice (SG, PC), p. 1.
DATE-2008-ForestFASSN #architecture: Physical Architectures of Automotive Systems (TF, AF, GA, MS, ALSV, MDN), pp. 391–395.
DATE-2008-FrenkilCU #analysis #design #power management: Power Gating for Ultra-low Leakage: Physics, Design, and Analysis (JF, KC, KU).
VMCAI-2008-BouissouM #abstract interpretation #embedded #source code: Abstract Interpretation of the Physical Inputs of Embedded Programs (OB, MM), pp. 37–51.
ECDL-2007-MonroyFC: Texts, Illustrations, and Physical Objects: The Case of Ancient Shipbuilding Treatises (CM, RF, FC), pp. 198–209.
ICDAR-2007-ChangTO #image #segmentation: Physical Structure Segmentation with Projection Profile for Mathematic Formulae and Graphics in Academic Paper Images (TYC, YT, MO), pp. 1193–1197.
SIGMOD-2007-BrunoC #design #online: Online autoadmin: (physical design tuning) (NB, SC), pp. 1067–1069.
SIGITE-2007-ToderickL #linux #using: Using VPN technology to remove physical barriers in linux lab experiments (LT, PJLI), pp. 113–118.
CHI-2007-BallNB #navigation #performance #scalability: Move to improve: promoting physical navigation to increase user performance with large displays (RB, CN, DAB), pp. 191–200.
CHI-2007-LeclercPI #modelling #named #tool support #visualisation: Senspectra: a computationally augmented physical modeling toolkit for sensing and visualization of structural strain (VL, AJP, HI), pp. 801–804.
CHI-2007-SeagerF #automation #navigation: Comparing physical, automatic and manual map rotation for pedestrian navigation (WS, DSF), pp. 767–776.
CHI-2007-SwindellsMBM #design: Exploring affective design for physical controls (CS, KEM, KSB, MJM), pp. 933–942.
CHI-2007-TerrenghiKSI #interactive: Affordances for manipulation of physical versus digital media on interactive surfaces (LT, DSK, AS, SI), pp. 1157–1166.
HCI-AS-2007-AlTaboliA #consistency #design #interface #performance #web: Effect of Physical Consistency of Web Interface Design on Users’ Performance and Satisfaction (AA, MRAZ), pp. 849–858.
HCI-IPT-2007-MartiG: Coupling the Digital and the Physical in Therapeutic Environments (PM, LG), pp. 1173–1182.
HCI-IPT-2007-Truillet #taxonomy: A Taxonomy of Physical Contextual Sensors (PT), pp. 982–989.
HCI-IPT-2007-ZhengSS #3d #simulation #sketching #web: A 3D Sketching Interacting Tool for Physical Simulation Based on Web (ZZ, LS, SS), pp. 710–719.
HCI-MIE-2007-DuL #design #game studies #interactive #music #named: G-Tunes — Physical Interaction Design of Playing Music (JD, YL), pp. 846–851.
HCI-MIE-2007-LeePN #interactive: Emotional Interaction Through Physical Movement (JHL, JYP, TJN), pp. 401–410.
OCSC-2007-ShihCHL #interactive #representation #social: Physical Representation Social Presence with Interactive Grass (JHS, TWC, HMH, TCL), pp. 176–181.
ICEIS-HCI-2007-NaderiR #adaptation #documentation: Physical Document Adaptation to User’s Context and User’s Profile (HN, BR), pp. 92–97.
RecSys-2007-McCarthy #challenge #recommendation: The challenges of recommending digital selves in physical spaces (JFM), pp. 185–186.
CASE-2007-GoemansAGS #algorithm #automation #composition #design #industrial: Automated Feeding of Industrial Parts with Modular Blades: Design Software, Physical Experiments, and an Improved Algorithm (OCG, MTA, KG, AFvdS), pp. 318–325.
DAC-2007-MangHH #distributed #effectiveness #synthesis: Techniques for Effective Distributed Physical Synthesis (FYCM, WH, PHH), pp. 859–864.
DAC-2007-MaslovFM #empirical #interactive #optimisation #quantum: Quantum Circuit Placement: Optimizing Qubit-to-qubit Interactions through Mapping Quantum Circuits into a Physical Experiment (DM, SMF, MM), pp. 962–965.
DAC-2007-SuhD #authentication #generative: Physical Unclonable Functions for Device Authentication and Secret Key Generation (GES, SD), pp. 9–14.
DAC-2007-TaylorP #combinator #design #logic #optimisation: Exact Combinatorial Optimization Methods for Physical Design of Regular Logic Bricks (BT, LTP), pp. 344–349.
DATE-2007-GrassmannRS #architecture #multi #standard: Mapping the physical layer of radio standards to multiprocessor architectures (CG, MR, MS), pp. 1412–1417.
HT-2006-Gronbaek #hypermedia #interactive #social #ubiquitous: Ubiquitous hypermedia and social interaction in physical environments (KG), pp. 119–120.
JCDL-2006-GronbaekRSB #library #named: InfoGallery: informative art services for physical library spaces (KG, AR, BS, SBP), pp. 21–30.
SIGMOD-2006-AgrawalCN #automation #design #sequence: Automatic physical design tuning: workload as a sequence (SA, EC, VRN), pp. 683–694.
VLDB-2006-BrunoC #design #lightweight: To Tune or not to Tune? A Lightweight Physical Design Alerter (NB, SC), pp. 499–510.
CHI-2006-AgarawalaB: Keepin’ it real: pushing the desktop metaphor with physics, piles and the pen (AA, RB), pp. 1283–1292.
CHI-2006-ConsolvoESL #design #process #requirements: Design requirements for technologies that encourage physical activity (SC, KE, IES, JAL), pp. 457–466.
CHI-2006-HorneckerB #framework #interactive #social: Getting a grip on tangible interaction: a framework on physical space and social interaction (EH, JB), pp. 437–446.
CHI-2006-KirkF #collaboration #gesture: Comparing remote gesture technologies for supporting collaborative physical tasks (DSK, DSF), pp. 1191–1200.
CIKM-2006-LiuWL #approach #modelling #pervasive #query: Integrated RFID data modeling: an approach for querying physical objects in pervasive computing (SL, FW, PL), pp. 822–823.
ICPR-v4-2006-KiseNIY #approach #performance #recognition #towards: Efficient Recognition of Planar Objects Based on Hashing of Keypoints — An Approach Towards Making the Physical World Clickable (KK, TN, MI, SY), pp. 813–816.
SAC-2006-BodhuinCPT #complexity: Hiding complexity and heterogeneity of the physical world in smart living environments (TB, GC, RP, MT), pp. 1921–1927.
SAC-2006-MameiQZ #tuple: Making tuple spaces physical with RFID tags (MM, RQ, FZ), pp. 434–439.
DAC-2006-AnanthanR #process: A fully physical model for leakage distribution under process variations in Nanoscale double-gate CMOS (HA, KR), pp. 413–418.
DAC-2006-KimSKE #design #power management #standard: Physical design methodology of power gating circuits for standard-cell-based design (HOK, YS, HK, IE), pp. 109–112.
DAC-2006-NelsonBDB #detection #multi: Multiple-detect ATPG based on physical neighborhoods (JEN, JGB, RD, RD(B), pp. 1099–1102.
DAC-2006-PantC #grid #power management: Power grid physics and implications for CAD (SP, EC), pp. 199–204.
HPCA-2006-LiLBHS #constraints #design: CMP design space exploration subject to physical constraints (YL, BCL, DMB, ZH, KS), pp. 17–28.
HPDC-2006-AamnitchiDG #energy #resource management: Filecules in High-Energy Physics: Characteristics and Impact on Resource Management (AI, SD, GG), pp. 69–80.
HPDC-2006-ZhangHXY #named #runtime #scalability: PARM: Physics Aware Runtime Manager for Large-scale Scientific and Engineering Applications (YZ, SH, JX, JY), pp. 363–364.
HT-2005-MillardR #3d #hypermedia: The 3D sonification of links in physical hypermedia environments (DEM, MR), pp. 251–253.
SIGMOD-2005-BrunoC #approach #automation #database: Automatic Physical Database Tuning: A Relaxation-based Approach (NB, SC), pp. 227–238.
DiGRA-2005-MagerkurthM #component #design #evaluation #game studies #hybrid: Design and Evaluation of a Hybrid Games System Combining Physical and Virtual Components (CM, MM).
CAiSE-2005-GordilloRS #hypermedia #modelling: Separation of Structural Concerns in Physical Hypermedia Models (SEG, GR, DS), pp. 446–459.
SAC-2005-FujinamiN #towards: Towards system software for physical space applications (KF, TN), pp. 1613–1620.
DAC-2005-GuWDZ #behaviour #design #incremental: Incremental exploration of the combined physical and behavioral design space (Z(G, JW, RPD, HZ), pp. 208–213.
DAC-2005-SinghMB #incremental #synthesis: Incremental retiming for FPGA physical synthesis (DPS, VM, SDB), pp. 433–438.
ECDL-2004-DaveFKFSB: Incorporating Physical and Digital Artifacts into Growing Personal Collections (PD, LFR, UK, RF, FMSI, PLBI), pp. 341–352.
HT-2004-MillardRMTW #hypermedia #modelling: Navigational hypertext models For physical hypermedia environments (DEM, DDR, DTM, MKT, MJW), pp. 110–111.
SIGMOD-2004-AgrawalNY #automation #clustering #database #design: Integrating Vertical and Horizontal Partitioning Into Automated Physical Database Design (SA, VRN, BY), pp. 359–370.
SIGMOD-2004-LernerSWZZ #algorithm #biology #music #performance: Fast Algorithms for Time Series with applications to Finance, Physics, Music, Biology, and other Suspects (AL, DS, ZW, XZ, YZ), pp. 965–968.
VLDB-2004-ZilioRLLSGF #automation #database #design: DB2 Design Advisor: Integrated Automatic Physical Database Design (DCZ, JR, SL, GML, AJS, CGA, SF), pp. 1087–1097.
CSCW-2004-JuINW #design: Where the wild things work: capturing shared physical design workspaces (WJ, AI, LN, TW), pp. 533–541.
CSCW-2004-McCarthyBCGLZ: Digital backchannels in shared physical spaces: attention, intention and contention (JFM, DB, EFC, WGG, EL, MZ), pp. 550–553.
ICPR-v3-2004-FurukawaKMSMT #3d #approximate #estimation #image #using: Spine Posture Estimation Method from Human Images Using 3D Spine Model — Computation of the rough approximation of the physical forces working on vertebral bodies (DF, TK, KM, YS, KM, TT), pp. 322–325.
SAC-2004-FujinamiYN #case study #cyber-physical #exclamation #quote: “Take me with you!”: a case study of context-aware application integrating cyber and physical spaces (KF, TY, TN), pp. 1607–1614.
SAC-2004-PinhoT #image #using: Morphing of image represented objects using a physical methodology (RRP, JMRST), pp. 10–15.
CGO-2004-KimLWCTZWYGS #thread: Physical Experimentation with Prefetching Helper Threads on Intel’s Hyper-Threaded Processors (DK, SWL, PHW, JdC, XT, XZ, HW, DY, MG, JPS), pp. 27–38.
DAC-2004-AlpertHHQ #flexibility #layout #performance: Fast and flexible buffer trees that navigate the physical layout environment (CJA, MH, JH, STQ), pp. 24–29.
DATE-DF-2004-DiazS: Clock Management in a Gigabit Ethernet Physical Layer Transceiver Circuit (JCD, MS), pp. 134–139.
HT-2003-GronbaekKOE #hypermedia #quote: “Physical hypermedia”: organising collections of mixed physical and digital material (KG, JFK, PØ, MAE), pp. 10–19.
DiGRA-2003-EggenFGP #game studies #interactive: Breaking the flow: Intervention in computer game play through physical and Intervention in computer game play through physical and on-screen interaction (BE, LMGF, MdG, PP0).
CHI-2003-BallagasRSB #named #tool support #ubiquitous #user interface: iStuff: a physical user interface toolkit for ubiquitous computing environments (RB, MR, MCS, JOB), pp. 537–544.
CHI-2003-EverittKLL #collaboration #design #distributed: Two worlds apart: bridging the gap between physical and virtual media for distributed design collaboration (KE, SRK, RL, JAL), pp. 553–560.
CHI-2003-FussellSK #collaboration #video: Effects of head-mounted and scene-oriented video systems on remote collaboration on physical tasks (SRF, LDS, REK), pp. 513–520.
CHI-2003-KlemmerGWL #interface: Books with voices: paper transcripts as a physical interface to oral histories (SRK, JG, GJW, JAL), pp. 89–96.
AdaEurope-2003-GreinKW #ada #overview: A Survey of Physical Unit Handling Techniques in Ada (CG, DAK, FW), pp. 258–270.
ASE-2003-BunusF #automation #behaviour #fault #locality #modelling #simulation #verification: Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models (PB, PF), pp. 253–258.
DAC-2003-ChanKLNR #performance #synthesis: Physical synthesis methodology for high performance microprocessors (YHC, PK, LBL, GAN, TER), pp. 696–701.
DAC-2003-CongJRR #architecture #evaluation: Microarchitecture evaluation with physical planning (JC, AJ, GR, MR), pp. 32–35.
DAC-2003-HurCRPCTH #constraints: Force directed mongrel with physical net constraints (SWH, TC, KR, YP, AC, VT, BH), pp. 214–219.
HPDC-2003-TakefusaTMM #algorithm #analysis #architecture #energy #grid #performance #replication #scheduling: Performance Analysis of Scheduling and Replication Algorithms on Grid Datafarm Architecture for High-Energy Physics Applications (AT, OT, SM, YM), pp. 34–47.
SAT-2003-SemerjianM #case study #problem #random #satisfiability: A Study of Pure Random Walk on Random Satisfiability Problems with “Physical” Methods (GS, RM), pp. 120–134.
SIGMOD-2002-RaoZML #automation #database #design #parallel: Automating physical database design in a parallel database (JR, CZ, NM, GML), pp. 558–569.
VLDB-2002-AlexandrovABBBCDFHJKKKLLMMMPNPPRRSSW #energy #metadata #named #online #repository: OBK — An Online High Energy Physics’ Meta-Data Repository (IA, AA, EB, MB, DBC, MC, MD, JF, RH, RJ, AK, SK, VK, DL, LL, LM, MM, LM, IP, MN, NP, LP, AR, YR, DS, IS, HW), pp. 920–927.
VLDB-2002-ConradGJM #database #logic #using: Database Selection Using Actual Physical and Acquired Logical Collection Resources in a Massive Domain-specific Operational Environment (JGC, XSG, PJ, MM), pp. 71–82.
CHI-2002-CockburnM #2d #3d #effectiveness #memory management: Evaluating the effectiveness of spatial memory in 2D and 3D physical and virtual environments (AC, BJM), pp. 203–210.
CHI-2002-MontemayorDFSCD #design #interactive #programming #tool support: Physical programming: designing tools for children to create physical interactive environments (JM, AD, AF, SS, WC, AD), pp. 299–306.
CIKM-2002-Amer-YahiaFGS #logic #semistructured data: Logical and physical support for heterogeneous data (SAY, MFF, RG, DS), pp. 270–281.
ICPR-v2-2002-Duncan #analysis #geometry #image #modelling: Geometrical and Physical Models for the Recovery of Quantitative Information from Medical Image Analysis (JSD), p. 277.
ICPR-v2-2002-ZhangGST #parametricity #using: Tracking Objects Using Recovered Physical Motion Parameters (YZ, DBG, SS, LVT), pp. 10–13.
KR-2002-Bennett: Physical Objects, Identity and Vagueness (BB), pp. 395–408.
AdaEurope-2002-Ferscha #named: Contextware: Bridging Physical and Virtual Worlds (AF), pp. 51–64.
DAC-2002-VenkatesanDM #distributed: A physical model for the transient response of capacitively loaded distributed rlc interconnects (RV, JAD, JDM), pp. 763–766.
DATE-2002-ChenM #design #metric: Closed-Form Crosstalk Noise Metrics for Physical Design Applications (LHC, MMS), pp. 812–819.
CHI-2001-RekimotoUO #composition #framework #interactive #named #platform #visual notation: DataTiles: a modular platform for mixed physical and graphical interactions (JR, BU, HO), pp. 269–276.
SAC-2001-TranHJ #design #multi: A generalized air-cache design for efficiently boradcasting on multiple physical channels (DAT, KAH, NJ), pp. 387–392.
DAC-2001-BazarganOS #architecture #compilation #configuration management #design #scheduling: Integrating Scheduling and Physical Design into a Coherent Compilation Cycle for Reconfigurable Computing Architectures (KB, SO, MS), pp. 635–640.
DAC-2001-GrobmanTWYTD #challenge #design: Reticle Enhancement Technology: Implications and Challenges for Physical Design (WG, MT, RW, CY, RT, ED), pp. 73–78.
DAC-2001-HalpinCS #constraints #using: Timing Driven Placement using Physical Net Constraints (BH, CYRC, NS), pp. 780–783.
FASE-2001-Selic #logic #programming: Physical Programming: Beyond Mere Logic (BS), p. 1.
SAT-2001-CoccoM #analysis #backtracking #random #satisfiability #statistics: Statistical physics analysis of the backtrack resolution of random 3-SAT instances (SC, RM), pp. 36–47.
RTA-2000-ContejeanCM: Rewriting Techniques in Theoretical Physics (EC, AC, BM), pp. 80–94.
ICML-2000-Randlov #learning #problem: Shaping in Reinforcement Learning by Changing the Physics of the Problem (JR), pp. 767–774.
ICPR-v2-2000-TanakaII #evaluation #image #modelling: An Attractiveness Evaluation Model Based on the Physical Features of Image Regions (ST, YI, SI), pp. 2793–2796.
ICPR-v3-2000-Serra #pattern matching #pattern recognition #question #recognition: Is Pattern Recognition a Physical Science? (JS), pp. 3033–3040.
DAC-2000-DoughertyT #behaviour #design #synthesis: Unifying behavioral synthesis and physical design (WED, DET), pp. 756–761.
OSDI-2000-BrownM #memory management #using: Taming the Memory Hogs: Using Compiler-Inserted Releases to Manage Physical Memory Intelligently (ADB, TCM), pp. 31–44.
PDP-2000-KozirisRTP #algorithm #architecture #clustering #graph #multi #performance: An efficient algorithm for the physical mapping of clustered task graphs onto multiprocessor architectures (NK, MR, PT, GKP), pp. 406–413.
CL-2000-DavulcuYKR #design #experience #implementation: Design and Implementation of the Physical Layer in WebBases: The XRover Experience (HD, GY, MK, IVR), pp. 1094–1105.
VLDB-1999-DeutschPT #constraints #independence #optimisation: Physical Data Independence, Constraints, and Optimization with Universal Plans (AD, LP, VT), pp. 459–470.
PASTE-1999-ChandraR #c #type checking: Physical Type Checking for C (SC, TWR), pp. 66–75.
CHI-1999-WantFGH: Bridging Physical and Virtual Worlds with Electronic Tags (RW, KPF, AG, BLH), pp. 370–377.
CHI-1999-YarinI #design #interactive #named: TouchCounters: Designing Interactive Electronic Labels for Physical Containers (PY, HI), pp. 362–369.
HCI-CCAD-1999-Pederson #design #information management: Physical-virtual instead of physical or virtual — designing artefacts for future knowledge work environments (TP), pp. 1070–1074.
HCI-EI-1999-Aborg #documentation: Electronic Document Handling — a Longitudinal Study on the Effects on Physical and Psychosocial Work Environment (CÅ), pp. 15–18.
TOOLS-EUROPE-1999-RamosP #information management #object-oriented #representation #simulation: Needs of Object-Oriented Languages for Physics Knowledge Representation in the Simulation Field (JJR, MAP), pp. 162–171.
DATE-1999-ChakrabortyGBKM #design #self: A Physical Design Tool for Built-in Self-Repairable Static RAMs (KC, AG, MB, SK, PM), p. 714–?.
OSDI-1999-HutchinsonMFHHKO #file system #logic: Logical vs. Physical File System Backup (NCH, SM, MF, GH, DH, SK, SWO), pp. 239–249.
ICPR-1998-HatteryL #analysis #image: Depth from physics: physics-based image analysis and feature definition (DH, MHL), pp. 711–713.
AdaEurope-1998-Stift #ada #object-oriented: (Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative (MJS), pp. 128–139.
DAC-1998-KahngMMPTWW #design #robust: Robust IP Watermarking Methodologies for Physical Design (ABK, SM, ILM, MP, PT, HW, GW), pp. 782–787.
DATE-1998-EpplerFGM #energy #network: High Speed Neural Network Chip for Trigger Purposes in High Energy Physics (WE, TF, HG, AM), pp. 108–115.
VLDB-1997-BohannonLRSSS #database #in memory #logic #memory management #version control: Logical and Physical Versioning in Main Memory Databases (RR, SS, PB, DWL, AS, SS), pp. 86–95.
VLDB-1997-LeeLWS #database #design #multi: A Region Splitting Strategy for Physical Database Design of Multidimensional File Organizations (JHL, YKL, KYW, IYS), pp. 416–425.
VLDB-1997-MalonM #database #energy: Critical Database Technologies for High Energy Physics (DMM, ENM), pp. 580–584.
HCI-CC-1997-SavidisSE #design #incremental #interface #polymorphism: Abstract Task Definition and Incremental Polymorphic Physical Instantiation: The Unified Interface Design Method (AS, CS, PLE), pp. 465–468.
DAC-1997-LefebvreMS #future of #generative #synthesis: The Future of Custom Cell Generation in Physical Synthesis (ML, DM, CS), pp. 446–451.
EDTC-1997-XuK #synthesis: RTL synthesis with physical and controller information (MX, FJK), pp. 299–303.
DL-1996-FurutaMSL #library: Physical Objects in the Digital Library (RF, CCM, FMSI, JJL), pp. 109–115.
CHI-1996-GrahamM: Physical versus Virtual Pointing (EDG, CLM), pp. 292–299.
CHI-1996-RansonPKRMCSS #agile: Rapid Scout: Bridging the Gulf Between Physical and Virtual Environments (DSR, ESP, DLK, GAR, MLM, JMC, ES, CSS), pp. 442–449.
CSCW-1996-FitzpatrickKM #case study #social: Physical Spaces, Virtual Places and Social Worlds: a Study of Work in the Virtual (GF, SMK, TM), pp. 334–343.
CSCW-1996-KrautMS #collaboration #communication #performance: Collaboration in Performance of Physical Tasks: Effects on Outcomes and Communication (REK, MDM, JS), pp. 57–66.
SAC-1995-KasaraneniJA #distributed #energy #multi: Load balancing in a distributed processing system for high-energy physics(UFMulti) (JK, TJ, PA), pp. 177–181.
VLDB-1994-TsatalosSI #independence: The GMAP: A Versatile Tool for Physical Data Independence (OGT, MHS, YEI), pp. 367–378.
DAC-1994-SarabiSCP #2d #approach #array #design #logic #synthesis: A Comprehensive Approach to Logic Synthesis and Physical Design for Two-Dimensional Logic Arrays (AS, NS, MCJ, MAP), pp. 321–326.
EDAC-1994-BoniCFMO #fault #modelling: Physical Modeling of Linearity Errors for the Diagnosis of High Resolution R-2R D/A Converters (AB, GC, GF, SM, MO), p. 664.
HCI-ACS-1993-CockeWA #health #modelling: Models of Job Enlargement Tested and Evaluated from the Point of View of Physical Health and Job Satisfaction (BC, GW, EÅ), pp. 845–850.
HCI-SHI-1993-KawasugiYNA #3d #named: Romeo: Robot-Mediated Cooperative Work for Handling 3-Dimensional Physical Objects (KK, TY, YN, YA), pp. 567–572.
SAC-1993-ChoenniBC #automation #database #design #on the: On the Automation of Physical Database Design (SC, HMB, TC), pp. 358–367.
HPDC-1993-Coddington #analysis #distributed #hardware: An Analysis of Distributed Computing Software and Hardware for Applications in Computational Physics (PDC), pp. 179–186.
ECOOP-1992-AloiaBR #database #independence: Supporting Physical Independence in an Object Database Server (NA, SB, FR), pp. 396–412.
SOSP-WIP-1991-HartyC92 #memory management #using: Application-Controlled Physical Memory using External Page-Cache Management (KH, DRC), p. 19.
ASPLOS-1992-ChiuehK: Eliminating the Address Translation Bottleneck for Physical Address Cache (TcC, RHK), pp. 137–148.
ASPLOS-1992-HartyC #memory management #using: Application-Controlled Physical Memory using External Page-Cache Management (KH, DRC), pp. 187–197.
JICSLP-1992-Mitchell #architecture #logic #programming: The Logic of Architecture: Programming the Invention of Physical Artifacts (WJM), pp. 831–846.
SEI-1991-Shafer: Keynote Address: Soft Ware for Hard Physics (SS), pp. 1–2.
ML-1991-VanLehnJ #correctness #learning: Learning Physics Via Explanation-Based Learning of Correctness and Analogical Search Control (KV, RMJ), pp. 110–114.
DAC-1991-Luk #constraints #generative #layout #performance: A Fast Physical Constraint Generator for Timing Driven Layout (WKL), pp. 626–631.
DAC-1991-ParkerGH #design #trade-off: The Effects of Physical Design Characteristics on the Area-Performance Tradeoff Curve (ACP, PG, AH), pp. 530–534.
KR-1989-RandellC #modelling #process: Modelling Topological and Metrical Properties in Physical Processes (DAR, AGC), pp. 357–368.
DAC-1989-SetliffR #automation #named #synthesis: ELF: A Tool for Automatic Synthesis of Custom Physical CAD Software (DES, RAR), pp. 543–548.
SIGMOD-1988-Bell #data transformation #execution #parallel: A Specialized Data Management System For Parallel Execution of Particle Physics Codes (JLB), pp. 277–285.
VDME-1988-Good: Computing is a Physical Science (DIG), p. 1.
DAC-1988-ObermeierK #layout: An Electrical Optimizer that Considers Physical Layout (FWO, RHK), pp. 453–459.
DAC-1986-HaugeY #design #named: Vanguard: a chip physical design system (PSH, EJY), pp. 440–446.
DAC-1986-ShihA #generative #testing: Transistor-level test generation for physical failures in CMOS circuits (HCS, JAA), pp. 243–249.
SIGMOD-1985-OzsoyogluOM #summary: A Language and a Physical Organization Technique for Summary Tables (GÖ, ZMÖ, FM), pp. 3–16.
DAC-1985-YoffaH #approach #design #named: ACORN: a local customization approach to DCVS physical design (EJY, PSH), pp. 32–38.
DAC-1984-Hinchliffe #array #automation #design: Commercial gate array physical design automation packages (FHI), pp. 386–387.
DAC-1984-Rosenthal #aspect-oriented #design: Physical design and manufacturing information aspects aspects of the AT & T bell laboratories CAD system (CWR), pp. 374–383.
DAC-1983-MetosO #diagrams #implementation: Binary Decision Diagrams: From abstract representations to physical implementations (JSM, JVO), pp. 567–570.
VLDB-1982-WhangWS #database #design #network #using: Physical Design of Network Model Databases Using the Property of Separability (KYW, GW, DS), pp. 98–107.
VLDB-1981-WhangWS #approach #database #design #named: Separability — An Approach to Physical Data Base Design (KYW, GW, DS), pp. 320–332.
DAC-1981-Heller #design: Contrasts in physical design between LSI and VLSI (WRH), pp. 676–683.
DAC-1981-Lambert #design: Graphics language / one — IBM Corporate-Wide physical design data format (DRL), pp. 713–719.
SIGMOD-1980-ChangF #clustering #database #design: A Dynamic Clustering Technique for Physical Database Design (JMC, KsF), pp. 188–199.
SIGMOD-1980-KatzW #database #design: An Access Path Model for Physical Database Design (RHK, EW), pp. 22–29.
DAC-1979-Bening #logic #simulation: Developments in computer simulation of gate level physical logic (LB), pp. 561–567.
VLDB-1978-Schkolnick #bibliography #database #design: A Survey of Physical Database Design Methodology and Techniques (MS), pp. 474–487.
DAC-1978-McWilliamsW78a #design: The SCALD physical design subsystem (TMM, LCWJ), pp. 278–284.
VLDB-1977-TohKS #independence #multi: Multi-Level Structures of the DBTG Data Model for an Achievement of Physical Data Independence (TT, SK, KS), pp. 403–414.
VLDB-1976-SenkoA #abstraction #data access: DIAM II and Levels of Abstraction — The Physical Device Level: A General Model for Access Methods (MES, EBA), pp. 79–94.
DAC-1976-Bernstein #approach #modelling #network: Transmission line models, a unified physical network approach (SB), pp. 117–130.
SIGMOD-1975-MommensS #automation #database #generative: Automatic Generation of Physical Data Base Structures (JHM, SES), pp. 157–165.
VLDB-1975-HofferS #analysis #clustering #database #design #using: The Use of Cluster Analysis in Physical Data Base Design (JAH, DGS), pp. 69–86.
DAC-1975-Quinn #problem: The placement problem as viewed from the physics of classical mechanics (NRQJ), pp. 173–178.
SIGFIDET-1971-DateH71a #independence: Storage Structure and Physical Data Independence (CJD, PH), pp. 139–168.