BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
physics
Google physics

Tag #physics

441 papers:

ASPLOSASPLOS-2020-Boccali #energy
Current and Projected Needs for High Energy Physics Experiments (with a Particular Eye on CERN LHC) (TB), p. 465.
ECSAECSA-2019-MayrhoferMZGWE #adaptation #architecture
Assessing Adaptability of Software Architectures for Cyber Physical Production Systems (MM, CMD, AZ, OG, GW, AE), pp. 143–158.
CoGCoG-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.
FDGFDG-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.
CoGVS-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.
ICMLICML-2019-BapstSDSKBH
Structured agents for physical construction (VB, ASG, CD, KLS, PK, PWB, JBH), pp. 464–474.
ICMLICML-2019-LiSK #learning
Adversarial camera stickers: A physical camera-based attack on deep learning systems (JL0, FRS, JZK), pp. 3896–3904.
CASECASE-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.
CASECASE-2019-DuHD #identification #using
Model Identification and Physical Exercise Control using Nonlinear Heart Rate Model and Particle Filter (DD, ZH, YD), pp. 405–410.
CADECADE-2019-CordwellP #hybrid #towards
Towards Physical Hybrid Systems (KC, AP), pp. 216–232.
CoGVS-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.
CoGVS-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.
ICMLICML-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.
ICPRICPR-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.
MoDELSMoDELS-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.
PLDIPLDI-2018-KislalKTKJ
Enhancing computation-to-core assignment with physical location information (OK, JK, XT, MTK, MJ), pp. 312–327.
ESEC-FSEESEC-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.
CASECASE-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.
CASECASE-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.
CASECASE-2018-LiPYT #interactive
Physical Human-Robot Interaction Coupled with a Moving Environment or Target: Contact and Track (HYL, IP, LY, UXT), pp. 43–49.
CASECASE-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.
ICSAICSA-2017-MucciniS #architecture #named
CAPS: Architecture Description of Situational Aware Cyber Physical Systems (HM, MS), pp. 211–220.
JCDLJCDL-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.
EDMEDM-2017-EkambaramMDKSN #learning
Tell Me More: Digital Eyes to the Physical World for Early Childhood Learning (VE, RSM, PD, RK, AKS, SVN).
CHI-PLAYCHI-PLAY-2017-HamalainenMTT #game studies #predict #simulation
Predictive Physics Simulation in Game Mechanics (PH, XM, JT, JT), pp. 497–505.
CHI-PLAYCHI-PLAY-2017-KappenMN #gamification #process
Gamification through the Application of Motivational Affordances for Physical Activity Technology (DLK, PMB, LEN), pp. 5–18.
CoGCIG-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.
CoGCIG-2017-StephensonR #game studies #generative
Generating varied, stable and solvable levels for angry birds style physics games (MS, JR), pp. 288–295.
DiGRADiGRA-2017-SlaterBKS #game studies
A Typology of Players in the Game Physics Playground (SS, AJB, SK, VS).
FDGFDG-2017-DietmeierMDMN #game studies
Shredding with mom and dad: intergenerational physics gaming in a children's museum (JD, BJM, BD, KM, SN), p. 4.
CIKMCIKM-2017-WangGLZJ #privacy
From Fingerprint to Footprint: Revealing Physical World Privacy Leakage by Cyberspace Cookie Logs (HW, CG, YL0, ZLZ, DJ), pp. 1209–1218.
ICMLICML-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.
ASEASE-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.
CASECASE-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.
CASECASE-2017-ChenYFL #interactive
Impedance matching strategy for physical human robot interaction control (XC, CY, CF, ZL0), pp. 138–144.
CASECASE-2017-KongLYZH #e-commerce #framework #platform
Physical internet-enabled E-commerce logistics park platform (XTRK, ML0, YY, ZZ, GQH), pp. 406–411.
CASECASE-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.
CASECASE-2017-Vogel-HeuserP #evaluation #flexibility #metric
Evaluation of selected metrics for flexibility of Cyber Physical Production Systems (BVH, JP), pp. 701–708.
CAVCAV-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.
WICSAWICSA-2016-BuresHKAS #approach #architecture #statistics
Statistical Approach to Architecture Modes in Smart Cyber Physical Systems (TB, PH, JK, RAA, DS), pp. 168–177.
EDMEDM-2016-BhatnagarDLC #classification #self #student
Text Classification of Student Self-Explanations in College Physics Questions (SB, MCD, NL, ESC), pp. 571–572.
EDMEDM-2016-Rau #concept #learning #mining #social
Pattern mining uncovers social prompts of conceptual learning with physical and virtual representations (MAR), pp. 478–483.
EDMEDM-2016-ZhengKTG #clustering #concept #using
Soft Clustering of Physics Misconceptions Using a Mixed Membership Model (GZ, SK, YT, AG), pp. 658–659.
AIIDEAIIDE-2016-StephensonR #game studies #generative
Procedural Generation of Levels for Angry Birds Style Physics Games (MS, JR), pp. 225–231.
DiGRADiGRA-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).
DiGRADiGRA-FDG-2016-Zakowski #game studies #quantum
Environmental Storytelling, Ideologies and Quantum Physics: Narrative Space And The BioShock Games (SZ).
CoGVS-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.
CoGVS-Games-2016-ReateguiBM #education #game studies #student
Students' Attitudes in Relation to Exergame Practices in Physical Education (ER, MZB, JBM), pp. 1–4.
CIKMCIKM-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.
ICMLICML-2016-LererGF #learning
Learning Physical Intuition of Block Towers by Example (AL, SG, RF), pp. 430–438.
ICPRICPR-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.
ICPRICPR-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.
AdaEuropeAdaEurope-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.
DocEngDocEng-2015-FilhoM #segmentation
Segmentation of Overlapping Digits through the Emulation of a Hypothetical Ball and Physical Forces (ANGLF, CABM), pp. 223–226.
EDMEDM-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.
EDMEDM-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.
TLCATLCA-2015-AtkeyGFRS #modelling #morphism #polymorphism
Models for Polymorphism over Physical Dimension (RA, NG, FNF, TR, SS), pp. 45–59.
CHI-PLAYCHI-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.
CoGCIG-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.
FDGFDG-2015-SamuelRMMW #social
The Scored Rule Engine: Next-Generation Social Physics (BS, AAR, PM, MM, NWF).
CHICHI-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.
CHICHI-2015-BianchiBO #design
Designing a Physical Aid to Support Active Reading on Tablets (AB, SRB, IO), pp. 699–708.
CHICHI-2015-GuerreiroRMGN0 #tablet
TabLETS Get Physical: Non-Visual Text Entry on Tablet Devices (JG, AR, KM, TJVG, HN, DG), pp. 39–42.
CHICHI-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.
CHICHI-2015-KhotLAHM #design #named #process
TastyBeats: Designing Palatable Representations of Physical Activity (RAK, JL, DA, LH, F'M), pp. 2933–2942.
CHICHI-2015-MunsonKRR #process
Effects of Public Commitments and Accountability in a Technology-Supported Physical Activity Intervention (SAM, EK, CRR, PR), pp. 1135–1144.
CHICHI-2015-OehlbergWM #community #design #online
Patterns of Physical Design Remixing in Online Maker Communities (LO, WW, WEM), pp. 639–648.
CHICHI-2015-PerraultLBZG #memory management #semantics
Physical Loci: Leveraging Spatial, Object and Semantic Memory for Command Selection (STP, EL, YPB, SZ, YG), pp. 299–308.
CHICHI-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.
CHICHI-2015-StusakSB #visualisation
Evaluating the Memorability of Physical Visualizations (SS, JS, AB), pp. 3247–3250.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CSCWCSCW-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.
HCIDHM-HM-2015-FassG #modelling #towards
Towards a Theory for Bio — — Cyber Physical Systems Modelling (DF, FG), pp. 245–255.
HCIDUXU-DD-2015-KuruF #experience #process
Engaging Experience with Physical Activity Tracking Products (AK, JF), pp. 490–501.
HCIHCI-DE-2015-Alessandrini #challenge #interactive #programming #prototype
Practices, Technologies, and Challenges of Constructing and Programming Physical Interactive Prototypes (AA), pp. 132–142.
HCIHCI-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.
HCIHIMI-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.
CIKMCIKM-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.
KDDKDD-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.
SEKESEKE-2015-XieCLC #evolution #internet
An Evolution Mechanism for Dynamic Physical Applications in the Internet of Things (KX, HC, DL, LC), pp. 213–216.
ICSEICSE-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.
SACSAC-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.
SACSAC-2015-WangYCDGW #documentation #named #security
Cryptopaper: digital information security for physical documents (PW, XY, SC, PD, SG, TW), pp. 2157–2164.
CASECASE-2015-JiangSLZ #database #estimation
Physical field estimation from CFD database and sparse sensor observations (CJ, YCS, HL, HZ), pp. 1294–1299.
DACDAC-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.
DACDAC-2015-XuLP #adaptation #modelling #statistics #using
Adaptive characterization and emulation of delay-based physical unclonable functions using statistical models (TX, DL, MP), p. 6.
DATEDATE-2015-FuggerNNS #modelling #towards
Towards binary circuit models that faithfully capture physical solvability (MF, RN, TN, US), pp. 1455–1460.
HPCAHPCA-2015-DuZCMM #memory management
Supporting superpages in non-contiguous physical memory (YD, MZ, BRC, DM, RGM), pp. 223–234.
ISMMISMM-2015-KimKKJ #memory management #mobile
Controlling physical memory fragmentation in mobile systems (SHK, SK, JSK, JJ), pp. 1–14.
ICTSSICTSS-2015-AsadollahIH #overview #testing
A Survey on Testing for Cyber Physical System (SAA, RI, HH), pp. 194–207.
JCDLJCDL-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.
SIGMODSIGMOD-2014-LeFevreSHTPC #big data #data analysis #design
Opportunistic physical design for big data analytics (JL, JS, HH, JT, NP, MJC), pp. 851–862.
ITiCSEITiCSE-2014-TaubBA #learning
The effect of computer science on the learning of computational physics (RT, MBA, MA), p. 352.
SIGITESIGITE-2014-SchmidtHM #education #network
A virtualized testbed with physical outlets for hands-on computer networking education (MS, FH, MM), pp. 3–8.
TFPIETFPIE-2014-Walck #haskell #programming
Learn Physics by Programming in Haskell (SNW), pp. 67–77.
ICALPICALP-v1-2014-BringmannKPPT #performance #simulation
Internal DLA: Efficient Simulation of a Physical Growth Model — (KB, FK, KP, UP, HT), pp. 247–258.
CHI-PLAYCHI-PLAY-2014-HarquailK #game studies #word
WORD BLASTOFF: a physics word game for iOS (NH, MK), pp. 347–350.
CHI-PLAYCHI-PLAY-2014-LyonVGSZZ #education #game studies
Little Newton: an educational physics game (NL, JVV, CG, NS, JZ, JZ), pp. 351–354.
CHI-PLAYCHI-PLAY-2014-Wood #game studies #lens #using
Using play as a lens to bridge the physical with the digital (GW), pp. 307–310.
CoGCIG-2014-EdelkampG #adaptation #policy #problem
Solving Physical Traveling Salesman Problems with policy adaptation (SE, CG), pp. 1–8.
FDGFDG-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).
CHICHI-2014-AlzayatHN #metric
Quantitative measurement of virtual vs. physical object embodiment through kinesthetic figural after effects (AA, MSH, MAN), pp. 2903–2912.
CHICHI-2014-DimitriadisA #effectiveness #mobile
Evaluating the effectiveness of physical shape-change for in-pocket mobile device notifications (PD, JA), pp. 2589–2592.
CHICHI-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.
CHICHI-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.
CHICHI-2014-HuangSKSMS #smarttech
A technology probe of wearable in-home computer-assisted physical therapy (KH, PJS, SBK, AS, JM, DPS), pp. 2541–2550.
CHICHI-2014-KhotHM #3d #comprehension #process
Understanding physical activity through 3D printed material artifacts (RAK, LH, F'M), pp. 3835–3844.
CHICHI-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.
CHICHI-2014-RamakersSL #mobile #named
Paddle: highly deformable mobile devices with physical controls (RR, JS, KL), pp. 2569–2578.
CHICHI-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.
CHICHI-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.
CHICHI-2014-SwaminathanSJDOF #design #visualisation
Supporting the design and fabrication of physical visualizations (SS, CS, YJ, PD, LO, JDF), pp. 3845–3854.
CHICHI-2014-ZhangL #gesture #interactive #named
GestKeyboard: enabling gesture-based interaction on ordinary physical keyboard (HZ, YL), pp. 1675–1684.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-AS-2014-KojimaHMH
Training Archived Physical Skill through Immersive Virtual Environment (TK, AH, TM, MH), pp. 51–58.
HCILCT-TRE-2014-HafnerHO #artificial reality #using
Experiencing Physical and Technical Phenomena in Schools Using Virtual Reality Driving Simulator (PH, VH, JO), pp. 50–61.
HCISCSM-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.
HCISCSM-2014-CulenFG #named #self
iCONFESS — Mirroring Digital Self-Disclosure in a Physical Booth (ALC, SF, AAG), pp. 430–439.
CIKMCIKM-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.
ICPRICPR-2014-KimP14a #3d #interactive #using
Sensor-Display Registration for 3D Physical User Interaction Using a Flat-Panel Display (JSK, JMP), pp. 1675–1680.
ASPLOSASPLOS-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.
CASECASE-2014-CremerRP
Robotic waiter with physical co-manipulation capabilities (SC, IR, DOP), pp. 1153–1158.
CASECASE-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.
DACDAC-2014-WeiWNP #reverse engineering #using
Reverse Engineering and Prevention Techniques for Physical Unclonable Functions Using Side Channels (SW, JBW, AN, MP), p. 6.
DATEDATE-2014-HelfmeierBNTS
Physical vulnerabilities of Physically Unclonable Functions (CH, CB, DN, ST, JPS), pp. 1–4.
DATEDATE-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.
HPCAHPCA-2014-BalasubramanianS #comprehension #execution #reliability
Understanding the impact of gate-level physical reliability effects on whole program execution (RB, KS), pp. 60–71.
OSDIOSDI-2014-LuZDAAA #file system
Physical Disentanglement in a Container-Based File System (LL, YZ, TD, SAK, ACAD, RHAD), pp. 81–96.
ICDARICDAR-2013-FilhoM
Degraded Digit Restoration Based on Physical Forces (ANGLF, CABM), pp. 195–199.
SEFMSEFM-2013-KringsL #modelling
Inferring Physical Units in B Models (SK, ML), pp. 137–151.
CoGCIG-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.
DiGRADiGRA-2013-Friedhoff
Suit The System To The Player: A Methodology for Physical Creativity (JF).
CHICHI-2013-Feinberg13a #concept #human-computer
Beyond digital and physical objects: the intellectual work as a concept of interest for HCI (MF), pp. 3317–3326.
CHICHI-2013-JansenDF #performance #visualisation
Evaluating the efficiency of physical visualizations (YJ, PD, JDF), pp. 2593–2602.
CHICHI-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.
CHICHI-2013-MacveanR #behaviour #comprehension #game studies #motivation #process
Understanding exergame users’ physical activity, motivation and behavior over time (APM, JR), pp. 1251–1260.
CHICHI-2013-SeguraWMJ #design #game studies #social
The design space of body games: technological, physical, and social design (EMS, AW, JM, CJ), pp. 3365–3374.
CHICHI-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.
CHICHI-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.
HCIDHM-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.
HCIHCI-AMTE-2013-SuganoMT
Study of Kawaii-ness in Motion — Physical Properties of Kawaii Motion of Roomba (SS, YM, KT), pp. 620–629.
HCIHCI-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.
HCIHCI-UC-2013-Brouwers #comparison #hypermedia #navigation
Search Strategies in Hypermedia Navigation and Spatial Abilities: A Comparison with Physical Navigation (AB), pp. 136–145.
HCIHIMI-HSM-2013-SakuradaH #interface #using
A New Presence Display System Using Physical Interface Running on IP-Phones (TS, YH), pp. 411–420.
CIKMCIKM-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.
MODELSMoDELS-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.
OnwardOnward-2013-McCorkle
Building connections between theories of computing and physical systems (ELM), pp. 153–172.
CASECASE-2013-DingLZC #simulation
Emergency evacuation simulation in staircases considering evacuees’ physical and psychological status (ND, PBL, HZ, TC), pp. 741–746.
DACDAC-2013-ChakrabortyLAP
A transmission gate physical unclonable function and on-chip voltage-to-digital conversion technique (RC, CL, DA, JP), p. 10.
DACDAC-2013-LiuCHVNBP #design #energy #logic
Minimum-energy state guided physical design for nanomagnet logic (SL, GC, XSH, EV, MTN, GHB, WP), p. 7.
DACDAC-2013-MillerVG #modelling #statistics #using
Exploration with upgradeable models using statistical methods for physical model emulation (BM, FV, TG), p. 6.
DACDAC-2013-ZhengHB #array #embedded #named #robust
RESP: a robust physical unclonable function retrofitted into embedded SRAM array (YZ, MH, SB), p. 9.
DATEDATE-2013-YaoKLMK #named #network
ClockPUF: physical unclonable functions based on clock networks (YY, MK, JL, ILM, FK), pp. 422–427.
HPCAHPCA-2013-XiaLC #architecture #virtual machine
Architecture support for guest-transparent VM protection from untrusted hypervisor and physical attacks (YX, YL, HC), pp. 246–257.
CBSECBSE-2012-FouquetMFBPJ #component
A dynamic component model for cyber physical systems (FF, BM, FF, OB, NP, JMJ), pp. 135–144.
DocEngDocEng-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.
JCDLJCDL-2012-HinzeMVTC #behaviour #library
Book selection behavior in the physical library: implications for ebook collections (AH, DM, NV, CT, SJC), pp. 305–314.
SIGMODSIGMOD-2012-ConsensILP #database #design
Divergent physical design tuning for replicated databases (MPC, KI, JL, NP), pp. 49–60.
TPDLTPDL-2012-HinzeD #documentation #library
Re-finding Physical Documents: Extending a Digital Library into a Human-Centred Workplace (AH, AD), pp. 57–63.
SIGITESIGITE-2012-HelpsM #design
Comprehensive design of cyber physical systems (CRGH, FNM), pp. 233–238.
DLTDLT-J-2011-ArrighiD12 #quantum
The Physical Church-Turing Thesis and the Principles of Quantum Theory (PA, GD), pp. 1131–1146.
LATALATA-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.
CoGCIG-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.
FDGFDG-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.
CoGVS-Games-2012-KesselT #game studies #modelling #requirements
Accuracy Requirements for Physical Models in Serious Games (RTK, AT), pp. 322–325.
CHICHI-2012-HeimerlGCPH #named
CommunitySourcing: engaging local crowds to perform expert work via physical kiosks (KH, BG, KC, TSP, BH), pp. 1539–1548.
CHICHI-2012-RudeckB #mobile #named
Rock-paper-fibers: bringing physical affordance to mobile touch devices (FR, PB), pp. 1929–1932.
ICSEICSE-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.
CASECASE-2012-LiLPZ #simulation
Control system simulation for 360MN extrusion machine based on physical model (WL, WL, FP, QZ), pp. 243–249.
CASECASE-2012-PrabhuJT #approach #modelling
Modeling green factory physics — An analytical approach (VVP, HWJ, MT), pp. 46–51.
CASECASE-2012-YanG #estimation
Time-delay estimation of ultrasonic echoes based on the physical model matching (XY, LG), pp. 469–473.
DACDAC-2012-BobbaMLM #synthesis
Physical synthesis onto a Sea-of-Tiles with double-gate silicon nanowire transistors (SB, MDM, YL, GDM), pp. 42–47.
DACDAC-2012-Lauwereins
Biomedical electronics serving as physical environmental and emotional watchdogs (RL), pp. 1–5.
DACDAC-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.
DACDAC-2012-VelamalaSSC #matter #predict #statistics
Physics matters: statistical aging prediction under trapping/detrapping (JBV, KS, TS, YC), pp. 139–144.
DATEDATE-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.
DATEDATE-2012-MittagKJR #constraints #design #geometry
Hierarchical propagation of geometric constraints for full-custom physical design of ICs (MM, AK, GJ, WR), pp. 1471–1474.
PDPPDP-2012-RaychoudhuryCZK #navigation
Context Map for Navigating the Physical World (VR, JC, WZ, ADK), pp. 146–153.
ICDARICDAR-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.
JCDLJCDL-2011-ChristelSZ #library
Physics pathway: a digital library filled with synthetic interviews (MGC, SMS, DAZ), pp. 335–338.
VLDBVLDB-2011-KimuraNS #database #design
Compression Aware Physical Database Design (HK, VRN, MS), pp. 657–668.
SIGITESIGITE-2011-SmarkuskySEPPN
Physics in motion: an interdisciplinary project (DLS, SJS, REE, PEP, RFP, AMN), pp. 33–38.
FMFM-2011-Sztipanovits #integration #perspective #semantics
Model Integration and Cyber Physical Systems: A Semantics Perspective (JS), p. 1.
FDGFDG-2011-LavioleHS #game studies #simulation #using
Tabletop games using real environment and physical simulation (JL, MH, CS), pp. 322–324.
FDGFDG-2011-LundP #distributed #education #game studies
An educational tool for creating distributed physical games (HHL, LP), pp. 219–226.
FDGFDG-2011-LundT #adaptation #game studies
Adaptive playware in physical games (HHL, ATT), pp. 271–273.
FDGFDG-2011-McCoyTSMW #social
Prom Week: social physics as gameplay (JM, MT, BS, MM, NWF), pp. 319–321.
CHICHI-2011-DalsgardH #3d #design
3d projection on physical objects: design insights from five real life cases (PD, KH), pp. 1041–1050.
CHICHI-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.
CHICHI-2011-PearsonBT #documentation #interactive
The reading desk: applying physical interactions to digital documents (JSP, GB, HWT), pp. 3199–3202.
CHICHI-2011-WeissRB
Rendering physical effects in tabletop controls (MW, CR, JOB), pp. 3009–3012.
CHICHI-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.
CSCWCSCW-2011-MarshallRP #interactive #using
Using F-formations to analyse spatial patterns of interaction in physical environments (PM, YR, NP), pp. 445–454.
HCIDUXU-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.
HCIDUXU-v2-2011-MirandaHB11a #interactive
Prospecting a New Physical Artifact of Interaction for iDTV: Results of Participatory Practices (LCdM, HHH, MCCB), pp. 167–176.
HCIHCD-2011-ChouC #interactive
Investigating Users’ Interaction with Physical Products Applying Qualitative and Quantitative Methods (CJC, CC), pp. 3–12.
HCIHCI-ITE-2011-JeonR #recognition
The Effect of Physical Embodiment of an Animal Robot on Affective Prosody Recognition (MJ, IAR), pp. 523–532.
HCIHCI-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.
KDDKDD-2011-YuanZXS
Driving with knowledge from the physical world (JY, YZ, XX, GS), pp. 316–324.
KEODKEOD-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.
SIGIRSIGIR-2011-LiomaKS #retrieval
Sense discrimination for physics retrieval (CL, AK, HS), pp. 1101–1102.
SIGIRSIGIR-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.
SACSAC-2011-NawahdahI #education #learning
Positioning a virtual teacher in an MR physical task learning support system (MN, TI), pp. 1169–1174.
DACDAC-2011-RahmanATS #library #reduction #synthesis
Power reduction via separate synthesis and physical libraries (MR, RA, HT, CS), pp. 627–632.
DACDAC-2011-RyzhenkoB #geometry #layout #synthesis
Physical synthesis onto a layout fabric with regular diffusion and polysilicon geometries (NR, SB), pp. 83–88.
DATEDATE-2011-Micheli #design #logic #question #synthesis
Logic synthesis and physical design: Quo vadis? (GDM), p. 50.
VMCAIVMCAI-2011-FrohardtCS #modelling
Access Nets: Modeling Access to Physical Spaces (RF, BYEC, SS), pp. 184–198.
HTHT-2010-GhoshJD #hypermedia #named
Brickstreams: physical hypermedia driven customer insight (RG, JJ, MD), pp. 283–284.
JCDLJCDL-2010-Buchanan #library
The fused library: integrating digital and physical libraries with location-aware sensors (GB), pp. 273–282.
ITiCSEITiCSE-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.
ICSMEICSM-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.
ICALPICALP-v2-2010-Wattenhofer #algorithm
Physical Algorithms (RW), pp. 38–51.
CHICHI-2010-BerkovskyCFBB #game studies #process
Physical activity motivating games: virtual rewards for real activity (SB, MC, JF, DB, NB), pp. 243–252.
CHICHI-2010-ChuDWB
Countertop responsive mirror: supporting physical retail shopping for sellers, buyers and companions (MC, BD, AW, BB), pp. 2533–2542.
CHICHI-2010-ScupelliXFKG #aspect-oriented #coordination
Supporting coordination in surgical suites: physical aspects of common information spaces (PS, YX, SRF, SBK, MDG), pp. 1777–1786.
CSCWCSCW-2010-HartmannMBW #collaboration #design #named
Pictionaire: supporting collaborative design work by integrating physical and digital artifacts (BH, MRM, HB, ADW), pp. 421–424.
ICPRICPR-2010-HuotHMP
Estimating Apparent Motion on Satellite Acquisitions with a Physical Dynamic Model (EGH, IH, NM, EP), pp. 41–44.
ICSEICSE-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.
CASECASE-2010-DoraiswamiCK #order
Model order selection criterion with application to physical systems (RD, LC, HMK), pp. 393–398.
DACDAC-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.
DACDAC-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.
DACDAC-2010-LeeS
Medical cyber physical systems (IL, OS), pp. 743–748.
DACDAC-2010-YoonCPC #analysis #comparative #multi #network
Virtual channels vs. multiple physical networks: a comparative analysis (YJY, NC, MP, LPC), pp. 162–165.
DATEDATE-2010-WangT #novel #process
Novel Physical Unclonable Function with process and environmental variations (XW, MT), pp. 1065–1070.
LICSLICS-2010-Abramsky #algebra
Coalgebras, Chu Spaces, and Representations of Physical Systems (SA), pp. 411–420.
TPDLECDL-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.
SIGMODSIGMOD-2009-LiuMBJILG #named
SmartCIS: integrating digital and physical environments (ML, SRM, ZB, MJ, ZGI, BTL, SG), pp. 1111–1114.
VLDBVLDB-2009-SchnaitterPG #analysis #design #interactive #modelling
Index Interactions in Physical Design Tuning: Modeling, Analysis, and Applications (KS, NP, LG), pp. 1234–1245.
AIIDEAIIDE-2009-HasegawaRA #interactive
A Method for Acquiring Body Movement Verbs for a Humanoid Robot through Physical Interaction with Humans (DH, RR, KA).
CHICHI-2009-FiebrinkMM
Dynamic mapping of physical controls for tabletop groupware (RF, DM, MRM), pp. 471–480.
CHICHI-2009-HarrisonH #visual notation
Providing dynamically changeable physical buttons on a visual display (CH, SEH), pp. 299–308.
CHICHI-2009-HarryGD
backchan.nl: integrating backchannels in physical space (DH, JG, JSD), pp. 1361–1370.
CHICHI-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.
CHICHI-2009-SpelmezanJHB #process
Tactile motion instructions for physical activities (DS, MJ, AH, JOB), pp. 2243–2252.
CHICHI-2009-WeissWJJKHB
SLAP widgets: bridging the gap between virtual and physical controls on tabletops (MW, JW, YJ, RJ, RK, JDH, JOB), pp. 481–490.
HCIDHM-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.
HCIHCD-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.
HCIHCD-2009-ChouC #experience #user interface
Engaging Experience: A New Perspective of User Experience with Physical Products (CJC, CC), pp. 31–40.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-DIE-2009-Aviles-LopezG
UbiSOA Dashboard: Integrating the Physical and Digital Domains through Mashups (EAL, JAGM), pp. 466–474.
HCIHIMI-DIE-2009-KanaiOM #3d
Manipulation with Fingers in a 3-D Physical Space (YK, MO, HM), pp. 515–523.
ICEISICEIS-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.
SEKESEKE-2009-Tappan #component #modelling #simulation
Pedagogy-oriented Software Modeling and Simulation of Component-based Physical Systems (DT), pp. 295–300.
DACDAC-2009-HelinskiAP #using
A physical unclonable function defined using power distribution system equivalent resistance variations (RH, DA, JP), pp. 676–681.
DATEDATE-2009-GaoKMAMK #energy
DPR in high energy physics (WG, AK, RM, NA, NM, UK), pp. 39–44.
TPDLECDL-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.
SIGMODSIGMOD-2008-BrunoN #design #optimisation #parametricity #query
Configuration-parametric query optimization for physical design tuning (NB, RVN), pp. 941–952.
VLDBVLDB-2008-BrunoC #design
Constrained physical design tuning (NB, SC), pp. 4–15.
VLDBVLDB-2008-LiuCBC #independence #sql #towards #xml #xquery
Towards a physical XML independent XQuery/SQL/XML engine (ZHL, SC, TB, HJC), pp. 1356–1367.
EDMEDM-2008-Cho #classification
Machine Classification of Peer Comments in Physics (KC), pp. 192–196.
AIIDEAIIDE-2008-Horswill #animation #interactive #lightweight
Lightweight Procedural Animation with Believable Physical Interactions (IH).
CHICHI-2008-MerrillRA
The sound of touch: physical manipulation of digital sound (DM, HR, RA), pp. 739–742.
CHICHI-2008-PetrelliWB #named #question #what
AutoTypography: what can physical mementos tell us about digital memories? (DP, SW, JB), pp. 53–62.
CSCWCSCW-2008-McCarthyCH #community
The context, content & community collage: sharing personal digital media in the physical workplace (JFM, BC, FMH), pp. 97–106.
SACSAC-2008-SavoldiG #logic
Logical and physical data collection of Windows CE based portable devices (AS, PG), pp. 1448–1449.
DACDAC-2008-FeldmannA #approach #modelling #towards
Towards a more physical approach to gate modeling for timing, noise, and power (PF, SA), pp. 453–455.
DACDAC-2008-GolsonC #implementation #theory and practice
Flow engineering for physical implementation: theory and practice (SG, PC), p. 1.
DATEDATE-2008-ForestFASSN #architecture
Physical Architectures of Automotive Systems (TF, AF, GA, MS, ALSV, MDN), pp. 391–395.
DATEDATE-2008-FrenkilCU #analysis #design #power management
Power Gating for Ultra-low Leakage: Physics, Design, and Analysis (JF, KC, KU).
VMCAIVMCAI-2008-BouissouM #abstract interpretation #embedded #source code
Abstract Interpretation of the Physical Inputs of Embedded Programs (OB, MM), pp. 37–51.
TPDLECDL-2007-MonroyFC
Texts, Illustrations, and Physical Objects: The Case of Ancient Shipbuilding Treatises (CM, RF, FC), pp. 198–209.
ICDARICDAR-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.
SIGMODSIGMOD-2007-BrunoC #design #online
Online autoadmin: (physical design tuning) (NB, SC), pp. 1067–1069.
SIGITESIGITE-2007-ToderickL #linux #using
Using VPN technology to remove physical barriers in linux lab experiments (LT, PJLI), pp. 113–118.
CHICHI-2007-BallNB #navigation #performance #scalability
Move to improve: promoting physical navigation to increase user performance with large displays (RB, CN, DAB), pp. 191–200.
CHICHI-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.
CHICHI-2007-SeagerF #automation #navigation
Comparing physical, automatic and manual map rotation for pedestrian navigation (WS, DSF), pp. 767–776.
CHICHI-2007-SwindellsMBM #design
Exploring affective design for physical controls (CS, KEM, KSB, MJM), pp. 933–942.
CHICHI-2007-TerrenghiKSI #interactive
Affordances for manipulation of physical versus digital media on interactive surfaces (LT, DSK, AS, SI), pp. 1157–1166.
HCIHCI-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.
HCIHCI-IPT-2007-MartiG
Coupling the Digital and the Physical in Therapeutic Environments (PM, LG), pp. 1173–1182.
HCIHCI-IPT-2007-Truillet #taxonomy
A Taxonomy of Physical Contextual Sensors (PT), pp. 982–989.
HCIHCI-IPT-2007-ZhengSS #3d #simulation #sketching #web
A 3D Sketching Interacting Tool for Physical Simulation Based on Web (ZZ, LS, SS), pp. 710–719.
HCIHCI-MIE-2007-DuL #design #game studies #interactive #music #named
G-Tunes — Physical Interaction Design of Playing Music (JD, YL), pp. 846–851.
HCIHCI-MIE-2007-LeePN #interactive
Emotional Interaction Through Physical Movement (JHL, JYP, TJN), pp. 401–410.
HCIOCSC-2007-ShihCHL #interactive #representation #social
Physical Representation Social Presence with Interactive Grass (JHS, TWC, HMH, TCL), pp. 176–181.
ICEISICEIS-HCI-2007-NaderiR #adaptation #documentation
Physical Document Adaptation to User’s Context and User’s Profile (HN, BR), pp. 92–97.
RecSysRecSys-2007-McCarthy #challenge #recommendation
The challenges of recommending digital selves in physical spaces (JFM), pp. 185–186.
CASECASE-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.
DACDAC-2007-MangHH #distributed #effectiveness #synthesis
Techniques for Effective Distributed Physical Synthesis (FYCM, WH, PHH), pp. 859–864.
DACDAC-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.
DACDAC-2007-SuhD #authentication #generative
Physical Unclonable Functions for Device Authentication and Secret Key Generation (GES, SD), pp. 9–14.
DACDAC-2007-TaylorP #combinator #design #logic #optimisation
Exact Combinatorial Optimization Methods for Physical Design of Regular Logic Bricks (BT, LTP), pp. 344–349.
DATEDATE-2007-GrassmannRS #architecture #multi #standard
Mapping the physical layer of radio standards to multiprocessor architectures (CG, MR, MS), pp. 1412–1417.
HTHT-2006-Gronbaek #hypermedia #interactive #social #ubiquitous
Ubiquitous hypermedia and social interaction in physical environments (KG), pp. 119–120.
JCDLJCDL-2006-GronbaekRSB #library #named
InfoGallery: informative art services for physical library spaces (KG, AR, BS, SBP), pp. 21–30.
SIGMODSIGMOD-2006-AgrawalCN #automation #design #sequence
Automatic physical design tuning: workload as a sequence (SA, EC, VRN), pp. 683–694.
VLDBVLDB-2006-BrunoC #design #lightweight
To Tune or not to Tune? A Lightweight Physical Design Alerter (NB, SC), pp. 499–510.
CHICHI-2006-AgarawalaB
Keepin’ it real: pushing the desktop metaphor with physics, piles and the pen (AA, RB), pp. 1283–1292.
CHICHI-2006-ConsolvoESL #design #process #requirements
Design requirements for technologies that encourage physical activity (SC, KE, IES, JAL), pp. 457–466.
CHICHI-2006-HorneckerB #framework #interactive #social
Getting a grip on tangible interaction: a framework on physical space and social interaction (EH, JB), pp. 437–446.
CHICHI-2006-KirkF #collaboration #gesture
Comparing remote gesture technologies for supporting collaborative physical tasks (DSK, DSF), pp. 1191–1200.
CIKMCIKM-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.
ICPRICPR-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.
SACSAC-2006-BodhuinCPT #complexity
Hiding complexity and heterogeneity of the physical world in smart living environments (TB, GC, RP, MT), pp. 1921–1927.
SACSAC-2006-MameiQZ #tuple
Making tuple spaces physical with RFID tags (MM, RQ, FZ), pp. 434–439.
DACDAC-2006-AnanthanR #process
A fully physical model for leakage distribution under process variations in Nanoscale double-gate CMOS (HA, KR), pp. 413–418.
DACDAC-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.
DACDAC-2006-NelsonBDB #detection #multi
Multiple-detect ATPG based on physical neighborhoods (JEN, JGB, RD, RD(B), pp. 1099–1102.
DACDAC-2006-PantC #grid #power management
Power grid physics and implications for CAD (SP, EC), pp. 199–204.
HPCAHPCA-2006-LiLBHS #constraints #design
CMP design space exploration subject to physical constraints (YL, BCL, DMB, ZH, KS), pp. 17–28.
HPDCHPDC-2006-AamnitchiDG #energy #resource management
Filecules in High-Energy Physics: Characteristics and Impact on Resource Management (AI, SD, GG), pp. 69–80.
HPDCHPDC-2006-ZhangHXY #named #runtime #scalability
PARM: Physics Aware Runtime Manager for Large-scale Scientific and Engineering Applications (YZ, SH, JX, JY), pp. 363–364.
HTHT-2005-MillardR #3d #hypermedia
The 3D sonification of links in physical hypermedia environments (DEM, MR), pp. 251–253.
SIGMODSIGMOD-2005-BrunoC #approach #automation #database
Automatic Physical Database Tuning: A Relaxation-based Approach (NB, SC), pp. 227–238.
DiGRADiGRA-2005-MagerkurthM #component #design #evaluation #game studies #hybrid
Design and Evaluation of a Hybrid Games System Combining Physical and Virtual Components (CM, MM).
CAiSECAiSE-2005-GordilloRS #hypermedia #modelling
Separation of Structural Concerns in Physical Hypermedia Models (SEG, GR, DS), pp. 446–459.
SACSAC-2005-FujinamiN #towards
Towards system software for physical space applications (KF, TN), pp. 1613–1620.
DACDAC-2005-GuWDZ #behaviour #design #incremental
Incremental exploration of the combined physical and behavioral design space (Z(G, JW, RPD, HZ), pp. 208–213.
DACDAC-2005-SinghMB #incremental #synthesis
Incremental retiming for FPGA physical synthesis (DPS, VM, SDB), pp. 433–438.
TPDLECDL-2004-DaveFKFSB
Incorporating Physical and Digital Artifacts into Growing Personal Collections (PD, LFR, UK, RF, FMSI, PLBI), pp. 341–352.
HTHT-2004-MillardRMTW #hypermedia #modelling
Navigational hypertext models For physical hypermedia environments (DEM, DDR, DTM, MKT, MJW), pp. 110–111.
SIGMODSIGMOD-2004-AgrawalNY #automation #clustering #database #design
Integrating Vertical and Horizontal Partitioning Into Automated Physical Database Design (SA, VRN, BY), pp. 359–370.
SIGMODSIGMOD-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.
VLDBVLDB-2004-ZilioRLLSGF #automation #database #design
DB2 Design Advisor: Integrated Automatic Physical Database Design (DCZ, JR, SL, GML, AJS, CGA, SF), pp. 1087–1097.
CSCWCSCW-2004-JuINW #design
Where the wild things work: capturing shared physical design workspaces (WJ, AI, LN, TW), pp. 533–541.
CSCWCSCW-2004-McCarthyBCGLZ
Digital backchannels in shared physical spaces: attention, intention and contention (JFM, DB, EFC, WGG, EL, MZ), pp. 550–553.
ICPRICPR-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.
SACSAC-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.
SACSAC-2004-PinhoT #image #using
Morphing of image represented objects using a physical methodology (RRP, JMRST), pp. 10–15.
CGOCGO-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.
DACDAC-2004-AlpertHHQ #flexibility #layout #performance
Fast and flexible buffer trees that navigate the physical layout environment (CJA, MH, JH, STQ), pp. 24–29.
DATEDATE-DF-2004-DiazS
Clock Management in a Gigabit Ethernet Physical Layer Transceiver Circuit (JCD, MS), pp. 134–139.
HTHT-2003-GronbaekKOE #hypermedia #quote
“Physical hypermedia”: organising collections of mixed physical and digital material (KG, JFK, , MAE), pp. 10–19.
DiGRADiGRA-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).
CHICHI-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.
CHICHI-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.
CHICHI-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.
CHICHI-2003-KlemmerGWL #interface
Books with voices: paper transcripts as a physical interface to oral histories (SRK, JG, GJW, JAL), pp. 89–96.
AdaEuropeAdaEurope-2003-GreinKW #ada #overview
A Survey of Physical Unit Handling Techniques in Ada (CG, DAK, FW), pp. 258–270.
ASEASE-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.
DACDAC-2003-ChanKLNR #performance #synthesis
Physical synthesis methodology for high performance microprocessors (YHC, PK, LBL, GAN, TER), pp. 696–701.
DACDAC-2003-CongJRR #architecture #evaluation
Microarchitecture evaluation with physical planning (JC, AJ, GR, MR), pp. 32–35.
DACDAC-2003-HurCRPCTH #constraints
Force directed mongrel with physical net constraints (SWH, TC, KR, YP, AC, VT, BH), pp. 214–219.
HPDCHPDC-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.
ICSTSAT-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.
SIGMODSIGMOD-2002-RaoZML #automation #database #design #parallel
Automating physical database design in a parallel database (JR, CZ, NM, GML), pp. 558–569.
VLDBVLDB-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.
VLDBVLDB-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.
CHICHI-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.
CHICHI-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.
CIKMCIKM-2002-Amer-YahiaFGS #logic #semistructured data
Logical and physical support for heterogeneous data (SAY, MFF, RG, DS), pp. 270–281.
ICPRICPR-v2-2002-Duncan #analysis #geometry #image #modelling
Geometrical and Physical Models for the Recovery of Quantitative Information from Medical Image Analysis (JSD), p. 277.
ICPRICPR-v2-2002-ZhangGST #parametricity #using
Tracking Objects Using Recovered Physical Motion Parameters (YZ, DBG, SS, LVT), pp. 10–13.
KRKR-2002-Bennett
Physical Objects, Identity and Vagueness (BB), pp. 395–408.
AdaEuropeAdaEurope-2002-Ferscha #named
Contextware: Bridging Physical and Virtual Worlds (AF), pp. 51–64.
DACDAC-2002-VenkatesanDM #distributed
A physical model for the transient response of capacitively loaded distributed rlc interconnects (RV, JAD, JDM), pp. 763–766.
DATEDATE-2002-ChenM #design #metric
Closed-Form Crosstalk Noise Metrics for Physical Design Applications (LHC, MMS), pp. 812–819.
CHICHI-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.
SACSAC-2001-TranHJ #design #multi
A generalized air-cache design for efficiently boradcasting on multiple physical channels (DAT, KAH, NJ), pp. 387–392.
DACDAC-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.
DACDAC-2001-GrobmanTWYTD #challenge #design
Reticle Enhancement Technology: Implications and Challenges for Physical Design (WG, MT, RW, CY, RT, ED), pp. 73–78.
DACDAC-2001-HalpinCS #constraints #using
Timing Driven Placement using Physical Net Constraints (BH, CYRC, NS), pp. 780–783.
FASEFASE-2001-Selic #logic #programming
Physical Programming: Beyond Mere Logic (BS), p. 1.
ICSTSAT-2001-CoccoM #analysis #backtracking #random #satisfiability #statistics
Statistical physics analysis of the backtrack resolution of random 3-SAT instances (SC, RM), pp. 36–47.
RTARTA-2000-ContejeanCM
Rewriting Techniques in Theoretical Physics (EC, AC, BM), pp. 80–94.
ICMLICML-2000-Randlov #learning #problem
Shaping in Reinforcement Learning by Changing the Physics of the Problem (JR), pp. 767–774.
ICPRICPR-v2-2000-TanakaII #evaluation #image #modelling
An Attractiveness Evaluation Model Based on the Physical Features of Image Regions (ST, YI, SI), pp. 2793–2796.
ICPRICPR-v3-2000-Serra #pattern matching #pattern recognition #question #recognition
Is Pattern Recognition a Physical Science? (JS), pp. 3033–3040.
DACDAC-2000-DoughertyT #behaviour #design #synthesis
Unifying behavioral synthesis and physical design (WED, DET), pp. 756–761.
OSDIOSDI-2000-BrownM #memory management #using
Taming the Memory Hogs: Using Compiler-Inserted Releases to Manage Physical Memory Intelligently (ADB, TCM), pp. 31–44.
PDPPDP-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.
ICLPCL-2000-DavulcuYKR #design #experience #implementation
Design and Implementation of the Physical Layer in WebBases: The XRover Experience (HD, GY, MK, IVR), pp. 1094–1105.
VLDBVLDB-1999-DeutschPT #constraints #independence #optimisation
Physical Data Independence, Constraints, and Optimization with Universal Plans (AD, LP, VT), pp. 459–470.
PASTEPASTE-1999-ChandraR #c #type checking
Physical Type Checking for C (SC, TWR), pp. 66–75.
CHICHI-1999-WantFGH
Bridging Physical and Virtual Worlds with Electronic Tags (RW, KPF, AG, BLH), pp. 370–377.
CHICHI-1999-YarinI #design #interactive #named
TouchCounters: Designing Interactive Electronic Labels for Physical Containers (PY, HI), pp. 362–369.
HCIHCI-CCAD-1999-Pederson #design #information management
Physical-virtual instead of physical or virtual — designing artefacts for future knowledge work environments (TP), pp. 1070–1074.
HCIHCI-EI-1999-Aborg #documentation
Electronic Document Handling — a Longitudinal Study on the Effects on Physical and Psychosocial Work Environment (), pp. 15–18.
TOOLSTOOLS-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.
DATEDATE-1999-ChakrabortyGBKM #design #self
A Physical Design Tool for Built-in Self-Repairable Static RAMs (KC, AG, MB, SK, PM), p. 714–?.
OSDIOSDI-1999-HutchinsonMFHHKO #file system #logic
Logical vs. Physical File System Backup (NCH, SM, MF, GH, DH, SK, SWO), pp. 239–249.
ICPRICPR-1998-HatteryL #analysis #image
Depth from physics: physics-based image analysis and feature definition (DH, MHL), pp. 711–713.
AdaEuropeAdaEurope-1998-Stift #ada #object-oriented
(Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative (MJS), pp. 128–139.
DACDAC-1998-KahngMMPTWW #design #robust
Robust IP Watermarking Methodologies for Physical Design (ABK, SM, ILM, MP, PT, HW, GW), pp. 782–787.
DATEDATE-1998-EpplerFGM #energy #network
High Speed Neural Network Chip for Trigger Purposes in High Energy Physics (WE, TF, HG, AM), pp. 108–115.
VLDBVLDB-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.
VLDBVLDB-1997-LeeLWS #database #design #multi
A Region Splitting Strategy for Physical Database Design of Multidimensional File Organizations (JHL, YKL, KYW, IYS), pp. 416–425.
VLDBVLDB-1997-MalonM #database #energy
Critical Database Technologies for High Energy Physics (DMM, ENM), pp. 580–584.
HCIHCI-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.
DACDAC-1997-LefebvreMS #future of #generative #synthesis
The Future of Custom Cell Generation in Physical Synthesis (ML, DM, CS), pp. 446–451.
DATEEDTC-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.
CHICHI-1996-GrahamM
Physical versus Virtual Pointing (EDG, CLM), pp. 292–299.
CHICHI-1996-RansonPKRMCSS #agile
Rapid Scout: Bridging the Gulf Between Physical and Virtual Environments (DSR, ESP, DLK, GAR, MLM, JMC, ES, CSS), pp. 442–449.
CSCWCSCW-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.
CSCWCSCW-1996-KrautMS #collaboration #communication #performance
Collaboration in Performance of Physical Tasks: Effects on Outcomes and Communication (REK, MDM, JS), pp. 57–66.
SACSAC-1995-KasaraneniJA #distributed #energy #multi
Load balancing in a distributed processing system for high-energy physics(UFMulti) (JK, TJ, PA), pp. 177–181.
VLDBVLDB-1994-TsatalosSI #independence
The GMAP: A Versatile Tool for Physical Data Independence (OGT, MHS, YEI), pp. 367–378.
DACDAC-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.
DATEEDAC-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.
HCIHCI-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, ), pp. 845–850.
HCIHCI-SHI-1993-KawasugiYNA #3d #named
Romeo: Robot-Mediated Cooperative Work for Handling 3-Dimensional Physical Objects (KK, TY, YN, YA), pp. 567–572.
SACSAC-1993-ChoenniBC #automation #database #design #on the
On the Automation of Physical Database Design (SC, HMB, TC), pp. 358–367.
HPDCHPDC-1993-Coddington #analysis #distributed #hardware
An Analysis of Distributed Computing Software and Hardware for Applications in Computational Physics (PDC), pp. 179–186.
ECOOPECOOP-1992-AloiaBR #database #independence
Supporting Physical Independence in an Object Database Server (NA, SB, FR), pp. 396–412.
SOSPSOSP-WIP-1991-HartyC92 #memory management #using
Application-Controlled Physical Memory using External Page-Cache Management (KH, DRC), p. 19.
ASPLOSASPLOS-1992-ChiuehK
Eliminating the Address Translation Bottleneck for Physical Address Cache (TcC, RHK), pp. 137–148.
ASPLOSASPLOS-1992-HartyC #memory management #using
Application-Controlled Physical Memory using External Page-Cache Management (KH, DRC), pp. 187–197.
ICLPJICSLP-1992-Mitchell #architecture #logic #programming
The Logic of Architecture: Programming the Invention of Physical Artifacts (WJM), pp. 831–846.
CSEETSEI-1991-Shafer
Keynote Address: Soft Ware for Hard Physics (SS), pp. 1–2.
ICMLML-1991-VanLehnJ #correctness #learning
Learning Physics Via Explanation-Based Learning of Correctness and Analogical Search Control (KV, RMJ), pp. 110–114.
DACDAC-1991-Luk #constraints #generative #layout #performance
A Fast Physical Constraint Generator for Timing Driven Layout (WKL), pp. 626–631.
DACDAC-1991-ParkerGH #design #trade-off
The Effects of Physical Design Characteristics on the Area-Performance Tradeoff Curve (ACP, PG, AH), pp. 530–534.
KRKR-1989-RandellC #modelling #process
Modelling Topological and Metrical Properties in Physical Processes (DAR, AGC), pp. 357–368.
DACDAC-1989-SetliffR #automation #named #synthesis
ELF: A Tool for Automatic Synthesis of Custom Physical CAD Software (DES, RAR), pp. 543–548.
SIGMODSIGMOD-1988-Bell #data transformation #execution #parallel
A Specialized Data Management System For Parallel Execution of Particle Physics Codes (JLB), pp. 277–285.
FMVDME-1988-Good
Computing is a Physical Science (DIG), p. 1.
DACDAC-1988-ObermeierK #layout
An Electrical Optimizer that Considers Physical Layout (FWO, RHK), pp. 453–459.
DACDAC-1986-HaugeY #design #named
Vanguard: a chip physical design system (PSH, EJY), pp. 440–446.
DACDAC-1986-ShihA #generative #testing
Transistor-level test generation for physical failures in CMOS circuits (HCS, JAA), pp. 243–249.
SIGMODSIGMOD-1985-OzsoyogluOM #summary
A Language and a Physical Organization Technique for Summary Tables (, ZMÖ, FM), pp. 3–16.
DACDAC-1985-YoffaH #approach #design #named
ACORN: a local customization approach to DCVS physical design (EJY, PSH), pp. 32–38.
DACDAC-1984-Hinchliffe #array #automation #design
Commercial gate array physical design automation packages (FHI), pp. 386–387.
DACDAC-1984-Rosenthal #aspect-oriented #design
Physical design and manufacturing information aspects aspects of the AT & T bell laboratories CAD system (CWR), pp. 374–383.
DACDAC-1983-MetosO #diagrams #implementation
Binary Decision Diagrams: From abstract representations to physical implementations (JSM, JVO), pp. 567–570.
VLDBVLDB-1982-WhangWS #database #design #network #using
Physical Design of Network Model Databases Using the Property of Separability (KYW, GW, DS), pp. 98–107.
VLDBVLDB-1981-WhangWS #approach #database #design #named
Separability — An Approach to Physical Data Base Design (KYW, GW, DS), pp. 320–332.
DACDAC-1981-Heller #design
Contrasts in physical design between LSI and VLSI (WRH), pp. 676–683.
DACDAC-1981-Lambert #design
Graphics language / one — IBM Corporate-Wide physical design data format (DRL), pp. 713–719.
SIGMODSIGMOD-1980-ChangF #clustering #database #design
A Dynamic Clustering Technique for Physical Database Design (JMC, KsF), pp. 188–199.
SIGMODSIGMOD-1980-KatzW #database #design
An Access Path Model for Physical Database Design (RHK, EW), pp. 22–29.
DACDAC-1979-Bening #logic #simulation
Developments in computer simulation of gate level physical logic (LB), pp. 561–567.
VLDBVLDB-1978-Schkolnick #bibliography #database #design
A Survey of Physical Database Design Methodology and Techniques (MS), pp. 474–487.
DACDAC-1978-McWilliamsW78a #design
The SCALD physical design subsystem (TMM, LCWJ), pp. 278–284.
VLDBVLDB-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.
VLDBVLDB-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.
DACDAC-1976-Bernstein #approach #modelling #network
Transmission line models, a unified physical network approach (SB), pp. 117–130.
SIGMODSIGMOD-1975-MommensS #automation #database #generative
Automatic Generation of Physical Data Base Structures (JHM, SES), pp. 157–165.
VLDBVLDB-1975-HofferS #analysis #clustering #database #design #using
The Use of Cluster Analysis in Physical Data Base Design (JAH, DGS), pp. 69–86.
DACDAC-1975-Quinn #problem
The placement problem as viewed from the physics of classical mechanics (NRQJ), pp. 173–178.
SIGMODSIGFIDET-1971-DateH71a #independence
Storage Structure and Physical Data Independence (CJD, PH), pp. 139–168.

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.