Results 91 to 100 of about 5,492,835 (336)
The Dafny Integrated Development Environment
, 2014 In recent years, program verifiers and interactive theorem provers have become more powerful and more suitable for verifying large programs or proofs.
Leino, K. Rustan M., Wüstholz, Valentin
core +2 more sources
Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization
Advanced Engineering Materials, EarlyView.Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier +17 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.A novel workflow for investigating hydride vapor phase epitaxy for GaN bulk crystal growth is proposed. It combines Design of experiments (DoE) with physical simulations of mass transport and crystal growth kinetics, serving as an intermediate step between DoE and experiments.
J. Tomkovič +7 more
wiley +1 more source
Personality Traits Bias the Perceived Quality of Sonic Environments
Applied Sciences, 2016 There have been few empirical investigations of how individual differences influence the perception of the sonic environment. The present study included the Big Five traits and noise sensitivity as personality factors in two listening experiments (n = 43,
PerMagnus Lindborg, Anders Friberg
doaj +1 more source
Interactive displays in medical art [PDF]
Medical illustration is a field of visual communication with a long history. Traditional medical illustrations are static, 2-D, printed images; highly realistic depictions of the gross morphology of anatomical structures.
Doyle, Michael, Mcconathy, Deirdre Alla
core +1 more source
Revisiting Interactive Art Systems [PDF]
Electronic Workshops in Computing, 2011 In their pioneering paper “The Creative Process Where the Artist is Amplified or Superseded by the Computer” (1973) Cornock and Edmonds describe a model for the classification of artworks according to their systemic behaviour. In this presentation I revisit this model, discuss its subsequent development (Edmonds, Turner & Candy, 2004) and present an ...
openaire +2 more sources
Advanced Functional Materials, EarlyView.In this study, the interplay of dipolar dynamics and ionic charge transport in MOF compounds is investigated. Synthesizing the novel structure CFA‐25 with integrated freely rotating dipolar groups, local and macroscopic effects, including interactions with Cs cations are explored.
Ralph Freund +6 more
wiley +1 more source
Interactive Media Art: the Institution Tells a Story. The Center for Art and Media Karlsruhe
La Revista Icono 14, 2014 : Interactive Media Art has been scrutinized under several approaches. It is though hard to achieve consensually a clear definition or conceptualization of this term. What I propose here is to follow a case study of an institution, the Center for Art
Sónia Alves
doaj +1 more source
Advanced Functional Materials, EarlyView.This study uncovers the unexplored role of intermolecular interactions in multiphoton absorption in coordination polymers. By analyzing [Zn2tpda(DMA)2(DMF)0.3], it shows how the electronic coupling of the chromophores and confinement in the MOF enhance two‐and three‐photon absorption.
Simon Nicolas Deger +11 more
wiley +1 more source
Constraints and creativity: Transforming a live artistic experience for children into Zoom
Nordic Journal of Art and ResearchThis article explores how the Portuguese ensemble Companhia de Música Teatral (CMT) adapted their live performance PaPI – Opus 8 for Zoom in response to the 2020 COVID-19 pandemic, which severely limited in-person gatherings and artistic events ...
Jorge Graça +3 more
doaj +1 more source