Results 51 to 60 of about 193,114 (231)

Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas

, 2010
In recent work we have shown how it is possible to define very precise type systems for object-oriented languages by abstractly compiling a program into a Horn formula f. Then type inference amounts to resolving a certain goal w.r.t.
A. Igarashi, Angelo Montanari, B. Courcelle, D. Ancona, D. Ancona, D. Ancona, Davide Ancona, F. Barbanera, Giovanni Lagorio, J. Palsberg, L. Simon, L. Simon, M. Furr, Margherita Napoli, Michael Brandt, Michael Brandt, Mimmo Parente, N.Oxhø j, O. Agesen, R. Cytron, T. Wang, Tiejun Wang   +21 more
core   +2 more sources

Overcoming the Nyquist Limit in Molecular Hyperspectral Imaging by Reinforcement Learning

Advanced Intelligent Discovery, EarlyView.
Explorative spectral acquisition guide automatically selects informative spectral bands to optimize downstream tasks, outperforming full‐spectrum acquisition. The selected hyperspectral data are used for tasks such as unmixing and segmentation. BandOptiNet encodes selection states and outputs optimal bands to guide spectral acquisition. Recent advances
Xiaobin Tang, Yongqing Zhang, Xinyu Deng, Hyeon Jeong Lee, Delong Zhang   +4 more
wiley   +1 more source

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  

On the analysis of non-selected datives in Maltese [PDF]

, 2012
This paper provides a descriptive overview of extra-argumental or non-selected datives in Maltese, poorly described in existing grammars. We outline an LFG approach to the facts we describe building on existing LFG work and in particular on Kibort (2008)?
Camilleri, M, Sadler, L
core  

Topology Optimization for a Rigid‐Compliant Hybrid Constant Force Gripper

Advanced Intelligent Systems, EarlyView.
Constant‐force grippers deliver near‐constant output without sensors, cutting cost and complexity. This study proposes a topology‐optimization framework jointly designing rigid links and material distribution, modeled via link‐state and element‐density variables with constant force as the objective.
Shuhao Xia, Puchen Zhu, Wenkai Lai, Qiye Zhou, Yilun Tong, Xin Ma   +5 more
wiley   +1 more source

Local Search and the Evolution of World Models

Topics in Cognitive Science, EarlyView., 2023
Abstract An open question regarding how people develop their models of the world is how new candidates are generated for consideration out of infinitely many possibilities. We discuss the role that evolutionary mechanisms play in this process. Specifically, we argue that when it comes to developing a global world model, innovation is necessarily ...
Neil R. Bramley, Bonan Zhao, Tadeg Quillien, Christopher G. Lucas   +3 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

Intelligent Operator‐Independent Flexibility in Robotic Non‐Destructive Evaluation

Advanced Intelligent Systems, EarlyView.
Non‐destructive evaluation of high‐value components remains a manufacturing bottleneck due to rigid robotic calibration and fixturing. This study presents a flexible, adaptable system integrating 3D vision and force‐position control with a collaborative KUKA LBR robot. The geometry‐agnostic system enables pose‐independent ultrasonic inspection, detects
Amine Hifi, Randika K. W. Vithanage, Shaun McKnight, Vedran Tunukovic, Ewan Nicolson, Rylan Gomes, Alastair Poole, Ehsan Mohseni, Stephen Gareth Pierce, Charles MacLoed, Tom O’Hare, Gavin Munro   +11 more
wiley   +1 more source

Tengo palabras para nombrarte y amarte

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 ...
Sandra Inés Zuluaga Sánchez, Yicel Nayrobis Giraldo Giraldo   +1 more
doaj  

Helmeted hornbill cranial kinesis: Balancing mobility and stability in a high‐impact joint

The Anatomical Record, EarlyView.
Abstract Prokinesis—in which a craniofacial joint allows the rostrum to move relative to the braincase—is thought to confer diverse advantages in birds, mostly for feeding. A craniofacial joint would, however, be a weak link if cranial stability is important. Paradoxically, we have identified a craniofacial joint in helmeted hornbills (Rhinoplax vigil),
Mike Schindler, Benjamin Flaum, Armita Razieh Manafzadeh, Viktoriia Kamska, Kanmani Chandra Rajan, Maria Jose Robles Malagamba, Ruien Hu, Daniel Baum, Mason N. Dean   +8 more
wiley   +1 more source