This year’s selections in The Utah Review for the top ten moments of the Utah Enlightenment in 2025, the eleventh annual ...

Explore zero-one integer programming, a key method in logical problem-solving, using binary choices for optimal decisions in finance, production, and more.

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...

Association of paleopalynological data from the Nanxiong Basin, south China, and late Paleocene niche expansion in endemic Asian fossil mammals.

Ask the publishers to restore access to 500,000+ books. An icon used to represent a menu that can be toggled by interacting with this icon. A line drawing of the Internet Archive headquarters building ...

Fruits are one of the most natural ways to increase vitamin C intake and support immune health. Learn more about which fruits pack the most vitamin C.

Abstract: Genetic programming (GP) and fuzzy logic are used to automatically segment mammography images. GP allows the evolution of optimized segmentation models, guided by a fuzzy logic-based fitness ...

Programming-by-Examples (PBE) involves synthesizing an intended program from a small set of user-provided input-output examples. A key PBE strategy has been to restrict the search to a carefully ...

Abstract: We study the stability of an equilibrium of arbitrarily switched, autonomous, continuous-time systems through the computation of a common Lyapunov function (CLF). The switching occurs ...