Results 41 to 50 of about 6,265 (224)

OBJ: Programming with equalities, subsorts, overloading and parameterization

The Journal of Logic Programming, 1988
OBJ is a declarative language, with mathematical semantics given by order-sorted equational logic and an efficient operational semantics based on order-sorted term-rewriting. In addition, OBJ has a uniquely powerful generic module mechanism, including non-executable “theories” as well as executable “objects,” plus “module expressions” that describe and
Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis   +3 more
openaire   +3 more sources

Evaluación formativa en la asignatura Modelos y Simulación

Revista Iberoamericana de Educación, 2012
// -1 && this.dom)?1:0; this.ie4=(document.all && !this.dom)?1:0; this.ns5=(this.dom && parseInt(this.ver) >= 5) ?1:0; this.ns4=(document.layers && !this.dom)?1:0; this.bw=(this.ie5 || this.ie4 || this.ns4 || this.ns5) return this } bw=new ...
Sonia I. Mariño, Maria V. López, Romina Y. Alderete   +2 more
doaj  

ABOUT 3D PRINTING FILE FORMATS [PDF]

Analele Universităţii "Constantin Brâncuşi" din Târgu Jiu: Seria Inginerie, 2018
In this paperwork is presented the situation existing in 2018 regarding the four most common 3D printing file formats, which are STL, OBJ, AMF and 3MF.There are presented also some characteristics of these formats, some limitation and the ...
Cătălin Iancu
doaj  

Energy Flexibilization and Demand Response for a Novel Decentralized Power‐to‐Methanol Process

Chemie Ingenieur Technik, EarlyView.
This study presents the results of an optimization framework for the scheduling of a Power‐to‐methanol process coupled with an electrolyser, renewable energy sources and a battery. The optimal dynamic operating schedule is computed with different configurations and boundary conditions, showing the advantages of flexible operation.
Max Kollmer, Markus Vogelbacher, Mücahit Terzi, Mohit Singh, Francsico Vidal‐Vazquez, Jörg Matthes   +5 more
wiley   +1 more source

Novel planning pipeline utilizing the Surgical Theater system for pediatric epilepsy surgery

Epilepsia Open, EarlyView.
Abstract Objective Advances in the analysis and collation of radiographic datasets have enhanced presurgical planning for various neurosurgical procedures, including clipping of cerebral aneurysms, surgical resection of tumors, and arteriovenous malformation management.
Lisa B. E. Shields, Hunain Abri, Cemal Karakas, Shannon D. Davis, Ian S. Mutchnick   +4 more
wiley   +1 more source

Effect ofSolvents on Curing Process of Photopolymerizable Ceramic Suspensions

Archives of Metallurgy and Materials, 2013
W pracy przedstawiono wyniki badań nad wpływem rozpuszczalnika na właściwości ieologiczne i sposób przygotowania zawiesin ceramicznych. Pokazano, że w przypadku zastosowanej żywicy poliestrowej woda nie może być użyta do przygoto- wania ...
Falkowski P., Grzelak A.
doaj   +1 more source

Internationalization, Dynamic Capabilities, and Innovation: Unveiling the Impact on Hotel Chain Performance

Strategic Change, EarlyView.
ABSTRACT The indirect effect of dynamic capabilities on performance has recently emerged as a topic of significant interest and debate in management research. In turbulent environments such as the international hotel industry, where companies constantly innovate to improve their performance, it is important to consider the effect of these dynamic ...
Laura Rienda, Rosario Andreu, Lorena Ruiz‐Fernández   +2 more
wiley   +1 more source

Embodied simulations improve memory, but which is the most effective? The crucial role of action observation and its dynamic interplay with motor imagery ability

Frontiers in Psychology
Literature has shown that memory can be influenced by sensorimotor simulations at encoding as those involved in motor imagery (MI), action observation (AO), or affordances elicited by visual object presentation (OBJ).
Mara Stockner, Giuliana Mazzoni, Giuliana Mazzoni, Ivan Enrici, Francesco Ianì, Francesco Ianì   +5 more
doaj   +1 more source

Application of Ceramic Preforms to the Manufacturing of Ceramic - Metal Composites

Archives of Metallurgy and Materials, 2013
Artykuł przedstawia nowatorskie rozwiązanie wytwarzania kompozytów CU-AI2O3 z rozproszoną fazą wzmacniającą. Polega ono na wykorzystaniu zamiast powszechnie stosowanego handlowego proszku tlenku glinu, rozkruszonej pianki cera- micznej.
Jach K., Pietrzak K., Wajler A., Sidorowicz A., Brykała U.   +4 more
doaj   +1 more source

Controlling the Center of Mass Motion of Levitated Particles Using Structured Wavefronts

Laser &Photonics Reviews, EarlyView.
Optically levitated particles have great potential for quantum‐enhanced sensing. Precise control of the trapping beam is crucial to improve the stability and confinement of these systems. Here, we study how structured wavefronts can be used to control the center‐of‐mass motion of levitated particles, enhancing trap stiffness and enabling stable ...
Shah Jee Rahman, Quimey Pears Stefano, Angel Cifuentes, Jason Francis, Iker Gómez‐Viloria, Ruben Pellicer‐Guridi, Miguel Varga, Gabriel Molina‐Terriza   +7 more
wiley   +1 more source