Filters
total: 3511
filtered: 3194
-
Catalog
- Publications 3194 available results
- Conferences 3 available results
- People 67 available results
- Inventions 1 available results
- Projects 10 available results
- Research Teams 5 available results
- Research Equipment 1 available results
- e-Learning Courses 133 available results
- Events 10 available results
- Open Research Data 87 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: ALGORYTM PSEUDOWIELOMIANOWY
-
Transient detection for speech coding applications
PublicationSignal quality in speech codecs may be improved by selecting transients from speech signal and encoding them using a suitable method. This paper presents an algorithm for transient detection in speech signal. This algorithm operates in several frequency bands. Transient detection functions are calculated from energy measured in short frames of the signal. The final selection of transient frames is based on results of detection...
-
A polynomial algorithm for some preemptive multiprocessor task scheduling problems.
Publication.
-
Efficient list cost coloring of vertices and/or edges of some sparse graphs
PublicationRozważane jest kolorowanie wierzchołków i krawędzi grafów w modelach klasycznym, totalnym i pseudototalnym z uwzględnieniem dodatkowego ograniczenia w postaci list dostępnych kolorów. Proponujemy wielomianowy algorytm oparty na paradygmacie programowania dynamicznego dla grafów o strukturze drzewa. Wynik ten można uogólnić na grafy o liczbie cyklomatycznej ograniczonej z góry przez dowolnie wybraną stała.
-
Evolutionary Algorithms in MPLS network designing
PublicationMPLS technology become more and more popular especially in core networks giving great flexibility and compatibility with existing Internet protocols. There is a need to optimal design such networks and optimal bandwidth allocation. Linear Programming is not time efficient and does not solve nonlinear problems. Heuristic algorithms are believed to deal with these disadvantages and the most promising of them are Evolutionary Algorithms....
-
Performance comparison of new modified gradient algorithm and Foy algorithm for iterative position calculation
PublicationIn the paper a new position calculation algorithm is presented. It is proposed for indoor environments and is called modified gradient algorithm. This algorithm is compared with well-known Foy algorithm. The comparative analysis is based on real distance measurements conducted in indoor environment.
-
Algorytm branch-and-bound dla pewnego problemu szeregowania zadań uwarunkowanych czasowo
PublicationW artykule został przedstawiony algorytm branch-and-bound dla problemu szeregowania zadań uwarunkowanych czasowo 1 | pi = 1 + aisi | sum Ci. Przedstawiono także wyniki eksperymentów komputerowych prezentujących wydajność algorytmu. Zastosowanie przedstawionego algorytmu umożliwia powiększenie "obliczalnych" rozmiarów instancji o 6-10 zadań w stosunku do algorytmu pełnego przeszukiwania.
-
Nieliniowy kaskadowy algorytm sterowania stężeniem tlenu w biologicznej oczyszczalni ścieków
PublicationBiologiczna oczyszczalnia ścieków jest złożonym nieliniowym systemem sterowania. Jednym z istotnych i kosztownych procesów tam zachodzących jest napowietrzanie ścieków. Prawidłowy jego przebieg ma decydujący wpływ na stopień oczyszczenia ścieków i koszty operacyjne pracy oczyszczalni. W związku z tym prowadzone są prace badawcze nad nowymi strukturami i algorytmami sterowania. Powinny się one odznaczać wysoką efektywnością i niewielkim...
-
Kolektory słoneczne w budownictwie jednorodzinnym. Część 1. Algorytm obliczeń cieplnych.
PublicationW artykule omówiono algorytm obliczeń cieplnych związanych z konwersją promieniowania słonecznego w kolektorach słonecznych. Rozważania poparto przykładem obliczeniowym dla instalacji solarnej wykorzystywanej w celu przygotowania c.w.u. dla potrzeb budynku jednorodzinnego. Dla porządku omówiono również pokrótce podstawowe zagadnienia dotyczące płaskich i próżniowych kolektorów słonecznych.
-
Algorytm konstruowania modeli matematycznych złożonych układów dynamicznych dla programu Simulink
PublicationW pracy omówiono metodę budowy modelu matematycznego w postaci schematu blokowego dla złożonych pod względem natury fizycznej układów. Istota proponowanej metody polega na tym, że równania opisujące układ wyprowadzane są w sposób tradycyjny. Jednak podejście energetyczne i podział badanego układu na podukłady - wielowrotniki pozwala na kontrolowane wyprowadzanie równań. Następnie, wykorzystując tę samą, co w grafach wiązań procedurę...
-
Dwustopniowy algorytm zmiany szybkości próbkowania bazujący na filtrach ułamkowo-opóźniających
PublicationW pracy przedstawiono dwustopniowy algorytm zmiany szybkości próbkowania zrealizowany w oparciu o filtry ułamkowo-opóźniające. W pierwszym stopniu algorytm ten realizuje wstępną klasyczną interpolację. Dopiero w drugim stopniu wykonywane jest właściwe przepróbkowanie sygnału. Takie rozbicie algorytmu na dwa etapy przetwarzania pozwala na znaczące zmniejszenie jego złożoności numerycznej oraz wymagań pamięciowych. Zwiększa ono również...
-
Algorytmy klasyfikacji i uczenia w rozpoznawaniu treści
PublicationZadanie klasyfikacji treści może zostać podzielone na dwa etapy: ekstrakcji cech istotnych dla podziału na klasy oraz etapu klasyfikacji na podstawie cech wyznaczonych w poprzednim etapie. Dzięki takiemu podziałowi, możliwe jest użycie w drugim etapie standardowych algorytmów budowy (uczenia) klasyfikatorów, takich klasyfikator bayesowski, drzewa decyzyjne, sztuczne sieci neuronowe czy metoda wektorów wspierających (SVM). Przy...
-
Projektowanie filtrów IIR przy zastosowaniu algorytmu ewolucyjnego
PublicationW pracy zaprezentowano metodę projektowania filtrów cyfrowych IIR (InfiniteImpulse Response) przy wykorzystaniu algorytmu ewolucyjnego w dwóch wariantach. W pierwszym projektowane są filtry w taki sposób, aby ich charakterystyki amplitudowe spełniały postawione założenia. W drugim wariancie przedstawiono możliwość polepszenia charakterystyk fazowych filtrów IIR. Otrzymane rezultaty są porównane z wynikami otrzymanymi podczas projektowania...
-
Modele i algorytmy dla grafowych struktur defensywnych
PublicationW niniejszej pracy przeprowadzono analizę złożoności istnienia struktur defensywnych oraz równowag strategicznych w grafach. W przypadku struktur defensywnych badano modele koalicji defensywnych, zbiorów defensywnych i koalicji krawędziowych – każdy z nich w wersji globalnej, tj. z wymogiem dominacji całego grafu. W przypadku modeli równowagi strategicznej badano równowagę strategiczną koalicji defensywnych, równowagę strategiczną...
-
Zastosowanie systemu Comcute do łamania algorytmu DES
PublicationZaprezentowano zastosowanie systemu Comcute do łamania szyfru DES. Przedstawiono podstawową architekturę wykorzystaną do dystrybucji obliczeń oraz zaprezentowano wyniki skalowalności rozwiązania w funkcji użytych jednostek obliczeniowych.
-
Algorytmy samostabilizujące w sieciach o wybranych topologiach
PublicationIdea algorytmów samostabilizujących została zapoczątkowana przez E. Dijkstrę artykułem pt. „Self-stabilizing systems in spite of distributed control” (Communications of the ACM, 1974). W rozprawie został położony nacisk na algorytmy samostabilizujące działające w sieciach o pewnych specyficznych topologiach, jak na przykład w grafach maksymalnych zewnętrznie planarnych, iloczynach kartezjańskich tych grafów ze ścieżkami i w drzewach. Wykorzystując...
-
Wpływ implementacji algorytmu Chana na jego efektywność
PublicationW referacie przybliżono algorytm Chana służący do wyznaczania położenia w metodzie TDOA. W algorytmie tym estymaty współrzędnych położenia można uzyskać w kilku różnych etapach wykonywania procedur algorytmu. Ponadto wątpliwość budzi sposób wypełniania macierzy B. W referacie zbadano dokładność uzyskiwanych estymat położenia w zależności od sposobu implementacji algorytmu Chana.
-
Algorytmy numeryczne obliczania pseudokątów wiążących typu B
PublicationReferat tematycznie związany jest z teoretycznymi podstawami funkcjonowania technologii pomiarowej bazującej na stanowiskach swobodnie zorientowanych. Przedstawiono algorytmy obliczania pseudoobserwacji kątowych typu B (zwanych pseudokątami), wiążącymi sieć punktów odniesienia ze stanowiskami pomiarowymi. Pseudokąty wiążące typu B wykorzystuje się w sieciach obliczeniowych typu B.
-
Modele i algorytmy dla grafowych struktur defensywnych
PublicationW niniejszej pracy przeprowadzono analizę złożoności istnienia struktur defensywnych oraz równowag strategicznych w grafach. W przypadku struktur defensywnych badano modele koalicji defensywnych, zbiorów defensywnych i koalicji krawędziowych - każdy z nich w wersji globalnej, tj. z wymogiem dominacji całego grafu. W przypadku modeli równowagi strategicznej badano równowagę strategiczną koalicji defensywnych, równowagę strategiczną...
-
Algorytmy genetyczne w wielokryterialnej optymalizacji obserwatorów detekcyjnych.
PublicationW rozdziale przedstawia się możliwości zastosowania podejścia genetycznego do zagadnień wielokryterialnej optymalizacji w przestrzeniach wielowymiarowych z wykorzystaniem koncepcji optymalności w sensie Pareto. Jako przykład ilustrujący rozważane podejście daje się zadanie syntezy obserwatorów stanu służących wykrywaniu błędów występujących w układzie sterowania bezzałogowego statku latającego oraz w układzie napędowym jednostki...
-
Uogólnione algorytmy zachłanne w kontrastowym kolorowaniu grafów.
PublicationNiniejszy referat poświęcony jest uogólnionym algorytmom zachłannym. Zawiera ich opis, krótką analizę ich własności oraz wyniki testów komputerowych którym zostały poddane.
-
Zachłanne algorytmy kolorowania grafów w modelu rozproszonym
PublicationW artykule porównano cztery rozproszone algorytmy kolorowania grafów. Zaprezentowano wyniki eksperymentów komputerowych, w których badano liczbę rund i kolorów uzyskanych dla grafów losowych.
-
Evolutional algorithm in stock control
Publication -
A note on compact and compact circular edge-colorings of graphs
PublicationW pracy rozważamy dwa warianty kolorowania krawędzi grafów prostych i ważonych, mianowicie kolorowania zwarte oraz zwarte cyrkularne. Rozważamy relacje pomiędzy nimi. Dowodzimy, że każdy zewnętrznie planarny graf dwudzielny posiada zwarte pokolorowanie krawędziowe oraz, że problem ten dla grafów ogólnych jest NP-zupełny. Podajemy również wielomianowy 1.5-przybliżony algorytm oraz pseudowielomianowy dokładny algorytm zwartego cyrkularnego...
-
An approximation algorithm for maximum P3-packing in subcubic graphs
PublicationW pracy podano algorytm 4/3-przyliżony dla trudnego obliczeniowo problemu umieszczania wierzchołkowo rozłącznych dwukrawędziowych ścieżek w grafach o stopniu maksymalnym 3 i stopniu minimalnym 2. Poprawiono tym samym wcześniejsze wyniki dla grafów kubicznych (A. Kelmans, D. Mubayi, Journal of Graph Theory 45, 2004).
-
Heuristic scheduling algorithms for uniform load of computer system
PublicationW pracy zaprezentowano opracowany heurystyczny algorytm szeregowania zadań UNILO (ang. UNIform LOad - jednakowe obciążenie), umożliwiający redukcję całkowitego zapotrzebowania na moc obliczeniową systemu komputerowego bez pogarszania jego wydajności. Algorytm ten realizuje takie przydzielenie zadań obliczeniowych do poszczególnych jednostek (procesorów), aby zapewnić ich jednakowe obciążenie. Opracowany algorytm został zweryfikowany...
-
Intelligent algorithms for movie sound track restoration
PublicationW artykule przedstawiono dwa algorytmy do rekonstruowania optycznych ścieżek dźwiękowych. Pierwszy z nich jest zastosowaniem miary nieprzewidywalności do obliczeń parametrów modelu psychoakustycznego stosowanego do redukowania szumów. Drugi stanowi precyzyjną procedurę oceny pasożytniczej modulacji częstotliwości, opartej na analizie składowych harmonicznych. Wyniki zastosowania obu wymienionych algorytmów są zawarte w artykule.
-
Cartoon computation: Quantum-like algorithms without quantum mechanics
PublicationZaproponowano formalizm prowadzący do algorytmów analogicznych do kwantowych, lecz wykorzystujący jedynie struktury geometryczne. Jako przykład sformułowano odpowiednik kwantowego algorytmu Deutscha-Jozsy.
-
Algorytm detekcji wąskopasmowych interferencji międzysystemowych ukrytych w paśmie pracy systemu LTE
PublicationW artykule zaprezentowano algorytm detekcji wąskopasmowych interferencji międzysystemowych w sygnale w ł ączu w dół sieci LTE. Zaproponowany algorytm detekcji interferencji bazuje na analizie zmienności faz konstelacji symboli OFDM w czasie. Artykuł zawiera także porównanie efektywności detekcji interferencji z metodą znaną z literatury.
-
Algorytm budowy reprezentacji przedziałowej grafu jako heurystyka dla problemu mapowania DNA
PublicationW pracy dokonano analizy przydatności algorytmu Corneil'a budowy reprezentacji przedziałowej grafu jako heurystyki dla problemu tworzenia map fizycznych DNA. Prezentowana analiza dotyczy dwóch osobno rozpatrywanych przypadków, w których do danych wzorcowych wprowadzamy odpowiednio błędy negatywne (reprezentujące niedobór informacji) oraz błędy pozytywne (reprezentujące fałszywe informacje). Rozpatrywany algorytm zachowuje się znacznie...
-
Algorytm diagnostyczny na potrzeby samotestowania mikrosystemów analogowo-cyfrowych opartych na mikrokontrolerach.
PublicationPrzedstawiono procedurę samotestowania sieci analogowo-cyfrowych mikrosystemów elektronicznych opartych na mikrokontrolerach. Algorytm ten bazuje na metodzie 2D lokalizacji pojedynczych uszkodzeń parametrycznych. Składa się z części przedtestowej, w której tworzy się słownik uszkodzeń na komputerze PC i testowej zaimplementowanej w programie mikrokontrolera, która to dokonuje detekcji i lokalizacji pojedynczych uszkodzeń...
-
Algorytm kontroli jakości z elementami sterowania rozmytego dla elastycznie zautomatyzowanego wytwarzania.
PublicationPublikacja dotyczy struktury procesu produkcyjnego w środowisku komputerowo zintegrowanego wytwarzania (computer integrated manufacturing - CIM). Ukazuje ona aspekty kontroli jakości wykonania części na różnych etapach procesu wytwórczego, podkreślając jego istotność. W celu dokonania szczegółowej analizy problemu zebrano dane o jakości wykonania części na poszczególnych poziomach wytwarzania. Analizy dowiodły, że jakość wykonania...
-
Wyszukiwanie informacji z wykorzystaniem algorytmu Ontology Clustering by Directions
PublicationArtykuł opisuje algorytm Ontology Clustering by Directions. Algorytm ten ma na celu wspieranie użytkowników w formułowaniu ontologicznych zapytań. Ontologiczne zapytania służą do wydobywania informacji sformułowanych za pomocą ontologii opisanych np. językiem OWL. Artykuł przedstawia rodzaje języków wykorzystywanych do formułowania ontologicznych zapytań. W szczególności opisuje języki, które mają być przyjazne użytkownikom. Na...
-
Koncepcja algorytmu generowania zakłóceń w procesie planowania budowy
PublicationW treści artykułu przedstawiono propozycję generowania zakłóceń wynikających z konieczności przewidywania możliwych sytuacji organizacyjnych zachodzących w trakcie budowy. Należą do nich np. krótkoterminowe awarie maszyn, nieobecności pracowników itp. Można się jednak przygotować na ewentualność ich występowania w sposób proponowany przez autora w postaci przykładu gotowego algorytmu.
-
Cztery algorytmy które wstrząsnęły światem. Część I: Wprowadzenie
PublicationArtykuł przeglądowy jest pierwszym fragmentem 3-częściowego szkicu popularnonaukowego poświęconego najważniejszym osiągnięciom w dziedzinie algorytmiki. Wprowadzono w nim w arkana złożoności obliczeniowej i sztuki programowania komputerów.
-
Sterowanie kolumną rektyfikacyjną z wykorzystaniem nieliniowego algorytmu predykcyjnego
PublicationPopularną metodą rozdziału ciekłych mieszanin wieloskładnikowych jest rektyfikacja, stosowana w różnych gałęziach przemysłu. W artykule rozważana jest mieszanina etanol-woda. Przedstawiono powszechnie stosowany nieliniowy model dwuskładnikowej kolumny rektyfikacyjnej, dokonano jego dyskretyzacji i zaimplementowano w środowisku MATLAB/Simulink. Następnie zaprojektowano układ sterowania wykorzystując nieliniowy algorytm predykcyjny....
-
Algorytmy obliczania składowej czynnej prądu upływu ograniczników przepięć
PublicationPomiar prądu upływowego ograniczników przepięć i analiza jego składowych jest podstawowym kryterium diagnostycznym stosowanym obecnie w energetyce zawodowej. W badaniu ograniczników przepięć wykorzystuje się różne algorytmy określania składowej rezystancyjnej w oparciu o zarejestrowane przebiegi prądu upływu i napięcia zasilającego lub tylko prądu upływowy. W pracy wykorzystano typowe dla rejestratorów jakości energii elektrycznej...
-
Algorytmy przybliżone dla wybranych problemów równoległego przydziału zasobów
PublicationArtykuł poświęcony jest zachłannym algorytmom przybliżonym dla problemu szeregowania zadań w systemach równoległych z zadaniami dedykowanymi.
-
Algorytmy przetwarzania widm Ramana podczas detekcji substancji chemicznych
PublicationW pracy zostaną przedstawione algorytmy wstępnego przetwarzania widm mające na celu usunięcie lub zmniejszenie intensywności zakłóceń obecnych w rejestrowanych widmach Ramana, ze szczególnym uwzględnieniem automatyzacji tego procesu (bez konieczności wyboru parametrów przetwarzania przez obsługę urządzenia). Kolejną prezentowaną grupę algorytmów stanowią procedury parametryzacji widm, które opisują widma w postaci zbioru kilku...
-
ALGORYTMY STEROWANIA SILNIKA WYSOKOPRĘŻNEGO Z UKŁADEM COMMON RAIL
PublicationRozwój wiedzy i technologii związanej z procesami spalania paliwa w silniku i prowadzeniem kontrolowanego procesu spalania, skutkuje wzrostem sprawności silników i lepszą ochroną środowiska. Ciekawym rozwiązaniem technicznym jest silnik z zapłonem samoczynnym pracujący z bardzo wysokim ciśnieniem wtrysku paliwa i często z recyrkulacją spalin – silnik z układem Common Rail. Do sterowania silnika stosowane są złożone układy mechatroniczne...
-
Implementacja algorytmu regulacji predykcyjnej MPC w sterownikach programowalnych
PublicationSterowniki programowalne PLC (ang. Programmable Logic Controllers) są główną przemysłową platformą implementacji algorytmów sterowania bezpośredniego. Standardowo producenci PLC udostępniają programistom jedynie podstawowe algorytmy sterowania. W niniejszym artykule rozważana jest implementacja w PLC zaawansowanej metody sterowania – algorytmu MAC/MPC (ang. Model Algorithmic Control/Model Predictive Control) ze względu na jego...
-
Algorytmy MPPT dla modułów fotowoltaicznych w warunkach przesłonięcia
PublicationIntensywny rozwój technologii powoduje obniżenie ceny modułów fotowoltaicznych i dedykowanych przetwornic. Podstawą opłacalności jest wysoka sprawność całego układu na którą składają się sprawności modułów, przetwornic oraz algorytmu śledzenia maksymalnej mocy (MPPT - Maximum Power Point Tracking). Znane i stosowane algorytmy mają MPPT sprawności od ok. 95 do 99%, o ile ogniwa mają identyczne parametry i są jednakowo nasłonecznione....
-
Modyfikacje algorytmu metody relaksacyjnej w optymalizacji schematów próbkowania
PublicationW pracy przedstawiono metodę relaksacyjną stosowaną z powodzeniem przy wyznaczaniu optymalnych schematów próbkowania. Zaproponowano modyfikacje tej metody polegające na lokalnym ograniczaniu przedziału przeszukiwania optimum w kierunku oraz na wprowadzeniu kroku o zmiennej długości. Porównano skuteczność nowych algorytmów dla dwóch modeli kompartmentowych. Jako podstawę do oceny wybrano szybkość działania i odporność na zatrzymanie...
-
Sprzętowa realizacja algorytmu przepływu optycznego w układzie FPGA
PublicationW pracy przedstawiono efektywną procedurę uproszczenia algorytmu typu optical flow (OF) oraz jego realizacje sprzętową w technologii układów FPGA. Zmodyfikowany algorytm bazuje na lokalnym dopasowaniu (korelacji) podobszarów ramki aktualnej i poprzedniej. W strukturze opracowanego algorytmu wykorzystano 1-wymiarową reprezentację podobszarów oraz zapis intensywności w kodzie Gray'a, co zmniejszyło złożoność obliczeniową przy zachowaniu...
-
Heurystyczne algorytmy szeregowania zadań wieloprocesorowych na procesorach dedykowanych
PublicationProblem szeregowania zadań wieloprocesorowych na procesorach dedykowanych można zaprezentować przy pomocy modelu kolorowania krawędzi hipergrafów. Hipergrafem nazywamy pewne uogólnienie grafu, w którym krawędzie mogą zawierać dowolnie wiele wierzchołków. Model taki pozwala symulować rozmaite zjawiska praktyczne oraz teoretyczne. Kolorowanie hiperkrawędzi hipergrafów jest uogólnieniem kolorowania krawędzi grafów, zatem jest problemem...
-
Implementacja algorytmu szybkiej transformacji falkowej w mikrosystemie pomiarowym
PublicationReferat zawiera opis implementacji algorytmu Szybkiej Transformacji Falkowej w mokrosystemie badawczo-dydaktycznym. Stanowi on podsumowanie pracy mającej na celu zweryfikowanie przydatności tanich mikrokontrolerów do obróbki danych pomiarowych z zastosowaniem Transformacji Falkowej. W referacie zawarto skrótowy opis optymalizacji algorytmu Transformacji Falkowej dla potrzeb mikrokontrolera, na który składa się jego przyspieszenie...
-
Algorytmy diagnostyki dla komputerowego systemu sterowania elektrowni wodnej.
PublicationW referacie przedstawiono możliwości wprowadzenia algorytmów diagnostyki i sterowania do komputerowego systemu sterowania turbiny wodnej z generatorem. Wdrożenie systemu pozwoliłoby na wyeliminowanie stanowisk pracy w których wzrasta prawdopodobieństwo uszkodzeń.
-
Algorytmy diagnostyki dla komputerowego systemu sterowania elektrowni wodnej.
PublicationW artykule przedstawiono system diagnostyki i sterowania którego zadaniem jest identyfikacja symptomów nieprawidłowej pracy obiektu sterowanego, a następnie modyfikacja algorytmu lub układu tak, aby wyprowadzić obiekt z obszaru nieprawidłowej pracy.
-
Algoritm opredelenia nepodwiznych polusov strukturno-sloznych sistem upravlenija.
PublicationZaprezentowano algorytm wyznaczania nieprzesuwnych biegunów wielomianu charakterystycznego. Te bieguny charakteryzują się zerową wrażliwością na zmianę szeregu parametrów modelu układu.
-
Comments on ''Incremental construction and maintenance of minimal finite-state automata'' by Rafael C. Carrasco and Mikel L. Forcada.
PublicationW opublikowanym niedawno artykule (czerwiec 2002) Rafael Carrasco i Mikel Forcada przedstawili dwa algorytmy: jeden dotyczący przyrostowego dodawania łańcuchów znaków do języka minimalnego, deterministycznego, cyklicznego automatu skończonego, drugi dotyczący przyrostowego usuwania łańcuchów znaków z automatu. Pierwszy algorytm jest uogólnieniem ,,algorytmu dla danych nieuporządkowanych'' - drugiego z dwóch przyrostowych algorytmów...
-
Point cloud unification with optimization algorithm
PublicationTerrestrial laser scanning is a technology that enables to obtain three-dimensional data – an accurate representation of reality. During scanning not only desired objects are measured, but also a lot of additional elements. Therefore, unnecessary data is being removed, what has an impact on efficiency of point cloud processing. It can happen while single point clouds are displayed – user decides what he wants...