Relevant bibliographies by topics / SUT

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'SUT'

Author: Grafiati
Published: 4 June 2021
Last updated: 26 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'SUT.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "SUT"

1

Sokolyansky, Alexander. "Sut’." Russkaia rech, no. 2 (2020): 92–104. http://dx.doi.org/10.31857/s013161170009275-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Driver, Sam, and Evgeniĭ Vinokurov. "Samaia sut'." World Literature Today 63, no. 3 (1989): 498. http://dx.doi.org/10.2307/40145438.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Sari, Nini Ratna, Mustamin Anggo, and Kodirun Kodirun. "Desain Pembelajaran Bilangan Melalui Permainan Sut-Sut Menggunakan Pendekatan PMRI Di Kelas III Sekolah Dasar." Jurnal Pendidikan Matematika 9, no. 1 (March 1, 2019): 33. http://dx.doi.org/10.36709/jpm.v9i1.5758.

Full text
Abstract:
Penelitian ini bertujuan: (1) Untuk mengetahui desain pembelajaran bilangan melalui permainan sut-sut menggunakan pendekatan pendidikan matematika realistik indonesia dapat digunakan siswa untuk memperoleh pengetahuan awal bilangan dan konsep dasar bilangan di kelas III sekolah dasar, (2) Menghasilkan desain pembelajaran bilangan melalui permainan sut-sut menggunakan pendekatan PMRI dapat mengembangkan pemahaman bilangan siswa tentang konsep bilangan melalui aktivitas informal ke formal di kelas III sekolah dasar dan (3) Untuk mengetahui desain pembelajaran bilangan melalui permainan sut-sut menggunakan pendekatan PMRI dapat meningkatkan hasil belajar siswa di kelas III sekolah dasar. Penelitian ini merupakan penelitian yang dilaksanakan dalam 3 tahap yakni perecanaan desain, percobaan desain, dan analisis retrospektip. Subjek yang dilibatkan dalam penelitian ini adalah guru dan siswa kelas III MI ICI dan SDN 21 kendari barat yang mengajarkan di kelas tersebut.. Berdasarkan bukti yang diperoleh, temuan di lapangan menunjukkan bahwa bermain sut-sut dapat digunakan siswa sebagai titik awal pembelajaran yang mendukung mereka untuk mendapatkan pengetahuan awal dan konsep dasar bilangan yang diharapkan. Melalui masalah yang dikembangkan dari konteks bermain sut-sut, perkembangan pemahaman bilangan mereka ditujukkan dengan beraneka ragam strategi yang tepat dalam menyelesaikan masalah, dan kemampuan berpikir kritis ketika mereka mengkomunikasikan ide dan pertanyaan dalam diskusi.
APA, Harvard, Vancouver, ISO, and other styles
4

Gallett, Ian. "Forty Years of SUT." Underwater Technology 27, no. 2 (June 1, 2007): 41–42. http://dx.doi.org/10.3723/175605407782724906.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Takayama, Kazuo. "Lecture Series: Introduction to SUT No2 History of supply and use table (SUT)." Input-Output Analysis 30, no. 2 (2022): 10–18. http://dx.doi.org/10.11107/papaios.30.2_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Meeker, Laurie. "Whose Fantasy?: Sut Jhally's Dreamworld." Visual Anthropology Review 9, no. 1 (March 1993): 123–30. http://dx.doi.org/10.1525/var.1993.9.1.123.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hu, Zhi, Zhenjia Tang, Yanming Zhang, Liping Niu, Fang Yang, Dechun Zhang, and Yibing Hu. "Rice SUT and SWEET Transporters." International Journal of Molecular Sciences 22, no. 20 (October 18, 2021): 11198. http://dx.doi.org/10.3390/ijms222011198.

Full text
Abstract:
Sugar transporters play important or even indispensable roles in sugar translocation among adjacent cells in the plant. They are mainly composed of sucrose–proton symporter SUT family members and SWEET family members. In rice, 5 and 21 members are identified in these transporter families, and some of their physiological functions have been characterized on the basis of gene knockout or knockdown strategies. Existing evidence shows that most SUT members play indispensable roles, while many SWEET members are seemingly not so critical in plant growth and development regarding whether their mutants display an aberrant phenotype or not. Generally, the expressions of SUT and SWEET genes focus on the leaf, stem, and grain that represent the source, transport, and sink organs where carbohydrate production, allocation, and storage take place. Rice SUT and SWEET also play roles in both biotic and abiotic stress responses in addition to plant growth and development. At present, these sugar transporter gene regulation mechanisms are largely unclear. In this review, we compare the expressional profiles of these sugar transporter genes on the basis of chip data and elaborate their research advances. Some suggestions concerning future investigation are also proposed.
APA, Harvard, Vancouver, ISO, and other styles
8

Dewalt, Robert. "Sut Lovingood and the Germans." Mississippi Quarterly 65, no. 4 (2012): 491–515. http://dx.doi.org/10.1353/mss.2012.0004.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Vrenjo, K., and Petri O. "Use of Steroids by SUT Students." European Journal of Natural Sciences and Medicine 4, no. 2 (September 29, 2021): 58. http://dx.doi.org/10.26417/995bjt86n.

Full text
Abstract:
Through the survey carried out with SUT students we seek to assess how much they know about steroids, their use, benefits and side effects. These students are active: as athletes in various disciplines, in coaching and after graduation as teachers of physical education and health. 201 SUT students, 113 males and 88 females were randomly included in the survey. This topic was selected because these substances can be easily found and used without prescription of a specialist in Albania. Raising the awareness of SUT students is important for their health and as future educators serve as a promoter of healthy living to every child at school or peoples engaged in sports.
APA, Harvard, Vancouver, ISO, and other styles
10

Stockburger, Manfred. "Schwarz verschiebt Gewichte in der SUT." Lebensmittel Zeitung 74, no. 39 (2022): 6. http://dx.doi.org/10.51202/0947-7527-2022-39-006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "SUT"

1

Mobeen, Shariq. "A Topologically Aware Resource Management System." Thesis, KTH, Radio Systems Laboratory (RS Lab), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-139949.

Full text
Abstract:
As companies fight for market share whoever is able to bring products to market faster has an advantage over their competitors. Therefore it is absolutely essential to constantly evaluate and optimize processes to achieve shorter time-to-market for products. These optimizations have to be carried out in all parts of a company. This thesis describes one such attempt made by a Swedish telecommunication vendor focused on enabling a resource management system to gain a greater understanding of the resources available during testing. This system manages all of the hardware utilized by the users, software testers, within one particular part of the organization and aids users by automatically converting the information stored in its database into a configuration file that will later be used in the testing framework’s execution environment. Unfortunately, the current version of this resource management system lacks semantic understanding of the information necessary to automatically generate the configuration file, leaving a rather large part of the configuration file to be manually entered by the testers, a rather time-consuming task. The inability to completely automate the process means that the testing process is slower, more error prone, and increases the work needed for a new engineer to become a productive software tester. In order for the resource management system to automatically generate the configuration file it needs to know not only which resources it is managing, but must also how these resources are interconnected, i.e. the topology of the resources. For this reason this thesis describes how to make the resource management system topologically aware, thus making verification of the System under Test (SUT) more efficient and mitigating the problems mentioned above. This thesis does not deal with the intricate details of how to automatically extract the topology, as this is inherently domain specific and thus difficult to generalize. Rather, this thesis focused on how to allow users to custom-build their desired topology by defining a set of rules that restrict how resources can be interconnected. The goal of providing functionality for storing and retrieving topological information from database has been successfully achieved, and the resulting code has been integrated into the existing resource management system. However, the functionality has not yet been delivered because of a limitation in our front controller that stops us from providing an efficient web interface to our tool. After delivery the implemented solution is expected to remove most manual work related to test configuration and therefore also reduce the learning curve for new engineers.
När företag slåss om marknadsandelar har de som kan leverera produkter till marknaden snabbare en fördel över sina konkurrenter. Det är därför av högsta vikt att kontinuerligt utvärdera och optimera processer för att produkten snabbare skall nå marknaden. Dessa optimeringar måste utföras inom samtliga områden inom ett företag. Denna uppsats beskriver ett sådant försök av ett svenskt telekombolag att stärka ett resurshanteringssystem för att uppnå en högre förståelse för de resurser den hanterar. Detta system hanterar samtlig hårdvara för användare (mjukvarutestare) inom en del av organisationen. Det hjälper användarna att automatiskt konvertera informationen i sin databas till en konfigurationsfil som används i testramverkets exekveringsmiljö. Tyvärr saknar den nuvarande versionen den semantiska förståelsen av dess data för att kunna automatiskt generera konfigurationsfilen, vilket tvingar användaren att manuellt ägna sig åt denna tidskrävande uppgift. Oförmågan att inte kunna automatisera fullt ut innebär att den övergripande testprocessen är långsammare, mer felbenägen och ökar tiden det tar för en ny ingenjör att komma igång och bli en produktiv mjukvarutestare. För att resurshanteringssystemet ska kunna generera konfigurationsfilen automatiskt krävs inte bara kunskap om vilka resurser den hanterar utan också hur dessa är sammankopplade. Det vill säga hur de topologiskt relaterar till varandra. Den här uppsatsen beskriver därför hur ett resurshanteringssystem kan bli topologiskt medvetet och därigenom åstadkomma en mer effektiv testning av produkten och därmed överkomma de tidigare nämnda problemen. Denna uppsats inte gå in på detaljer om hur man extraherar den topologiska strukturen av resurser eftersom detta i sin natur är domänspecifikt och därigenom svårt att generalisera. Fokus istället ligga på hur man kan tillåta användare att bygga önskad topologi genom att definiera regler för hur olika resurser kan sammankopplas. Målet vi satte upp med att kunna lagra och inhämta topologisk information från en databas har med framgång integrerats i det existerande resurshanteringssystemet. Ändringen är dock ännu inte fullt ut levererad på grund av en begränsning i vår nuvarande front controller som hindrar oss från att på ett effektivt sätt koppla samman vårt nya verktyg med ett webbgränsnitt. Efter leverans förväntas den implementerade lösningen eliminera större delen av det manuella arbete som tidigare krävts i samband med konfiguration av testmiljön, och därigenom även minska inlärningskurvan för nya ingenjörer.
APA, Harvard, Vancouver, ISO, and other styles
2

Sut, Aleksandra [Verfasser]. "Fire reisdues design: the chemistry behind synergistic effects in multicomponent polymeric systems / Aleksandra Sut." Berlin : Freie Universität Berlin, 2017. http://d-nb.info/1127606506/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Fransson, Anna, and Fredrik Folkesson. "Brister i revisionsprocessen : Revisorsnämndens sytematiska och uppsökande tillsynsverksamhet." Thesis, Högskolan i Borås, Institutionen Handels- och IT-högskolan, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:hb:diva-20065.

Full text
Abstract:
Revision innebär att kritiskt granska, bedöma samt uttala sig om ett företags finansiellainformation. Det är revisorns roll att utföra detta granskningsarbete och därmed kvalitetssäkrainformationen gentemot företagets intressenter. Hur detta arbete bedrivs kan ses som en process,vilken startar med att en planering av revisionsarbetet sker och följs därefter utav självagenomförandet (granskningen) där efter följer rapportering av vad som framkommit underrevisionen. Löpande skall även revisionen dokumenteras med sådan noggrannhet att revisornsarbete kan bedömas i efterhand.Det är viktigt att revisionsarbetet håller en hög nivå vilken i sin tur måste övervakas.Revisorsnämnden är en statlig myndighet vilken avser att just kontrollera Sveriges godkännandeoch auktoriserade revisorer genom att bedriva kvalitetskontroller samt tillsyner. En del i derastillsynsverksamhet är den systematiska och uppsökande tillsynen (SUT), vilken genomföras påutav dem själva utvalda riskgrupper. En utredning som visar på allvarliga brister i revisionenöverförs det till ett disciplinärende och efter prövning utdelas en disciplinär åtgärd. Sanktionernasom kan delas ut är erinran, varning med eller utan straffavgift samt upphävande av en revisorsbehörighet.Syftet med studien är att identifiera vilka brister i revisionsprocessen som Revisorsnämndenanmärker på samt att urskilja hur sambandet mellan de identifierade bristerna irevisionsprocessen och de utdelade sanktionerna ser ut. Ärendena som har legat till grund förgranskning har varit de som genom nämndens systematiska och uppsökande tillsynsverksamhetövergått till ett disciplinärende och som efter prövning tilldelats en disciplinär åtgärd.Granskningen har skett genom en utarbetad modells struktur som baserar sig pårevisionsprocessens fyra delar, planering, genomförande, rapportering och dokumentation. Engenomläsning har skett av de 129 stycken ärenden som studien totalt omfattar, varefter aktuelldata har plockats ut efter modellens valda variabler. För att kunna påvisa att samband eller inteförekommer har vi räknat fram korrelationskoefficient för varje fas och dess brister i förhållandetill sanktionen varning eller upphävande.Studiens resultat visar att Revisorsnämnden anmärker mest frekvent på bristerna jäv ochoberoende i planeringsfasen. Den vanligaste situationen då revisorn äventyrar sitt oberoende ärnär denne är vald revisor i en redovisningsbyrå vilken handhar redovisningen åt flera av revisornsövriga klienter. Den vanligaste jävsituationen är att revisorn upprättat eller biträtt, mer än vadsom tillåts enligt lag, med klientens bokföring eller upprättande av årsredovisning. Bristerna idokumentationsfasen beror till övervägande del på att revisorerna använt sig av kortfattadechecklistor, vilka inte är tillräckliga för att bedöma revisorns arbete i efterhand. Igranskningsfasen är det framförallt granskning av lager och interna kontroller/rutiner somrevisorerna får sina anmärkningar, på grund av att de inte närvarat vid inventering ellergranskning av dessa. Det enskilt mest frekvent hänvisade lagrummet har varit god revisionssed,vilken anses vara en övergripande praxis som gäller för samtliga faser av revisionsprocessen. Vifinner inget tydligt samband mellan någon enskild fas i revisionsprocessen och sanktionenupphävande, vilket indikerar att upphävande är ett resultat av brister i flera faser simultant.Starkare är sambandet mellan brister i de olika revisionsfaserna och sanktionen varning. Lägst samband mellan brist i revisionsfas och sanktion (oavsett varning eller upphävande) stårrapporteringsfasen för.
APA, Harvard, Vancouver, ISO, and other styles
4

Sut, Magdalena Maria [Verfasser], Thomas [Akademischer Betreuer] Raab, Thomas [Akademischer Betreuer] Fischer, and Anne M. [Akademischer Betreuer] Naeth. "Detection and behavior of iron-cyanide complexes in soils of a former Manufactured Gas Plant site / Magdalena Maria Sut ; Thomas Raab, Thomas Fischer, Anne M. Naeth." Cottbus : BTU Cottbus - Senftenberg, 2016. http://d-nb.info/1123152047/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Puakpong, Nattaya, and n/a. "An individualized CELL Listening Comprehension Program: making listening more meaningful for Thai learners of English." University of Canberra. Languages, International Studies & Tourism, 2005. http://erl.canberra.edu.au./public/adt-AUC20060724.135729.

Full text
Abstract:
The purpose of this research project was to examine theories of learning, theories of teaching, and theories of listening comprehension with a view to developing and testing a computer-enhanced listening comprehension system for English as a Foreign Language within the Thai university system. In addition to carrying out an in-depth literature review, factors contributing to difficulties in the listening process were also carefully examined in order to build a sound foundation for dealing with listening comprehension. A brief history and analysis of Computer Assisted Language Learning were presented together with a review of some computer programs with the aim of determining their characteristics. An Individualized CELL Listening Comprehension Program was then developed on the basis of four theoretical frameworks: the Constructivist approach, the need to use authentic spoken passages, reduction of cognitive load and response to learner differences. The system was then used by twenty students of Suranaree University of Technology (SUT), Thailand for a period of fifteen weeks. Students were volunteers from different proficiency levels. SUT midterm and final examinations were employed, in part, to observe the effect of the program on proficiency levels. The SUT examinations, which were usually in a multiple-choice format, tested students on minor details through short, simple conversations. These tests might not fit entirely within best practice for listening but they seem to be a common way of measuring listening development in several educational contexts. Pretests and posttests examining global ideas and specific details in written and multiple-choice formats were then developed so as to provide a more accurate gauge of improvement in listening skills. Log files were kept in order to scrutinize in detail students� interactions with the system. Questionnaire and interview techniques were applied to seek out students� attitudes towards the program. The results revealed that the participants performed better than their peers in the same proficiency levels in SUT midterm and final examinations although the difference was not at a statistically significant level. However, posttest scores were better than those of pretest at a statistically significant level in most aspects except in case of the global ideas. The log files revealed that all students tended to focus on the word level by attempting to understand and decode every word in the transcriptions. This fixation is likely to explain the low global ideas scores. Analysis was complicated by the fact that some students were not able to use the program frequently enough, usually because of unexpectedly heavy schedules. However, the data extracted through questionnaires and interviews showed that most students demonstrated a positive attitude towards the various features of the program and felt that use of the program had improved their listening skills. In addition to findings relating to the development of listening comprehension, the study revealed that the majority of students felt that they did not think listening comprehension and, more generally the study of English, was sufficiently important to spend time on. This interesting but shocking discovery needs to be attended to immediately as it may have a strong effect on how Thai students prioritize their learning of English, and how this may impact on the levels of proficiency which they might subsequently attain.
APA, Harvard, Vancouver, ISO, and other styles
6

Doidy, Joan. "The Medicago truncatula sucrose transporter family." Diss., lmu, 2012. http://nbn-resolving.de/urn:nbn:de:bvb:19-151723.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Zhao, Yuting. "Answer set programming : SAT based solver and phase transition /." View abstract or full-text, 2003. http://library.ust.hk/cgi/db/thesis.pl?COMP%202003%20ZHAOY.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Bishop, Megan, Laura Hall, Ann McDermott, and Aydin Nazmi. "VITAMIN D SUB-SET ANALYSIS FROM THE FLASH STUDY." DigitalCommons@CalPoly, 2012. https://digitalcommons.calpoly.edu/theses/700.

Full text
Abstract:
Vitamin D is important to the health of college students. The objective of our study was to measure sun exposure, skin pigmentation, vitamin D intake, and serum 25-hydroxyvitamin D (25[OH]D) in a subset of participants from The Following the Longitudinal Aspects of Student Health (FLASH) Study to determine the best predictors of 25(OH)D status. Participants were college-aged freshman who had their blood drawn in spring (Visit 1) and fall 2010 (Visit 2) at California Polytechnic State University (Cal Poly), San Luis Obispo, CA. (35.3°N). Vitamin D intake was measured using a 28-day food frequency recall questionnaire (specific to vitamin D foods and supplements) while questions specific to the frequency of milk and fish intake were accessed from the FLASH questionnaire. Sun exposure was measured using a 28-day recall questionnaire (time in sun and sun exposure index [SEI]) and questions (frequency of weekday/ weekend exposure) from the FLASH questionnaire. Skin pigmentation was measured using a reflectance spectrophotometer. Serum 25(OH)D was measured at a local pathology lab as measured by an IDS-iSYS. Means (SD) were as follows (n= 40): reflectance of the forehead was 61 (3.5) L* (Lightness) for Visit 1 and 61 (4.3) L* for Visit 2. Vitamin D intake was 308 (234) IU for Visit 1 and 316 (257) IU for Visit 2. Time outside was 81 (44) mins for Visit 1 and 76 (39) mins for Visit 2. Serum 25(OH)D was 85 (24) nmol/L for Visit 1 and 113 (28) nmol/L in Visit 2 which was significantly higher (p < 0.0001). The SEI was 53 (38) body surface area (BSA) exposed (m2) x mins for Visit 1 and 55 (34) m2 x mins Visit 2. Although 90% of participants in Visit 1 and 88% in Visit 2 were below the RDA guidelines for vitamin D intake (600 IU/day), 5% of participants in Visit 1 and none in Visit 2 had serum 25(OH)D serum levels < 50 nmol/L (the recommended level of sufficiency for bone health), demonstrating the importance of sun exposure to vitamin D status in these college students. To determine the strongest predictors of status we used regression analysis to predict serum 25(OH)D with skin reflectance, vitamin D intake, and sun exposure. We found that weekend sun exposure, fish intake, and forehead skin reflectance were the strongest predictors of serum 25(OH)D (R2= 0.50, p= 0.0010) demonstrating that simple questionnaires can help to predict serum 25(OH)D status.
APA, Harvard, Vancouver, ISO, and other styles
9

Coquereau, Albin. "[ErgoFast] Amélioration de performances du solveur SMT Alt-Ergo grâce à l’intégration d’un solveur SAT efficace." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLY007.

Full text
Abstract:
Les démonstrateurs automatiques de la famille SMT (Satisfiability Modulo Theories) sont de plus en plus utilisés dans l’industrie et dans le monde académique. La raison de ce succès est liée d’une part à l’expressivité des langages d’entrée de ces solveurs (logique du premier ordre avec de nombreuses théories prédéfinies), et d’autre part, à leur efficacité toujours croissante. La rapidité des solveurs SMT est principalement liée aux procédures de décision qu’ils implémentent (SAT solvers, Simplex, etc.). Ainsi, les structures de données utilisées et les mécanismes de gestion mémoire ont un impact immédiat sur les performances. De même, le langage de programmation utilisé et les optimisations de code disponibles dans le compilateur sont très importants. Dans l’équipe VALS du LRI, nous développons le solveur SMT Alt-Ergo. Cet outil est programmé avec le langage OCaml et il est principalement utilisé pour prouver des formules logiques issues d’ateliers pour la preuve de programme comme Why3, Spark, Frama-C ou l’Atelier B. Ses concurrents directs sont z3 (Microsoft), CVC4 (Univ. New-York et Iowa) et yices2 (SRI). Malgré nos efforts dans la conception et l’optimisation des procédures de décision implantées, il ressort qu’Alt-Ergo est plus lent que ses concurrents sur certaines suites d’essais. Les raisons à cela sont multiples. Nous avons identifié trois causes importantes. — La première semble être liée aux structures de données utilisées dans le solveur. Pour des rai- sons de sûreté, la plus grande partie d’Alt-Ergo est développée dans un style de programmation purement fonctionnel avec des structures persistantes. Mais, l’efficacité de ces structures est en général moins bonne que des structures impératives. — La deuxième semble être liée à la gestion mémoire par ramasse-miettes du langage OCaml qui, comparée à une gestion manuelle, engendre de nombreux déplacements de blocs mémoire et probablement trop de défauts de cache. La différence entre un accès à la mémoire cache d’un ordinateur et un accès à la RAM étant de l’ordre de 150 cycles d’horloge, l’utilisation maximale de la mémoire cache est très importante pour les performances. — Enfin, la troisième semble être liée au manque d’optimisations du compilateur OCaml. En effet, nous avons constaté que l’écart de performance entre Alt-Ergo et certains de ses concurrents (écrits principalement en C ou C++) était fortement réduit lorsque l’on re-compilait ces derniers en baissant le niveau d’optimisation du compilateur
The automatic SMT (Satisfiability Modulo Theories) solvers are more and more used in the industry and in the academic world. The reason of this success is connected on to the expressiveness of the languages of entrance of these solvers (first order logic with predefined theories), and on their increasing efficiency. The speed of SMT solvers is mainly connected to the decision-making procedures which they implement (SAT solvers, Simplex, etc.). The data structures used and the memory management mechanisms have an immediate impact on the performances. Also, the programming language and the available optimizations of code in the compiler are very important. In the team VALS of the LRI, we develop the SMT solver Alt-Ergo. This tool is programmed with the language OCaml and it is mainly used to prove logical formulas from proof of program workshops as Why3, Spark, Frama-C or the B workshop. His direct competitors are z3 (Microsoft), CVC4 (Univ. New York and Iowa) and yices2 ( SRI). In spite of our efforts in the design and the optimization of the implanted decision-making procedures, it appears that Alt-Ergo is slower than his competitors on certain benchmarks. The reasons are multiple. We identified three important causes. - The first one seems to be connected to the data structures used in the solver. For safety reason, the largest part of Alt-Ergo is developed in a purely functional style of programming with persistent structures. But, the efficiency of these structures is generally worse than imperative structures. - The second seems to be connected to the memory management by the Garbage Collector of the language OCaml, which, compared with a manual management, engenders numerous movements of memory blocks and probably too many cache miss. The difference between cache memory access and RAM access being of the order of 150 clock cycles, the maximal use of the cache memory is very important for the performances. - Finally, the third seems to be connected to the lack of optimizations of the OCaml compiler. Indeed, we noticed that the gap from performance between Alt-Ergo and some of his competitors (written mainly in C or C ++) was strongly reduced when we recompiled them by lowering the compiler optimization level
APA, Harvard, Vancouver, ISO, and other styles
10

Gittens, Eleanor. "Criminal careers of a sub-set of offenders in Barbados." Thesis, University of Liverpool, 2011. http://livrepository.liverpool.ac.uk/5795/.

Full text
Abstract:
The research in this thesis built on several papers that have brought criminal career research to the forefront of the scientific and empirical study of criminal behaviour. However, most existing research has been limited in scope and confined to a relatively small range of samples from more developed, first world, countries; in particular, the USA, the UK, and Canada. The main aim of the present research, therefore, was to replicate and extend previous work on criminal careers using a sample of offenders from a developing nation, Barbados. Given the limitations of previous work, the present research not only examined a number of key variables previously identified in relation to criminal careers (onset age, career length, chronicity, versatility, and seriousness), but also extended the investigation to look at issues surrounding specialisation, violence and demographic factors as related to criminal careers. The sample consisted of 1692 offenders who were charged in Barbados during 2002 and 2006 for robbery and sex offences and during 2006 for drug offences. Several important findings emerged. In particular, there was a significant negative relationship between onset age and the other criminal career variables, the latter of which were positively correlated with each other; this supports the idea of a general factor underlying criminal careers. Nevertheless, there were also variations according to different types of offences. Thus, on average, sex and drug offenders had the shortest career lengths and showed the least versatility and the lowest levels of chronicity and seriousness. In contrast, burglary offenders had the longest career lengths, the earliest age of onset, the greatest versatility, and committed the most serious crimes. In addition, contrary to the findings of some previous studies, there was evidence of specialisation in the sample, and specialists had an earlier age of onset, longer careers, lower versatility and lower levels of crime seriousness than non-specialists. Violent offenders showed a similar pattern of earlier age of onset, longer careers, greater versatility and higher levels of chronicity and seriousness than non-violent offenders. Finally, there were some differences according to gender, race, housing area, employment type and educational level for the key criminal career variables. The results of the research are discussed in terms of their comparability with previous research in the field from more developed nations. Despite some interesting discrepancies, it is argued that, in general, the criminal career findings of the present sample are remarkably similar to previous findings from other countries; however, this could be a feature of the particular historical background of Barbados. Other implications for criminal career research, including practical applications, are also discussed, as well as directions for future research.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "SUT"

1

Sō̜ngthō̜ng, Prayō̜m-ʻŌ̜rachat. Sut sangūan. Krung Thēp: Samnakphim Tonʻō̜, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Rūmī, Jalāl-Dīn. Sut' Rumi. Moskva: Ga︠i︡atri, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Phumsuwan, Sō̜. Bin sut khō̜pfā. [Bangkok]: Samnakphim Bannakit, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Butnākhō, Dāovīang. Sut thī ʻāo. [Viangchan]: Kom Vannakhadī, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ivy, Poison. Sāilap -- sut hūačhai. Bangkok]: Samnakphim Prinsēt, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Harris, George Washington. Sut Lovingood yarns. Memphis, Tenn: St. Lukes Press, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Atilgan, Yusuf. Ekmek elden sut memeden. Istanbul: YKY, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Liu, Gillian. Sut wyt ti'n teimlo? London: Evans, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Um tut sut: Runoja. Helsinki: Tammi, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Pānai. Hōm khamkō̜n sut "kavī sāobān". Vīangchan: Phai Nām, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "SUT"

1

Vassalos, E., D. Bakalis, and H. T. Vergos. "SUT-RNS Forward and Reverse Converters." In Lecture Notes in Electrical Engineering, 231–44. Dordrecht: Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-94-007-1488-5_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Biere, Armin. "SAT, SMT and Applications." In Logic Programming and Nonmonotonic Reasoning, 1. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04238-6_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Lin, Pey-Chang Kent, and Sunil P. Khatri. "Predictor Set Inference using SAT." In Logic Synthesis for Genetic Diseases, 25–38. New York, NY: Springer New York, 2013. http://dx.doi.org/10.1007/978-1-4614-9429-4_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

"SUT." In Encyclopedia of Big Data Technologies, 1663. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-319-77525-8_100292.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

"sut-2 (C. elegans)." In Encyclopedia of Signaling Molecules, 5246. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-67199-4_103707.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kuroda, H., K. Nakai, M. Kawai, and K. Nomaru. "Status of FEL-SUT." In Free Electron Lasers 2002, II—21—II—22. Elsevier, 2003. http://dx.doi.org/10.1016/b978-0-444-51417-2.50142-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hout, Sam A. "Single-Use Technologies (SUT)." In Sterile Manufacturing, 43–44. CRC Press, 2021. http://dx.doi.org/10.1201/9781003162506-13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

"Sut mae seicolegwyr yn gweithio." In Canllawiau Ymarfer. British Psychological Society, 2017. http://dx.doi.org/10.53841/bpsrep.2017.inf115w.3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

"su1 = supD, su2 = supE, su3 = supF, su4 = supC, su5 = supG and su7 = supU." In Encyclopedia of Genetics, Genomics, Proteomics and Informatics, 1893. Dordrecht: Springer Netherlands, 2008. http://dx.doi.org/10.1007/978-1-4020-6754-9_16285.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Yokoyama, M., F. Oda, K. Nomaru, H. Koike, M. Sobajima, M. Kawai, H. Kuroda, and K. Nakai. "Improvement of KHI FEL device at FEL-SUT." In Free Electron Lasers 2002, 261–64. Elsevier, 2003. http://dx.doi.org/10.1016/b978-0-444-51417-2.50065-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "SUT"

1

Vassalos, E., D. Bakalis, and H. T. Vergos. "SUT-RNS Forward and Reverse Converters." In 2010 IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE, 2010. http://dx.doi.org/10.1109/isvlsi.2010.23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Evangelos, Vassalos, Bakalis Dimitris, and Haridimos T. Vergos. "SUT-RNS Residue-to-Binary Converters Design." In 2012 15th Euromicro Conference on Digital System Design (DSD). IEEE, 2012. http://dx.doi.org/10.1109/dsd.2012.121.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kuroda, H., Koichi Toyoda, and Masayuki Kawai. "Present status of the FEL-SUT project." In Advanced High-Power Lasers and Applications, edited by Marek Osinski, Howard T. Powell, and Koichi Toyoda. SPIE, 2000. http://dx.doi.org/10.1117/12.380896.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Zha, Jiexi, Xiaohong Huang, Jing Qian, and Cesar Viho. "A Generic SUT Adapter Framework for Protocol Conformance Testing." In 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things(iThings) and IEEE Cyber, Physical and Social Computing(CPSCom). IEEE, 2013. http://dx.doi.org/10.1109/greencom-ithings-cpscom.2013.112.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Fardadi, M., A. Selk Ghafari, and S. K. Hannani. "Model Reference Adaptive Control of SUT Building Energy Management System." In ASME 2005 International Mechanical Engineering Congress and Exposition. ASMEDC, 2005. http://dx.doi.org/10.1115/imece2005-81175.

Full text
Abstract:
Model Reference Adaptive Controller (MRAC) design, for Sharif University of Technology (SUT) Building Energy Management System (BEMS) is addressed in this paper. A reference model with fuzzy adaptive control rules was employed to design the controller for a system with time delay and model parameter uncertainties. Simulation study shows good performance of the closed loop system with optimum energy consumption for this system under external load disturbance.
APA, Harvard, Vancouver, ISO, and other styles
6

Kerdprasop, Kittisak, and Nittaya Kerdprasop. "SUT-Miner: A Knowledge Mining and Managing System for Medical Databases." In 2009 20th International Workshop on Database and Expert Systems Application. IEEE, 2009. http://dx.doi.org/10.1109/dexa.2009.24.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

ZHANG, JIE, ZHIWEI WANG, GUANGPU FAN, HUI ZHAO, QI TAN, YONG LI, and WEI WANG. "SUT: a Simple and Morphology-preserving Optical Clearing Agent for Mammal Organs." In Bio-Optics: Design and Application. Washington, D.C.: OSA, 2019. http://dx.doi.org/10.1364/boda.2019.jw5a.6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Cerba, Š., V. Necas, and J. Lüley. "Determination of the Dosimetry Situation in Reactor Physic Laboratory of SUT in Bratislava." In 2020 ANS Virtual Winter Meeting. AMNS, 2020. http://dx.doi.org/10.13182/t123-33337.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Xu, J., X. Feng, S. Ren, and J. Zeng. "Comparison of SUT H∞ - and UKF in Cartesian and Modified Polar Coordinates for bearings-only tracking." In OCEANS 2011. IEEE, 2011. http://dx.doi.org/10.23919/oceans.2011.6107307.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Sadeghzadeh, B., and H. Mehdigholi. "Identification of Underwater Vehicle Hydrodynamic Coefficients Using Model Tests." In ASME 2010 International Mechanical Engineering Congress and Exposition. ASMEDC, 2010. http://dx.doi.org/10.1115/imece2010-40150.

Full text
Abstract:
Predicting the hydrodynamic coefficients of an autonomous underwater vehicle (AUV) is important during vehicle design. SUT-2 is an AUV, being developed by the Marine Engineering Research Center of Sharif University of Technology in Iran (MERC). Model tests are done in the marine engineering laboratory towing tank. In this research, hydrodynamic coefficients are calculated using model test results of an autonomous underwater vehicle. Hydrodynamic forces are also analyzed. These coefficients are used for dynamic modeling and autonomous controller design.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "SUT"

1

Nikolich, Michael Borivoje. Study of the Rare Hadronic Decays D+s → K+π0, D+s → π+ K0s and D+s → π+ π0 at BaBar. Office of Scientific and Technical Information (OSTI), February 2007. http://dx.doi.org/10.2172/1083534.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Yu, Shin-Shan. First Measurement of the Ratio of Branching Fractions Β(Λb → Λc+μ-¯νμ)/Β(Λb → Λc+π-) at CDF II. Office of Scientific and Technical Information (OSTI), January 2005. http://dx.doi.org/10.2172/15017217.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Lizarraga, Marco Antonio Carrasco. Measurement of the B0s lifetime using the semileptonic decay channel B0s → D-sμ+vX. Office of Scientific and Technical Information (OSTI), November 2009. http://dx.doi.org/10.2172/1128092.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Ross, Anthony. Measurement of CP Violation in B0d Mixing Using B0d → D*-μ+(νμ)X Decays. Office of Scientific and Technical Information (OSTI), September 2012. http://dx.doi.org/10.2172/1128093.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Pounder, Nicola Louise. Measurement of the B0s lifetime in B0s → K+ K- decays. Office of Scientific and Technical Information (OSTI), January 2009. http://dx.doi.org/10.2172/948597.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Mumford, Jonathan Reid. Measurement of the Λ0b lifetime in Λ0b → Λ+cπ- decays at the Collider Detector at Fermilab. Office of Scientific and Technical Information (OSTI), September 2008. http://dx.doi.org/10.2172/982485.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Schubert, Jens. Reconstruction of B-→ D*0 e- $\bar{v}$e Decays and Determination of |Vcb|. Office of Scientific and Technical Information (OSTI), January 2006. http://dx.doi.org/10.2172/915390.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hartz, Mark Patrick. Measurement of the B±c Meson Lifetime Using B±c→ J/Ψ + l± + X Decays. Office of Scientific and Technical Information (OSTI), January 2008. http://dx.doi.org/10.2172/948596.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Yamartino, Robert J. A Study of the Reactions K¯0P → Λπ+ and K¯0P → Σ¯0p → Σ0π+ From 1 GeV/c to 12 GeV/c. Office of Scientific and Technical Information (OSTI), June 2018. http://dx.doi.org/10.2172/1453931.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Habarakada Liyanage, Anusha Pushpakumari. Proton form factor ratio, μpGEP/GMP from double spin asymmetry. Office of Scientific and Technical Information (OSTI), August 2013. http://dx.doi.org/10.2172/1105955.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'SUT' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography