Temat: "Correctness" - OpacWWW

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Correctness"" wg kryterium: Temat

Wyświetlanie 1-20 z 7665

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: LoRe: A Programming Model for Verifiably Safe Local-first Software.
Autorzy:: Haas, Julian
Mogk, Ragnar
Yanakieva, Elena
Bieniusa, Annette
Mezini, Mira; Pokaż więcej
Źródło:: ACM Transactions on Programming Languages & Systems. Mar2024, Vol. 46 Issue 1, p1-26. 26p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 2.

Tytuł:: Organizational Toxicity: Inner Circles of Harmful Leadership.
Autorzy:: ARENAS, FIL; Pokaż więcej
Źródło:: Air & Space Operations Review. Winter2023, Vol. 2 Issue 4, p37-48. 12p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 3.

Tytuł:: Model Transformation Testing and Debugging: A Survey.
Autorzy:: TROYA, JAVIER
SEGURA, SERGIO
BURGUEÑO, LOLA
WIMMER, MANUEL; Pokaż więcej
Źródło:: ACM Computing Surveys. May2023, Vol. 55 Issue 4, p1-39. 39p. 1 Illustration.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 4.

Tytuł:: Co-Developing Programs and Their Proof of Correctness.
Autorzy:: Chapman, Roderick
Dross, Claire
Matthews, Stuart
Moy, Yannick; Pokaż więcej
Temat:: SPARK (Computer program language)
PROGRAMMING languages
ELECTRONIC data processing
COMPUTER programming
COMPUTER software development
COMPUTER software correctness
Źródło:: Communications of the ACM; Mar2024, Vol. 67 Issue 3, p84-94, 11p

Periodyk

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 5.

Tytuł:: An architecture refactoring approach to reducing software hierarchy complexity.
Autorzy:: Zhao, Yongxin (AUTHOR)
Wu, Wenhan (AUTHOR)
Fei, Yuan (AUTHOR)
Liu, Zhihao (AUTHOR)
Li, Yang (AUTHOR)
Yang, Yilong (AUTHOR)
Shi, Ling (AUTHOR)
Zhang, Bo (AUTHOR); Pokaż więcej
Źródło:: Journal of Software: Evolution & Process. Apr2024, Vol. 36 Issue 4, p1-27. 27p.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: The Tyranny of Political Correctness? A Game‐Theoretic Model of Social Norms and Implicit Bias.
Autorzy:: Berndt Rasmussen, Katharina (AUTHOR)
Olsson Yaouzis, Nicolas (AUTHOR); Pokaż więcej
Źródło:: Journal of Applied Philosophy. Feb2024, Vol. 41 Issue 1, p122-144. 23p.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Os Politicamente Corretos e os confrontos de autoestimas: o Princípio da Tolerância e o Direito à Justificação para a sustentabilidade do Estado de Direito.
Autorzy:: de Almeida Silva Sousa, Aline; Pokaż więcej
Źródło:: Revista de Movimentos Sociais e Conflitos. jan-jun2023, Vol. 9 Issue 1, p44-64. 21p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 8.

Tytuł:: ETHICAL INTELLECTUALISM AND AMORAL LEGALISM.
Autorzy:: Špoljarić, Bernard; Pokaż więcej
Alternatywny tytuł:: ETHISCHER INTELLEKTUALISMUS UND AMORALICHER LEGALISMUS.
ETIČKI INTELEKTUALIZAM I AMORALNI LEGALIZAM.
Źródło:: Pravnik, Law & Society Review. 2023, Vol. 57 Issue 109, p35-64. 30p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 9.

Tytuł:: The discursive nature of modern science: philosophical understanding.
Autorzy:: Kubalskyi, Oleh; Pokaż więcej
Alternatywny tytuł:: Дискурсивна природа сучасної науки: філософське осмислення.
Źródło:: Skhid. 2023, Vol. 4 Issue 1, p57-63. 7p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 10.

Tytuł:: Conceptual semantics, ethnicities, demonyms, scientific language, and political correctness.
Autorzy:: Meaney, Eduardo
Meaney, Alejandra; Pokaż więcej
Alternatywny tytuł:: Semántica conceptual, etnias, demónimos, lenguaje científico y corrección política.
Źródło:: Cardiovascular & Metabolic Science. Jan-Mar2023, Vol. 34 Issue 1, p4-7. 4p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 11.

Tytuł:: Exploring the Effects of Policies Promoting Political Correctness in the Workplace.
Autorzy:: Henningsen, David Dryden
Henningsen, Mary Lynn Miller; Pokaż więcej
Źródło:: International Journal of Business Communication. Oct2022, Vol. 59 Issue 4, p583-597. 15p. 2 Charts.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 12.

Tytuł:: "You want to be politically correct": Opposition to political correctness predicts less adherence to COVID‐19 guidelines in the US.
Autorzy:: Mackey, Cameron D. (AUTHOR)
Rios, Kimberly (AUTHOR)
Johnson, Evan (AUTHOR); Pokaż więcej
Źródło:: Journal of Applied Social Psychology. Aug2023, Vol. 53 Issue 8, p725-742. 18p. 1 Diagram, 6 Charts, 3 Graphs.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Die Grenzen des Sagbaren
Autorzy:: Niehr, ThomasAff1, IDs11613024008742_cor1; Pokaż więcej
Alternatywny tytuł:: The limits of what can be said
Źródło:: Organisationsberatung, Supervision, Coaching. :1-6

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Is the change from NAFLD to MASLD driven by political correctness?
Autorzy:: Sanal, Madhusudana Girija (AUTHOR); Pokaż więcej
Źródło:: Journal of Hepatology. Feb2024, Vol. 80 Issue 2, pe74-e76. 3p.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Development of Fushchich’s Mathematical Model of Heat Transfer
Autorzy:: Korzyuk, V. I.Aff1, Aff2, IDs10891024029123_cor1
Rud’ko, Ya. V.; Pokaż więcej
Źródło:: Journal of Engineering Physics and Thermophysics. :1-12

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Tarski’s Theory of the Formal Correctness of Definitions
Autorzy:: Hitchcock, DavidAff1, IDs10992023097290_cor1; Pokaż więcej
Źródło:: Journal of Philosophical Logic. 53(1):181-221

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: A Pragmatic Theory of Computational Artefacts
Autorzy:: Buda, Alessandro G.Aff1, IDs11023023096500_cor1
Primiero, GiuseppeAff1, Aff2; Pokaż więcej
Źródło:: Minds and Machines: Journal for Artificial Intelligence, Philosophy and Cognitive Science. 34(Suppl 1):139-170

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Compositional truth with propositional tautologies and quantifier-free correctness
Autorzy:: Wcisło, BartoszAff1, IDs00153023008933_cor1; Pokaż więcej
Źródło:: Archive for Mathematical Logic. 63(1-2):239-257

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Three Early Formal Approaches to the Verification of Concurrent Programs
Autorzy:: Jones, Cliff B.Aff1, IDs11023023096215_cor1; Pokaż więcej
Źródło:: Minds and Machines: Journal for Artificial Intelligence, Philosophy and Cognitive Science. 34(Suppl 1):73-92

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 20.

Tytuł:: Politická korektnost a „cancel culture”: Hrozí nová totalita?
Autorzy:: Cíbik, Matej; Pokaż więcej
Alternatywny tytuł:: Political Correctness and "Cancel Culture": A New Totality on the Rise?
Źródło:: SALVE. 2022, Issue 2, p175-184. 10p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Wyświetlanie 1-20 z 7665

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę ""Correctness"" wg kryterium: Temat

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji