المؤلفون: De Luca F., Pigazzini R., Rosano G., Coppola T.

المساهمون: De Luca, F., Pigazzini, R., Rosano, G., Coppola, T.

مصطلحات موضوعية: Irregular beam wave, NSS systematic serie, Planing hull, Regular beam wave, Roll decay tests

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:001186224800001; volume:296; journal:OCEAN ENGINEERING; https://hdl.handle.net/11588/957739Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85187297734

الإتاحة: https://doi.org/10.1016/j.oceaneng.2024.117097Test
https://hdl.handle.net/11588/957739Test

المؤلفون: Salvatore Capasso, Bonaventura Tagliafierro, Simone Mancini, Iván Martínez-Estévez, Corrado Altomare, José M. Domínguez, Giacomo Viccione

المساهمون: Capasso, Salvatore, Tagliafierro, Bonaventura, Mancini, Simone, Martínez-Estévez, Iván, Altomare, Corrado, Domínguez, José M., Viccione, Giacomo

مصطلحات موضوعية: SPH, planing hull, CFD, seakeeping, regular waves, open boundaries

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000978934200001; volume:11; issue:4; journal:JOURNAL OF MARINE SCIENCE AND ENGINEERING; https://hdl.handle.net/11588/948265Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85154532374

الإتاحة: https://doi.org/10.3390/jmse11040700Test
https://hdl.handle.net/11588/948265Test

المؤلفون: Belardo F., Stanic Z., Zaslavsky T.

المساهمون: Belardo, F., Stanic, Z., Zaslavsky, T.

مصطلحات موضوعية: Bidirected graph, Cartesian product graph, graph eigenvalue, regular signed graph, signed line graph, signed total graph

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000892434600004; volume:23; issue:1; firstpage:1; lastpage:17; numberofpages:17; journal:ARS MATHEMATICA CONTEMPORANEA; https://hdl.handle.net/11588/929766Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85134018324; https://amc-journal.eu/index.php/amc/article/view/2842Test

الإتاحة: https://doi.org/10.26493/1855-3974.2842.6b5Test
https://hdl.handle.net/11588/929766Test
https://amc-journal.eu/index.php/amc/article/view/2842Test

المؤلفون: Bozzelli L., Montanari A., Peron A., Sala P.

المساهمون: Javier Esparza, Daniel Kral, Bozzelli, L., Montanari, A., Peron, A., Sala, P.

مصطلحات موضوعية: Complexity, Interval Temporal Logic, Satisfiability, Star-Free Regular Languages

العلاقة: ispartofbook:Leibniz International Proceedings in Informatics, LIPIcs; 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020; volume:170; firstpage:1; lastpage:14; numberofpages:14; serie:LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS; alleditors:Javier Esparza, Daniel Kral; http://hdl.handle.net/11588/828978Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85090508876; https://doi.org/10.4230/LIPIcs.MFCS.2020.21Test

الإتاحة: https://doi.org/10.4230/LIPIcs.MFCS.2020.21Test
http://hdl.handle.net/11588/828978Test

المؤلفون: Berthon R., Fijalkow N., Filiot E., Guha S., Maubert B., Murano A., Pinault L., Pinchinat S., Rubin S., Serre O.

المساهمون: Berthon, R., Fijalkow, N., Filiot, E., Guha, S., Maubert, B., Murano, A., Pinault, L., Pinchinat, S., Rubin, S., Serre, O.

مصطلحات موضوعية: almost-sure semantic, Tree automata, ω-regular conditions

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000613160500007; volume:22; issue:1; firstpage:1; lastpage:24; numberofpages:24; journal:ACM TRANSACTIONS ON COMPUTATIONAL LOGIC; http://hdl.handle.net/11588/880481Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85100081265

الإتاحة: https://doi.org/10.1145/3431860Test
http://hdl.handle.net/11588/880481Test

المؤلفون: Celano T., Argiento L. U., Ceroni F., Casapulla C.

المساهمون: Celano, T., Argiento, L. U., Ceroni, F., Casapulla, C.

مصطلحات موضوعية: Design formulation, Flexural failure, In-plane behavior, Irregular/rubble masonry, Regular masonry, Shear failure, Shear-compression test, Walls

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000660258700001; volume:14; issue:11; firstpage:3063; numberofpages:37; journal:MATERIALS; http://hdl.handle.net/11588/864003Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85107660360

الإتاحة: https://doi.org/10.3390/ma14113063Test
http://hdl.handle.net/11588/864003Test

المؤلفون: Capasso S., Tagliafierro B., Mancini S., Martinez-Estevez I., Altomare C., Dominguez J. M., Viccione G.

المساهمون: Capasso, S., Tagliafierro, B., Mancini, S., Martinez-Estevez, I., Altomare, C., Dominguez, J. M., Viccione, G.

مصطلحات موضوعية: SPH, planing hull, CFD, seakeeping, regular waves, open boundaries

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:001020900700001; volume:11; issue:6; journal:JOURNAL OF MARINE SCIENCE AND ENGINEERING; https://hdl.handle.net/11588/948343Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85164193528

الإتاحة: https://doi.org/10.3390/jmse11061229Test
https://hdl.handle.net/11588/948343Test

المؤلفون: Scoti M., De Stefano F., Di Girolamo R., Malafronte A., Talarico G., De Rosa C.

المساهمون: Scoti, M., De Stefano, F., Di Girolamo, R., Malafronte, A., Talarico, G., De Rosa, C.

مصطلحات موضوعية: copolymer, inclusion of defect into crystal, isotactic polypropylene, length of regular propene sequence, metallocene catalyst, role of defects

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000893694600001; volume:224; firstpage:2200262; journal:MACROMOLECULAR CHEMISTRY AND PHYSICS; https://hdl.handle.net/11588/904801Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85143980994

الإتاحة: https://doi.org/10.1002/macp.202200262Test
https://hdl.handle.net/11588/904801Test

المؤلفون: Bozzelli, Laura, Peron, Adriano, Molinari, Eduardo Alberto, Montanari, Angelo

المساهمون: Patricia Bouyer, Andrea Orlandini,Pierluigi San Pietro, Bozzelli, Laura, Peron, Adriano, Molinari, Eduardo Alberto, Montanari, Angelo

مصطلحات موضوعية: Temporal logic, model checking, interval temporal logic, regular expression

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000439352600004; ispartofbook:Electronic Proceedings in Theoretical Computer Science, EPTCS; 8th International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2017; volume:256; firstpage:31; lastpage:45; numberofpages:15; journal:ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE; alleditors:Patricia Bouyer, Andrea Orlandini,Pierluigi San Pietro; http://hdl.handle.net/11588/745105Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85030121690; http://published.eptcs.orgTest/

الإتاحة: https://doi.org/10.4204/EPTCS.256.3Test
http://hdl.handle.net/11588/745105Test
http://published.eptcs.orgTest/

المؤلفون: Bozzelli, Laura, Molinari, Alberto, Montanari, Angelo, Sala, Pietro, PERON, ADRIANO

المساهمون: Laura Bozzelli and Alberto Molinari and Angelo Montanari and Adriano Peron and Pietro Sala, Domenico Cantone and Giorgio Delzanno, Bozzelli, Laura, Molinari, Alberto, Montanari, Angelo, Peron, Adriano, Sala, Pietro

مصطلحات موضوعية: Automata theory, Computer circuit, Computer programming language, Formal logic, Formal verification, Polynomials Decision procedure, Length of interval, Model checking problem, Natural number, Regular expression, Satisfiability problem, Sub-interval, Time interval

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000390325800007; ispartofbook:Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016.; Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016; volume:226; firstpage:76; lastpage:90; numberofpages:15; journal:ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE; alleditors:Domenico Cantone and Giorgio Delzanno; http://hdl.handle.net/11588/669728Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85009841263; http://dx.doi.org/10.4204/EPTCS.226Test

الإتاحة: https://doi.org/10.4204/EPTCS.226.6Test
https://doi.org/10.4204/EPTCS.226Test
http://hdl.handle.net/11588/669728Test