Results 31 to 40 of about 392,476 (333)

Automatic Music Composition using Answer Set Programming [PDF]

, 2010
Music composition used to be a pen and paper activity. These these days music is often composed with the aid of computer software, even to the point where the computer compose parts of the score autonomously.
Boenn, Georg, Brain, Martin, De Vos, Marina, ffitch, John   +3 more
core   +2 more sources

Metaheuristic approaches for optimal broadcasting design in metropolitan MANETs [PDF]

, 2007
11th International Conference on Computer Aided Systems Theory. Las Palmas de Gran Canaria, Spain, February 12-16, 2007Mobile Ad-hoc Networks (MANETs) are composed of a set of communicating devices which are able to spontaneously interconnect without any
Alba, Enrique, Cervantes, Alejandro, Gómez-Pulido, Juan A., Isasi, Pedro, Jaraíz, M.D., León, Coromoto, Luna, Francisco, Luque del Arco Calderón, Cristobal, Miranda, Gara, Nebro, Antonio J., Pérez, Ramón, Segura, Carlos   +11 more
core   +2 more sources

Computer aided synthesis: a game theoretic approach

, 2017
In this invited contribution, we propose a comprehensive introduction to game theory applied in computer aided synthesis. In this context, we give some classical results on two-player zero-sum games and then on multi-player non zero-sum games. The simple
A Rényi, C Beeri, C Harris, D Fudenberg, D Perrin, DA Martin, E Grädel, E Kopczyński, E Solan, EA Emerson, EA Emerson, H Gimbert, H Gimbert, J Filar, J Flesch, J Neumann von, J Pril De, K Chatterjee, K Chatterjee, K Chatterjee, K Chatterjee, K Chatterjee, K Chatterjee, K Chatterjee, M Jurdzinski, M Lothaire, M Ummels, M Ummels, M Ummels, MJ Osborne, MY Vardi, N Buhrke, N Fijalkow, N Immerman, ND Jones, P Hunter, R Alur, R Bloem, R Brenguier, R Brenguier, R Brenguier, R McNaughton, R Selten, RA Purves, RM Karp, T Brihaye, U Zwick, V Bruyère, Y Velner, Y Velner   +49 more
core   +1 more source

Computer Assisted Relief Generation - a Survey [PDF]

, 2012
In this paper we present an overview of the achievements accomplished to date in the field of computer aided relief generation. We delineate the problem, classify the different solutions, analyze similarities, investigate the evelopment and review the ...
Alexa, Alldrin, Belhumeur, Bian, Chandraker, Chen, Cignoni, Cook, Coquillart, Fattal, Frisken, Gastal, Gooch, Hassner, Horn, Kerber, Kerber, Kerber, Kobbelt, Kolomenkin, Lee, Li, Li, Li, Liu, Liu, Liu, Liu, Liu, Luft, Mizuno, Oh, Ohtake, Olsen, Paris, Pasko, Pasko, Perry, Pizer, Policarpo, Ritschel, Román, Rusinkiewicz, Secord, Song, Sorkine, Sourin, Sourin, Steger, Sun, Takayama, Tan, Wang, Wang, Wang, Wang, Weyrich, Wu, Xu, Yu, Zatzarinni, Zeng, Zhang, Zhou   +63 more
core   +4 more sources

Assembly Sequence Planning by Probabilistic Tree Transformation

Emitter: International Journal of Engineering Technology, 2018
Various types of computer systems including CAD/CAM systems have been introduced in machine industry. Some of the systems can handle assembly sequence planning, however it requires long time for planning.
Takeshi Murayama, Yuichi Mine, Hiroshi Fujinaka, Toru Eguchi   +3 more
doaj   +1 more source

Algoritmická, počítačem podporovaná kompozice a postmoderní pluralismus

Musicologica Brunensia, 2015
This article deal with algorithmic and related computer-aided composition. The conclusions of philosophy and general art theory are used to explain the algorithmic composition as a manifestation of postmodernism and at the same time the article offers a ...
Petr Haas
doaj   +1 more source

Equivalence of hybrid dynamical systems [PDF]

, 2004
A common theme in theoretical computer science (in particular, the theory of distributed processes and computer-aided verification) and in systems and control theory is to charac-terize systems which are ‘externally equivalent’.
Schaft, Arjan van der
core   +4 more sources

Cognitive Functioning in Vorinostat‐Treated Pediatric and Young Adult Patients Over the First 180 Days After Hematopoietic Stem Cell Transplant

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Purpose Cognitive and psychological difficulties could negatively interfere with treatment adherence and quality of life before and after hematopoietic stem cell transplant (HSCT). Methods to mitigate these changes may have positive effects on treatment success.
Kristen L. Votruba, Michelle Rozwadowski, Thomas Braun, April Rahrig, Edward Peres, Kirsten M. Williams, Vanessa Fabrizio, Julie‐An Talano, Carrie L. Kitko, Nicolas Parnell, Pavan Reddy, Sung Won Choi   +11 more
wiley   +1 more source

Modeling a HCR Gear with Variable Thickness of the Thin Hard Coating on the Tooth Surface for Fem Analysis

Journal of Mechanical Engineering
This work presents a computer model of HCR gear wheels with thin hard coatings of variable thickness. The coating thickness fluctuates along tooth depth due to limited technological space, particularly at the dedendum.
Protasov Roman, Danko Ján, Ustynenko Oleksandr, Soprunov Igor, Bondarenko Oleksij, Klochkov Illia, Marchenko Yevhenii   +6 more
doaj   +1 more source

Mapping the evolution of mitochondrial complex I through structural variation

FEBS Letters, EarlyView.
Respiratory complex I (CI) is crucial for bioenergetic metabolism in many prokaryotes and eukaryotes. It is composed of a conserved set of core subunits and additional accessory subunits that vary depending on the organism. Here, we categorize CI subunits from available structures to map the evolution of CI across eukaryotes. Respiratory complex I (CI)
Dong‐Woo Shin, Tingting Chen, James A. Letts   +2 more
wiley   +1 more source