-
A Comparative Investigation of Compositional Syntax and Semantics in DALL-E 2
Authors:
Elliot Murphy,
Jill de Villiers,
Sofia Lucero Morales
Abstract:
In this study we compared how well DALL-E 2 visually represented the meaning of linguistic prompts also given to young children in comprehension tests. Sentences representing fundamental components of grammatical knowledge were selected from assessment tests used with several hundred English-speaking children aged 2-7 years for whom we had collected original item-level data. DALL-E 2 was given the…
▽ More
In this study we compared how well DALL-E 2 visually represented the meaning of linguistic prompts also given to young children in comprehension tests. Sentences representing fundamental components of grammatical knowledge were selected from assessment tests used with several hundred English-speaking children aged 2-7 years for whom we had collected original item-level data. DALL-E 2 was given these prompts five times to generate 20 cartoons per item, for 9 adult judges to score. Results revealed no conditions in which DALL-E 2-generated images that matched the semantic accuracy of children, even at the youngest age (2 years). DALL-E 2 failed to assign the appropriate roles in reversible forms; it failed on negation despite an easier contrastive prompt than the children received; it often assigned the adjective to the wrong noun; it ignored implicit agents in passives. This work points to a clear absence of compositional sentence representations for DALL-E 2.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
A bit-parallel tabu search algorithm for finding E($s^2$)-optimal and minimax-optimal supersaturated designs
Authors:
Luis B. Morales,
Dursun A. Bulutoglu
Abstract:
We prove the equivalence of two-symbol supersaturated designs (SSDs) with $N$ (even) rows, $m$ columns, $s_{\rm max} = 4t +i$, where $i\in\{0,2\}$, $t \in \mathbb{Z}^{\geq 0}$ and resolvable incomplete block designs (RIBDs) whose any two blocks intersect in at most $(N+4t+i)/4$ points. Using this equivalence, we formulate the search for two-symbol E($s^2$)-optimal and minimax-optimal SSDs with…
▽ More
We prove the equivalence of two-symbol supersaturated designs (SSDs) with $N$ (even) rows, $m$ columns, $s_{\rm max} = 4t +i$, where $i\in\{0,2\}$, $t \in \mathbb{Z}^{\geq 0}$ and resolvable incomplete block designs (RIBDs) whose any two blocks intersect in at most $(N+4t+i)/4$ points. Using this equivalence, we formulate the search for two-symbol E($s^2$)-optimal and minimax-optimal SSDs with $s_{\max} \in \{2,4,6\}$ as a search for RIBDs whose blocks intersect accordingly. This allows develo** a bit-parallel tabu search (TS) algorithm. The TS algorithm found E($s^2$)-optimal and minimax-optimal SSDs achieving the sharpest known E($s^2$) lower bound with $s_{\max} \in \{2,4,6\}$ of sizes $(N,m)=(16,25), (16,26), (16,27), (18,23),(18,24),(18,25),(18,26),(18,27),(18, 28),$ $(18,29),(20,21),(22,22),(22,23),(24,24)$, and $(24,25)$. In each of these cases no such SSD could previously be found.
△ Less
Submitted 10 May, 2023; v1 submitted 16 March, 2023;
originally announced March 2023.
-
FikoRE: 5G and Beyond RAN Emulator for Application Level Experimentation and Prototy**
Authors:
Diego Gonzalez Morin,
ManuelJ. López Morales,
Pablo Pérez,
Ana García Armada Alvaro Villegas
Abstract:
Novel and cutting-edge use cases have arisen since the first deployments of the fifth generation of telecommunication networks (5G). There are plenty of well-though optimally design 5G simulators and emulators which allow telecommunication technologies engineers and researchers to thoroughly study and test the network. However, the 5G ecosystem is not only limited to the network itself: a fast dev…
▽ More
Novel and cutting-edge use cases have arisen since the first deployments of the fifth generation of telecommunication networks (5G). There are plenty of well-though optimally design 5G simulators and emulators which allow telecommunication technologies engineers and researchers to thoroughly study and test the network. However, the 5G ecosystem is not only limited to the network itself: a fast development of 5G-specific use cases can considerably accelerate the development of telecommunication technologies. We present FikoRE, our real-time Radio Access Networks (RAN) emulator carefully designed for application-level experimentation and prototy**. Its modularity and straightforward implementation allow multidisciplinary user to rapidly use or even modify it to test their own applications. In this article, we present FikoRE's architecture accompanied with relevant validation experiments and results.
△ Less
Submitted 8 April, 2022;
originally announced April 2022.
-
Optimizing Camera Placements for Overlapped Coverage with 3D Camera Projections
Authors:
Akshay Malhotra,
Dhananjay Singh,
Tushar Dadlani,
Luis Yoichi Morales
Abstract:
This paper proposes a method to compute camera 6Dof poses to achieve a user defined coverage. The camera placement problem is modeled as a combinatorial optimization where given the maximum number of cameras, a camera set is selected from a larger pool of possible camera poses. We propose to minimize the squared error between the desired and the achieved coverage, and formulate the non-linear cost…
▽ More
This paper proposes a method to compute camera 6Dof poses to achieve a user defined coverage. The camera placement problem is modeled as a combinatorial optimization where given the maximum number of cameras, a camera set is selected from a larger pool of possible camera poses. We propose to minimize the squared error between the desired and the achieved coverage, and formulate the non-linear cost function as a mixed integer linear programming problem. A camera lens model is utilized to project the cameras view on a 3D voxel map to compute a coverage score which makes the optimization problem in real environments tractable. Experimental results in two real retail store environments demonstrate the better performance of the proposed formulation in terms of coverage and overlap for triangulation compared to existing methods.
△ Less
Submitted 20 March, 2022;
originally announced March 2022.
-
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning
Authors:
Kevin Ellis,
Catherine Wong,
Maxwell Nye,
Mathias Sable-Meyer,
Luc Cary,
Lucas Morales,
Luke Hewitt,
Armando Solar-Lezama,
Joshua B. Tenenbaum
Abstract:
Expert problem-solving is driven by powerful languages for thinking about problems and their solutions. Acquiring expertise means learning these languages -- systems of concepts, alongside the skills to use them. We present DreamCoder, a system that learns to solve problems by writing programs. It builds expertise by creating programming languages for expressing domain concepts, together with neur…
▽ More
Expert problem-solving is driven by powerful languages for thinking about problems and their solutions. Acquiring expertise means learning these languages -- systems of concepts, alongside the skills to use them. We present DreamCoder, a system that learns to solve problems by writing programs. It builds expertise by creating programming languages for expressing domain concepts, together with neural networks to guide the search for programs within these languages. A ``wake-sleep'' learning algorithm alternately extends the language with new symbolic abstractions and trains the neural network on imagined and replayed problems. DreamCoder solves both classic inductive programming tasks and creative tasks such as drawing pictures and building scenes. It rediscovers the basics of modern functional programming, vector algebra and classical physics, including Newton's and Coulomb's laws. Concepts are built compositionally from those learned earlier, yielding multi-layered symbolic representations that are interpretable and transferrable to new tasks, while still growing scalably and flexibly with experience.
△ Less
Submitted 15 June, 2020;
originally announced June 2020.
-
Improved Lower Bounds for Permutation Arrays Using Permutation Rational Functions
Authors:
Sergey Bereg,
Brian Malouf,
Linda Morales,
Thomas Stanley,
I. Hal Sudborough
Abstract:
We consider rational functions of the form $V(x)/U(x)$, where both $V(x)$ and $U(x)$ are polynomials over the finite field $\mathbb{F}_q$. Polynomials that permute the elements of a field, called {\it permutation polynomials ($PPs$)}, have been the subject of research for decades. Let ${\mathcal P}^1(\mathbb{F}_q)$ denote $\mathbb{Z}_q \cup \{\infty\}$. If the rational function, $V(x)/U(x)$, permu…
▽ More
We consider rational functions of the form $V(x)/U(x)$, where both $V(x)$ and $U(x)$ are polynomials over the finite field $\mathbb{F}_q$. Polynomials that permute the elements of a field, called {\it permutation polynomials ($PPs$)}, have been the subject of research for decades. Let ${\mathcal P}^1(\mathbb{F}_q)$ denote $\mathbb{Z}_q \cup \{\infty\}$. If the rational function, $V(x)/U(x)$, permutes the elements of ${\mathcal P}^1(\mathbb{F}_q)$, it is called a {\em permutation rational function (PRf)}. Let $N_d(q)$ denote the number of PPs of degree $d$ over $\mathbb{F}_q$, and let $N_{v,u}(q)$ denote the number of PRfs with a numerator of degree $v$ and a denominator of degree $u$. It follows that $N_{d,0}(q) = N_d(q)$, so PRFs are a generalization of PPs. The number of monic degree 3 PRfs is known [11]. We develop efficient computational techniques for $N_{v,u}(q)$, and use them to show $N_{4,3}(q) = (q+1)q^2(q-1)^2/3$, for all prime powers $q \le 307$, $N_{5,4}(q) > (q+1)q^3(q-1)^2/2$, for all prime powers $q \le 97$, and $N_{4,4}(p) = (p+1)p^2(p-1)^3/3$, for all primes $p \le 47$. We conjecture that these formulas are, in fact, true for all prime powers $q$. Let $M(n,D)$ denote the maximum number of permutations on $n$ symbols with pairwise Hamming distance $D$. Computing improved lower bounds for $M(n,D)$ is the subject of much current research with applications in error correcting codes. Using PRfs, we obtain significantly improved lower bounds on $M(q,q-d)$ and $M(q+1,q-d)$, for $d \in \{5,7,9\}$.
△ Less
Submitted 24 March, 2021; v1 submitted 23 March, 2020;
originally announced March 2020.
-
What Timing for an Automated Vehicle to Make Pedestrians Understand Its Driving Intentions for Improving Their Perception of Safety?
Authors:
Hailong Liu,
Takatsugu Hirayama,
Luis Yoichi Morales,
Hiroshi Murase
Abstract:
Although automated driving systems have been used frequently, they are still unpopular in society. To increase the popularity of automated vehicles (AVs), assisting pedestrians to accurately understand the driving intentions and improving their perception of safety when interacting with AVs are considered effective. Therefore, the AV should send information about its driving intention to pedestria…
▽ More
Although automated driving systems have been used frequently, they are still unpopular in society. To increase the popularity of automated vehicles (AVs), assisting pedestrians to accurately understand the driving intentions and improving their perception of safety when interacting with AVs are considered effective. Therefore, the AV should send information about its driving intention to pedestrians when they interact with each other. However, the following questions should be answered regarding how the AV sends the information to them: 1) What timing for an AV to make pedestrians understand its driving intentions after being noticed by them? 2) What timing for an AV to make pedestrians feel safe after being noticed by them? Thirteen participants were invited to interact with a manually driven vehicle and an AV in an experiment. The participants' gaze information and a subjective evaluation of their understanding of the driving intention as well as their perception of safety were collected. By analyzing the participants' gaze duration on the vehicle with their subjective evaluations, we found that the AV should enable the pedestrian to accurately understand its driving intention within 0.5~6.5 [s] and make the pedestrian feel safe within 0.5~8.0 [s] while the pedestrian is gazing at it.
△ Less
Submitted 12 June, 2020; v1 submitted 2 March, 2020;
originally announced March 2020.
-
What Is the Gaze Behavior of Pedestrians in Interactions with an Automated Vehicle When They Do Not Understand Its Intentions?
Authors:
Hailong Liu,
Takatsugu Hirayama,
Luis Yoichi Morales,
Hiroshi Murase
Abstract:
Interactions between pedestrians and automated vehicles (AVs) will increase significantly with the popularity of AV. However, pedestrians often have not enough trust on the AVs , particularly when they are confused about an AV's intention in a interaction. This study seeks to evaluate if pedestrians clearly understand the driving intentions of AVs in interactions and presents experimental research…
▽ More
Interactions between pedestrians and automated vehicles (AVs) will increase significantly with the popularity of AV. However, pedestrians often have not enough trust on the AVs , particularly when they are confused about an AV's intention in a interaction. This study seeks to evaluate if pedestrians clearly understand the driving intentions of AVs in interactions and presents experimental research on the relationship between gaze behaviors of pedestrians and their understanding of the intentions of the AV. The hypothesis investigated in this study was that the less the pedestrian understands the driving intentions of the AV, the longer the duration of their gazing behavior will be. A pedestrian--vehicle interaction experiment was designed to verify the proposed hypothesis. A robotic wheelchair was used as the manual driving vehicle (MV) and AV for interacting with pedestrians while pedestrians' gaze data and their subjective evaluation of the driving intentions were recorded. The experimental results supported our hypothesis as there was a negative correlation between the pedestrians' gaze duration on the AV and their understanding of the driving intentions of the AV. Moreover, the gaze duration of most of the pedestrians on the MV was shorter than that on an AV. Therefore, we conclude with two recommendations to designers of external human-machine interfaces (eHMI): (1) when a pedestrian is engaged in an interaction with an AV, the driving intentions of the AV should be provided; (2) if the pedestrian still gazes at the AV after the AV displays its driving intentions, the AV should provide clearer information about its driving intentions.
△ Less
Submitted 12 May, 2020; v1 submitted 5 January, 2020;
originally announced January 2020.
-
Equivalence Relations for Computing Permutation Polynomials
Authors:
Sergey Bereg,
Brian Malouf,
Linda Morales,
Thomas Stanley,
I. Hal Sudborough,
Alexander Wong
Abstract:
We present a new technique for computing permutation polynomials based on equivalence relations. The equivalence relations are defined by expanded normalization operations and new functions that map permutation polynomials (PPs) to other PPs. Our expanded normalization applies to almost all PPs, including when the characteristic of the finite field divides the degree of the polynomial. The equival…
▽ More
We present a new technique for computing permutation polynomials based on equivalence relations. The equivalence relations are defined by expanded normalization operations and new functions that map permutation polynomials (PPs) to other PPs. Our expanded normalization applies to almost all PPs, including when the characteristic of the finite field divides the degree of the polynomial. The equivalence relations make it possible to reduce the size of the space, when doing an exhaustive search. As a result, we have been able to compute almost all permutation polynomials of degree $d$ at most 10 over $GF(q)$, where $q$ is at most 97. We have also been able to compute nPPs of degrees 11 and 12 in a few cases. The techniques apply to arbitrary $q$ and $d$. In addition, the equivalence relations allow the set all PPs for a given degree and a given field $GF(q)$ to be succinctly described by their representative nPPs. We give several tables at the end of the paper listing the representative nPPs (\ie the equivalence classes) for several values of $q$ and $d$. We also give several new lower bounds for $M(n,D)$, the maximum number of permutations on $n$ symbols with pairwise Hamming distance $D$, mostly derived from our results on PPs.
△ Less
Submitted 1 January, 2020; v1 submitted 28 November, 2019;
originally announced November 2019.
-
Constructing Permutation Arrays using Partition and Extension
Authors:
Sergey Bereg,
Luis Gerardo Mojica,
Linda Morales,
Hal Sudborough
Abstract:
We give new lower bounds for $M(n,d)$, for various positive integers $n$ and $d$ with $n>d$, where $M(n,d)$ is the largest number of permutations on $n$ symbols with pairwise Hamming distance at least $d$. Large sets of permutations on $n$ symbols with pairwise Hamming distance $d$ is a necessary component of constructing error correcting permutation codes, which have been proposed for power-line…
▽ More
We give new lower bounds for $M(n,d)$, for various positive integers $n$ and $d$ with $n>d$, where $M(n,d)$ is the largest number of permutations on $n$ symbols with pairwise Hamming distance at least $d$. Large sets of permutations on $n$ symbols with pairwise Hamming distance $d$ is a necessary component of constructing error correcting permutation codes, which have been proposed for power-line communications. Our technique, {\em partition and extension}, is universally applicable to constructing such sets for all $n$ and all $d$, $d<n$. We describe three new techniques, {\em sequential partition and extension}, {\em parallel partition and extension}, and a {\em modified Kronecker product operation}, which extend the applicability of partition and extension in different ways. We describe how partition and extension gives improved lower bounds for M(n,n-1) using mutually orthogonal Latin squares (MOLS). We present efficient algorithms for computing new partitions: an iterative greedy algorithm and an algorithm based on integer linear programming. These algorithms yield partitions of positions (or symbols) used as input to our partition and extension techniques. We report many new lower bounds for for $M(n,d)$ found using these techniques for $n$ up to $600$.
△ Less
Submitted 22 July, 2019; v1 submitted 23 April, 2018;
originally announced April 2018.
-
New Lower Bounds for Permutation Arrays Using Contraction
Authors:
Sergey Bereg,
Zevi Miller,
Luis Gerardo Mojica,
Linda Morales,
I. H. Sudborough
Abstract:
A permutation array $A$ is a set of permutations on a finite set $Ω$, say of size $n$. Given distinct permutations $π, σ\in Ω$, we let $hd(π, σ) = |\{ x\in Ω: π(x) \ne σ(x) \}|$, called the Hamming distance between $π$ and $σ$. Now let $hd(A) =$ min$\{ hd(π, σ): π, σ\in A \}$. For positive integers $n$ and $d$ with $d\le n$, we let $M(n,d)$ be the maximum number of permutations in any array $A$ sa…
▽ More
A permutation array $A$ is a set of permutations on a finite set $Ω$, say of size $n$. Given distinct permutations $π, σ\in Ω$, we let $hd(π, σ) = |\{ x\in Ω: π(x) \ne σ(x) \}|$, called the Hamming distance between $π$ and $σ$. Now let $hd(A) =$ min$\{ hd(π, σ): π, σ\in A \}$. For positive integers $n$ and $d$ with $d\le n$, we let $M(n,d)$ be the maximum number of permutations in any array $A$ satisfying $hd(A) \geq d$. There is an extensive literature on the function $M(n,d)$, motivated in part by suggested applications to error correcting codes for message transmission over power lines.
A basic fact is that if a permutation group $G$ is sharply $k$-transitive on a set of size $n\geq k$, then $M(n,n-k+1) = |G|$. Motivated by this we consider the permutation groups $AGL(1,q)$ and $PGL(2,q)$ acting sharply $2$-transitively on $GF(q)$ and sharply $3$-transitively on $GF(q)\cup \{\infty\}$ respectively. Applying a contraction operation to these groups, we obtain the following new lower bounds for prime powers $q$ satisfying $q\equiv 1$ (mod $3$).
1. $M(q-1,q-3)\geq (q^{2} - 1)/2$ for $q$ odd, $q\geq 7$,
2. $M(q-1,q-3)\geq (q-1)(q+2)/3$ for $q$ even, $q\geq 8$,
3. $M(q,q-3)\geq Kq^{2}\log q$ for some constant $K$ if $q$ is odd, $q\geq 13$.
These results resolve a case left open in a previous paper \cite{BLS}, where it was shown that $M(q-1, q-3) \geq q^{2} - q$ and $M(q,q-3) \geq q^{3} - q$ for all prime powers $q$ such that $q\not \equiv 1$ (mod $3$). We also obtain lower bounds for $M(n,d)$ for a finite number of exceptional pairs $n,d$, by applying this contraction operation to the sharply $4$ and $5$-transitive Mathieu groups.
△ Less
Submitted 11 September, 2018; v1 submitted 10 April, 2018;
originally announced April 2018.