Providing open source functional programming language for use in mathematics, proof automation, and verified code synthesis; Research and development in the field of mathematics and open source functional programming language for use in mathematics, proof automation, and verified code synthesis; Providing an online website featuring open source functional programming language for use in mathematics, proof automation, and verified code synthesis, and related information about use and best prac...

Education services, namely, providing classes, seminars, conferences, workshops in the field of mathematics, open source functional programming language for use in mathematics, proof automation, and verified code synthesis and distribution of course material in connection therewith; Providing a website featuring resources, namely, non-downloadable publications in the nature of guides, tutorials, articles, and technical documentation in the field of mathematics and open source functional progr...

Computer programs, downloadable, for implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Computer programs, downloadable, for mathematics, proof automation, and code verification; Computer programs, recorded, for implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematic...

Providing open source functional programming language for use in mathematics, proof automation, and verified code synthesis; Research and development in the field of mathematics and open source functional programming language for use in mathematics, proof automation, and verified code synthesis; Providing an online website featuring open source functional programming language for use in mathematics, proof automation, and verified code synthesis, and related information about use and best prac...

Education services, namely, providing classes, seminars, conferences, workshops in the field of mathematics, open source functional programming language for use in mathematics, proof automation, and verified code synthesis and distribution of course material in connection therewith; Providing a website featuring resources, namely, non-downloadable publications in the nature of guides, tutorials, articles, and technical documentation in the field of mathematics and open source functional progr...

Computer programs, downloadable, for implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematics, proof automation, and verified code synthesis; Computer programs, downloadable, for mathematics, proof automation, and code verification; Computer programs, recorded, for implementing a computer programming language, computer software development tools, and computer software collections in the field of mathematic...

Downloadable software in the nature of a mobile application for sustainable weight management, namely, software for weight tracking with a digital connected scale, personalized artificial intelligence (AI) coaching consisting of data-driven advice and interventions, facilitating telehealth virtual visits, accessing intake questionnaires and after-visit summaries, accessing reminders and notifications about users' weight management programs, facilitating insurance intake for medication prior a...

Clothing, namely, t-shirts, shirts, tank tops, sweatshirts, sweaters, jerseys, jumpers, pants, sweatpants, shorts, skirts, dresses, jackets, coats, vests, underwear, socks, warm-up suits, bodysuits, leotards, bras, tights, leggings, leg warmers; Headwear, namely, hats, caps, toques, visors, headbands, bandanas, beanies

Pay per click (PPC) advertising management services

Computer software for use in the field of customer relations management excluding marketing services; computer software for use in the field of managing payment system claims; downloadable computer software for use in the field of customer relations management excluding marketing services; downloadable computer software for use in the field of managing payment system claims

Computer software for use in the field of customer relations management excluding marketing services; computer software for use in the field of managing payment system claims; downloadable computer software for use in the field of customer relations management excluding marketing services; downloadable computer software for use in the field of managing payment system claims

Application service provider, namely, providing, hosting, managing, developing and maintaining applications, software, websites and databases in the fields of customer relations management and claims management excluding marketing services

Application service provider, namely, providing, hosting, managing, developing and maintaining applications, software, websites and databases in the fields of customer relations management and claims management excluding marketing services

Cigarette paper; Cigarette papers; Cigarette rolling papers

Alcoholic beverages, namely, [ rum, ] vodka [ and other spirits ] infused with herbs and vitamins

Assistance, advisory services and consultancy with regard to business planning, business analysis, business management, and business organization

Education services, namely, providing process improvement classes, seminars, and workshops in the field of healthcare services industry

Paper, cardboard; printed matter, namely books, technical papers and newsletters in the field of business systems including all aspects of production, administration, maintenance, innovation and supply chain logistics; bookbindings, photographs; stationery; printed instructional and teaching material in the field of business administration

MP3-players; CD-players; DVD-players; videotape recorders; DVD recorders; video cameras; radios; televisions, computer monitors; sound recording and reproduction machines, namely tape recorders; antennas; headphones; microphones; telephones; computers; printers; CDs; DVDs

Meat and meat-blend products, including sausages

Automatic wafer handler for transport of semiconductor wafers in a semiconductor wafer processing equipment and components thereof, namely, vacuum transport chamber with robotic wafer handling equipment for transporting wafers to and from semiconductor processing reactors, and parts and accessories thereof

Drinks not for dieting or health purposes and not low in fat, namely, Fruit flavored drinks, Isotonic drinks, Soft drinks, Soft drinks, namely, non-carbonated soft drinks, and anti-energy soft drinks

Customer relations management software; claims management software

Beer

rotary actuators, grippers, slides and cylinders

Electric cables, electric cable assemblies, electric cable connectors and component parts therefor; rubber molded electric insulators; cast resin electric insulators; porcelain electric insulators for cable terminals; electric stress cones; ferrules for electric conductor joints; connector stalks for electric cable terminations; electric surge arrestors; and electric cable joint enclosures made of plastics materials

Consultation services to businesses to improve their manufacturing processes, to reduce cost in manufacturing of products, and to reduce product costs as wholesaled in the trade

plastic cutlery, namely, knives, forks and spoons

Computer software for use in sorting, managing and transferring household, family and personal information

frozen entrees consisting primarily of noodle, pasta, or cereal base

frozen entrees consisting primarily of meat, fish, poultry or vegetable base

textile machines, namely, weaving machines, hosiery machines, knitting machines and machines for the manufacture of fleece material

Business consultation services, namely, business process improvement and enterprise architecture design

prepared meat and poultry

processed meats

Toys and playthings, namely, ride-on toys and scooters

Frozen sandwiches comprised of buns with various meats, cheeses and sauces

pork and pork by-products, namely, pork roast, pork chops, pork ribs, hams, and pork tenderloins

Scooters

toy vehicles

Strips of Chopped and Formed Pork or Beef

fresh meat products; namely, boneless pork

FRESH MEAT PRODUCTS, NAMELY, BONELESS PORK

Boats; Kayak-like boats

Processed, Cooked and Seasoned Beef

Ready-to-eat meals comprised primarily of meats, cheese and also including rice, vegetables, spices, sauces, stevia, oil; Ready-to-eat meals comprised primarily of meats, cheese and also including rice, beans, vegetables, spices, sauces, stevia, oil; Ready-to-eat meals comprised primarily of meats, cheese and also including pasta, vegetables, spices, sauces, stevia, oil; Ready-to-eat meals comprised primarily of meats, cheese and also including noodles, vegetables, spices, sauces, stevia, oil...

Beef; Beef patties; Beef slices; Beef stew; Beef stock; Beef tallow; Dried beef; Prepared beef; Roast beef

CLOTHING

Dog food; Pet food

dog food