Journal articles: 'SAT'

1

Nieuwenhuis, Robert, Albert Oliveras, and Cesare Tinelli. "Solving SAT and SAT Modulo Theories." Journal of the ACM 53, no. 6 (November 2006): 937–77. http://dx.doi.org/10.1145/1217856.1217859.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Dal Palù, Alessandro, Agostino Dovier, Andrea Formisano, and Enrico Pontelli. "CUD@SAT: SAT solving on GPUs." Journal of Experimental & Theoretical Artificial Intelligence 27, no. 3 (September 5, 2014): 293–316. http://dx.doi.org/10.1080/0952813x.2014.954274.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Ganian, Robert, and Stefan Szeider. "New width parameters for SAT and #SAT." Artificial Intelligence 295 (June 2021): 103460. http://dx.doi.org/10.1016/j.artint.2021.103460.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Magaji, Buhari, Nasiru Yahaya Pindiga, and Ibrahim Mohammed Bida. "Synthesis of TiO\(_2\) Impregnated Ribes nigrum Stem Nanoactivated Carbon and their Application to Remove Heavy Metals." Asian Journal of Chemical Sciences 14, no. 2 (March 26, 2024): 149–60. http://dx.doi.org/10.9734/ajocs/2024/v14i2300.

Full text

Abstract:

Nanoactivated carbons from Ribes nigrum (black currant) stem were prepared using two-step procedure with excellent yield and were characterized using different spectroscopic techniques. The FTIR spectroscopy revealed O-H, C=C, C=N, and C-O stretching. XRD analysis revealed the particle sizes as 29.57 nm for stem activated carbon (SAC) and 26.55 nm for stem activated carbon impregnated with titanium (SAT) while, the morphology of the SAC and SAT were revealed by SEM to be spherical, granular and porous. The prepared nanoactivated materials were used for removal of Pb2+ and Cd2+ from aqueous solution. The influences of initial metal ion concentration, agitation time, adsorbent dose, temperature and pH were studied in batch experiments at room temperature. The adsorption equilibriums were rapid at 60 min of agitation for Pb2+ and Cd2+ on SAT with appreciable %removal. The adsorption data for Pb2+ and Cd2+ on SAT fitted well into Freundlich isotherm than Langmuir given correlation coefficient (R2) very close to unity and appreciable maximum adsorption capacity KF > 1.00. The fitting into Freundlich indicates multilayer coverage on the adsorbents. The kinetic studies showed good correlation coefficient for a pseudo-second order kinetic model for the SAT. The enthalpies of the adsorption process are: +12.754 and +18.377 KJ mol-1 for Pb2+ and Cd2+ on SAT respectively. The entropies of the adsorption process were also evaluated and have been found to be +41.805 and +12.151 KJ mol-1 for Pb2+ and Cd2+ on SAT. The results showed that SAT has the potential to be applied as alternative low-cost nanoadsorbents in the remediation of metal contamination in water.

APA, Harvard, Vancouver, ISO, and other styles

5

Sugawa, Oka, and I. Putu Suhada Agung. "Strategi Manajemen Acara Festival Sinema Akhir Tahun (SAT) Sebagai Jalur Ekshibisi Film Tahun 2019 - 2021." CandraRupa : Journal of Art, Design, and Media 3, no. 1 (March 7, 2024): 10–21. http://dx.doi.org/10.37802/candrarupa.v3i1.580.

Full text

Abstract:

Sinema Akhir Tahun (SAT) merupakan festival film kampus yang diselenggarakan oleh mahasiswa Prodi Film dan Televisi (FTV) Institut Seni Indonesia (ISI) Surakarta. SAT diselenggarakan sebagai distribusi alternatif, supaya para pembuat film, komunitas independen dan mahasiswa dapat menayangkan karyanya. Penelitian ini berfokus pada analisis manajemen acara SAT pada tahun 2019, 2020, dan 2021. Pemilihan tiga tahun tersebut untuk mengetahui strategi manajemen acara SAT sebelum pandemi, saat pandemi dan setelah pandemi. Penelitian ini menggunakan metode penelitian deskriptif kualitatif. Data dikumpulkan dengan wawancara narasumber kunci, studi dokumentasi berupa arsip dan laporan kegiatan, serta triangulasi sumber data. Analisis data SWOT digunakan untuk mengetahui strategi dan aspek evaluatif pada konsep Management Event Joe Goldblatt yang terdiri dari research, design, planning, coordinating, dan evaluation. Hasil penelitian menunjukkan bahwa penyelenggaraan SAT 2019, 2020, dan 2021 terbukti mampu menjadi embrio festival film mahasiswa di Indonesia yang diinisiasi oleh kampus.

APA, Harvard, Vancouver, ISO, and other styles

6

Gregg, Kevin R. "Japan's SAT?" Science 260, no. 5106 (April 16, 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277.a.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

McLeod, Norman. "Japan's SAT?" Science 260, no. 5106 (April 16, 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277.b.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Carroll, John J. "Japan's SAT?" Science 260, no. 5106 (April 16, 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277.c.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Carroll, John J. "Japan's SAT?" Science 260, no. 5106 (April 16, 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277-c.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Obradović, Nadežda, and Vida Ognjenović. "Stari sat." World Literature Today 72, no. 1 (1998): 170. http://dx.doi.org/10.2307/40153662.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Gregg, K. R. "Japan's SAT?" Science 260, no. 5106 (April 16, 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

MCLeod, N. "Japan's SAT?" Science 260, no. 5106 (April 16, 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277-a.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Carroll, J. J. "Japan's SAT?" Science 260, no. 5106 (April 16, 1993): 277. http://dx.doi.org/10.1126/science.260.5106.277-b.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Kim, S. W. "Japan's SAT." Science 260, no. 5106 (April 16, 1993): 278. http://dx.doi.org/10.1126/science.8469978.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Cartron, J. P., and Ph Rouger. "SAT 93′." Transfusion Clinique et Biologique 1, no. 1 (January 1994): 8. http://dx.doi.org/10.1016/s1246-7820(05)80049-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Ruiz, Esmeralda. "Distributed SAT." Artificial Intelligence Review 35, no. 3 (December 29, 2010): 265–85. http://dx.doi.org/10.1007/s10462-010-9194-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Gocht, Stephan, and Tomáš Balyo. "Accelerating SAT Based Planning with Incremental SAT Solving." Proceedings of the International Conference on Automated Planning and Scheduling 27 (June 5, 2017): 135–39. http://dx.doi.org/10.1609/icaps.v27i1.13798.

Full text

Abstract:

One of the most successful approaches to automated planning is the translation to propositional satisfiability (SAT). We employ incremental SAT solving to increase the capabilities of several modern encodings for SAT based planning. Experiments based on benchmarks from the 2014 International Planning Competition show that an incremental approach significantly outperforms non incremental solving. Although we are using sequential scheduling of makespans, we can outperform the state-of-the-art SAT based planning system Madagascar in the number of solved instances.

APA, Harvard, Vancouver, ISO, and other styles

18

Xie, Yang, and Ankur Srivastava. "Anti-SAT: Mitigating SAT Attack on Logic Locking." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 38, no. 2 (February 2019): 199–207. http://dx.doi.org/10.1109/tcad.2018.2801220.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Avidor, Adi, and Uri Zwick. "Approximating MIN 2-SAT and MIN 3-SAT." Theory of Computing Systems 38, no. 3 (April 14, 2005): 329–45. http://dx.doi.org/10.1007/s00224-005-1140-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Blašková, Martina, Dominika Tumová, Rudolf Blaško, and Justyna Majchrzak-Lepczyk. "Spirals of Sustainable Academic Motivation, Creativity, and Trust of Higher Education Staff." Sustainability 13, no. 13 (June 23, 2021): 7057. http://dx.doi.org/10.3390/su13137057.

Full text

Abstract:

Sustainability has to penetrate more and more into higher education. It should not focus only on traditional elements. It should also enter new, but for future improvement, extremely important areas. Based on this premise, creativity and motivation, when additionally interconnected and supported by trust that is provided and achieved, decide on the progress and sustainability of universities. This connection is gaining importance especially from the point of view of building solid foundations and mechanisms that functionally preserve the potential effects of these elements in the future. For this reason and following the nature, importance, and content of sustainable academic motivation (SAM), the paper introduces two new concepts: sustainable academic creativity (SAC) and sustainable academic trust (SAT). For further original contributions, the paper hypothesizes the existence of mutual—spiral—relations of sustainable academic motivation (SAM), sustainable academic creativity (SAC), and sustainable academic trust (SAT). The empirical section tests the validity of this claim in the universities of two countries: the Slovak Republic and Poland. A survey performed on a sample of n=181 pedagogical, scientific, management, and administrative staff in higher education confirms the existence of these spirals. The results indicate the spiral effect of motivation when connected with creativity and trust and show that it is accented by the crucial principles of sustainability (responsibility, novelty, usefulness, progress, etc.). Therefore, the paper’s conclusion contains the explanations for the potential occurrence of three types of sustainably mutual systems and complexes. These are: (a) individual sustainable systems of SAM, SAC, and SAT; (b) group/sectional sustainable systems of SAM, SAC, and SAT; and (c) the global sustainable complex of SAM, SAC, and SAT in the university.

APA, Harvard, Vancouver, ISO, and other styles

21

Heeran, Aisling B., Jessica McCready, Margaret R. Dunne, Noel E. Donlon, Timothy S. Nugent, Anshul Bhardwaj, Kathleen A. J. Mitchelson, et al. "Opposing Immune-Metabolic Signature in Visceral Versus Subcutaneous Adipose Tissue in Patients with Adenocarcinoma of the Oesophagus and the Oesophagogastric Junction." Metabolites 11, no. 11 (November 10, 2021): 768. http://dx.doi.org/10.3390/metabo11110768.

Full text

Abstract:

Oesophageal adenocarcinoma (OAC) is an exemplar model of obesity-associated cancer. Previous work in our group has demonstrated that overweight/obese OAC patients have better responses to neoadjuvant therapy, but the underlying mechanisms are unknown. Unravelling the immune–metabolic signatures of adipose tissue may provide insight for this observation. We hypothesised that different metabolic pathways predominate in visceral (VAT) and subcutaneous adipose tissue (SAT) and inflammatory secretions will differ between the fat depots. Real-time ex vivo metabolic profiles of VAT and SAT from 12 OAC patients were analysed. These samples were screened for the secretion of 54 inflammatory mediators, and data were correlated with patient body composition. Oxidative phosphorylation (OXPHOS) was significantly higher in VAT when compared to SAT. OXPHOS was significantly higher in the SAT of patients receiving neoadjuvant treatment. VEGF-A, VEGF-C, P1GF, Flt-1, bFGF, IL-15, IL-16, IL-17A, CRP, SAA, ICAM-1, VCAM-1, IL-2, IL-13, IFN-γ, and MIP-1β secretions were significantly higher from VAT than SAT. Higher levels of bFGF, Eotaxin-3, and TNF-α were secreted from the VAT of obese patients, while higher levels of IL-23 and TARC were secreted from the SAT of obese patients. The angiogenic factors, bFGF and VEGF-C, correlated with visceral fat area. Levels of OXPHOS are higher in VAT than SAT. Angiogenic, vascular injury and inflammatory cytokines are elevated in VAT versus SAT, indicating that VAT may promote inflammation, linked to regulating treatment response.

APA, Harvard, Vancouver, ISO, and other styles

22

Hannon, Brenda. "General and non-general intelligence factors simultaneously influence SAT, SAT-V, and SAT-M performance." Intelligence 59 (November 2016): 51–63. http://dx.doi.org/10.1016/j.intell.2016.07.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

GARPELLI, Lia Nogueira, and Didier GASTMANS. "Potencial hidromineral dos aquíferos do estado de São Paulo." Pesquisas em Geociências 47, no. 3 (December 17, 2020): e100458. http://dx.doi.org/10.22456/1807-9806.109987.

Full text

Abstract:

O estado de São Paulo lidera a produção brasileira de água mineral. Devido ao seu complexo arcabouço hidrogeológico, composto por vários aquíferos sedimentares e fraturados, as águas minerais apresentam diferentes características hidrominerais. Assim, o principal objetivo foi avaliar o potencial hidromineral dos aquíferos paulistas, fundamentado pelo Código de Águas Minerais (CAM) e legislações internacionais correlatas, a partir de uma base de dados pública de laudos analíticos de 276 poços de águas subterrâneas da Companhia Ambiental do Estado de São Paulo (CETESB). Baseado nas concentrações de Sólidos Totais Dissolvidos (STD), observou-se que as águas subterrâneas possuem grau variável de mineralização, sendo as águas mais mineralizadas associadas aos sistemas aquíferos Serra Geral (SASG), Tubarão (SAT) e Bauru (SAB). Entretanto, apenas 8,7% das águas se enquadrariam como mínimo e baixo teores de STD pela legislação dos Estados Unidos. Similarmente, apenas duas amostras seriam enquadradas como muito pouco mineralizadas e 81,5% em pouco mineralizadas pela legislação europeia. Pelas classificações dispostas pelo CAM, as amostras foram caracterizadas pela temperatura, predominantemente, como frias e hipotermais, e uma pequena parcela como mesotermais e hipotermais. As águas mais frias prevaleceram no aquífero Cristalino (SAC), enquanto as águas de maiores temperaturas ocorreram no Guarani (SAG). Todo os aquíferos possuíram potencial hidromineral pela classificação química, pela concentração de flúor, seguido em ordem decrescente, pelo lítio no SAC, o vanádio no SASG, a alcalina bicarbonato no SAT, sulfato e selênio de forma mista no SAT e SASG.

APA, Harvard, Vancouver, ISO, and other styles

24

Kaplan, Jack. "The Effectiveness of SAT Coaching on Math SAT Scores." CHANCE 18, no. 2 (March 2005): 25–34. http://dx.doi.org/10.1080/09332480.2005.10722718.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Alyahya, Tasniem Nasser, Mohamed El Bachir Menai, and Hassan Mathkour. "On the Structure of the Boolean Satisfiability Problem: A Survey." ACM Computing Surveys 55, no. 3 (April 30, 2023): 1–34. http://dx.doi.org/10.1145/3491210.

Full text

Abstract:

The Boolean satisfiability problem (SAT) is a fundamental NP-complete decision problem in automated reasoning and mathematical logic. As evidenced by the results of SAT competitions, the performance of SAT solvers varies substantially between different SAT categories (random, crafted, and industrial). A suggested explanation is that SAT solvers may exploit the underlying structure inherent to SAT instances. There have been attempts to define the structure of SAT in terms of structural measures such as phase transition, backbones, backdoors, small-world, scale-free, treewidth, centrality, community, self-similarity, and entropy. Still, the empirical evidence of structural measures for SAT has been provided for only some SAT categories. Furthermore, the evidence has not been theoretically proven. Also, the impact of structural measures on the behavior of SAT solvers has not been extensively examined. This work provides a comprehensive study on structural measures for SAT that have been presented in the literature. We provide an overview of the works on structural measures for SAT and their relatedness to the performance of SAT solvers. Accordingly, a taxonomy of structural measures for SAT is presented. We also review in detail important applications of structural measures for SAT, focusing mainly on enhancing SAT solvers, generating SAT instances, and classifying SAT instances.

APA, Harvard, Vancouver, ISO, and other styles

26

Hannon, Brenda. "Not All Factors Contribute Equally to European-American and Hispanic Students’ SAT Scores." Journal of Intelligence 7, no. 3 (August 1, 2019): 18. http://dx.doi.org/10.3390/jintelligence7030018.

Full text

Abstract:

This exploratory study shows that the contributions of cognitive, metacognitive awareness, performance avoidance, test anxiety, and socioeconomic family background factors to SAT scores (i.e., overall SAT, SAT-V, SAT-M) may vary as a function of ethnicity (i.e., European-American, Hispanic). Four hundred and fifty-seven students, 282 European-American and 175 Hispanic, completed multiple measures of cognitive, metacognitive awareness, social/personality (i.e., test anxiety, performance avoidance, academic self-efficacy), and socioeconomic family background factors, which were used in regression analyses predicting overall SAT, SAT-V, and SAT-M scores. The results show that most factors contributed significantly to overall SAT, SAT-M, and SAT-V scores. In addition, the ethnicity X test anxiety interaction was significant for all three SAT measures, a finding that suggests ethnic differences in the contributions of test anxiety to overall SAT, SAT-M, and SAT-V scores. For European-American students, test anxiety had no influence on overall SAT and SAT-M scores, whereas for Hispanic students test anxiety had a negative influence on overall SAT and SAT-M scores. For SAT-V scores, interpreting the ethnicity X test anxiety interaction was more complicated because both the significant main effect of test anxiety and the ethnicity X test anxiety interaction must be interpreted together. Whereas test anxiety negatively influenced European-Americans’ SAT-V scores, this negative influence was less than the influence it had on Hispanic students’ SAT-V scores. Indeed, for Hispanic students with high test anxiety, this negative influence was profound. Taken as a whole, these results suggest that any theory explaining the SAT may need to take into account multiple predictors as well as the possibility that the contributions of these predictors may vary as a function of ethnicity.

APA, Harvard, Vancouver, ISO, and other styles

27

Rosales, José Carlos, and María Ángeles Moreno-Frías. "The Covariety of Saturated Numerical Semigroups with Fixed Frobenius Number." Foundations 4, no. 2 (June 3, 2024): 249–62. http://dx.doi.org/10.3390/foundations4020016.

Full text

Abstract:

In this work, we show that if F is a positive integer, then Sat(F)={S∣S is a saturated numerical semigroup with Frobenius number F} is a covariety. As a consequence, we present two algorithms: one that computes Sat(F), and another which computes all the elements of Sat(F) with a fixed genus. If X⊆S\Δ(F) for some S∈Sat(F), then we see that there exists the least element of Sat(F) containing X. This element is denoted by Sat(F)[X]. If S∈Sat(F), then we define the Sat(F)-rank of S as the minimum of {cardinality(X)∣S=Sat(F)[X]}. In this paper, we present an algorithm to compute all the elements of Sat(F) with a given Sat(F)-rank.

APA, Harvard, Vancouver, ISO, and other styles

28

Heule, Marijn J. H., Matti Järvisalo, and Martin Suda. "SAT Competition 2018." Journal on Satisfiability, Boolean Modeling and Computation 11, no. 1 (September 1, 2019): 133–54. http://dx.doi.org/10.3233/sat190120.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Lyons, P. D. "She Sat Crying." Books Ireland, no. 229 (2000): 75. http://dx.doi.org/10.2307/20632050.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Vigdor, Jacob L., and Charles T. Clotfelter. "Retaking the SAT." Journal of Human Resources XXXVIII, no. 1 (2003): 1–33. http://dx.doi.org/10.3368/jhr.xxxviii.1.1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Froleyks, Nils, Marijn Heule, Markus Iser, Matti Järvisalo, and Martin Suda. "SAT Competition 2020." Artificial Intelligence 301 (December 2021): 103572. http://dx.doi.org/10.1016/j.artint.2021.103572.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Vigdor, Jacob L., and Charles T. Clotfelter. "Retaking the SAT." Journal of Human Resources 38, no. 1 (2003): 1. http://dx.doi.org/10.2307/1558754.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Hannon, Brenda. "Hispanics’ SAT Scores." Hispanic Journal of Behavioral Sciences 37, no. 2 (March 24, 2015): 204–22. http://dx.doi.org/10.1177/0739986315573249.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Bracey, Gerald W. "The SAT Elite." Phi Delta Kappan 83, no. 5 (January 2002): 351–420. http://dx.doi.org/10.1177/003172170208300506.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Scott, Helen, and Christina Dusej. "The Sat Program." Australian Journal of Career Development 2, no. 3 (September 1993): 10–11. http://dx.doi.org/10.1177/103841629300200305.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Conte, Gian Biagio. "Petronius, Sat. 141.4." Classical Quarterly 37, no. 2 (December 1987): 529–32. http://dx.doi.org/10.1017/s0009838800030834.

Full text

Abstract:

These are the very last words of Eumolpus' testament. The editors all print them thus, but I suspect a hidden corruption indevoverint. The text may seem to have an acceptable meaning, but only on a superficial reading inattentive to the whole context. A certain exegetical discomfort becomes noticeable if the translations are compared: Ernout renders ‘maudire mon âme’, Ehlers in Müller's second and third editions translates ‘sie meinen letzten Atemzug herbeiwünschten’ (thus givingspiritusa strained translation as though it were extremus orultimus spiritus), and Cesareo- Terzaghi's edition (under Pasquali's supervision) prefers to render with a nuance of the future ‘con quel cuore stesso con cui mi avranno maledetto l'anima’. Obviously,devovereis being understood as synonymous withexsecrari. This is an attested secondary meaning, ‘curse’, ‘execrate’, which developed from the technical religious one connected with the ritual ofdevotio. According to this interpretation, the captatores cursed the fact that Eumolpus, apparently a sick man on the verge of death, continued to live longer than they could reasonably have expected when they began to court him. But the expression does not seem adequate for conveying this meaning: instead, we would expect something likevitam meam devoverint or me et caput meum devoverintor, better,me ad mortem devoverint, or similarly explicit expressions.

APA, Harvard, Vancouver, ISO, and other styles

37

Schöning, Uwe. "Das SAT-Problem." Informatik-Spektrum 33, no. 5 (July 28, 2010): 479–83. http://dx.doi.org/10.1007/s00287-010-0459-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Balyo, Tomáš, Armin Biere, Markus Iser, and Carsten Sinz. "SAT Race 2015." Artificial Intelligence 241 (December 2016): 45–65. http://dx.doi.org/10.1016/j.artint.2016.08.007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Griffiths, PD. "Sat-Nav virology." Reviews in Medical Virology 18, no. 5 (September 2008): 291–92. http://dx.doi.org/10.1002/rmv.594.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Brockdorff, Neil. "SAT in Silence." Developmental Cell 16, no. 4 (April 2009): 483–84. http://dx.doi.org/10.1016/j.devcel.2009.03.013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Escoffier, Bruno, and Vangelis Th Paschos. "Differential approximation of min sat, max sat and related problems." European Journal of Operational Research 181, no. 2 (September 2007): 620–33. http://dx.doi.org/10.1016/j.ejor.2005.04.057.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Demri, Stéphane. "3-SAT = SAT for a class of normal modal logics." Information Processing Letters 54, no. 5 (June 1995): 281–87. http://dx.doi.org/10.1016/0020-0190(95)00060-p.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Ganai, Malay K., Aarti Gupta, Zijiang Yang, and Pranav Ashar. "Efficient distributed SAT and SAT-based distributed Bounded Model Checking." International Journal on Software Tools for Technology Transfer 8, no. 4-5 (April 5, 2006): 387–96. http://dx.doi.org/10.1007/s10009-005-0203-z.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Lake, Jordan E., Carlee Moser, Liz Johnston, Clara Magyar, Scott D. Nelson, Kristine M. Erlandson, Todd T. Brown, and Grace A. McComsey. "CT Fat Density Accurately Reflects Histologic Fat Quality in Adults With HIV On and Off Antiretroviral Therapy." Journal of Clinical Endocrinology & Metabolism 104, no. 10 (April 11, 2019): 4857–64. http://dx.doi.org/10.1210/jc.2018-02785.

Full text

Abstract:

Abstract Context Microscopic measurement of adipocyte size is the gold standard for determining adipose tissue (AT) quality. AT density on CT may also reflect adipocyte quality (lower density = poorer quality). Objective We used abdominal subcutaneous AT (SAT) specimens and CT scans to validate CT SAT density as a marker of SAT quality in adults living with HIV. Setting and Design Secondary data analysis from completed trial of antiretroviral therapy (ART) initiation (ACTG A5224s). CT abdominal SAT density was measured in HU. SAT specimens were digitally scanned for calculation of mean adipocyte area. Participants Participants had SAT biopsy and CT data at baseline (n = 54) and HIV-1 RNA <50 copies per milliliter on ART and biopsy or CT data at week 96 (n = 30). Outcome Measures Spearman correlations and linear regression models adjusting for participant characteristics examined associations between SAT density and adipocyte area. Results Baseline median age was 40 years, CD4+ T lymphocyte count 219 cells per cubic millimeter, and body mass index 26.0 kg/m2; 89% were male and 67% white. Median SAT area and density were 199 cm2 and −100 HU. Over 96 weeks, SAT area increased (+18%) and SAT density decreased (−3%). Mean SAT adipocyte area correlated with SAT density (P < 0.01) off and on ART after adjustment for SAT area, age, race, sex, CD4+ T lymphocyte count, and HIV-1 RNA. Conclusions CT SAT density correlates with biopsy-quantified SAT adipocyte size in adults with HIV on and off ART, suggesting that CT is a useful tool for noninvasive assessment of SAT quality.

APA, Harvard, Vancouver, ISO, and other styles

45

Uemura, Satoshi, Sayaka Yoshida, Fumi Shishido, and Jin-ichi Inokuchi. "The Cytoplasmic Tail of GM3 Synthase Defines Its Subcellular Localization, Stability, and In Vivo Activity." Molecular Biology of the Cell 20, no. 13 (July 2009): 3088–100. http://dx.doi.org/10.1091/mbc.e08-12-1219.

Full text

Abstract:

GM3 synthase (SAT-I) is the primary glycosyltransferase responsible for the biosynthesis of ganglio-series gangliosides. In this study, we identify three isoforms of mouse SAT-I proteins, named M1-SAT-I, M2-SAT-I, and M3-SAT-I, which possess distinct lengths in their NH2-terminal cytoplasmic tails. These isoforms are produced by leaky scanning from mRNA variants of mSAT-Ia and mSAT-Ib. M2-SAT-I and M3-SAT-I were found to be localized in the Golgi apparatus, as expected, whereas M1-SAT-I was exclusively found in the endoplasmic reticulum (ER). Specific multiple arginines (R) arranged in an R-based motif, RRXXXXR necessary for ER targeting, were found in the cytoplasmic tail of M1-SAT-I, and in vivo GM3 biosynthesis by M1-SAT-I was very low because of restricted transport to the Golgi apparatus. In addition, M1-SAT-I and M3-SAT-I had a long half-life relative to M2-SAT-I. This is the first report demonstrating the presence of an ER-targeting R-based motif in the cytoplasmic tail of a protein in the mammalian glycosyltransferase family of enzymes. The system, which produces SAT-I isoforms having distinct characteristics, is likely to be of critical importance for the regulation of GM3 biosynthesis under various pathological and physiological conditions.

APA, Harvard, Vancouver, ISO, and other styles

46

López-Cruces, Juan Luis. "Lucilius contre Amphion (Sat. I 1)." Hermes 148, no. 4 (2020): 481. http://dx.doi.org/10.25162/hermes-2020-0033.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Кондратьев, В. С., А. А. Семенов, and О. С. Заикин. "Duplicates of conflict clauses in CDCL derivation and their usage to invert some cryptographic functions." Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie), no. 1 (January 20, 2019): 54–66. http://dx.doi.org/10.26089/nummet.v20r106.

Full text

Abstract:

Изучен феномен повторного порождения конфликтных ограничений SAT-решателями в процессе работы с трудными экземплярами задачи о булевой выполнимости. Данный феномен является следствием применения эвристических механизмов чистки конфликтных баз, которые реализованы во всех современных SAT-решателях, основанных на алгоритме CDCL (Conflict Driven Clause Learning). Описана новая техника, которая позволяет отслеживать повторно порождаемые дизъюнкты и запрещать их последующее удаление. На базе предложенных технических решений построен новый многопоточный SAT-решатель (SAT, SATisfiability), который на ряде SAT-задач, кодирующих обращение криптографических хеш-функций, существенно превзошел по эффективности многопоточные решатели, занимавшие в последние годы высокие места на специализированных соревнованиях. A phenomenon of conflict clauses generated repeatedly by SAT solvers is studied. Such clauses may appear during solving hard Boolean satisfiability problems (SAT). This phenomenon is caused by the fact that the modern SAT solvers are based on the CDCL algorithm that generates conflict clauses. A database of such clauses is periodically and partially cleaned. A new approach for practical SAT solving is proposed. According to this approach, the repeatedly generated conflict clauses are tracked, whereas their further generation is prohibited. Based on this approach, a multithreaded SAT solver was developed. This solver was compared with the best multithreaded SAT solvers awarded during the last SAT competitions. According to the experimental results, the developed solver greatly outperforms its competitors on several SAT instances encoding the inversion of some cryptographic hash functions.

APA, Harvard, Vancouver, ISO, and other styles

48

Hanssen, Jaap L. J., Robert J. P. van der Wal, Henrica M. J. van der Linden, Joffrey van Prehn, Henk Scheper, and Mark G. J. de Boer. "Dosing and treatment duration of suppressive antimicrobial therapy in orthopedic implant infections: a cohort study." Journal of Bone and Joint Infection 9, no. 3 (June 4, 2024): 149–59. http://dx.doi.org/10.5194/jbji-9-149-2024.

Full text

Abstract:

Abstract. Introduction: Limited data inform about the optimal dosing and duration of suppressive antimicrobial therapy (SAT) for orthopedic implant infection (OII). We aimed to compare the effectiveness of low-dosage with standard-dosage SAT and evaluate the safety of stopping SAT. Methods: All patients with OII treated with SAT from 2011 to 2022 were retrospectively included. Data were extracted from electronic patient files. Low-dosage SAT was defined as antimicrobial therapy dosed lower than the standard dosage recommended for OII. The association of dosing strategy and other factors with failure-free survival were assessed by Kaplan–Meier and Cox proportional hazard models. Results: One-hundred-and-eight patients were included. The median follow-up time after SAT initiation was 21 months (interquartile range (IQR) 10–42 months). SAT was successful in 74 patients (69 %). Low-dosage SAT (n=82) was not associated with failure in univariate (hazard ratio (HR) 1.23, 95 % confidence interval (CI) 0.53–2.83) and multivariate analyses (HR 1.24, 95 % CI 0.54–2.90). In 25 patients (23 %), SAT was stopped after a median treatment duration of 26 months. In this group, one patient (4 %) developed a relapse. Conclusions: In this study, low-dosage SAT was as effective as standard dosage SAT. Moreover, stopping SAT after 2 to 3 years may be justified in patients with a good clinical course. These findings warrant further research on optimal dosing and duration of SAT and on the durability of in vivo biofilms.

APA, Harvard, Vancouver, ISO, and other styles

49

Hannon, Brenda. "Test anxiety and performance-avoidance goals explain gender differences in SAT-V, SAT-M, and overall SAT scores." Personality and Individual Differences 53, no. 7 (November 2012): 816–20. http://dx.doi.org/10.1016/j.paid.2012.06.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Jarusutthirak, C., G. Amy, and D. Foss. "Potable reuse of wastewater effluent through an integrated soil aquifer treatment (SAT) - membrane system." Water Supply 3, no. 3 (June 1, 2003): 25–33. http://dx.doi.org/10.2166/ws.2003.0004.

Full text

Abstract:

Soil aquifer treatment (SAT) has been shown to provide significant reductions of wastewater effluent organic matter (EfOM). While SAT can renovate wastewater effluent to levels commensurate with potable reuse, SAT represents only a single treatment barrier. Membrane filtration has been demonstrated to be an alternative treatment process for wastewater reclamation. However, the performance of membrane filtration is significantly constrained by membrane fouling, reducing membrane productivity in terms of flux decline. Soil aquifer treatment (SAT) is used as a primary barrier in the reclamation system to remove a complex suite of chemical and biological contaminants in wastewater. This study of membrane filtration of SAT-source waters is intended to determine the benefits of the SAT system in terms of membrane fouling reduction with membrane filtration providing a secondary barrier. Membrane treatment of SAT-recovered water provides a multiple barrier exhibiting additional organic matter removal. Moreover, the SAT system also provides for storage of reclaimed water. The synergy between SAT and membrane treatment has led to the concept of an integrated SAT-membrane system for potable reuse.

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'SAT'

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